Commits · 84ba4ef5def9316d992b97b6714f0a92da89e323 · Abhishek Anand / Iris

Sep 19, 2017
- Makefile tweaks · 84ba4ef5
  Ralf Jung authored 7 years ago
  
  84ba4ef5
- CI: tweaks · 842e85c0
  Ralf Jung authored 7 years ago
  
  842e85c0
- make build-dep: handle case where the pin already exists · 01b8c312
  Ralf Jung authored 7 years ago
  
  01b8c312
- new build-dep handling without opam.pins · 12012db9
  Ralf Jung authored 7 years ago
  
  12012db9
Sep 18, 2017
- CI: depend on std++ via opam; prepare for automatic opam releases · 8f8796c0
  Ralf Jung authored 7 years ago
  
  8f8796c0
Feb 07, 2017
- update build system · 0b6bb546
  Ralf Jung authored 8 years ago
  
  0b6bb546
Feb 06, 2017
- use coq-stdpp · 50a1b62b
  Ralf Jung authored 8 years ago
  
  50a1b62b
Jan 06, 2017
- typo · 64c3fda3
  Ralf Jung authored 8 years ago
  
  64c3fda3
- make Makefile work with POSIX awk · 41b8ab22
  Ralf Jung authored 8 years ago
  
  41b8ab22
- patch vio2vo target to only rebuild outdated .vo files · 30073ef8
  Ralf Jung authored 8 years ago
  
  30073ef8
- disable annoying warning · c4d8c28a
  Ralf Jung authored 8 years ago
  
  c4d8c28a
Dec 12, 2016
- use OPAM-based CI · 99470279
  Ralf Jung authored 8 years ago
  
  99470279
Dec 01, 2016
- Makefile: instead of letting 'install' uninstall stuff, fix the 'uninstall' target · ae88b35e
  Ralf Jung authored 8 years ago
  
  ae88b35e
Nov 22, 2016
- avoid leaving empty Makefile.coq if coq_makefile fails · 6f9c094e
  Ralf Jung authored 8 years ago
  
  6f9c094e
- Makefile: make clean clean properly · b40dca66
  Ralf Jung authored 8 years ago
  
  b40dca66
Nov 16, 2016
- use awk instead of sed for makefile patching, for better Mac OS compatibility · 82a63e76
  Ralf Jung authored 8 years ago
  
  82a63e76
- Coq 8.6: silence some warnings · a9f7431c
  Ralf Jung authored 8 years ago
  
  a9f7431c
- better hack for removing stale .vo files on 'make install' use sed to patch Makefile directly · d528b812
  Ralf Jung authored 8 years ago
  
  d528b812
Nov 09, 2016
- add a working 'uninstall' target and call it before installing · 9f79b4c9
  Ralf Jung authored 8 years ago
  
  9f79b4c9
Oct 27, 2016
- Makefile: hide recursive make calls · 8559d95c
  Ralf Jung authored 8 years ago
  
  8559d95c
Aug 19, 2016
- fix calling makefile on specific files · ebb51092
  Ralf Jung authored 8 years ago
  
  ebb51092
Jun 07, 2016
- hack makefile to fix coqchk invocation · 66904606
  Ralf Jung authored 8 years ago
  
  66904606
Mar 05, 2016
- Makefile attribution · 68b961a8
  Ralf Jung authored 9 years ago
  
  I talked with Christian, he is not the original author and forgot where it came from, probably some coq-club mail.
  68b961a8
- improve Makefile: fix make dir/name.vo · c82719b9
  Ralf Jung authored 9 years ago
  
  c82719b9
Feb 12, 2016
- fix Makefile attribution · c51a909a
  Ralf Jung authored 9 years ago
  
  c51a909a
- simplify our build instructions to just "make" · c0434011
  Ralf Jung authored 9 years ago
  
  thanks to Christian Doczkal <doczkal@ps.uni-saarland.de> for the Makefile snippet!
  c0434011
Jan 21, 2016
- remove the generated Makefile, add a configure script generating it instead · d543c264
  Ralf Jung authored 9 years ago
  
  d543c264
- have a makefile · 1e241e13
  Ralf Jung authored 9 years ago
  
  1e241e13
Mar 24, 2015
- add target "make lib" to build only the library · 6e7d84ad
  Ralf Jung authored 10 years ago
  
  6e7d84ad
Feb 28, 2015
- use less unexplainable flags for Coq · e578ac60
  Ralf Jung authored 10 years ago
  
  e578ac60
Feb 24, 2015
- make sure we-regenerate the dependency information when the Makefile is changed · 070e2136
  Ralf Jung authored 10 years ago
  
  070e2136
- make the Makefile compile the library correctly, and automatically find all the files · a11974b2
  Ralf Jung authored 10 years ago
  
  a11974b2
- reorganize files for a more sane structure · 721698ac
  Ralf Jung authored 10 years ago
  
  721698ac
Feb 23, 2015
- use a gross hack to express diamond-shaped dependencies between the different parts of Iris · 04bab1dc
  Ralf Jung authored 10 years ago
  
  04bab1dc
Feb 21, 2015
- Got rid of iris_unsafe.v (htUnsafe in iris_wp.v, robust_safety in iris_meta.v). · a6d2564f
  David Swasey authored 10 years ago
  
  a6d2564f
Feb 15, 2015
- create iris_meta file for meta-theorems (adequacy, lifting lemmas). formulate... · 4bec9617
  Ralf Jung authored 10 years ago
  
  create iris_meta file for meta-theorems (adequacy, lifting lemmas). formulate two of our four lifting lemmas.
  4bec9617
Feb 05, 2015
- Proved htUnsafe. · 56b35361
  David Swasey authored 10 years ago
  
  56b35361
Feb 01, 2015
- complete reorganizing Coq · fcbf8d58
  Ralf Jung authored 10 years ago
  
  fcbf8d58
- get rid of the "inner" module, use an opaque WorldProp instead · 2ad23105
  Ralf Jung authored 10 years ago
  
  2ad23105
- make it all compile with an opaque world-prop · 5b22c4cf
  Ralf Jung authored 10 years ago
  
  5b22c4cf