Commits · popl22-submission · Iris / simuliris

Jul 09, 2021
- tweak readme some more · cf934bce
  Ralf Jung authored 3 years ago
  
  cf934bce
- tweak readme · 0145045c
  Ralf Jung authored 3 years ago
  
  0145045c
- Update README.md · ff8fc774
  Lennard Gäher authored 3 years ago
  
  ff8fc774
Jul 08, 2021
- add anon maintainer · 73d1f13b
  Lennard Gäher authored 3 years ago
  
  73d1f13b
- rename in README · ea527d93
  Lennard Gäher authored 3 years ago
  
  ea527d93
- Merge branch 'master' into cleanup · 09b12715
  Lennard Gäher authored 3 years ago
  
  09b12715
- more consistent renaming · 93121b90
  Lennard Gäher authored 3 years ago
  
  93121b90
- incorporate feedback by Ralf · a7b3778f
  Lennard Gäher authored 3 years ago
  
  a7b3778f
- Merge branch 'master' into cleanup · 2d59a0cd
  Lennard Gäher authored 3 years ago
  
  2d59a0cd
- rename local sim and global sim to open sim / closed sim · f3a637c9
  Lennard Gäher authored 3 years ago
  
  f3a637c9
- Update README.md · 54f24ec2
  Lennard Gäher authored 3 years ago
  
  54f24ec2
- Update README.md · 2391808b
  Lennard Gäher authored 3 years ago
  
  2391808b
- Update README.md · 28b00ffd
  Lennard Gäher authored 3 years ago
  
  28b00ffd
- Merge branch 'cleanup' of gitlab.mpi-sws.org:iris/simuliris into cleanup · 5956d9f0
  Lennard Gäher authored 3 years ago
  
  5956d9f0
- remove ci config · 5fd41a47
  Lennard Gäher authored 3 years ago
  
  5fd41a47
- Update README.md · eaf8577c
  Lennard Gäher authored 3 years ago
  
  eaf8577c
- Merge remote-tracking branch 'origin/master' into cleanup · aca8da1d
  Lennard Gäher authored 3 years ago
  
  aca8da1d
- Update README.md · b8dd81ab
  Lennard Gäher authored 3 years ago
  
  b8dd81ab
- Update README.md · 368e928f
  Lennard Gäher authored 3 years ago
  
  368e928f
- align better with paper · 9dd675af
  Lennard Gäher authored 3 years ago
  
  9dd675af
- remove TODOs · 31597c63
  Lennard Gäher authored 3 years ago
  
  31597c63
- Merge branch 'master' of gitlab.mpi-sws.org:iris/simuliris · 3cc1b3ca
  Lennard Gäher authored 3 years ago
  
  3cc1b3ca
- lem 3.2 for arbitrary readonly · d57bc901
  Lennard Gäher authored 3 years ago
  
  d57bc901
- Update README.md · 20affc0f
  Lennard Gäher authored 3 years ago
  
  20affc0f
Jul 07, 2021
- slightly fancier loop body @ SB · 13465f42
  Lennard Gäher authored 3 years ago
  
  13465f42
- add license crap · f165c62b
  Lennard Gäher authored 3 years ago
  
  f165c62b
- Update README.md · 291dc412
  Lennard Gäher authored 3 years ago
  
  291dc412
- Update README.md · 21d0b825
  Lennard Gäher authored 3 years ago
  
  21d0b825
- Update README.md · 1b1e76e0
  Lennard Gäher authored 3 years ago
  
  1b1e76e0
- Update README.md · 6959de18
  Lennard Gäher authored 3 years ago
  
  6959de18
- Update README.md · aef00c17
  Lennard Gäher authored 3 years ago
  
  aef00c17
- Update README.md · ffec2a4e
  Lennard Gäher authored 3 years ago
  
  ffec2a4e
- Merge branch 'master' of gitlab.mpi-sws.org:iris/simuliris · 12465dbb
  Lennard Gäher authored 3 years ago
  
  12465dbb
- na inv examples as shown in paper · eea7fd20
  Lennard Gäher authored 3 years ago
  
  eea7fd20
- Update README.md · 2b6ec1b6
  Lennard Gäher authored 3 years ago
  
  2b6ec1b6
- Update README.md · 26cb14fe
  Lennard Gäher authored 3 years ago
  
  26cb14fe
- Update README.md · 88ec9c57
  Lennard Gäher authored 3 years ago
  
  88ec9c57
- Merge branch 'master' of gitlab.mpi-sws.org:iris/simuliris · 0656b63e
  Lennard Gäher authored 3 years ago
  
  0656b63e
- examples from sec2 of the paper · d0c3751a
  Lennard Gäher authored 3 years ago
  
  d0c3751a
- move Hoare triples, slightly more useful call rule · 2dfd6349
  Lennard Gäher authored 3 years ago
  
  2dfd6349