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.023Dec2220191615141312987652126Nov25242217928Oct24212018121110765329Sep27262065231Aug29Jul27181311865429Jun282321201914814Apr131254131Mar30292117228Feb1711Jan75410Dec9726Nov2322109825Oct14654129Sep3131Aug1330Jul232116930Jun2817May117629Apr1916131024Mar18121198Feb425Dec18171628Nov271631Oct[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.Merge branch 'fix/michele/various-improvements' into 'master'[config] Use vnncomp Marabou options by default (but multiple threads).[printer] Simplify the Marabou printer to handle only non-strict relational operators.[verification] Split premises in the case of nnenum too.[printer] Fix PyRAT driver after upstream changes.[printer] Remove useless SMTv2 for VNNLIB printer.[printer] Better VNNLIB driver and printer for ordinary property (eg, ACAS-Xu).Merge branch 'feature/michele/prover-altern' into 'master'[ci] Make stages interruptible.[cmdline][verification] Add support for selecting prover alternatives.[verification] Bump default timeout to 20 seconds.