Commits · 81e236ba82620e95c13f54db2f13f18d3675dba3 · Iris / RefinedC · GitLab

Snippets Groups Projects

Aug 20, 2020
- Merge branch 'master' of gitlab.mpi-sws.org:iris/refinedc · 81e236ba
  Michael Sammler authored 4 years ago
  
  81e236ba
- extracted atomic bool · 53e1539f
  Michael Sammler authored 4 years ago
  
  53e1539f
Aug 18, 2020
- Fixing #3 : support for atomic load in the frontend. · 289018cd
  Rodolphe Lepigre authored 4 years ago
  
  289018cd
- Add example of a concurrent client · 3d86bbbf
  Michael Sammler authored 4 years ago
  
  3d86bbbf
- Fixing #4 : function pointers handling. · 43ed4bf5
  Rodolphe Lepigre authored 4 years ago
  
  43ed4bf5
- add subsumption for initialized · cd0a4e46
  Michael Sammler authored 4 years ago
  
  cd0a4e46
Jul 29, 2020
- make adequacy less adhoc · 3b495349
  Michael Sammler authored 4 years ago
  
  3b495349
Jul 28, 2020
- fixed last admitted in base · 54037732
  Michael Sammler authored 4 years ago
  
  54037732
Jul 27, 2020
- bump iris · 6c840fd4
  Michael Sammler authored 4 years ago
  
  6c840fd4
Jul 23, 2020
- One more proved lemma about [keep_factor2]. · 31383716
  Rodolphe Lepigre authored 4 years ago
  
  31383716
- More proofs of remaining lemmas. · ed0f05c2
  Rodolphe Lepigre authored 4 years ago
  
  ed0f05c2
- Proving some remaining annoying lemmas. · 54eea69c
  Rodolphe Lepigre authored 4 years ago
  
  54eea69c
Jul 21, 2020
- Update README.md · 218c8d4b
  Robbert Krebbers authored 4 years ago
  
  218c8d4b
- Initial commit. · c806b383
  Michael Sammler authored 4 years ago and Rodolphe Lepigre committed 4 years ago
  
  Co-authored-by: Rodolphe Lepigre <lepigre@mpi-sws.org>
  c806b383