Commits · 8bdf6db00a8d62ebdd3aee1bbed287df1012d092 · Iris / RefinedC

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