Commits · public · POTTIER Francois / diamonds

08 Jul, 2021 2 commits
- Public (non-anonymous) version. · aa8a0392
  POTTIER Francois authored Jul 08, 2021
  
  aa8a0392
- renamed central invariant to I · fe631126
  Jean-Marie Madiot authored Jul 08, 2021
  
  fe631126
07 Jul, 2021 2 commits
- missing space after comma · 6607b5e3
  Jean-Marie Madiot authored Jul 07, 2021
  
  6607b5e3
- Update abstract.txt. · 04a5b0fc
  POTTIER Francois authored Jul 07, 2021
  
  04a5b0fc
06 Jul, 2021 6 commits
- Decide to use logical heap instead of conceptual heap. · 044e2ca0
  POTTIER Francois authored Jul 06, 2021
  
  044e2ca0
- missing \alen in paper · 42fb1142
  Jean-Marie Madiot authored Jul 06, 2021
  
  42fb1142
- Address some TODOs. Change most TODO into LATER. · aa2f08d5
  POTTIER Francois authored Jul 06, 2021
  
  aa2f08d5
- TODO. · 54fcd3e1
  POTTIER Francois authored Jul 06, 2021
  
  54fcd3e1
- setup.sh: require opam 2.x. · 6004739a
  POTTIER Francois authored Jul 06, 2021
  
  6004739a
- README. · 3b1e9826
  POTTIER Francois authored Jul 06, 2021
  
  3b1e9826
05 Jul, 2021 2 commits
- proof of map_fold_ind_2 · 66320bdc
  Jean-Marie Madiot authored Jul 05, 2021
  
  66320bdc
- Added required hypothesis on map_fold_ind_2 · 6bf690db
  Jean-Marie Madiot authored Jul 05, 2021
  
  6bf690db
03 Jul, 2021 1 commit
- Decidability of reachability · 7ec21269
  Jean-Marie Madiot authored Jul 03, 2021
  
  7ec21269
01 Jul, 2021 19 commits
- Typos. · 59b34cfd
  POTTIER Francois authored Jul 01, 2021
  
  59b34cfd
- README: add a listing of all source files. · ecd2f722
  POTTIER Francois authored Jul 01, 2021
  
  ecd2f722
- INSTALL.md. · 59173e23
  POTTIER Francois authored Jul 01, 2021
  
  59173e23
- Add _opam to .gitignore. · 7651ad04
  POTTIER Francois authored Jul 01, 2021
  
  7651ad04
- Add create-archive.sh. · 065fe459
  POTTIER Francois authored Jul 01, 2021
  
  065fe459
- Add [make archive]. · f225b51a
  POTTIER Francois authored Jul 01, 2021
  
  f225b51a
- Add setup.sh. · 31e3ac54
  POTTIER Francois authored Jul 01, 2021
  
  31e3ac54
- Minimal README and INSTALL files. · 65aeffec
  POTTIER Francois authored Jul 01, 2021
  
  65aeffec
- Use a released version of coq-iris-string-ident. · 49ce6c60
  POTTIER Francois authored Jul 01, 2021
  
  49ce6c60
- Use anonymous opam file by default. · 6c3e9700
  POTTIER Francois authored Jul 01, 2021
  
  6c3e9700
- Add [make deps] to install our dependencies. · 20e76e7d
  POTTIER Francois authored Jul 01, 2021
  
  20e76e7d
- Add a dependency on a specific version of stdpp. · 66f32e0f
  POTTIER Francois authored Jul 01, 2021
  
  66f32e0f
- Distinguish two opam files. · 0fbb1152
  POTTIER Francois authored Jul 01, 2021
  
  0fbb1152
- Update project/README.md. · e8fe6bbe
  POTTIER Francois authored Jul 01, 2021
  
  e8fe6bbe
- Add an opam file. · 850af65e
  POTTIER Francois authored Jul 01, 2021
  
  850af65e
- added example with fork and a join construction · bf2f71f5
  Jean-Marie Madiot authored Jul 01, 2021
  
  bf2f71f5
- removed unused tactics · 8316bd05
  Jean-Marie Madiot authored Jul 01, 2021
  
  8316bd05
- added laters in hypotheses of some wp lemmas · 14d77533
  Jean-Marie Madiot authored Jul 01, 2021
  
  14d77533
- Add abstract.txt. · a3a3fdcb
  POTTIER Francois authored Jul 01, 2021
  
  a3a3fdcb
25 Jun, 2021 8 commits
- Hoare-style rules · ebff34f5
  Jean-Marie Madiot authored Jun 25, 2021
  
  ebff34f5
- Decide to not show ConfrontDagMapsfrom. · bc519440
  POTTIER Francois authored Jun 25, 2021
  
  bc519440
- Add ConfrontDagMapsfrom in fig:laws. · a24231a9
  POTTIER Francois authored Jun 25, 2021
  
  a24231a9
- Rename \Confront to \ConfrontMapstoMapsfrom. · a9e7e869
  POTTIER Francois authored Jun 25, 2021
  
  a9e7e869
- New file wp_mapsfrom_laws.v. · 4479b179
  POTTIER Francois authored Jun 25, 2021
  
  4479b179
- Rename some lemmas. · 130264c5
  POTTIER Francois authored Jun 25, 2021
  
  130264c5
- New lemma [confront_mapsfrom_dag]. · 9b9c13fd
  POTTIER Francois authored Jun 25, 2021
  
  9b9c13fd
- Comment. · df59c8be
  POTTIER Francois authored Jun 25, 2021
  
  df59c8be