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.09May5421Apr20513Mar914Feb13831Jan252319171110423Dec2220191615141312987652126Nov25242217928Oct24212018121110765329Sep27262065231Aug29Jul27181311865429Jun282321201914814Apr131254131Mar30292117228Feb1711Jan75410Dec9726Nov2322109825Oct14654129Sep3131Aug1330Jul232116930Jun2817May117629Apr1916131024Mar18121198Feb425Dec18171628Nov271631Oct[nnenum] Rework local detection.Merge branch 'feature/lowercase-modules' into 'master'Merge branch 'feature/deeper-aimos-integration' into 'master'Use lower case name for SAVer files.Use lower case name for JSON files.Use lower case name for AIMOS files.[aimos] Rework some style.[stdlib] Remove unused import and commented specification.[doc]README now states example files are in the example folder.[aimos] Make proper `aimos_params` type and use it[aimos] Add perturbation path and out mode[aimos] Create config file from improved predicate[aimos] Add library for paths support[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.