Skip to content
Snippets Groups Projects
Select Git revision
  • master default
  • 3.0
  • 2.1
  • 2.0
  • 1.0
5 results
You can move around the graph by using the arrow keys.
Created with Raphaël 2.2.030Jun2826232221201916151298231May30252423171195421Apr20513Mar914Feb13831Jan252319171110423Dec2220191615141312987652126Nov25242217928Oct24212018121110765329Sep27262065231Aug29Jul27181311865429Jun282321201914814Apr131254131Mar30292117228Feb1711Jan75410Dec9726Nov2322109825Oct14654129Sep3131Aug1330Jul232116930Jun2817May117629Apr1916131024Mar18121198Feb4[doc] Contextualized warning in ACAS-Xu[doc] Updated ACAS-Xu examples with more meaningful variable names[doc] Rephrased the local robustness property, removing ambiguity on the word expected[doc] Added alert on normalization for ACAS-Xu[doc] Clarified ieee 754 floating point requirement in spec[doc] Clarified documentation link on README and docgen instruction[doc] Clarified support for windows[doc] Clarified acas-xu examplesMerge branch 'feature/michele/split-on-dataset' into 'master'[interpretation] CSV dataset types comply with the particular CSV dataset format.[proof_strategy] Split task goal only in presence of datasets.Merge branch 'stable/0.2'[tests] Try and fix tests on Fedora Linux[xgboost] fix execution on ocaml 32bit[xgboost] specify that xgboost tests are for caisar-xgboost package only[release] Added dependency in caisar-ovo packageMerge branch 'feature/aymeric/aimos-cwd-detection' into 'master'[release] Explicitly state dependencies in opam files.[deps] Fix spurious name for XGBoost library[aimos] Set CWD from CAISARMerge branch 'stable/0.2'[deps] Fix spurious name for XGBoost libraryMerge branch 'stable/0.2'[deps] Added CAISAR xgboost as an explicit caisar packageMerge branch 'stable/0.2'[deps] Reorganized deps for dependencies[deps] Remove unnecessary zarith and piqirun deps in intermediate representation[deps] Remove unnecessary zarith and piqirun deps in intermediate representationMerge branch 'stable/0.2' into 'master'[release] Update docker image[release] Update header and displayed version for release 0.2[doc] Remove unnecessary command-line options in example commands.[examples] Remove unnecessary use of bool.Bool library.[cli] Update the CAISAR version number.[release] Correct some typos and spacing in CHANGES.md file.[release] Remove spurious backticks in CHANGES.md[doc] Update date for version in the manual.[release] Updated opam files for release[doc] Rephrased ACAS-Xu examples in doc for interpretation engine, remove unused bool in examples.[doc] Mention python3 as a requirement for CAISAR to work properly.