Commits · 3205d407f32d30fdd0b01202d0af5c733c4ef4d3 · Iris / RefinedC

30 Sep, 2020 23 commits
- Rename [+rc+] into [proofs] in RefinedC projects. · 3205d407
  Rodolphe Lepigre authored Sep 23, 2020
  
  3205d407
- make phony · cc06c467
  Michael Sammler authored Sep 23, 2020 and Rodolphe Lepigre committed Sep 30, 2020
  
  cc06c467
- change ocaml · 66ac505a
  Michael Sammler authored Sep 23, 2020 and Rodolphe Lepigre committed Sep 30, 2020
  
  66ac505a
- add more cerberus · 3c067546
  Michael Sammler authored Sep 23, 2020 and Rodolphe Lepigre committed Sep 30, 2020
  
  3c067546
- pin cerberus · 86176669
  Michael Sammler authored Sep 23, 2020 and Rodolphe Lepigre committed Sep 30, 2020
  
  86176669
- make ci maybe work · 9ace2001
  Michael Sammler authored Sep 23, 2020 and Rodolphe Lepigre committed Sep 30, 2020
  
  9ace2001
- enable for MR · 1c22b752
  Michael Sammler authored Sep 23, 2020 and Rodolphe Lepigre committed Sep 30, 2020
  
  1c22b752
- try if CI works · e411ac62
  Michael Sammler authored Sep 23, 2020 and Rodolphe Lepigre committed Sep 30, 2020
  
  e411ac62
- Fix absolute path problem. · 7a774b2a
  Rodolphe Lepigre authored Sep 22, 2020
  
  7a774b2a
- Fix #17 : sorting function deps. · 702124a2
  Rodolphe Lepigre authored Sep 22, 2020
  
  702124a2
- Fixed adequacy in tutorial. · ff485877
  Rodolphe Lepigre authored Sep 22, 2020
  
  ff485877
- Enforce relative path in generated files. · 42a0c166
  Rodolphe Lepigre authored Sep 22, 2020
  
  42a0c166
- remove duplicate examples · 55421720
  Michael Sammler authored Sep 22, 2020 and Rodolphe Lepigre committed Sep 30, 2020
  
  55421720
- Cleanup in Makefile. · 85c99c44
  Rodolphe Lepigre authored Sep 22, 2020
  
  85c99c44
- make build-dep phony · cd2ffbfb
  Michael Sammler authored Sep 22, 2020 and Rodolphe Lepigre committed Sep 30, 2020
  
  cd2ffbfb
- Use filename only in generated [proof_files] file. · adcac1a7
  Rodolphe Lepigre authored Sep 22, 2020
  
  adcac1a7
- Require more recent dune. · 7d0764b8
  Rodolphe Lepigre authored Sep 22, 2020
  
  7d0764b8
- Disable CI (not fixed yet). · eaea32c2
  Rodolphe Lepigre authored Sep 22, 2020
  
  eaea32c2
- Some progress with the tutorial. · 5a89bc8c
  Rodolphe Lepigre authored Sep 21, 2020
  
  5a89bc8c
- Moving and fixing examples (TODO tutorial). · f32a5098
  Rodolphe Lepigre authored Sep 21, 2020
  
  f32a5098
- Toml configuration file for RefinedC projects. · 520d5a5e
  Rodolphe Lepigre authored Sep 21, 2020
  
  520d5a5e
- Frontend uses dune for RefinedC projects. · 10cc836a
  Rodolphe Lepigre authored Sep 21, 2020
  
  10cc836a
- update iris · 9e1211df
  Michael Sammler authored Sep 30, 2020
  
  9e1211df
29 Sep, 2020 1 commit
- update CI config · 5e48304d
  Ralf Jung authored Sep 29, 2020
  
  5e48304d
26 Sep, 2020 1 commit
- make Makefile compatible with changing CI setup · e496f709
  Ralf Jung authored Sep 26, 2020
```
(special treatment needed because this repo constains multiple opam files)
```
  e496f709
17 Sep, 2020 1 commit
- fix generation of recursive types without refinement · 2a99841b
  Michael Sammler authored Sep 17, 2020
  
  2a99841b
15 Sep, 2020 2 commits
- update Iris · 65bf25e2
  Michael Sammler authored Sep 15, 2020
  
  65bf25e2
- fix ensures in treeset · 6f5c7cd2
  Michael Sammler authored Sep 15, 2020
  
  6f5c7cd2
14 Sep, 2020 2 commits
- Merge branch 'master' of gitlab.mpi-sws.org:iris/refinedc · 2470238e
  Michael Sammler authored Sep 14, 2020
  
  2470238e
- small cleanup in list.c · 83fd1887
  Michael Sammler authored Sep 14, 2020
  
  83fd1887
07 Sep, 2020 1 commit
- Fixing #6 (support for calling function pointers). · 698af927
  Rodolphe Lepigre authored Sep 07, 2020
  
  698af927
04 Sep, 2020 3 commits
- Updated docs for build failure · 7a56c428
  Michael Sammler authored Sep 04, 2020
  
  7a56c428
- added quicksort · f3831440
  Michael Sammler authored Sep 04, 2020
  
  f3831440
- Maybe fix generated files not being detected · c9341e72
  Michael Sammler authored Sep 04, 2020
  
  c9341e72
03 Sep, 2020 5 commits
- deny warnings · 3d3b33b9
  Ralf Jung authored Sep 03, 2020
  
  3d3b33b9
- fix warning · b8596a8d
  Michael Sammler authored Sep 03, 2020
  
  b8596a8d
- update iris version and fix warnings · bd4b5d0a
  Michael Sammler authored Sep 03, 2020
  
  bd4b5d0a
- sync warning settings · d671905b
  Ralf Jung authored Sep 03, 2020
  
  d671905b
- Fix installation instructions (following recend dune bug fix). · bd8803ec
  Rodolphe Lepigre authored Sep 03, 2020
  
  bd8803ec
02 Sep, 2020 1 commit
- remove bad reference from _CoqProject · b092232e
  Ralf Jung authored Sep 02, 2020
  
  b092232e