Commits · 11812fc7e1e8e781e4c5763806d99105e3566677 · pub / caisar · GitLab

Snippets Groups Projects

May 17, 2023
- [stdlib] Prefer using more generic theory name NeuralNetwork. · 11812fc7
  Michele Alberti authored 1 year ago
  
  Instead of Classifier. Also update the codebase accordingly.
  11812fc7
- [interpretation] Extract Language lsymbols declaration into a function. · ad0772ab
  Michele Alberti authored 1 year ago
  
  ad0772ab
- [interpretation] Proper silencing of warning for debug printing. · fc78a9d1
  Michele Alberti authored 1 year ago
  
  fc78a9d1
- [interpretation] Prefer using type name also for values. · c3a76ebd
  Michele Alberti authored 1 year ago
  
  c3a76ebd
- [language] Do not use type alias as type inference becomes confused. · ad2f7fc0
  Michele Alberti authored 1 year ago
  
  ad2f7fc0
- [interpretation] Remove notion of tensor from code and library. · 687dd42c
  Michele Alberti authored 1 year ago
  
  687dd42c
- [tests] Remove unnecessary files. · 2269f8ea
  Michele Alberti authored 1 year ago
  
  2269f8ea
- [tests] Fix constant pi value. · f64b4c6a
  Michele Alberti authored 1 year ago
  
  f64b4c6a
- [interpretation] Declare only logic symbols relative to classifiers and vectors. · 4ad94e14
  Michele Alberti authored 1 year ago
  
  4ad94e14
- [trans] Add transformation for simplifying linear inequalities. · 31beca91
  Michele Alberti authored 1 year ago
  
  31beca91
- [pyrat] Negate goal formula if needed. · 14592781
  Michele Alberti authored 1 year ago
  
  14592781
- [vnnlib] Just simplify already negated formula. · 02031377
  Michele Alberti authored 1 year ago
  
  02031377
- [marabou] Just simplify already negated formula. · a7465725
  Michele Alberti authored 1 year ago
  
  a7465725
- [verification] Early goal split before applying transformations. · 669b6cd3
  Michele Alberti authored 1 year ago
  
  669b6cd3
- [tests] Update test commands (not oracles). · 03794fb2
  Michele Alberti authored 1 year ago
  
  03794fb2
- [trans] Separate utility functions for gathering input symbols. · 0af3edb2
  Michele Alberti authored 1 year ago
  
  0af3edb2
- [trans] Fix utility count_nn_classifiers to count only different classifier symbols. · 0bebd680
  Michele Alberti authored 1 year ago
  
  0bebd680
- [interpretation] Remove interpret command and integrate task interpretation into verification. · ce07c066
  Michele Alberti authored 1 year ago
  
  ce07c066
- [drivers] Rework drivers for handling floats with rounding information. · a62054f6
  Michele Alberti authored 1 year ago
  
  a62054f6
- [tests] Use /\ instead of -> the most in ACAS-Xu. · cc4df3cc
  Michele Alberti authored 1 year ago
  
  cc4df3cc
- [main] Catch system errors. · 27a8f47e
  Michele Alberti authored 1 year ago
  
  27a8f47e
- [trans] Remove useless transformation sequencing. · 330a9345
  Michele Alberti authored 1 year ago
  
  330a9345
- [interpretation] Declare logic symbols related to the introduced caisar operations. · a5529b3f
  Michele Alberti authored 1 year ago
  
  a5529b3f
- [interpretation] Use classifier logic symbols created by language module. · ec002e5f
  Michele Alberti authored 1 year ago
  
  ec002e5f
- [interpretation] Extension of current transformations. · 94016493
  Michele Alberti authored 1 year ago
  
  94016493
- [interpretation] Add notion of classifier in language and use it in interpretation. · 4e558db3
  Michele Alberti authored 1 year ago
  
  4e558db3
- [interpretation] Use equal_shape only for tensors, not vectors. · 845ecadb
  Michele Alberti authored 1 year ago
  
  845ecadb
- [interpretation] Add notion of vector in language and use it in interpretation. · 6fd94e48
  Michele Alberti authored 1 year ago
  
  6fd94e48
- [interpretation] Modify dataset testcase to work on vectors instead. · b912fcff
  Michele Alberti authored 1 year ago
  
  b912fcff
- [reduction_engine] Add some deriving show. · 63227409
  Michele Alberti authored 2 years ago
  
  63227409
- [interpretation] Add support for theory scopes for builtins. · c2482b55
  Michele Alberti authored 2 years ago
  
  c2482b55
- [interpretation] Test oracle update. · 54dcaeac
  Michele Alberti authored 2 years ago
  
  54dcaeac
- [interpretation] Add utility function for constructing an integer value. · cafb96ad
  Michele Alberti authored 2 years ago
  
  cafb96ad
- [interpretation] Code formatting. · 8c6bffac
  Michele Alberti authored 2 years ago
  
  8c6bffac
- [interpretation] builtin can request resulting term evaluation · 9d957f5a
  François Bobot authored 2 years ago and Michele Alberti committed 1 year ago
  
  9d957f5a
- [interpretation] Support vget on Vector operator. · 2578d4e5
  Michele Alberti authored 2 years ago
  
  2578d4e5
- [interpretation] Add support for mapi function. · e358e0f8
  Michele Alberti authored 2 years ago
  
  e358e0f8
- [interpretation] Support has_length predicate. · 0e4ea752
  Michele Alberti authored 2 years ago
  
  0e4ea752
- [interpretation] Add ACASXu test case. · 041bea32
  Michele Alberti authored 2 years ago
  
  041bea32
- [interpretation] All reduced (?). · aff1c91c
  Michele Alberti authored 2 years ago
  
  aff1c91c