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

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

projects / fireball-separation.git / search

2017-07-14	acondolu	Tidying up problems.ml	commit \| commitdiff \| tree
2017-07-14	acondolu	New failing problem, which shows that we need to change...	commit \| commitdiff \| tree
2017-07-13	acondolu	Added assert false	commit \| commitdiff \| tree
2017-07-13	acondolu	Fixed bug in eta_subterm	commit \| commitdiff \| tree
2017-07-13	acondolu	Remove FORCE option in Makefile	commit \| commitdiff \| tree
2017-07-13	acondolu	Fix: missing check to avoid stepping on vars of non...	commit \| commitdiff \| tree
2017-07-13	acondolu	More problems	commit \| commitdiff \| tree
2017-07-13	acondolu	return type of simplify_match improved (no `Match in...	commit \| commitdiff \| tree
2017-07-13	acondolu	Added safety check for step on n-th argument with n > 1	commit \| commitdiff \| tree
2017-07-13	acondolu	Improved error messages	commit \| commitdiff \| tree
2017-07-13	acondolu	Failing problems commented out	commit \| commitdiff \| tree
2017-07-13	acondolu	New tests	commit \| commitdiff \| tree
2017-07-13	acondolu	Fix (??): some broken tests with Div = variable used...	commit \| commitdiff \| tree
2017-07-13	acondolu	Tentative commit: tactics dropped and clean-up	commit \| commitdiff \| tree
2017-07-13	acondolu	Fix: max_arity_tms was using wrong comparison	commit \| commitdiff \| tree
2017-07-13	acondolu	Fixed try in aux_conv + Added test in pure for divergence...	commit \| commitdiff \| tree
2017-07-12	acondolu	Fixes to printing	commit \| commitdiff \| tree
2017-07-12	acondolu	Added more problems with bombs, all working	commit \| commitdiff \| tree
2017-07-12	acondolu	Disabled some chars as variable names in the parser	commit \| commitdiff \| tree
2017-07-12	acondolu	Removed bomb variable	commit \| commitdiff \| tree
2017-07-12	acondolu	Prettier-printing: string_of_problem outputs OCaml...	commit \| commitdiff \| tree
2017-07-12	acondolu	Added second problem with bombs and pacmans: it works!	commit \| commitdiff \| tree
2017-07-12	acondolu	Added new (passing) problem with a bomb (o1)	commit \| commitdiff \| tree
2017-07-12	acondolu	Towards `Bottom and `Pacman	commit \| commitdiff \| tree
2017-07-11	acondolu	New: simple backtracking with trail	commit \| commitdiff \| tree
2017-07-11	acondolu	Fixed if-then-else	commit \| commitdiff \| tree
2017-07-11	acondolu	Fix: nested `Lambda(false,_) were not handled correctly	commit \| commitdiff \| tree
2017-07-11	acondolu	-666 -> min_int	commit \| commitdiff \| tree
2017-07-11	acondolu	Fixed indentation and logging	commit \| commitdiff \| tree
2017-07-11	acondolu	instantiate takes an additional argument which is the...	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
2017-06-12	Andrea Condoluci	Initial commit	commit \| commitdiff \| tree

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

RSS Atom