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.013Mar914Feb13831Jan252319171110423Dec2220191615141312987652126Nov25242217928Oct24212018121110765329Sep27262065231Aug29Jul27181311865429Jun282321201914814Apr131254131Mar30292117228Feb1711Jan75410Dec9726Nov2322109825Oct14654129Sep3131Aug1330Jul232116930Jun2817May117629Apr1916131024Mar18121198Feb425Dec18171628Nov271631Oct[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.[dataset] Fix error message on unsupported terms.[verification] Fix typo in error message.[verification] Use invalid_arg exception for cleaner error message handling.Merge branch 'fix/michele/better-nnenum-detection' into 'master'[nnenum] Better detection that actually fails when nnenum is not found.Merge branch 'feature/michele/rework-docker-template' into 'master'[docker] Rework template to make it work with latest solvers.[language] Standardize shape type.Merge branch 'feature/michele/remove-dataset-normalization' into 'master'Merge branch 'remove-docker-inspect' into 'master'[examples] Update MNIST datasets and property.[doc] Update documentation.[dataset] Remove normalization feature.[docker] Fix Makefile to use default base image when 'docker manifest inspect' fails.