Commit 748dc861 authored by MARCHE Claude's avatar MARCHE Claude

gitignore

parent dd28dd61
......@@ -217,9 +217,12 @@ pvsbin/
/examples/use_api/runstrat/makejob.opt
/examples/use_api/runstrat/runstrat.opt
/examples/vstte10_max_sum/*__*.ml
/examples/euler001/euler001__*.ml
/examples/sudoku/sudoku__*.ml
/examples/in_progress/defunctionalization/defunctionalization__*.ml
/examples/euler001/*__*.ml
/examples/sudoku/*__*.ml
/examples/defunctionalization/*__*.ml
examples/vstte12_combinators/jsmain.js
examples/vstte12_combinators/*__*.ml
# modules
/modules/string/
......@@ -229,6 +232,7 @@ pvsbin/
/modules/mach/array/
/modules/mach/int/
# jessie3
/src/jessie/.depend
/src/jessie/Jessie3_DEP
......@@ -238,6 +242,7 @@ pvsbin/
/src/jessie/Makefile
/src/jessie/literals.ml
/src/jessie/ptests_local_config.ml
/src/jessie/tests/basic/frama_c_journal.ml
/src/jessie/tests/basic/result/*.log
/src/jessie/tests/demo/result/*.log
/trash
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment