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.012Dec987652126Nov25242217928Oct24212018121110765329Sep27262065231Aug29Jul27181311865429Jun282321201914814Apr131254131Mar30292117228Feb1711Jan75410Dec9726Nov2322109825Oct14654129Sep3131Aug1330Jul232116930Jun2817May117629Apr1916131024Mar18121198Feb425Dec18171628Nov271631Oct[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.[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.