Commits · 8f10101ca401026ef3c84fff064f5fe861820f4a · pub / caisar · GitLab

Snippets Groups Projects

Jun 12, 2023
- [log] Rework logging module around different design. · 8f10101c
  Michele Alberti authored 1 year ago
  
  8f10101c
- [aimos] Do not log specification information for AIMOS. · 1d0efd99
  Michele Alberti authored 1 year ago
  
  1d0efd99
- [tests] CLI for log categories (option 1 with custom formatter) · a1bc92f0
  Julien Girard-Satabin authored 1 year ago and Michele Alberti committed 1 year ago
  
  a1bc92f0
- [tests] Added test oracles to verify-json unit test. · 3abd997c
  Julien Girard-Satabin authored 1 year ago and Michele Alberti committed 1 year ago
  
  3abd997c
- [tests] Added test oracles to interpretation unit tests. · 339daf42
  Julien Girard-Satabin authored 1 year ago and Michele Alberti committed 1 year ago
  
  339daf42
- [tests] Rephrased logged message. · 3c5d779b
  Julien Girard-Satabin authored 1 year ago and Michele Alberti committed 1 year ago
  
  3c5d779b
- [tests] Promote tests following rebase · d0375604
  Julien Girard-Satabin authored 1 year ago and Michele Alberti committed 1 year ago
  
  d0375604
- [tests] Relative model paths for AIMOS oracle · 32cdffef
  Julien Girard-Satabin authored 1 year ago and Michele Alberti committed 1 year ago
  
  32cdffef
- [tests] Initial display of prepared tasks for provers · 9f344c60
  Julien Girard-Satabin authored 1 year ago and Michele Alberti committed 1 year ago
  
  9f344c60
Jun 02, 2023
- [config] Add first support for abcrown config files. · 293ef4db
  Michele Alberti authored 1 year ago
  
  293ef4db
May 25, 2023
- [tests] Add abcrown to autodetection test, plus some fixes. · 50aeffb5
  Michele Alberti authored 1 year ago
  
  50aeffb5
May 17, 2023
- [interpretation] Remove scopes from library theories. · a88e69dd
  Michele Alberti authored 1 year ago
  
  a88e69dd
- [interpretation] Clean up and update codebase wrt interpretation. · 3901e213
  Michele Alberti authored 1 year ago
  
  3901e213
- [interpretation] Rename infix operator for neural network application. · 96aa0a0c
  Michele Alberti authored 1 year ago
  
  96aa0a0c
- [stdlib] Prefer using more generic theory name NeuralNetwork. · 11812fc7
  Michele Alberti authored 1 year ago
  
  Instead of Classifier. Also update the codebase accordingly.
  11812fc7
- [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
- [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
- [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
- [tests] Use /\ instead of -> the most in ACAS-Xu. · cc4df3cc
  Michele Alberti authored 1 year ago
  
  cc4df3cc
- [interpretation] Use classifier logic symbols created by language module. · ec002e5f
  Michele Alberti authored 1 year ago
  
  ec002e5f
- [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
- [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] 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
- [interpretation] Sleeping time. · 929527ab
  Michele Alberti authored 2 years ago
  
  929527ab
- [interpretation] c'est l'heure de gouter. · c61e51dd
  François Bobot authored 2 years ago and Michele Alberti committed 1 year ago
  
  c61e51dd
- [interpretation] wip3. · 2a6cc978
  Michele Alberti authored 2 years ago
  
  2a6cc978
- [interpretation] wip2. · eb94f8c8
  Michele Alberti authored 2 years ago
  
  eb94f8c8
- [interpretation] wip. · 20feb4da
  Michele Alberti authored 2 years ago
  
  20feb4da
- [tests] Add test case for interpretion on dataset. · 8d2fb49e
  Michele Alberti authored 2 years ago
  
  8d2fb49e