Skip to content
Snippets Groups Projects
Normal view Permalink
.gitignore 203 B
Newer Older
Virgile Prevosto's avatar
Merge branch 'fix/andre/ptests-stdopt-log' into 'master'
Virgile Prevosto committed
1 2 3 4 
/Makefile
/.make-wp-coq
/.make-wp-why3
/.WP_API_GENERATED
François Bobot's avatar
Some cleanup of the gitignores  
François Bobot committed
5 6 7 8 9
Virgile Prevosto's avatar
Merge branch 'fix/andre/ptests-stdopt-log' into 'master'
Virgile Prevosto committed
10
Patrick Baudin's avatar
[Tests] adds wp tests (init)  
Patrick Baudin committed
11 
/tests/*/oracle/dune
Patrick Baudin's avatar
[Tests] add test config qualif of wp (cont.)  
Patrick Baudin committed
12 
/tests/*/oracle_*/dune
Virgile Prevosto's avatar
Merge branch 'fix/andre/ptests-stdopt-log' into 'master'
Virgile Prevosto committed
13 14 15 16 17 18 
/tests/*/result
/tests/*/result_*

/doc/*/.make-class
/doc/*/.make-icons
/doc/*/.make-images
François Bobot's avatar
use why3 api  
François Bobot committed
19
François Bobot's avatar
Some cleanup of the gitignores  
François Bobot committed
20