Commits · 3a4796800d65461f621c0c244bbf7dc966865d22 · pub / caisar

Jul 13, 2022
- Rename filtering script. · 3a479680
  Michele Alberti authored 2 years ago
  
  3a479680
- Fix bash invocation. · 67bbd24b
  Michele Alberti authored 2 years ago
  
  67bbd24b
- Fix log filtering when $TMPDIR is present · c9fd0c9a
  François Bobot authored 2 years ago
  
  c9fd0c9a
- Prepare new release 0.1. · b259ee92
  Michele Alberti authored 2 years ago
  
  b259ee92
- Merge branch 'feature/michele/bump-packages' into 'master' · dbacde48
  François Bobot authored 2 years ago
  
  Bump cmdliner and ocamlformat See merge request laiser/caisar!32
  dbacde48
- [dune] Pass of dune fmt. · d1042763
  Michele Alberti authored 2 years ago
  
  d1042763
Jul 11, 2022
- Property verification is not for NN only. · 7bf317ef
  Michele Alberti authored 2 years ago
  
  7bf317ef
- Update cmdliner version. · 587de126
  Michele Alberti authored 2 years ago
  
  587de126
- Update ocamlformat version. · 6d75e0e7
  Michele Alberti authored 2 years ago
  
  6d75e0e7
- Merge branch 'bump_to_why3_1.5' into 'master' · 963a7b13
  Michele Alberti authored 2 years ago
  
  Bump Why3 to version 1.5.0 See merge request laiser/caisar!31
  963a7b13
- Use new autodetection API · 4835bd80
  François Bobot authored 2 years ago
  
  4835bd80
Jul 08, 2022
- [dune] Better synopsis of the project. · a9c34568
  Michele Alberti authored 2 years ago
  
  a9c34568
Jul 06, 2022
- Merge branch 'feature/michele/docker-image' into 'master' · 4f119fff
  Michele Alberti authored 2 years ago
  
  Docker image for CAISAR See merge request laiser/caisar!30
  4f119fff
- [docker] Make it possible to provide the OCaml version to the Makefile. · b1afc22a
  Michele Alberti authored 2 years ago
  
  b1afc22a
- [docker] Fix some issues in the Makefile for the docker image. · 537a1a5a
  Michele Alberti authored 2 years ago
  
  537a1a5a
- [README] Update docker section with instructions for pulling and running the docker image. · e6c7c2ba
  Michele Alberti authored 2 years ago
  
  e6c7c2ba
- [docker] Add Makefile target for pushing an image to the LAISER account on docker hub. · 3c529047
  Michele Alberti authored 2 years ago
  
  3c529047
- [docker] Rename docker image tag for CAISAR. · 610bddc2
  Michele Alberti authored 2 years ago
  
  610bddc2
Jul 05, 2022
- [README] Add information on how to build the docker image. · d02d333f
  Michele Alberti authored 2 years ago
  
  d02d333f
- [Makefile] Add target for building the docker image of CAISAR. · 193769bd
  Michele Alberti authored 2 years ago
  
  193769bd
- [docker] Dockerfile templates and Makefile to instantiate template variables. · 1bc9694c
  Michele Alberti authored 2 years ago
  
  1bc9694c
- [docker] CAISAR dockerfile. · 93741d58
  Michele Alberti authored 2 years ago
  
  93741d58
- [Makefile] Add target for installing and uninstalling CAISAR. · 05b32c43
  Michele Alberti authored 2 years ago
  
  05b32c43
Jul 04, 2022
- [dune] Precise package for tests. · e2871cba
  Michele Alberti authored 2 years ago
  
  e2871cba
Jun 29, 2022
- Prepare release 0.1 · 386df8f0
  Michele Alberti authored 2 years ago
  
  386df8f0
- Merge branch 'feature/michele/opam-package-makefile' into 'master' · ee4cbd82
  Michele Alberti authored 2 years ago
  
  Makefile target for automatic opam package creation and release See merge request laiser/caisar!29
  ee4cbd82
- [opam] Add Makefile target for creating and releasing opam package. · abba1d6c
  Michele Alberti authored 2 years ago
  
  abba1d6c
- [opam] Use different markdown syntax for CHANGES.md file. · 5a01f0aa
  Michele Alberti authored 2 years ago
  
  5a01f0aa
Jun 28, 2022
- Merge branch 'feature/michele/opam-package' into 'master' · 7d466405
  Michele Alberti authored 2 years ago
  
  Preliminary work for creating an opam package See merge request laiser/caisar!27
  7d466405
- [opam] Add change log file. · 3506d987
  Michele Alberti authored 2 years ago
  
  3506d987
- [opam] Add/update metada for opam package. · 55f8b904
  Michele Alberti authored 2 years ago
  
  55f8b904
Jun 23, 2022
- Merge branch 'fix/michele/test-autodetect' into 'master' · 28648bb6
  Michele Alberti authored 2 years ago
  
  Make bin/saver executable in autodetect test See merge request laiser/caisar!28
  28648bb6
- [tests] Common permissions for pyrat.py script. · 171f418c
  Michele Alberti authored 2 years ago
  
  171f418c
- [tests] Make bin/saver executable. · 53022d2b
  Michele Alberti authored 2 years ago
  
  53022d2b
Jun 21, 2022
- Merge branch 'fix/michele/fixups' into 'master' · 4d188e75
  Michele Alberti authored 2 years ago
  
  Fix SAVer detection, and other minor fixups See merge request laiser/caisar!26
  4d188e75
- Remove reference to DIR as there is no actual support for it. · 21027661
  Michele Alberti authored 2 years ago
  
  21027661
- [SAVer] Fix version_switch in configuration file. · f4000a36
  Michele Alberti authored 2 years ago
  
  f4000a36
- Rephrase help message for supported provers. · 53dd77b7
  Michele Alberti authored 2 years ago
  
  53dd77b7
- Print detected provers, if any. · f7bf1fdd
  Michele Alberti authored 2 years ago
  
  f7bf1fdd
Jun 20, 2022
- Merge branch 'feature/michele/automatic-confianceia' into 'master' · d8633647
  Michele Alberti authored 2 years ago
  
  Automatic push to confianceAI repository See merge request laiser/caisar!24
  d8633647