Revision 9c4b41905123055be4c5334c08744e27de6828b8 authored by Pierre Boutillier on 18 September 2015, 08:05:02 UTC, committed by Pierre Boutillier on 18 September 2015, 10:36:00 UTC
1 parent 7b3fbc4
.gitignore
main/version.ml
*.cm*
*.o
*.annot
KaSim.docdir
KaSim.native
KaSim.byte
KaSim
KaSa.native
KaSa.byte
KaSa
sanity_test
bin/
*~
_build/
._d/
._ncdi/
#js
JaSim.byte
js/JaSim.js
# doc
*.log
*.aux
*.out
man/KaSim_manual.pdf
man/KaSim_manual.bbl
man/KaSim_manual.blg
man/KaSim_manual.idx
man/KaSim_manual.lot
man/KaSim_manual.toc
*.witness
man/zzKaSim_manual.ps
# test suite
models/test_suite/*/*/output/*.diff
models/test_suite/*/*/output/*.dot
models/test_suite/*/*/output/*.dat
models/test_suite/*/*/output/data.out
models/test_suite/*/*/output/LOG
models/test_suite/*/*/output/example
models/test_suite/*/*/output/error.log
models/test_suite/*/*/error
models/test_suite/error
profiling.txt
Computing file changes ...
