Skip to content
Snippets Groups Projects
Normal view Permalink
dune 155 B
Newer Older
François Bobot's avatar
Add NNet input language
François Bobot committed
1 2 3 
(cram
 (deps
  (package caisar)
François Bobot's avatar
Add call to provers  
François Bobot committed
4 
   TestNetwork.nnet
Julien Girard-Satabin's avatar
Converted code to ocaml-protoc-plugin  
Julien Girard-Satabin committed
5 
   TestNetworkONNX.onnx
Julien Girard-Satabin's avatar
[SAVer] Test for SVM parser.  
Julien Girard-Satabin committed
6 
   TestSVM.ovo
Julien Girard-Satabin's avatar
[SAVer] Reworked tests.  
Julien Girard-Satabin committed
7 
   test_data.csv
François Bobot's avatar
Add call to provers  
François Bobot committed
8 
   bin/pyrat.py
Michele Alberti's avatar
[Marabou] Add test stub.  
Michele Alberti committed
9 
   bin/Marabou
Michele Alberti's avatar
[SAVer] Driver and config ready  
Michele Alberti committed
10 
   bin/saver
François Bobot's avatar
Add NNet input language
François Bobot committed
11 
))