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

]> matita.cs.unibo.it Git - fireball-separation.git/history - ocaml/andrea.ml

2018-05-30	acondolu	Made bombs more explosive (strongly)	blob \| commitdiff \| raw
2018-05-30	acondolu	Restored good check for Done	blob \| commitdiff \| raw \| diff to current
2018-05-30	acondolu	Simple strong separation implemented!	blob \| commitdiff \| raw \| diff to current
2018-05-30	acondolu	Added check with purification to andrea.ml	blob \| commitdiff \| raw \| diff to current
2018-05-30	acondolu	Moved function, fix indentation, removed parsing of...	blob \| commitdiff \| raw \| diff to current
2018-05-30	acondolu	Clean-up step function; move code	blob \| commitdiff \| raw \| diff to current
2018-05-30	acondolu	Removed pacman	blob \| commitdiff \| raw \| diff to current
2018-05-30	acondolu	Clean up	blob \| commitdiff \| raw \| diff to current
2018-05-30	acondolu	get_subterm_with_head_and_args goes under lambdas	blob \| commitdiff \| raw \| diff to current
2018-05-30	acondolu	Removed useless `isdiv' flag	blob \| commitdiff \| raw \| diff to current
2018-05-30	acondolu	Clean-up to examples. Removed tests.	blob \| commitdiff \| raw \| diff to current
2018-05-30	acondolu	Simple algorithm by Andrea	blob \| commitdiff \| raw \| diff to current

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