Skip to content
Snippets Groups Projects
Select Git revision
  • master default
  • 3.0
  • 2.1
  • 2.0
  • 1.0
5 results
Search by author
  • Any Author
  • Allan Blanchard Allan Blanchard blanchard
  • Aymeric Varasse Aymeric Varasse varasse
  • Frama-CI Bot Frama-CI Bot frama-ci-bot
  • François Bobot François Bobot bobot
  • Julien Girard-Satabin Julien Girard-Satabin girard
  • Michele Alberti Michele Alberti malberti
  • Virgile Prevosto Virgile Prevosto virgile
7 authors
  1. Jun 20, 2023
  3. Jun 15, 2023
  5. Dec 15, 2022
  7. Dec 14, 2022
  9. Nov 09, 2022
  11. Oct 28, 2022
    • Michele Alberti's avatar
      Add simple csv dataset support by means of vnnlib language. · 3d666199
      Michele Alberti authored 
      - Add support for neural network as array in language.ml
- Translate csv record as vnnlib constraints in dataset.ml
- Add simple dataset normalization functionalities in dataset.ml
- Add vnnlib printer (as smtlib printer with direct real support)
- Add vnnlib driver for PyRAT
- Rework onnx and nnet parsers to not fail on non-mandatory information
      3d666199
  13. Sep 20, 2022