matita.cs.unibo.it Git - fireball-separation.git/commit

]> matita.cs.unibo.it Git - fireball-separation.git/commit

projects / fireball-separation.git / commit

author	acondolu <andrea.condoluci@unibo.it>
	Wed, 26 Jul 2017 09:07:15 +0000 (11:07 +0200)
committer	acondolu <andrea.condoluci@unibo.it>
	Tue, 29 May 2018 14:41:08 +0000 (16:41 +0200)
commit	21c829a0b518a725f4db3d21250ad00dcf3bb889
tree	dc78625bb870e40924b531b24cacae6d41731630	tree \| snapshot
parent	4c157f176c89dcb5633d60c5be8a444ae0529c29	commit \| diff

New FASTER! SIMPLER! algorithm

- Works without bombs and pacmans
- No metrics

62 files changed:

ocaml/Makefile	[deleted file]	blob \| history
ocaml/andrea3.mli	[deleted file]	blob \| history
ocaml/andrea4'.ml	[deleted file]	blob \| history
ocaml/andrea4.ml	[deleted file]	blob \| history
ocaml/andrea6.ml	[deleted file]	blob \| history
ocaml/andrea7.ml	[deleted file]	blob \| history
ocaml/andrea8.ml	[deleted file]	blob \| history
ocaml/console.ml	[deleted file]	blob \| history
ocaml/console.mli	[deleted file]	blob \| history
ocaml/lambda4.ml	[deleted file]	blob \| history
ocaml/lambda4.mli	[deleted file]	blob \| history
ocaml/listx.ml	[deleted file]	blob \| history
ocaml/listx.mli	[deleted file]	blob \| history
ocaml/logs/fail.txt	[deleted file]	blob \| history
ocaml/measure.ml	[deleted file]	blob \| history
ocaml/num.ml	[deleted file]	blob \| history
ocaml/num.mli	[deleted file]	blob \| history
ocaml/num.mli.ar	[deleted file]	blob \| history
ocaml/parser.ml	[deleted file]	blob \| history
ocaml/parser.mli	[deleted file]	blob \| history
ocaml/problems.ml	[deleted file]	blob \| history
ocaml/problems.mli	[deleted file]	blob \| history
ocaml/problems/3col	[deleted file]	blob \| history
ocaml/problems/bugs	[deleted file]	blob \| history
ocaml/problems/m	[deleted file]	blob \| history
ocaml/problems/n	[deleted file]	blob \| history
ocaml/problems/o	[deleted file]	blob \| history
ocaml/problems/p	[deleted file]	blob \| history
ocaml/problems/q	[deleted file]	blob \| history
ocaml/problems/solved	[deleted file]	blob \| history
ocaml/problems/w	[deleted file]	blob \| history
ocaml/ptest.ml	[deleted file]	blob \| history
ocaml/pure.ml	[deleted file]	blob \| history
ocaml/pure.mli	[deleted file]	blob \| history
ocaml/run	[deleted file]	blob \| history
ocaml/sat.ml	[deleted file]	blob \| history
ocaml/sat.mli	[deleted file]	blob \| history
ocaml/test.ml	[deleted file]	blob \| history
ocaml/tmp.ml	[deleted file]	blob \| history
ocaml/util.ml	[deleted file]	blob \| history
ocaml/util.mli	[deleted file]	blob \| history
ocaml_new/.depend	[new file with mode: 0644]	blob
ocaml_new/Makefile	[new file with mode: 0644]	blob
ocaml_new/console.ml	[new file with mode: 0644]	blob
ocaml_new/console.mli	[new file with mode: 0644]	blob
ocaml_new/lambda4.ml	[new file with mode: 0644]	blob
ocaml_new/lambda4.mli	[new file with mode: 0644]	blob
ocaml_new/listx.ml	[new file with mode: 0644]	blob
ocaml_new/listx.mli	[new file with mode: 0644]	blob
ocaml_new/num.ml	[new file with mode: 0644]	blob
ocaml_new/num.mli	[new file with mode: 0644]	blob
ocaml_new/parser.ml	[new file with mode: 0644]	blob
ocaml_new/parser.mli	[new file with mode: 0644]	blob
ocaml_new/problems.ml	[new file with mode: 0644]	blob
ocaml_new/problems.mli	[new file with mode: 0644]	blob
ocaml_new/problems/1	[new file with mode: 0644]	blob
ocaml_new/pure.ml	[new file with mode: 0644]	blob
ocaml_new/pure.mli	[new file with mode: 0644]	blob
ocaml_new/run	[new file with mode: 0644]	blob
ocaml_new/test.ml	[new file with mode: 0644]	blob
ocaml_new/util.ml	[new file with mode: 0644]	blob
ocaml_new/util.mli	[new file with mode: 0644]	blob

Unnamed repository; edit this file 'description' to name the repository.

RSS Atom