Merge branch 'build/nix-fix-build-development-mode' into 'master'
[Nix] check the development mode (deprecated warnings) See merge request laiser/caisar!101
No related branches found
No related tags found
Showing
- .gitlab-ci.yml 6 additions, 14 deletions.gitlab-ci.yml
- flake.nix 4 additions, 1 deletionflake.nix
- lib/ir/nier_cfg.ml 1 addition, 1 deletionlib/ir/nier_cfg.ml
- lib/nnet/nnet.ml 4 additions, 4 deletionslib/nnet/nnet.ml
- lib/onnx/onnx.ml 2 additions, 2 deletionslib/onnx/onnx.ml
- lib/ovo/ovo.ml 4 additions, 4 deletionslib/ovo/ovo.ml
- src/aimos.ml 2 additions, 2 deletionssrc/aimos.ml
- src/autodetect.ml 4 additions, 4 deletionssrc/autodetect.ml
- src/convert_xgboost.ml 2 additions, 2 deletionssrc/convert_xgboost.ml
- src/interpretation.ml 3 additions, 3 deletionssrc/interpretation.ml
- src/json.ml 1 addition, 1 deletionsrc/json.ml
- src/main.ml 1 addition, 1 deletionsrc/main.ml
- src/transformations/native_nn_prover.ml 1 addition, 1 deletionsrc/transformations/native_nn_prover.ml
- src/transformations/nn2smt.ml 1 addition, 1 deletionsrc/transformations/nn2smt.ml
- src/verification.ml 5 additions, 5 deletionssrc/verification.ml
- tests/filter_tmpdir.sh 1 addition, 1 deletiontests/filter_tmpdir.sh
Loading
Please register or sign in to comment