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

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

projects / fireball-separation.git / history

[fireball-separation.git] / ocaml / lambda4.ml

2017-07-24	acondolu	Logging options to display measure of single terms...	blob \| commitdiff \| raw
2017-07-24	acondolu	Fixed bug in computing special k	blob \| commitdiff \| raw \| diff to current
2017-07-24	acondolu	Added exception Lambda, which may be caught when a...	blob \| commitdiff \| raw \| diff to current
2017-07-24	acondolu	Removed special strategies in choose_step	blob \| commitdiff \| raw \| diff to current
2017-07-24	acondolu	Check for absence of bombs and pacmans	blob \| commitdiff \| raw \| diff to current
2017-07-24	acondolu	Change to compute_special_k	blob \| commitdiff \| raw \| diff to current
2017-07-24	acondolu	Comments, fix indentation and	blob \| commitdiff \| raw \| diff to current
2017-07-24	acondolu	Renamed in critical_showstoppers: showstoppers -> inedi...	blob \| commitdiff \| raw \| diff to current
2017-07-24	acondolu	Simplified arity_of, precompute_edible_data, critical_s...	blob \| commitdiff \| raw \| diff to current
2017-07-24	acondolu	Fixed computation of arity for top-level inerts	blob \| commitdiff \| raw \| diff to current
2017-07-16	acondolu	Extracting solutions of 3-coloring problems	blob \| commitdiff \| raw \| diff to current
2017-07-16	acondolu	Printing now preserves the names of the original free...	blob \| commitdiff \| raw \| diff to current
2017-07-15	acondolu	Improved pretty-printing	blob \| commitdiff \| raw \| diff to current
2017-07-15	acondolu	Important: added special variable "Z" for zero.	blob \| commitdiff \| raw \| diff to current
2017-07-14	acondolu	Added label to problem	blob \| commitdiff \| raw \| diff to current
2017-07-14	acondolu	Failure in case of empty problem, to be fixed	blob \| commitdiff \| raw \| diff to current
2017-07-14	acondolu	problems now contain a label and the names of the origi...	blob \| commitdiff \| raw \| diff to current
2017-07-14	acondolu	First draft of Parser.problem_of_string	blob \| commitdiff \| raw \| diff to current
2017-07-14	acondolu	Changed logic of entrypoint in Lambda4	blob \| commitdiff \| raw \| diff to current
2017-07-14	acondolu	Moved parse' from Num to Parser	blob \| commitdiff \| raw \| diff to current
2017-07-14	acondolu	Fixed: was using compare in place of eta_eq	blob \| commitdiff \| raw \| diff to current
2017-07-14	acondolu	Code clean-up	blob \| commitdiff \| raw \| diff to current
2017-07-13	acondolu	Added assert false	blob \| commitdiff \| raw \| diff to current
2017-07-13	acondolu	Fix: missing check to avoid stepping on vars of non...	blob \| commitdiff \| raw \| diff to current
2017-07-13	acondolu	return type of simplify_match improved (no `Match in...	blob \| commitdiff \| raw \| diff to current
2017-07-13	acondolu	Added safety check for step on n-th argument with n > 1	blob \| commitdiff \| raw \| diff to current
2017-07-13	acondolu	Improved error messages	blob \| commitdiff \| raw \| diff to current
2017-07-13	acondolu	Tentative commit: tactics dropped and clean-up	blob \| commitdiff \| raw \| diff to current
2017-07-13	acondolu	Fixed try in aux_conv + Added test in pure for divergen...	blob \| commitdiff \| raw \| diff to current
2017-07-12	acondolu	Fixes to printing	blob \| commitdiff \| raw \| diff to current
2017-07-12	acondolu	Removed bomb variable	blob \| commitdiff \| raw \| diff to current
2017-07-12	acondolu	Prettier-printing: string_of_problem outputs OCaml...	blob \| commitdiff \| raw \| diff to current
2017-07-12	acondolu	Added second problem with bombs and pacmans: it works!	blob \| commitdiff \| raw \| diff to current
2017-07-12	acondolu	Added new (passing) problem with a bomb (o1)	blob \| commitdiff \| raw \| diff to current
2017-07-12	acondolu	Towards `Bottom and `Pacman	blob \| commitdiff \| raw \| diff to current
2017-07-11	acondolu	New: simple backtracking with trail	blob \| commitdiff \| raw \| diff to current
2017-07-11	acondolu	-666 -> min_int	blob \| commitdiff \| raw \| diff to current
2017-07-11	acondolu	Fixed indentation and logging	blob \| commitdiff \| raw \| diff to current
2017-07-11	acondolu	instantiate takes an additional argument which is the...	blob \| commitdiff \| raw \| diff to current
2017-07-11	acondolu	Fix: conv : x:min_int (.... y:1 ...) y was not conside...	blob \| commitdiff \| raw \| diff to current
2017-07-11	acondolu	Bug fix: x (y z) where y was conv_dangerous did not...	blob \| commitdiff \| raw \| diff to current
2017-07-11	acondolu	Fix bug in dangerous_conv with arity of arguments of...	blob \| commitdiff \| raw \| diff to current
2017-07-10	acondolu	The measure finally works on all problems in problems.ml!	blob \| commitdiff \| raw \| diff to current
2017-07-10	acondolu	Experimenting with a combined measure	blob \| commitdiff \| raw \| diff to current
2017-07-10	acondolu	Instantiate now uses a global initialSpecialK (ignoring...	blob \| commitdiff \| raw \| diff to current
2017-07-10	acondolu	new_arity = old_arity + 1	blob \| commitdiff \| raw \| diff to current
2017-07-07	acondolu	Fixes to how arities are assigned and propagated	blob \| commitdiff \| raw \| diff to current
2017-06-28	acondolu	Minor fixes	blob \| commitdiff \| raw \| diff to current
2017-06-27	<andrea.condoluci...	still stepping on negative variables	blob \| commitdiff \| raw \| diff to current
2017-06-26	<andrea.condoluci...	Problems pass, but still missing computation of arities...	blob \| commitdiff \| raw \| diff to current
2017-06-26	<andrea.condoluci...	New representation of arities in variables	blob \| commitdiff \| raw \| diff to current
2017-06-26	<andrea.condoluci...	Removed traces of lambda3	blob \| commitdiff \| raw \| diff to current
2017-06-22	<andrea.condoluci...	Removed lambda3 + Fixed lambda4	blob \| commitdiff \| raw \| diff to current
2017-06-12	<andrea.condoluci...	Copy ocaml folder from sacerdot's svn repository, rev...	blob \| commitdiff \| raw \| diff to current

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

RSS Atom