updated .gitignore

parent 94f3ba6a
...@@ -32,6 +32,12 @@ why.conf ...@@ -32,6 +32,12 @@ why.conf
# /bench/ # /bench/
/bench/bench /bench/bench
/bench/programs/good/booleans/
/bench/programs/good/exceptions/
/bench/programs/good/for/
/bench/programs/good/list/
/bench/programs/good/see/
/bench/programs/good/set/
# /bench/plugins/ # /bench/plugins/
/bench/plugins/*.cm* /bench/plugins/*.cm*
...@@ -39,22 +45,27 @@ why.conf ...@@ -39,22 +45,27 @@ why.conf
/bench/plugins/config.log /bench/plugins/config.log
# /bin/ # /bin/
/bin/why.byte /bin/why3.byte
/bin/why.opt /bin/why3.opt
/bin/whyml.byte /bin/why3
/bin/whyml.opt /bin/why3ml.byte
/bin/whyide.byte /bin/why3ml.opt
/bin/whyide.opt /bin/why3ml
/bin/why-cpulimit /bin/why3ide.byte
/bin/why3ide.opt
/bin/why3ide
/bin/why3-cpulimit /bin/why3-cpulimit
/bin/whyconfig.byte /bin/why3config.byte
/bin/whyconfig.opt /bin/why3config.opt
/bin/whybench.byte /bin/why3config
/bin/whybench.opt /bin/why3bench.byte
/bin/why3bench.opt
/bin/why3bench
/bin/whytptp.byte /bin/whytptp.byte
/bin/whytptp.opt /bin/whytptp.opt
/bin/why3doc.byte /bin/why3doc.byte
/bin/why3doc.opt /bin/why3doc.opt
/bin/why3doc
# /doc/ # /doc/
/doc/version.tex /doc/version.tex
...@@ -190,3 +201,4 @@ why.conf ...@@ -190,3 +201,4 @@ why.conf
/examples/genealogy/ /examples/genealogy/
/examples/programs/isqrt/ /examples/programs/isqrt/
/examples/programs/course/ /examples/programs/course/
/examples/programs/wcet_hull/
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