Commits · d3f7a1f2475f6bd928f2b8e8c6643725251c2d9b · pub / caisar

Jan 23, 2023
- [language] Standardize shape type. · d3f7a1f2
  Michele Alberti authored 2 years ago
  
  d3f7a1f2
- Merge branch 'feature/michele/remove-dataset-normalization' into 'master' · f8151d30
  Michele Alberti authored 2 years ago
  
  Remove dataset normalization See merge request laiser/caisar!72
  f8151d30
- Merge branch 'remove-docker-inspect' into 'master' · 4a0a71a3
  Michele Alberti authored 2 years ago
  
  Fix docker Makefile See merge request laiser/caisar!71
  4a0a71a3
Jan 19, 2023
- [examples] Update MNIST datasets and property. · 12434ca5
  Michele Alberti authored 2 years ago
  
  12434ca5
- [doc] Update documentation. · 4967a7c3
  Michele Alberti authored 2 years ago
  
  4967a7c3
- [dataset] Remove normalization feature. · b585671d
  Michele Alberti authored 2 years ago
  
  Some design rework needs to be done first.
  b585671d
- [docker] Fix Makefile to use default base image when 'docker manifest inspect' fails. · dc623e37
  Michele Alberti authored 2 years ago
  
  Avoid having the default image hardcoded in template.
  dc623e37
- [docker] Do not use 'docker manifest inspect' for the moment. · 4eada030
  François Bobot authored 2 years ago and Michele Alberti committed 2 years ago
  
  Use default image version of ocaml/opam:ubuntu-ocaml-4.13 instead in template.
  4eada030
Jan 17, 2023
- [doc] Update following the changes in stdlib. · 45c587c0
  Michele Alberti authored 2 years ago
  
  45c587c0
Jan 11, 2023
- Merge branch 'feature/michele/some-rework-json' into 'master' · 6d655b9e
  Michele Alberti authored 2 years ago
  
  Some rework about JSON configuration See merge request laiser/caisar!67
  6d655b9e
- [json] Rename result into prover_answer. · 4b510f29
  Michele Alberti authored 2 years ago
  
  4b510f29
- [json] Proper independent file for json handling. · cc99ad76
  Michele Alberti authored 2 years ago
  
  cc99ad76
- Ignore pycache files. · e7feb6a3
  Michele Alberti authored 2 years ago
  
  e7feb6a3
Jan 10, 2023
- Merge branch 'feature/michele/some-rework-stdlib' into 'master' · 16d12fca
  Michele Alberti authored 2 years ago
  
  Some rework on stdlib See merge request laiser/caisar!66
  16d12fca
- [stdlib] Simplify the most to avoid unused stuff. · 5b1ce44b
  Michele Alberti authored 2 years ago
  
  5b1ce44b
- [stdlib] Some rework and renaming for dataset classification theories. · ede4c07b
  Michele Alberti authored 2 years ago
  
  ede4c07b
- Bump ocamlformat version. · f4d97fd0
  Michele Alberti authored 2 years ago
  
  f4d97fd0
Jan 04, 2023
- [examples] Use two different nets for ACAS-Xu property 2 so to show valid and invalid results. · e56d85b5
  Michele Alberti authored 2 years ago
  
  e56d85b5
- [doc] Fix some typos. · 7c6afa9a
  Michele Alberti authored 2 years ago
  
  7c6afa9a
- [config] Add alternative executable for pyrat-acas as for the other cases. · f002dd0c
  Michele Alberti authored 2 years ago
  
  f002dd0c
Dec 23, 2022
- Update changelog. · 74053b45
  Michele Alberti authored 2 years ago
  
  74053b45
- [doc] Add doc target to Makefile, and doc section in README.md file. · a21b6a70
  Michele Alberti authored 2 years ago
  
  a21b6a70
- Merge branch 'feature/docker_with_pyrat' into 'master' · 836ec013
  Michele Alberti authored 2 years ago
  
  [Docker] Add compiled version of PyRat See merge request laiser/caisar!65
  836ec013
- [Docker] Add compiled version of PyRat · abc096c0
  François Bobot authored 2 years ago
  
  - Fix version of caisar
  abc096c0
Dec 22, 2022
- Merge branch 'doc/michele/improvements' into 'master' · 5c2da07b
  Michele Alberti authored 2 years ago
  
  [doc] Add foreword section See merge request laiser/caisar!64
  5c2da07b
- [doc] Rework instruction for path to solver. · 41df8d02
  Michele Alberti authored 2 years ago
  
  41df8d02
- [doc] Index max depth. · 9d4ceb72
  Michele Alberti authored 2 years ago
  
  9d4ceb72
- [doc] Scale down acas-xu schematic. · 680f5327
  Michele Alberti authored 2 years ago
  
  680f5327
- [doc] Add foreword section. · 81b82e61
  Michele Alberti authored 2 years ago
  
  81b82e61
- [doc] Some reworking. · ce2d29cb
  Michele Alberti authored 2 years ago
  
  ce2d29cb
- [doc] Rework index. · c0771876
  Michele Alberti authored 2 years ago
  
  c0771876
- [doc] More overall configuration. · 05758a59
  Michele Alberti authored 2 years ago
  
  05758a59
Dec 20, 2022
- [doc] Remove useless file. · 1044303f
  Michele Alberti authored 2 years ago
  
  1044303f
- Merge branch 'doc/julien/refresh' into 'master' · 7a4a3f1e
  Michele Alberti authored 2 years ago
  
  [DOC] Some more doc See merge request laiser/caisar!63
  7a4a3f1e
- [doc] Some proof-reading. · 70b8e8cc
  Michele Alberti authored 2 years ago
  
  70b8e8cc
- [doc] Integrate changes to acas-xu and mnist. · 88bb5eae
  Michele Alberti authored 2 years ago
  
  88bb5eae
- [doc] Added version mention in files. · 56fe5d37
  Julien Girard-Satabin authored 2 years ago and Michele Alberti committed 2 years ago
  
  56fe5d37
- [doc] A bit more detailed usage page. · 197454f7
  Julien Girard-Satabin authored 2 years ago and Michele Alberti committed 2 years ago
  
  197454f7
- [doc] More substantial welcome page, remove unused modules page. · db7f8652
  Julien Girard-Satabin authored 2 years ago and Michele Alberti committed 2 years ago
  
  db7f8652
Dec 19, 2022
- Merge branch 'doc/julien/acas-xu' into 'master' · 2089a6d2
  Michele Alberti authored 2 years ago
  
  [DOC] CAISAR by Examples Closes #12 See merge request laiser/caisar!53
  2089a6d2