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.06Dec52126Nov25242217928Oct24212018121110765329Sep27262065231Aug29Jul27181311865429Jun282321201914814Apr131254131Mar30292117228Feb1711Jan75410Dec9726Nov2322109825Oct14654129Sep3131Aug1330Jul232116930Jun2817May117629Apr1916131024Mar18121198Feb425Dec18171628Nov271631Oct[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.[verification][printers] Allow Marabou to be launched on a dataset verification.Move the native_nn_prover transformation outside drivers.[dataset] More robust meta generation for inputs and outputs.[printer] Rework VNN-LIB printer for using meta.[printer] Add a new printer for VNN-LIB format.[dataset] Force input variables on the left-hand side of comparison symbols.[driver] Remove useless stuff.[prover] Use actual prover names for JSON deriving.Merge branch 'fix/michele/minmax-scaler' into 'master'[dataset] Rework minmax scaling.Merge branch 'feature/michele/verify-json' into 'master'[cmdline] No loadpath needed for verification via json config file.[verification] Rework json handling into submodule.[cmdline] Use cmdliner converter for regular result type.[cmdline] Format file specification is not needed for verify-json command.[verification] Create theory from json config file.[language] Export onnx_parser and ovo_parset for standalone use.[language] Export nnet_parser for standalone use.Add basic code structure for new command verify-json that starts a verificationRework and prepare cmdline to accept new command.Use more appropriate exceptions for invalid command line arguments.Rework verification API for better clarity.Merge branch 'fix/michele/interpret-normalization' into 'master'[dataset] More robust equality check based on term equality.[dataset] Filter normalization by lsymbol name.Merge branch 'feature/michele/dataset-vnnlib' into 'master'[language] Rename theories for nnet/onnx/ovo extensions.[dataset] Rename some types.Add simple csv dataset support by means of vnnlib language.[onnx] Small doc fixup.Merge branch 'fix/julien/more-onnx-ops' into 'master'[NIER] Add more ONNX operators to the NIER.Merge branch 'feature/michele/opt-nnet-onnx' into 'master'