Commits · RIL · Niklas Mück / ReLoC

17 Nov, 2022 1 commit
- fix link to report · f55ff2dc
  Niklas Mück authored Nov 17, 2022
  
  f55ff2dc
15 Sep, 2022 2 commits
- added comments · 9c06e795
  Benjamin Peters authored Sep 15, 2022
  
  9c06e795
- added to readme · 6c1dd158
  Benjamin Peters authored Sep 15, 2022
  
  6c1dd158
13 Sep, 2022 1 commit
- Add comments · 8fe4a107
  Niklas Mück authored Sep 13, 2022
  
  8fe4a107
06 Sep, 2022 1 commit
- removed unnecessary lemma · f1ab71cb
  Benjamin Peters authored Sep 06, 2022
  
  f1ab71cb
05 Sep, 2022 1 commit
- removed redundant lemmas; added later credits to stack ADT · 9210674b
  Benjamin Peters authored Sep 05, 2022
  
  9210674b
02 Sep, 2022 3 commits
- finished contextual refinement proof between coins · 5ce7f0fb
  Benjamin Peters authored Sep 02, 2022
  
  5ce7f0fb
- added fill_ctx bind tactics for refines · 63518ae4
  Benjamin Peters authored Sep 02, 2022
  
  63518ae4
- fixed rel_bin_closed_under_* proofs · 22094672
  Benjamin Peters authored Sep 02, 2022
  
  22094672
29 Aug, 2022 1 commit
- Revert "made things compile" · e9f10c83
  Benjamin Peters authored Aug 29, 2022
```
This reverts commit 05a35f8d.
```
  e9f10c83
26 Aug, 2022 6 commits
- Admit weaken · 3b3d917d
  Niklas Mück authored Aug 26, 2022
  
  3b3d917d
- use new refines_resolve_cmpxchg_r lemmas · 9c6d0c28
  Niklas Mück authored Aug 26, 2022
  
  9c6d0c28
- Add refines_resolve_cmpxchg_r Lemmas · eb93df4b
  Niklas Mück authored Aug 26, 2022
  
  eb93df4b
- solve typing · 98937e29
  Niklas Mück authored Aug 26, 2022
  
  98937e29
- removed Prints · fa592bb7
  Benjamin Peters authored Aug 26, 2022
  
  fa592bb7
- Added coin prophecy example · 051110e5
  Benjamin Peters authored Aug 24, 2022
  
  051110e5
25 Aug, 2022 3 commits
- add comments · 8603ea68
  Niklas Mück authored Aug 25, 2022
  
  8603ea68
- Add resolve_rdcss_prim_r · 32bf608f
  Niklas Mück authored Aug 25, 2022
  
  32bf608f
- fix tp_rdcss_prim tactic · 8dd3aba0
  Niklas Mück authored Aug 25, 2022
  
  8dd3aba0
24 Aug, 2022 3 commits
- Fix refines_xchg_r · 7267d6a2
  Niklas Mück authored Aug 24, 2022
  
  7267d6a2
- Add refines_resolveatomic_r · a713f79c
  Niklas Mück authored Aug 24, 2022
  
  a713f79c
- finish contextual refinement for rdcss · 5bf78c46
  Niklas Mück authored Aug 24, 2022
  
  5bf78c46
23 Aug, 2022 4 commits
- added Sigmas · 171ec918
  Benjamin Peters authored Aug 23, 2022
  
  171ec918
- Merge branch 'RIL' of https://git.sohnybohny.com/Uni/ReLoC into RIL · 045a5b64
  Benjamin Peters authored Aug 23, 2022
  
  045a5b64
- make use of new type · 26fe0a76
  Niklas Mück authored Aug 23, 2022
  
  26fe0a76
- extend type system · 16162949
  Niklas Mück authored Aug 23, 2022
  
  16162949
22 Aug, 2022 5 commits
- improved definition of eq_lrel further · 2d794d0b
  Benjamin Peters authored Aug 22, 2022
  
  2d794d0b
- weakened equality conditions for rdcss refinement and used later credits as an... · 0cccba85
  Benjamin Peters authored Aug 22, 2022
```
weakened equality conditions for rdcss refinement and used later credits as an alternative to explicit framing
```
  0cccba85
- made things compile · 05a35f8d
  Benjamin Peters authored Aug 22, 2022
  
  05a35f8d
- bump iris · e9a9e940
  Niklas Mück authored Aug 22, 2022
  
  e9a9e940
- Merge branch 'master' into RIL · e8cffd2d
  Niklas Mück authored Aug 22, 2022
  
  e8cffd2d
21 Aug, 2022 1 commit
- Continued working on RDCSS refinement · 6b4f9737
  Benjamin Peters authored Aug 19, 2022
  
  6b4f9737
18 Aug, 2022 5 commits
- generalize atomic utils for all telescope · 18f594fd
  Niklas Mück authored Aug 18, 2022
  
  18f594fd
- Prove tac_tp_rdcss_prim · 2b6584a3
  Niklas Mück authored Aug 18, 2022
  
  2b6584a3
- Prove step_rdcss_prim · 6816532e
  Niklas Mück authored Aug 18, 2022
  
  6816532e
- proved get_spec' · 051ef012
  Benjamin Peters authored Aug 18, 2022
  
  051ef012
- later trick for RDCSS does not work · f32dbdc0
  Niklas Mück authored Aug 18, 2022
  
  f32dbdc0
17 Aug, 2022 3 commits
- fixed refines_atomic_l' for rdcss example · 5b74b949
  Benjamin Peters authored Aug 17, 2022
  
  5b74b949
- later using atomic spec · 8e47602f
  Niklas Mück authored Aug 17, 2022
  
  8e47602f
- broken RDCSS stuff · b0658697
  Niklas Mück authored Aug 17, 2022
  
  b0658697