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>
	Mon, 28 May 2018 09:08:55 +0000 (11:08 +0200)
commit	5991691df6dc3d096a08397712040c93d7f873b5
tree	bc3d4e57bb1a74673cd53d7e1370f7d141254471	tree \| snapshot
parent	2c278a1d49aa0db5211821c1c9eec27212e5e53c	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

(cherry picked from commit 608c40045f651c6402b17c437f997de4d63f6afd)

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