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

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

projects / fireball-separation.git / shortlog

2018-05-30	acondolu	Removed pacman	commit \| commitdiff \| tree \| snapshot
2018-05-30	acondolu	Clean up	commit \| commitdiff \| tree \| snapshot
2018-05-29	acondolu	get_subterm_with_head_and_args goes under lambdas	commit \| commitdiff \| tree \| snapshot
2018-05-29	acondolu	Removed useless `isdiv' flag	commit \| commitdiff \| tree \| snapshot
2018-05-29	acondolu	Clean-up to examples. Removed tests.	commit \| commitdiff \| tree \| snapshot
2018-05-29	acondolu	Clean-up in :andrea/ocaml	commit \| commitdiff \| tree \| snapshot
2018-05-29	acondolu	Refactoring	commit \| commitdiff \| tree \| snapshot
2018-05-29	acondolu	Fixed bug with x stepping on itself applied to args...	commit \| commitdiff \| tree \| snapshot
2018-05-29	acondolu	Fixed bug where x occurs as its stepped argument. Is...	commit \| commitdiff \| tree \| snapshot
2018-05-29	acondolu	Reviving last algorithm (before Summer 2017), conceptua...	commit \| commitdiff \| tree \| snapshot
2018-05-29	acondolu	Copied old code back in parser, to make andrea8 great...	commit \| commitdiff \| tree \| snapshot
2017-07-25	acondolu	Merge branch 'permutations' into andrea	commit \| commitdiff \| tree \| snapshot
2017-07-25	acondolu	Implemented parsing of "nominal" variables (`@`)	commit \| commitdiff \| tree \| snapshot
2017-07-25	acondolu	Removed num_more_args	commit \| commitdiff \| tree \| snapshot
2017-07-24	acondolu	Fixing the bug when eating triggers the reduction of...	commit \| commitdiff \| tree \| snapshot
2017-07-24	acondolu	Added problem failing because of order of step	commit \| commitdiff \| tree \| snapshot
2017-07-24	acondolu	Test --with-pac fails if unseparable+uncomplete	commit \| commitdiff \| tree \| snapshot
2017-07-24	acondolu	Allow comments (#) at the end of terms	commit \| commitdiff \| tree \| snapshot
2017-07-24	acondolu	Logging options to display measure of single terms...	commit \| commitdiff \| tree \| snapshot
2017-07-24	acondolu	Fixed bug in Scott.mk_match when no branches (Fixes...	commit \| commitdiff \| tree \| snapshot
2017-07-24	acondolu	Fixed bug in computing special k	commit \| commitdiff \| tree \| snapshot
2017-07-24	acondolu	Added exception Lambda, which may be caught when a...	commit \| commitdiff \| tree \| snapshot
2017-07-24	acondolu	Added very simple generator of tests with bombs/pacmans...	commit \| commitdiff \| tree \| snapshot
2017-07-24	acondolu	Fixed eta_compare in the case Lam vs. Bot	commit \| commitdiff \| tree \| snapshot
2017-07-24	acondolu	Removed special strategies in choose_step	commit \| commitdiff \| tree \| snapshot
2017-07-24	acondolu	Better error messages in parser	commit \| commitdiff \| tree \| snapshot
2017-07-24	acondolu	Check for absence of bombs and pacmans	commit \| commitdiff \| tree \| snapshot
2017-07-24	acondolu	Revert subst in branches of matches	commit \| commitdiff \| tree \| snapshot
2017-07-24	acondolu	Cleanup in w, added names, uncommented test for low...	commit \| commitdiff \| tree \| snapshot
2017-07-24	acondolu	Change to compute_special_k	commit \| commitdiff \| tree \| snapshot
2017-07-24	acondolu	Comments, fix indentation and	commit \| commitdiff \| tree \| snapshot
2017-07-24	acondolu	Renamed in critical_showstoppers: showstoppers -> inedi...	commit \| commitdiff \| tree \| snapshot
2017-07-24	acondolu	Simplified arity_of, precompute_edible_data, critical_s...	commit \| commitdiff \| tree \| snapshot
2017-07-24	acondolu	Fixed computation of arity for top-level inerts	commit \| commitdiff \| tree \| snapshot
2017-07-22	acondolu	Simplified not-working example	commit \| commitdiff \| tree \| snapshot
2017-07-18	Claudio Sacerdoti...	Missing parenthesis fixed	commit \| commitdiff \| tree \| snapshot
2017-07-18	Claudio Sacerdoti...	Failing case found	commit \| commitdiff \| tree \| snapshot
2017-07-18	Claudio Sacerdoti...	Hack to reserve var 0 to purify it to BOM removed	commit \| commitdiff \| tree \| snapshot
2017-07-18	Claudio Sacerdoti...	String ==> Bytes to make recent ocaml compilers happy	commit \| commitdiff \| tree \| snapshot
2017-07-16	acondolu	Extracting solutions of 3-coloring problems	commit \| commitdiff \| tree \| snapshot
2017-07-16	acondolu	subst does not replace anymore in branches of maches	commit \| commitdiff \| tree \| snapshot
2017-07-16	acondolu	Commented out problem, it is (still) failing because...	commit \| commitdiff \| tree \| snapshot
2017-07-16	acondolu	Printing now preserves the names of the original free...	commit \| commitdiff \| tree \| snapshot
2017-07-15	acondolu	Fixed typo in problem	commit \| commitdiff \| tree \| snapshot
2017-07-15	acondolu	Improved parsing	commit \| commitdiff \| tree \| snapshot
2017-07-15	acondolu	Improved pretty-printing	commit \| commitdiff \| tree \| snapshot
2017-07-15	acondolu	Added problem wrongly backtracking	commit \| commitdiff \| tree \| snapshot
2017-07-15	acondolu	Forgot one "Z"	commit \| commitdiff \| tree \| snapshot
2017-07-15	acondolu	Code clean-up	commit \| commitdiff \| tree \| snapshot
2017-07-15	acondolu	Code clean-up	commit \| commitdiff \| tree \| snapshot
2017-07-15	acondolu	Important: added special variable "Z" for zero.	commit \| commitdiff \| tree \| snapshot
2017-07-15	acondolu	Moved all problems in problems folder. Last ones in "w"	commit \| commitdiff \| tree \| snapshot
2017-07-15	acondolu	Encoding of SAT problems and 3-colorability of graphs	commit \| commitdiff \| tree \| snapshot
2017-07-15	acondolu	Fixes to parser	commit \| commitdiff \| tree \| snapshot
2017-07-15	acondolu	Added problems encoded from 3-colorability of graphs	commit \| commitdiff \| tree \| snapshot
2017-07-15	acondolu	Fixed "$" in parser	commit \| commitdiff \| tree \| snapshot
2017-07-14	acondolu	Command line arguments to ./a.out	commit \| commitdiff \| tree \| snapshot
2017-07-14	acondolu	Fixed problems separator in parser: now it is $	commit \| commitdiff \| tree \| snapshot
2017-07-14	acondolu	Added label to problem	commit \| commitdiff \| tree \| snapshot
2017-07-14	acondolu	Removed invalid problems	commit \| commitdiff \| tree \| snapshot
2017-07-14	acondolu	Failure in case of empty problem, to be fixed	commit \| commitdiff \| tree \| snapshot
2017-07-14	acondolu	Parser.from_file, and p* problems moved to problems/p	commit \| commitdiff \| tree \| snapshot
2017-07-14	acondolu	problems now contain a label and the names of the origi...	commit \| commitdiff \| tree \| snapshot
2017-07-14	acondolu	First draft of Parser.problem_of_string	commit \| commitdiff \| tree \| snapshot
2017-07-14	acondolu	Changed logic of entrypoint in Lambda4	commit \| commitdiff \| tree \| snapshot
2017-07-14	acondolu	Moved parse' from Num to Parser	commit \| commitdiff \| tree \| snapshot
2017-07-14	acondolu	Fixed: was using compare in place of eta_eq	commit \| commitdiff \| tree \| snapshot
2017-07-14	acondolu	Re-use Util.index_of	commit \| commitdiff \| tree \| snapshot
2017-07-14	acondolu	Code clean-up	commit \| commitdiff \| tree \| snapshot
2017-07-14	acondolu	Tidying up problems.ml	commit \| commitdiff \| tree \| snapshot
2017-07-14	acondolu	New failing problem, which shows that we need to change...	commit \| commitdiff \| tree \| snapshot
2017-07-13	acondolu	Added assert false	commit \| commitdiff \| tree \| snapshot
2017-07-13	acondolu	Fixed bug in eta_subterm	commit \| commitdiff \| tree \| snapshot
2017-07-13	acondolu	Remove FORCE option in Makefile	commit \| commitdiff \| tree \| snapshot
2017-07-13	acondolu	Fix: missing check to avoid stepping on vars of non...	commit \| commitdiff \| tree \| snapshot
2017-07-13	acondolu	More problems	commit \| commitdiff \| tree \| snapshot
2017-07-13	acondolu	return type of simplify_match improved (no `Match in...	commit \| commitdiff \| tree \| snapshot
2017-07-13	acondolu	Added safety check for step on n-th argument with n > 1	commit \| commitdiff \| tree \| snapshot
2017-07-13	acondolu	Improved error messages	commit \| commitdiff \| tree \| snapshot
2017-07-13	acondolu	Failing problems commented out	commit \| commitdiff \| tree \| snapshot
2017-07-13	acondolu	New tests	commit \| commitdiff \| tree \| snapshot
2017-07-13	acondolu	Fix (??): some broken tests with Div = variable used...	commit \| commitdiff \| tree \| snapshot
2017-07-13	acondolu	Tentative commit: tactics dropped and clean-up	commit \| commitdiff \| tree \| snapshot
2017-07-13	acondolu	Fix: max_arity_tms was using wrong comparison	commit \| commitdiff \| tree \| snapshot
2017-07-13	acondolu	Fixed try in aux_conv + Added test in pure for divergen...	commit \| commitdiff \| tree \| snapshot
2017-07-12	acondolu	Fixes to printing	commit \| commitdiff \| tree \| snapshot
2017-07-12	acondolu	Added more problems with bombs, all working	commit \| commitdiff \| tree \| snapshot
2017-07-12	acondolu	Disabled some chars as variable names in the parser	commit \| commitdiff \| tree \| snapshot
2017-07-12	acondolu	Removed bomb variable	commit \| commitdiff \| tree \| snapshot
2017-07-12	acondolu	Prettier-printing: string_of_problem outputs OCaml...	commit \| commitdiff \| tree \| snapshot
2017-07-12	acondolu	Added second problem with bombs and pacmans: it works!	commit \| commitdiff \| tree \| snapshot
2017-07-12	acondolu	Added new (passing) problem with a bomb (o1)	commit \| commitdiff \| tree \| snapshot
2017-07-12	acondolu	Towards `Bottom and `Pacman	commit \| commitdiff \| tree \| snapshot
2017-07-12	acondolu	andrea7 -> new andrea9	commit \| commitdiff \| tree \| snapshot
2017-07-11	acondolu	New: simple backtracking with trail	commit \| commitdiff \| tree \| snapshot
2017-07-11	acondolu	Fixed if-then-else	commit \| commitdiff \| tree \| snapshot
2017-07-11	acondolu	Fix: nested `Lambda(false,_) were not handled correctly	commit \| commitdiff \| tree \| snapshot
2017-07-11	acondolu	-666 -> min_int	commit \| commitdiff \| tree \| snapshot
2017-07-11	acondolu	Fixed indentation and logging	commit \| commitdiff \| tree \| snapshot
2017-07-11	acondolu	instantiate takes an additional argument which is the...	commit \| commitdiff \| tree \| snapshot
next

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

RSS Atom