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.019Dec1615141312987652126Nov25242217928Oct24212018121110765329Sep27262065231Aug29Jul27181311865429Jun282321201914814Apr131254131Mar30292117228Feb1711Jan75410Dec9726Nov2322109825Oct14654129Sep3131Aug1330Jul232116930Jun2817May117629Apr1916131024Mar18121198Feb425Dec18171628Nov271631OctMerge 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.[config] Rework Marabou configuration for adding a timeout.[config] Rework PyRAT configurations.Merge branch 'feature/michele/verification-result-type' into 'master'Uniformize some error message style.[verification] Move out the recording of output JSON.[verification] Introduce verification result type.Merge branch 'feature/michele/json-result' into 'master'Merge branch 'feature/michele/nnenum' into 'master'Merge branch 'feature/michele/better-vnnlib-support' into 'master'[verification] Support time and memory limits in JSON configuration file.[verification] Support output file specification in JSON configuration.[verification] Write dataset verification results into a JSON file.[cmdline] New cmdline option for providing outfile file. Only for verify-json command for the moment.[dataset] Drop up-front constraint on csv format for dataset file.Add support for the nnenum prover.[tests] Add test using Marabou on dataset.