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

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

projects / fireball-separation.git / search

2018-05-30	acondolu	Clean-up step function; move code	commit \| commitdiff \| tree
2018-05-30	acondolu	Removed pacman	commit \| commitdiff \| tree
2018-05-30	acondolu	Clean up	commit \| commitdiff \| tree
2018-05-30	acondolu	get_subterm_with_head_and_args goes under lambdas	commit \| commitdiff \| tree
2018-05-30	acondolu	Removed useless `isdiv' flag	commit \| commitdiff \| tree
2018-05-30	acondolu	Clean-up to examples. Removed tests.	commit \| commitdiff \| tree
2018-05-30	acondolu	Simple algorithm by Andrea	commit \| commitdiff \| tree
2018-05-30	acondolu	Moved env_of_sigma to Pure	commit \| commitdiff \| tree
2018-05-28	acondolu	Tentative implementation of strong separation algorithm	commit \| commitdiff \| tree
2018-05-28	acondolu	Machine implements strong reduction	commit \| commitdiff \| tree
2018-05-28	acondolu	Detection of divergents	commit \| commitdiff \| tree
2018-05-28	acondolu	Bug fixed in pretty-printing of original names under...	commit \| commitdiff \| tree
2018-05-28	acondolu	Fix in pretty-printing of match	commit \| commitdiff \| tree
2018-05-28	acondolu	Implemented parsing of "nominal" variables (`@`)	commit \| commitdiff \| tree
2018-05-28	acondolu	Allow comments (#) at the end of terms	commit \| commitdiff \| tree
2018-05-28	acondolu	Logging options to display measure of single terms...	commit \| commitdiff \| tree
2018-05-28	acondolu	Fixed bug in computing special k	commit \| commitdiff \| tree
2018-05-28	acondolu	Removed special strategies in choose_step	commit \| commitdiff \| tree
2018-05-28	acondolu	Better error messages in parser	commit \| commitdiff \| tree
2018-05-28	acondolu	Revert subst in branches of matches	commit \| commitdiff \| tree
2018-05-28	acondolu	Comments, fix indentation and	commit \| commitdiff \| tree
2018-05-28	acondolu	Renamed in critical_showstoppers: showstoppers -> inedible...	commit \| commitdiff \| tree
2018-05-28	acondolu	Simplified arity_of, precompute_edible_data, critical_showst...	commit \| commitdiff \| tree
2018-05-28	acondolu	Added a couple of tests which MUST fail	commit \| commitdiff \| tree
2018-05-28	acondolu	Fixed computation of arity for top-level inerts	commit \| commitdiff \| tree
2018-05-28	acondolu	Simplified not-working example	commit \| commitdiff \| tree
2018-05-28	acondolu	subst does not replace anymore in branches of maches	commit \| commitdiff \| tree
2018-05-28	acondolu	Printing now preserves the names of the original free...	commit \| commitdiff \| tree
2018-05-28	acondolu	Improved parsing	commit \| commitdiff \| tree
2018-05-28	acondolu	Improved pretty-printing	commit \| commitdiff \| tree
2018-05-28	acondolu	Added problem wrongly backtracking	commit \| commitdiff \| tree
2018-05-28	acondolu	Forgot one "Z"	commit \| commitdiff \| tree
2018-05-28	acondolu	Code clean-up	commit \| commitdiff \| tree
2018-05-28	acondolu	Code clean-up	commit \| commitdiff \| tree
2018-05-28	acondolu	Important: added special variable "Z" for zero.	commit \| commitdiff \| tree
2018-05-28	acondolu	Moved all problems in problems folder. Last ones in "w"	commit \| commitdiff \| tree
2018-05-28	acondolu	Fixes to parser	commit \| commitdiff \| tree
2018-05-28	acondolu	Fixed "$" in parser	commit \| commitdiff \| tree
2018-05-28	acondolu	Command line arguments to ./a.out	commit \| commitdiff \| tree
2018-05-28	acondolu	Fixed problems separator in parser: now it is $	commit \| commitdiff \| tree
2018-05-28	acondolu	Added label to problem	commit \| commitdiff \| tree
2018-05-28	acondolu	Failure in case of empty problem, to be fixed	commit \| commitdiff \| tree
2018-05-28	acondolu	Parser.from_file, and p* problems moved to problems/p	commit \| commitdiff \| tree
2018-05-28	acondolu	problems now contain a label and the names of the original...	commit \| commitdiff \| tree
2018-05-28	acondolu	First draft of Parser.problem_of_string	commit \| commitdiff \| tree
2018-05-28	acondolu	Changed logic of entrypoint in Lambda4	commit \| commitdiff \| tree
2018-05-28	acondolu	Moved parse' from Num to Parser	commit \| commitdiff \| tree
2018-05-28	acondolu	Fixed: was using compare in place of eta_eq	commit \| commitdiff \| tree
2018-05-28	acondolu	Re-use Util.index_of	commit \| commitdiff \| tree
2018-05-28	acondolu	Code clean-up	commit \| commitdiff \| tree
2018-05-28	acondolu	Tidying up problems.ml	commit \| commitdiff \| tree
2018-05-28	acondolu	Tentative commit: tactics dropped and clean-up	commit \| commitdiff \| tree
2018-05-28	acondolu	Added assert false	commit \| commitdiff \| tree
2018-05-28	acondolu	Fixed bug in eta_subterm	commit \| commitdiff \| tree
2018-05-28	acondolu	Remove FORCE option in Makefile	commit \| commitdiff \| tree
2018-05-28	acondolu	Fix: missing check to avoid stepping on vars of non...	commit \| commitdiff \| tree
2018-05-28	acondolu	Fix: max_arity_tms was using wrong comparison	commit \| commitdiff \| tree
2018-05-28	acondolu	Added variable convergent_dummy	commit \| commitdiff \| tree
2018-05-25	acondolu	Fixes to printing	commit \| commitdiff \| tree
2018-05-25	acondolu	Disabled some chars as variable names in the parser	commit \| commitdiff \| tree
2018-05-25	acondolu	Prettier-printing: string_of_problem outputs OCaml...	commit \| commitdiff \| tree
2018-05-25	acondolu	Fixed if-then-else	commit \| commitdiff \| tree
2018-05-25	acondolu	Fix: nested `Lambda(false,_) were not handled correctly	commit \| commitdiff \| tree
2018-05-25	acondolu	-666 -> min_int	commit \| commitdiff \| tree
2018-05-25	acondolu	Fixed indentation and logging	commit \| commitdiff \| tree
2017-07-11	acondolu	clean removes *.o files	commit \| commitdiff \| tree
2017-07-11	acondolu	Removed old .ar files	commit \| commitdiff \| tree
2017-07-11	acondolu	Run tests with: make run	commit \| commitdiff \| tree
2017-07-11	acondolu	Fix: conv : x:min_int (.... y:1 ...) y was not considered...	commit \| commitdiff \| tree
2017-07-11	acondolu	New problems n1, n2 used to debug the problem with...	commit \| commitdiff \| tree
2017-07-11	acondolu	Bug fix: x (y z) where y was conv_dangerous did not...	commit \| commitdiff \| tree
2017-07-11	acondolu	Fix bug in dangerous_conv with arity of arguments of...	commit \| commitdiff \| tree
2017-07-10	acondolu	The measure finally works on all problems in problems.ml!	commit \| commitdiff \| tree
2017-07-10	acondolu	Experimenting with a combined measure	commit \| commitdiff \| tree
2017-07-10	acondolu	Instantiate now uses a global initialSpecialK (ignoring...	commit \| commitdiff \| tree
2017-07-10	acondolu	Arity inherited only in the case (true, min_int)	commit \| commitdiff \| tree
2017-07-10	acondolu	new_arity = old_arity + 1	commit \| commitdiff \| tree
2017-07-07	acondolu	Fixes to how arities are assigned and propagated	commit \| commitdiff \| tree
2017-06-28	acondolu	Minor fixes	commit \| commitdiff \| tree

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

RSS Atom