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>
	Fri, 14 Jul 2017 15:20:42 +0000 (17:20 +0200)
committer	acondolu <andrea.condoluci@unibo.it>
	Fri, 14 Jul 2017 15:20:42 +0000 (17:20 +0200)
commit	608c40045f651c6402b17c437f997de4d63f6afd
tree	a39caf06717144e61330b720e3e1614dc0cab839	tree \| snapshot
parent	123d64bb5ae7127f6a51cbf44b63341de001a187	commit \| diff

Changed logic of entrypoint in Lambda4

- removed exception Fail
- added "check",which checks if we are in a subproblem
of separation on which we know to be complete
- "solve" does not raise particular exceptions anymore,
and the program raise failure only if there is some bug

ocaml/lambda4.ml		diff \| blob \| history
ocaml/lambda4.mli		diff \| blob \| history
ocaml/num.ml		diff \| blob \| history
ocaml/problems.ml		diff \| blob \| history

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

RSS Atom