Commits · bab3f8fc32673996740627c2f07f010d8b0fc4fa · ds-ac / aneris

Dec 17, 2020
- fix build · bab3f8fc
  Simon Gregersen authored 4 years ago
  
  bab3f8fc
Nov 20, 2020
- add option serialization · 18e1e5c1
  Simon Gregersen authored 4 years ago
  
  18e1e5c1
Nov 17, 2020
- bump iris and stdpp · 8da754a5
  Simon Gregersen authored 4 years ago
  
  8da754a5
Oct 22, 2020
- fix build · bb629caf
  Simon Gregersen authored 4 years ago
  
  bb629caf
- tying to fix opam · 803a7961
  Amin Timany authored 4 years ago
  
  803a7961
- Update to use the newest version of iris · d1ee44a8
  Amin Timany authored 4 years ago
  
  d1ee44a8
Oct 08, 2020
- bump dependencies, adapt to breaking changes · 9d8f417a
  Simon Gregersen authored 4 years ago
  
  9d8f417a
Sep 17, 2020
- remove redundant submodule upate in .travis.yml · 9b76e4d3
  Simon Gregersen authored 4 years ago
  
  9b76e4d3
Sep 04, 2020
- ci · 2f500ca4
  Simon Gregersen authored 4 years ago
  
  2f500ca4
- Dockerfile and ci · 111fc766
  Simon Gregersen authored 4 years ago
  
  111fc766
- README.md and opam file · d03a3e89
  Simon Gregersen authored 4 years ago
  
  d03a3e89
Sep 02, 2020
- tactics for socket bind, send, and receive · 3c8d1544
  Simon Gregersen authored 4 years ago
  
  3c8d1544
Aug 31, 2020
- fix README.md and _CoqProject · 7f89e016
  Simon Gregersen authored 4 years ago
  
  7f89e016
- update record-update · 0b54fb43
  Simon Gregersen authored 4 years ago
  
  0b54fb43
- fix README.md · 3e129abd
  Simon Gregersen authored 4 years ago
  
  3e129abd
- cleanup resources, state interpretation, and lemmas · 6a6c326b
  Simon Gregersen authored 4 years ago
  
  6a6c326b
Aug 18, 2020
- bump record-update · 948bbcd1
  Simon Gregersen authored 4 years ago
  
  948bbcd1
- bump dependencies, fix breaking changes · 2d3a8fe0
  Simon Gregersen authored 4 years ago
  
  2d3a8fe0
Aug 03, 2020
- New weakest precondition and some cleanups · 0f4939c6
  Amin Timany authored 4 years ago
  
  0f4939c6
Jul 17, 2020
- Add unit serialization · 4244c264
  Amin Timany authored 4 years ago
  
  4244c264
- Merge branch 'master' of bitbucket.org:logsem/aneris · 863d7603
  Amin Timany authored 4 years ago
  
  863d7603
- Instance for product and sum serialization · 19e8d718
  Amin Timany authored 4 years ago
  
  19e8d718
Jul 16, 2020
- bump record-update · 74a00e7a
  Simon Gregersen authored 4 years ago
  
  74a00e7a
- bump iris version · 12e6be00
  Simon Gregersen authored 4 years ago
  
  12e6be00
Jul 10, 2020
- fix imports · 83693404
  Simon Gregersen authored 4 years ago
  
  83693404
- cleanup · aadfe834
  Simon Gregersen authored 4 years ago
  
  aadfe834
- initial · 57fc211e
  Simon Gregersen authored 4 years ago
  
  57fc211e