Diffusion afp-devel 46c19dab9aa0

merged
46c19dab9aa0
Actions

Description

merged

Details

Provenance

Joshua Schneider <joshua.schneider@inf.ethz.ch>

Authored on

Parents

rAFPfad0e1b2ff59: metadata update for MFODL_Monitor_Optimized
rAFPb36bd29f5b14: merge

Branches

Unknown

Tags

Unknown

Event Timeline

Joshua Schneider <joshua.schneider@inf.ethz.ch> committed rAFP46c19dab9aa0: merged.Oct 19 2021, 7:06 PM

Merged Changes

fad0e1b2ff59 metadata update for MFODL_Monitor_Optimized
Author
Joshua Schneider <joshua.schneider@inf.ethz.ch>
Browse Repository
No Builds
No Audits
02b14c9bf3da fixed a mistake in MFODL_Monitor_Optimized
Author
Joshua Schneider <joshua.schneider@inf.ethz.ch>
Browse Repository
No Builds
No Audits
323c29c97a1e close merged branch
Author
kleing
Browse Repository
No Builds
No Audits
fd1d5b3fdd7c close branch
Author
kleing
Browse Repository
No Builds
No Audits
daa87ea0470c close branch
Author
kleing
Browse Repository
No Builds
No Audits
f7321f5a8909 close branch
Author
kleing
Browse Repository
No Builds
No Audits
a040f98f10ef close branch
Author
kleing
Browse Repository
No Builds
No Audits
ff876ac75e44 close branch
Author
kleing
Browse Repository
No Builds
No Audits
3b5ff4b8d37d Closing branch "devel"
Author
kleing
Browse Repository
No Builds
No Audits
a0d561998f20 closed branch
Author
kleing
Browse Repository
No Builds
No Audits
8e995d947fb0 closed pull-request branch
Author
Gerwin Klein <gerwin.klein@nicta.com.au>
Browse Repository
No Builds
No Audits
249c2b58d173 closed merged branch
Author
Gerwin Klein <gerwin.klein@nicta.com.au>
Browse Repository
No Builds
No Audits
ad14484777fc merged
Author
gerwin.klein@nicta.com.au
Browse Repository
No Builds
No Audits
e3e858bfc9eb merged
Author
kleing
Browse Repository
No Builds
No Audits
4bea345493dd Closed branch ltl
Author
Salomon Sickert <sickert@in.tum.de>
Browse Repository
No Builds
No Audits
53421953ad96 WIP/LTL Entry
Author
Salomon Sickert <sickert@in.tum.de>
Browse Repository
No Builds
No Audits

Changes (94)

Path

Size

metadata/

metadata

thys

Akra_Bazzi/

Akra_Bazzi.thy

Akra_Bazzi_Asymptotics.thy

Akra_Bazzi_Library.thy

Akra_Bazzi_Method.thy

Akra_Bazzi_Real.thy

Eval_Numeral.thy

Master_Theorem.thy

Master_Theorem_Examples.thy

Bernoulli/

Bernoulli.thy

Bernoulli_FPS.thy

Periodic_Bernpoly.thy

Bertrands_Postulate/

Bertrand.thy

Buffons_Needle/

Buffons_Needle.thy

Comparison_Sort_Lower_Bound/

Comparison_Sort_Lower_Bound.thy

Descartes_Sign_Rule/

Descartes_Sign_Rule.thy

E_Transcendental/

Landau_Symbols/

Landau_Real_Products.thy

Landau_Simprocs.thy

landau_simprocs.ML

Linear_Recurrences/

Partial_Fraction_Decomposition.thy

Liouville_Numbers/

Liouville_Numbers.thy

Liouville_Numbers_Misc.thy

Minkowskis_Theorem/

Minkowskis_Theorem.thy

Myhill-Nerode/

Non_Regular_Languages.thy

Prime_Harmonic_Series/

Prime_Harmonic.thy

Prime_Harmonic_Misc.thy

Squarefree_Nat.thy

Quick_Sort_Cost/

Quick_Sort_Average_Case.thy

Randomised_Quick_Sort.thy

ROOTS

Random_BSTs/

Random_BSTs.thy

Randomised_Social_Choice/

Automation/

SDS_Automation.thy

Regular-Sets/

Regexp_Constructions.thy

SDS_Impossibility/

SDS_Impossibility.thy

Sturm_Sequences/

Examples/

Lib/

document/

Triangle/

EliminateVariable.thy

EqualityVS.thy

ExecutiblePolyProps.thy

InfinitesimalsUni.thy

OptimizationProofs.thy

BenOr_Kozen_Reif.html

Differential_Game_Logic.html

Virtual_Substitution.html

rAFP46c19dab9aa0

View Options

metadata/metadata

View Options

thys/Akra_Bazzi/Akra_Bazzi.thy

View Options

thys/Akra_Bazzi/Akra_Bazzi_Asymptotics.thy

View Options

thys/Akra_Bazzi/Akra_Bazzi_Library.thy

View Options

thys/Akra_Bazzi/Akra_Bazzi_Method.thy

View Options

thys/Akra_Bazzi/Akra_Bazzi_Real.thy

View Options

thys/Akra_Bazzi/Eval_Numeral.thy

View Options

thys/Akra_Bazzi/Master_Theorem.thy

View Options

thys/Akra_Bazzi/Master_Theorem_Examples.thy

View Options

thys/Bernoulli/Bernoulli.thy

View Options

thys/Bernoulli/Bernoulli_FPS.thy

View Options

thys/Bernoulli/Periodic_Bernpoly.thy

View Options

thys/Bertrands_Postulate/Bertrand.thy

View Options

thys/Buffons_Needle/Buffons_Needle.thy

View Options

thys/Comparison_Sort_Lower_Bound/Comparison_Sort_Lower_Bound.thy

View Options

thys/Descartes_Sign_Rule/Descartes_Sign_Rule.thy

View Options

thys/E_Transcendental/E_Transcendental.thy

View Options

thys/Landau_Symbols/Group_Sort.thy

View Options

thys/Landau_Symbols/Landau_Library.thy

View Options

thys/Landau_Symbols/Landau_More.thy

View Options

thys/Landau_Symbols/Landau_Real_Products.thy

View Options

thys/Landau_Symbols/Landau_Simprocs.thy

View Options

thys/Landau_Symbols/landau_simprocs.ML

View Options

thys/Linear_Recurrences/Partial_Fraction_Decomposition.thy

View Options

thys/Liouville_Numbers/Liouville_Numbers.thy

View Options

thys/Liouville_Numbers/Liouville_Numbers_Misc.thy

View Options

thys/Minkowskis_Theorem/Minkowskis_Theorem.thy

View Options

thys/Myhill-Nerode/Non_Regular_Languages.thy

View Options

thys/Prime_Harmonic_Series/Prime_Harmonic.thy

View Options

thys/Prime_Harmonic_Series/Prime_Harmonic_Misc.thy

View Options

thys/Prime_Harmonic_Series/Squarefree_Nat.thy

View Options

thys/Quick_Sort_Cost/Quick_Sort_Average_Case.thy

View Options

thys/Quick_Sort_Cost/Randomised_Quick_Sort.thy

View Options

thys/ROOTS

View Options

thys/Random_BSTs/Random_BSTs.thy

View Options

thys/Randomised_Social_Choice/Automation/SDS_Automation.thy

View Options

thys/Regular-Sets/Regexp_Constructions.thy

View Options

thys/SDS_Impossibility/SDS_Impossibility.thy

View Options

thys/Sturm_Sequences/Examples/Sturm_Ex.thy

View Options

thys/Sturm_Sequences/Lib/Misc_Polynomial.thy

View Options

thys/Sturm_Sequences/Sturm.thy

View Options

thys/Sturm_Sequences/Sturm_Method.thy

View Options

thys/Sturm_Sequences/Sturm_Theorem.thy

View Options

thys/Sturm_Sequences/document/root_userguide.tex

View Options

thys/Triangle/Angles.thy

View Options

thys/Triangle/Triangle.thy

View Options

thys/Virtual_Substitution/DNF.thy

View Options

thys/Virtual_Substitution/DNFUni.thy

View Options

thys/Virtual_Substitution/Debruijn.thy

View Options

thys/Virtual_Substitution/EliminateVariable.thy

View Options

thys/Virtual_Substitution/EqualityVS.thy

View Options

thys/Virtual_Substitution/ExecutiblePolyProps.thy

View Options

thys/Virtual_Substitution/ExportProofs.thy

View Options

thys/Virtual_Substitution/Exports.thy

View Options

thys/Virtual_Substitution/GeneralVSProofs.thy

View Options

thys/Virtual_Substitution/Heuristic.thy

View Options

thys/Virtual_Substitution/HeuristicProofs.thy

View Options

thys/Virtual_Substitution/Infinitesimals.thy

View Options

thys/Virtual_Substitution/InfinitesimalsUni.thy

View Options

thys/Virtual_Substitution/LinearCase.thy

View Options

thys/Virtual_Substitution/LuckyFind.thy

View Options

thys/Virtual_Substitution/MPolyExtension.thy

View Options

thys/Virtual_Substitution/NegInfinity.thy

View Options

thys/Virtual_Substitution/NegInfinityUni.thy

View Options

thys/Virtual_Substitution/OptimizationProofs.thy

View Options

thys/Virtual_Substitution/Optimizations.thy

View Options

thys/Virtual_Substitution/PolyAtoms.thy

View Options

thys/Virtual_Substitution/PrettyPrinting.thy

View Options

thys/Virtual_Substitution/QE.thy

View Options

thys/Virtual_Substitution/QuadraticCase.thy

View Options

thys/Virtual_Substitution/README.txt

View Options

thys/Virtual_Substitution/ROOT

View Options

thys/Virtual_Substitution/Reindex.thy

View Options

thys/Virtual_Substitution/UniAtoms.thy

View Options

thys/Virtual_Substitution/VSAlgos.thy

View Options

thys/Virtual_Substitution/VSQuad.thy

View Options

thys/Virtual_Substitution/document/root.bib

View Options

thys/Virtual_Substitution/document/root.tex

View Options

web/entries/BenOr_Kozen_Reif.html

View Options

web/entries/Differential_Game_Logic.html

View Options

web/entries/Dominance_CHK.html

View Options

web/entries/Jinja.html

View Options

web/entries/List-Index.html

View Options

web/entries/Polynomials.html

View Options

web/entries/Virtual_Substitution.html

View Options

web/index.html

View Options

web/rss.xml

View Options

web/statistics.html

View Options

merged46c19dab9aa0Actions

Description

Details

Event Timeline

Merged Changes

Changes (94)

rAFP46c19dab9aa0

metadata/metadata

thys/Akra_Bazzi/Akra_Bazzi.thy

thys/Akra_Bazzi/Akra_Bazzi_Asymptotics.thy

thys/Akra_Bazzi/Akra_Bazzi_Library.thy

thys/Akra_Bazzi/Akra_Bazzi_Method.thy

thys/Akra_Bazzi/Akra_Bazzi_Real.thy

thys/Akra_Bazzi/Eval_Numeral.thy

thys/Akra_Bazzi/Master_Theorem.thy

thys/Akra_Bazzi/Master_Theorem_Examples.thy

thys/Bernoulli/Bernoulli.thy

thys/Bernoulli/Bernoulli_FPS.thy

thys/Bernoulli/Periodic_Bernpoly.thy

thys/Bertrands_Postulate/Bertrand.thy

thys/Buffons_Needle/Buffons_Needle.thy

thys/Comparison_Sort_Lower_Bound/Comparison_Sort_Lower_Bound.thy

thys/Descartes_Sign_Rule/Descartes_Sign_Rule.thy

thys/E_Transcendental/E_Transcendental.thy

thys/Landau_Symbols/Group_Sort.thy

thys/Landau_Symbols/Landau_Library.thy

thys/Landau_Symbols/Landau_More.thy

thys/Landau_Symbols/Landau_Real_Products.thy

thys/Landau_Symbols/Landau_Simprocs.thy

thys/Landau_Symbols/landau_simprocs.ML

thys/Linear_Recurrences/Partial_Fraction_Decomposition.thy

thys/Liouville_Numbers/Liouville_Numbers.thy

thys/Liouville_Numbers/Liouville_Numbers_Misc.thy

thys/Minkowskis_Theorem/Minkowskis_Theorem.thy

thys/Myhill-Nerode/Non_Regular_Languages.thy

thys/Prime_Harmonic_Series/Prime_Harmonic.thy

thys/Prime_Harmonic_Series/Prime_Harmonic_Misc.thy

thys/Prime_Harmonic_Series/Squarefree_Nat.thy

thys/Quick_Sort_Cost/Quick_Sort_Average_Case.thy

thys/Quick_Sort_Cost/Randomised_Quick_Sort.thy

thys/ROOTS

thys/Random_BSTs/Random_BSTs.thy

thys/Randomised_Social_Choice/Automation/SDS_Automation.thy

thys/Regular-Sets/Regexp_Constructions.thy

thys/SDS_Impossibility/SDS_Impossibility.thy

thys/Sturm_Sequences/Examples/Sturm_Ex.thy

thys/Sturm_Sequences/Lib/Misc_Polynomial.thy

thys/Sturm_Sequences/Sturm.thy

thys/Sturm_Sequences/Sturm_Method.thy

thys/Sturm_Sequences/Sturm_Theorem.thy

thys/Sturm_Sequences/document/root_userguide.tex

thys/Triangle/Angles.thy

thys/Triangle/Triangle.thy

thys/Virtual_Substitution/DNF.thy

thys/Virtual_Substitution/DNFUni.thy

thys/Virtual_Substitution/Debruijn.thy

thys/Virtual_Substitution/EliminateVariable.thy

thys/Virtual_Substitution/EqualityVS.thy

thys/Virtual_Substitution/ExecutiblePolyProps.thy

thys/Virtual_Substitution/ExportProofs.thy

thys/Virtual_Substitution/Exports.thy

thys/Virtual_Substitution/GeneralVSProofs.thy

thys/Virtual_Substitution/Heuristic.thy

thys/Virtual_Substitution/HeuristicProofs.thy

thys/Virtual_Substitution/Infinitesimals.thy

thys/Virtual_Substitution/InfinitesimalsUni.thy

thys/Virtual_Substitution/LinearCase.thy

thys/Virtual_Substitution/LuckyFind.thy

thys/Virtual_Substitution/MPolyExtension.thy

thys/Virtual_Substitution/NegInfinity.thy

thys/Virtual_Substitution/NegInfinityUni.thy

thys/Virtual_Substitution/OptimizationProofs.thy

thys/Virtual_Substitution/Optimizations.thy

thys/Virtual_Substitution/PolyAtoms.thy

thys/Virtual_Substitution/PrettyPrinting.thy

thys/Virtual_Substitution/QE.thy

thys/Virtual_Substitution/QuadraticCase.thy

thys/Virtual_Substitution/README.txt

thys/Virtual_Substitution/ROOT

thys/Virtual_Substitution/Reindex.thy

merged
46c19dab9aa0
Actions