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.017May1195421Apr20513Mar914Feb13831Jan252319171110423Dec2220191615141312987652126Nov25242217928Oct24212018121110765329Sep27262065231Aug29Jul27181311865429Jun282321201914814Apr131254131Mar30292117228Feb1711Jan75410Dec9726Nov2322109825Oct14654129Sep3131Aug1330Jul232116930Jun2817May117629Apr1916131024Mar18121198Feb425Dec18171628Nov271631Oct[stdlib] Prefer using more generic theory name NeuralNetwork.[interpretation] Extract Language lsymbols declaration into a function.[interpretation] Proper silencing of warning for debug printing.[interpretation] Prefer using type name also for values.[language] Do not use type alias as type inference becomes confused.[interpretation] Remove notion of tensor from code and library.[tests] Remove unnecessary files.[tests] Fix constant pi value.[interpretation] Declare only logic symbols relative to classifiers and vectors.[trans] Add transformation for simplifying linear inequalities.[pyrat] Negate goal formula if needed.[vnnlib] Just simplify already negated formula.[marabou] Just simplify already negated formula.[verification] Early goal split before applying transformations.[tests] Update test commands (not oracles).[trans] Separate utility functions for gathering input symbols.[trans] Fix utility count_nn_classifiers to count only different classifier symbols.[interpretation] Remove interpret command and integrate task interpretation into verification.[drivers] Rework drivers for handling floats with rounding information.[tests] Use /\ instead of -> the most in ACAS-Xu.[main] Catch system errors.[trans] Remove useless transformation sequencing.[interpretation] Declare logic symbols related to the introduced caisar operations.[interpretation] Use classifier logic symbols created by language module.[interpretation] Extension of current transformations.[interpretation] Add notion of classifier in language and use it in interpretation.[interpretation] Use equal_shape only for tensors, not vectors.[interpretation] Add notion of vector in language and use it in interpretation.[interpretation] Modify dataset testcase to work on vectors instead.[reduction_engine] Add some deriving show.[interpretation] Add support for theory scopes for builtins.[interpretation] Test oracle update.[interpretation] Add utility function for constructing an integer value.[interpretation] Code formatting.[interpretation] builtin can request resulting term evaluation[interpretation] Support vget on Vector operator.[interpretation] Add support for mapi function.[interpretation] Support has_length predicate.[interpretation] Add ACASXu test case.[interpretation] All reduced (?).