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.011Jan10423Dec2220191615141312987652126Nov25242217928Oct24212018121110765329Sep27262065231Aug29Jul27181311865429Jun282321201914814Apr131254131Mar30292117228Feb1711Jan75410Dec9726Nov2322109825Oct14654129Sep3131Aug1330Jul232116930Jun2817May117629Apr1916131024Mar18121198Feb425Dec18171628Nov271631OctIgnore pycache files.Merge branch 'feature/michele/some-rework-stdlib' into 'master'[stdlib] Simplify the most to avoid unused stuff.[stdlib] Some rework and renaming for dataset classification theories.Bump ocamlformat version.[examples] Use two different nets for ACAS-Xu property 2 so to show valid and invalid results.[doc] Fix some typos.[config] Add alternative executable for pyrat-acas as for the other cases.Update changelog.[doc] Add doc target to Makefile, and doc section in README.md file.Merge branch 'feature/docker_with_pyrat' into 'master'[Docker] Add compiled version of PyRatMerge branch 'doc/michele/improvements' into 'master'[doc] Rework instruction for path to solver.[doc] Index max depth.[doc] Scale down acas-xu schematic.[doc] Add foreword section.[doc] Some reworking.[doc] Rework index.[doc] More overall configuration.[doc] Remove useless file.Merge branch 'doc/julien/refresh' into 'master'[doc] Some proof-reading.[doc] Integrate changes to acas-xu and mnist.[doc] Added version mention in files.[doc] A bit more detailed usage page.[doc] More substantial welcome page, remove unused modules page.Merge branch 'doc/julien/acas-xu' into 'master'[doc] Finalize section about MNIST dataset robustness.[doc] Use console code blocks for installation instructions.[doc] Add why3 extension for good highlighting.[examples][doc] Add example on MNIST dataset verification.[doc] Rework section on acas-xu examples.Update commands in readme file.[doc] Do not use utf-8 symbols directly.[examples] Add ONNX nets needed for ACASXu examples.[doc] Clarified ACAS inputs, added property ACAS Phi 2.[config] Added a PyRAT config for solving ACAS problems.[doc] Added example for ACAS-Xu property 1.Update changelog and readme files.