Commits · concurrency · Iris / simuliris

Apr 27, 2021
- paco lemma specialized · 16edf13b
  Simon Spies authored 4 years ago
  
  16edf13b
- add fork to reflexivity theorem · 78737570
  Michael Sammler authored 4 years ago
  
  78737570
- adapted language to concurrency · efa3c305
  Michael Sammler authored 4 years ago
  
  efa3c305
Apr 26, 2021
- remaining slsls lemmas + paco for concurrency · b127f4bf
  Simon Spies authored 4 years ago
  
  b127f4bf
Apr 21, 2021
- adapt simulation relation to concurrency · 4a79b7ca
  Simon Spies authored 4 years ago
  
  4a79b7ca
- Merge branch 'master' into concurrency · f2e1fe26
  Simon Spies authored 4 years ago
  
  f2e1fe26
- drop redundant lemma · ea2decec
  Simon Spies authored 4 years ago
  
  ea2decec
- fix compilation on 8.12 · 32c6556a
  Lennard Gäher authored 4 years ago
  
  32c6556a
- add fairness in CoqProject · 461faaf7
  Simon Spies authored 4 years ago
  
  461faaf7
- Merge branch 'coind' · 59732da8
  Lennard Gäher authored 4 years ago
  
  59732da8
- close the last fairness implication · aa435385
  Simon Spies authored 4 years ago
  
  aa435385
Apr 20, 2021
- delay based fairness · edd0d4da
  Simon Spies authored 4 years ago
  
  edd0d4da
- conventional and inductive notion of fairness · 5e4308d5
  Simon Spies authored 4 years ago
  
  5e4308d5
- small comments · 2e4cced9
  Simon Spies authored 4 years ago
  
  2e4cced9
Apr 19, 2021
- remaining single thread lemmas · 4b18af25
  Simon Spies authored 4 years ago
  
  4b18af25
- various language notions lifted to threads · aabd79b5
  Simon Spies authored 4 years ago
  
  aabd79b5
Apr 16, 2021
- notes from meeting' · 4522e163
  Lennard Gäher authored 4 years ago
  
  4522e163
- adopt language interface to concurrency + add pool steps · 6c22fd87
  Simon Spies authored 4 years ago
  
  6c22fd87
- paco lemmas · a5be3ba8
  Simon Spies authored 4 years ago
  
  a5be3ba8
Apr 15, 2021
- move import · d222c633
  Simon Spies authored 4 years ago
  
  d222c633
- close admits · 9b8a3ea2
  Simon Spies authored 4 years ago
  
  9b8a3ea2
Apr 14, 2021
- fix notation · f59d897f
  Lennard Gäher authored 4 years ago
  
  f59d897f
- split language off into seperate file · fa020bf6
  Simon Spies authored 4 years ago
  
  fa020bf6
Apr 13, 2021
- add previously untracked file · fd554c4a
  Lennard Gäher authored 4 years ago
  
  fd554c4a
- rename · b7fb2869
  Lennard Gäher authored 4 years ago
  
  b7fb2869
Apr 12, 2021
- nit · 5ad2fc24
  Simon Spies authored 4 years ago
  
  5ad2fc24
Apr 09, 2021
- fix naming problem · 91570ab9
  Simon Spies authored 4 years ago
  
  91570ab9
- cleanup · eb1e9753
  Simon Spies authored 4 years ago
  
  eb1e9753
- add stuttering to the pure simulation · 8aeaf47b
  Simon Spies authored 4 years ago
  
  8aeaf47b
- add pure simultation to Coq Project · 0cb1c8c8
  Simon Spies authored 4 years ago
  
  0cb1c8c8
Apr 08, 2021
- refactoring; reflexivity theorem except for pointer arithmetic · b426e043
  Lennard Gäher authored 4 years ago
  
  b426e043
- fixpoints · 9a59f22c
  Simon Spies authored 4 years ago
  
  9a59f22c
- extract fair source execution · c82bb1ba
  Simon Spies authored 4 years ago
  
  c82bb1ba
- close remaining admits · 048b0038
  Simon Spies authored 4 years ago
  
  048b0038
- close fairness sketch · 5c9e5a28
  Simon Spies authored 4 years ago
  
  5c9e5a28
- clean up file structure · 776cf66b
  Simon Spies authored 4 years ago
  
  776cf66b
- close various admits · b5fc6106
  Simon Spies authored 4 years ago
  
  b5fc6106
- strengthed fixpoint lemma · 34837566
  Simon Spies authored 4 years ago
  
  34837566
Apr 07, 2021
- first attempt at proving fairness preservation in a pure setting · a313fece
  Simon Spies authored 4 years ago
  
  a313fece
Apr 05, 2021
- simple simulation of recursion by a while loop · 3b1a42d1
  Lennard Gäher authored 4 years ago
  
  3b1a42d1