Page MenuHomeIsabelle/Phabricator

peter_lammich (Peter Lammich)
User

Projects

User Details

User Since
Jan 12 2020, 7:31 PM (219 w, 4 d)

Recent Activity

Wed, Mar 27

peter_lammich committed rAFP5ad47a63f9ef: Go: website updates.
Go: website updates
Wed, Mar 27, 7:11 AM
peter_lammich committed rAFPaafd2b24370d: Go submission.
Go submission
Wed, Mar 27, 7:11 AM

Dec 12 2023

peter_lammich committed rAFP425c44f2c52c: more website for LTL and PD.
more website for LTL and PD
Dec 12 2023, 6:58 PM
peter_lammich committed rAFP0558bd31c65e: website for LTL and PD.
website for LTL and PD
Dec 12 2023, 6:58 PM
peter_lammich committed rAFP48f4dda31dba: Labeled_Transition_Systems and Pushdown_Systems.
Labeled_Transition_Systems and Pushdown_Systems
Dec 12 2023, 6:58 PM

Jul 27 2023

peter_lammich committed rAFPc594c8cd5faa: Some additions to IICF by Valentin Springsklee.
Some additions to IICF by Valentin Springsklee
Jul 27 2023, 2:27 PM

Mar 21 2022

peter_lammich committed rAFP897433ae51a4: Fixed wrong sign handling in fmul-add.
Fixed wrong sign handling in fmul-add
Mar 21 2022, 3:13 PM

Dec 17 2020

peter_lammich committed rISABELLE8b92a2ab5370: tuned running time functions.
tuned running time functions
Dec 17 2020, 2:53 PM
peter_lammich committed rISABELLEb945880827ff: merged.
merged
Dec 17 2020, 2:53 PM

Dec 16 2020

peter_lammich committed rISABELLE686c7ee213e9: merged.
merged
Dec 16 2020, 6:48 PM
peter_lammich committed rISABELLE1dc01c11aa86: simplified complexity proofs. Increased precision of T_del_min_bound. (though….
simplified complexity proofs. Increased precision of T_del_min_bound. (though…
Dec 16 2020, 6:48 PM
peter_lammich committed rISABELLEaa86651805e0: added missing +1 to T_insert (for function call).
added missing +1 to T_insert (for function call)
Dec 16 2020, 6:48 PM

Dec 15 2020

peter_lammich committed rISABELLEd02f91543bf1: merged.
merged
Dec 15 2020, 6:23 PM
peter_lammich committed rISABELLEc145be662fbd: removed redundant T_xxx_bound_aux lemmas.
removed redundant T_xxx_bound_aux lemmas
Dec 15 2020, 6:23 PM

Dec 4 2020

peter_lammich committed rISABELLEb09f358f3eb0: merged.
merged
Dec 4 2020, 6:55 PM
peter_lammich committed rISABELLEcaf2fd14e28b: removed session name.
removed session name
Dec 4 2020, 6:55 PM
peter_lammich committed rISABELLE64d8a7e6d8fa: merged.
merged
Dec 4 2020, 6:21 PM
peter_lammich committed rISABELLEba65dc3e35af: summarized structural and ordering invariant for trees.
summarized structural and ordering invariant for trees
Dec 4 2020, 6:21 PM

Nov 26 2020

peter_lammich committed rISABELLE35d1fc20df22: renaming.
renaming
Nov 26 2020, 4:53 PM