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.020Mar181586530Jan2720Dec12421Nov141325Oct241611329Sep252221201924Jul764330Jun2826232221201916151298231May30252423171195421Apr20513Mar914Feb13831Jan252319171110423Dec2220191615141312987652126Nov25242217928Oct24212018121110765329Sep27262065231Aug29Jul27181311865429Jun282321201914814Apr1312[interpretation] Rework interpreter types interface.[interpretation] Move builtin interpretation into separate module.[interpretation] Function of eval term.[interpretation] Some renaming.[interpretation] Move types into a separate module.[interpretation] Move to a sub-directory.[interpretation] Remove open Why3.[stdlib] Theory for svm models.Merge branch 'feature/aymeric/add-gather-to-nier' into 'master'[nier] Add support for Gather operator[stdlib] Fix indentation.Merge branch '48-error-reporting-for-interpretation' into 'master'[tests] Update wrt stdlib changes.[interpretation] Update wrt logging API.[interpretation] Use new Logging API.[interpretation] User error on invalid specifications.WIP: Add real tests for failing cases[interpretation] Fix list length verificationMerge branch 'feature/michele/rework-stdlib' into 'master'[doc] Update the manual.[stdlib] Add 'caisar.' prefix.[stdlib] Add basic types to obtain most specification reuse possible.[stdlib] Add classification robustness of vectors.[stdlib] Simpler and unique theory for neural networks.[tests] Remove output filtering when not needed (almost never nowdays).[interpretation] Add support for defining float64 constants.[stdlib] Alternative dataset formulation.[stdlib] Generalize valid features values.[stdlib] Add new line.[examples] Rework acasxu specification.[stdlib] Rename read_neural_network into the more general read_model.[stdlib] Make csv theory bound to float64.[stdlib] Generalize theory for datasets.[examples] Update mnist specification.[interpretation] Add support for addition between vectors.[stdlib] Rework csv dataset robust predicate to consider all possible labels.[stdlib] Define standalone theory for csv dataset robustness.[stdlib] Rework organization of stdlib.[cli] Fix typo in verify-json help message.Merge branch 'feature/michele/error-location' into 'master'