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.04May21Apr20513Mar914Feb13831Jan252319171110423Dec2220191615141312987652126Nov25242217928Oct24212018121110765329Sep27262065231Aug29Jul27181311865429Jun282321201914814Apr131254131Mar30292117228Feb1711Jan75410Dec9726Nov2322109825Oct14654129Sep3131Aug1330Jul232116930Jun2817May117629Apr1916131024Mar18121198Feb425Dec18171628Nov271631Oct[aimos] Add library for YAML support[aimos] Remove hard-coded config fileMerge branch 'feature/bobot/xgboost' into 'master'[xgboost] Some formatting.[xgboost] Add an example.[xgboost] Add internal simple test.[xgboost] Add xgboost transformation in caisar.[xgboost] Add xgboost reading and predicting library.Merge branch 'fix/julien/ci-resources' into 'master'[ci] Set resource limitations for CI.Merge branch 'add_interpretation' into 'master'[interpretation] Rename interpretation theory.[interpretation] Remove unused type alias.[interpretation] Activate limited quantifications and unfolding of definitions.[interpretation] Use acronym for referring to the caisar reduction engine module.[interpretation] A pass of code formatting.[interpretation] Example with forall_ predicate.[interpretation] Remove spurious dead code.[interpretation] Interpret size of a dataset.[interpretation] Remove caisar specific code from reduction engine.[interpretation] Add specific caisar builtins.[interpretation] Copy module reduction_engine from Why3.Merge branch 'fix/michele/issue26-why3-1.6.0' into 'master'[config] Remove useless drivers as the Why3 original ones are used instead.Several updates following the new Why3 (version 1.6.0) API changes.Merge branch 'fix/michele/why3-version' into 'master'[dune] Settle for why3 1.5.1.Merge branch 'feature/michele/rework-outputs' into 'master'[verification] Rework additional information for dataset results and simplify its JSON serialization.[verification] Pull out non-task specific code.Merge branch 'aimos' into 'master'[aimos] Add test case.[stdlib] Add metamorphic robust predicate.Update gitignore.[aimos] Add AIMOS and ACAS specific files.[aimos] Add AIMOS as a prover and basic answer_aimos.[aimos] Add driver for AIMOS.Merge branch 'fix/issue/pub/1-caisar-onnx-build-error' into 'master'[aimos] Make CAISAR detect AIMOS.[dune] Make ONNX library to explicitly depend on the ocaml-protoc-plugin package.