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.024Nov2217928Oct24212018121110765329Sep27262065231Aug29Jul27181311865429Jun282321201914814Apr131254131Mar30292117228Feb1711Jan75410Dec9726Nov2322109825Oct14654129Sep3131Aug1330Jul232116930Jun2817May117629Apr1916131024Mar18121198Feb425Dec18171628Nov271631Oct[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'Warn about the unavailability of nier due to errors.Update language to onnx lib new API.[ONNX] Make nier a field of the parsing result. Keep error messages for future use.[nnet] Admit parsing failure on non-mandatory information.Merge branch 'fix/issue-14' into 'master'[cmdline] Simplify code for handling time and memory limits.[cmdline] Move time and memory limit conversion functions into main module.[cmdline] Rework time and memory limit options.add units in memlimit and timeout optionsMerge branch 'fix/issue-14' into 'master'[verify] Take into account the user limits.Merge branch 'fix/michele/actual-net-apply-cleanup' into 'master'Remove manually applied transformation for inlining net_apply as not actually useful.[tests] Rework stub for cvc5.Merge branch 'fix/michele/clean-up-tests' into 'master'[tests] Rework SAVer test.[tests] Rework PyRAT tests.[tests] Rework Marabou test.[tests] Rework cvc5 test.Merge branch 'feature/net_apply_transform' into 'master'Proper input and output variables inference.Automatic application of actual_net_apply transform for CVC5.