Selene/AStat
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
Analyseur statique pour le projet de sémantique
30 commits 2 branches 0 tags 127 KiB
Find a file
Exact
Granahir2 2808f0bd8c Integration
2024-06-09 21:30:20 +02:00
domains Finished Karr 2024-06-09 20:30:36 +02:00
examples Integration 2024-06-09 21:30:20 +02:00
frontend More congruence precision, backprop bug fix, disjunctive analysis! 2024-06-08 21:54:06 +02:00
iterator Integration 2024-06-09 21:30:20 +02:00
libs Init commit 2024-05-29 11:47:47 +02:00
scripts Integration 2024-06-09 21:30:20 +02:00
.gitignore Fixed results' styling 2024-06-02 12:45:53 +02:00
analyzer.ml Integration 2024-06-09 21:30:20 +02:00
dune Init commit 2024-05-29 11:47:47 +02:00
dune-project Init commit 2024-05-29 11:47:47 +02:00
flake.lock Added nix support 2024-06-01 20:49:48 +02:00
flake.nix Added interval domains + fixed nix 2024-06-01 20:49:48 +02:00
Makefile Added interval domains + fixed nix 2024-06-01 20:49:48 +02:00
rapport.md Preparing for final commit 2024-06-09 18:11:53 +02:00
README.md Initial commit 2024-05-29 11:38:26 +02:00

README.md

AStat

Analyseur statique pour le projet de sémantique