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.028Jun26232221201916151298231May30252423171195421Apr20513Mar914Feb13831Jan252319171110423Dec2220191615141312987652126Nov25242217928Oct24212018121110765329Sep27262065231Aug29Jul27181311865429Jun282321201914814Apr131254131Mar30292117228Feb1711Jan75410Dec9726Nov2322109825Oct14654129Sep3131Aug1330Jul232116930Jun2817May117629Apr1916131024Mar18121198Feb425Dec18Merge 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.[doc] Update CAISAR version in doc[release] Updated changelog for release 0.2Merge branch 'fix/michele/invalid-result' into 'master'[verification] Prioritize results for which the user may do something about.[verification] Spell-out all result cases and priorities.[verification] Any invalid sub-formula results into invalid formula.Merge branch 'feature/michele/update-examples' into 'master'[examples] Fix acasxu property #5.[doc] Add new logging tag in manual.[examples] Update acasxu examples for interpretation.[interpretation] Log the resulting interpreted formula for debugging.