]> matita.cs.unibo.it Git - fireball-separation.git/shortlog
fireball-separation.git
2018-05-29 acondoluFixed bug with x stepping on itself applied to args...
2018-05-29 acondoluFixed bug where x occurs as its stepped argument. Is...
2018-05-29 acondoluReviving last algorithm (before Summer 2017), conceptua...
2018-05-29 acondoluCopied old code back in parser, to make andrea8 great...
2017-07-25 acondoluMerge branch 'permutations' into andrea
2017-07-25 acondoluImplemented parsing of "nominal" variables (`@`)
2017-07-25 acondoluRemoved num_more_args
2017-07-24 acondoluFixing the bug when eating triggers the reduction of...
2017-07-24 acondoluAdded problem failing because of order of step
2017-07-24 acondoluTest --with-pac fails if unseparable+uncomplete
2017-07-24 acondoluAllow comments (#) at the end of terms
2017-07-24 acondoluLogging options to display measure of single terms...
2017-07-24 acondoluFixed bug in Scott.mk_match when no branches (Fixes...
2017-07-24 acondoluFixed bug in computing special k
2017-07-24 acondoluAdded exception Lambda, which may be caught when a...
2017-07-24 acondoluAdded very simple generator of tests with bombs/pacmans...
2017-07-24 acondoluFixed eta_compare in the case Lam vs. Bot
2017-07-24 acondoluRemoved special strategies in choose_step
2017-07-24 acondoluBetter error messages in parser
2017-07-24 acondoluCheck for absence of bombs and pacmans
2017-07-24 acondoluRevert subst in branches of matches
2017-07-24 acondoluCleanup in w, added names, uncommented test for low...
2017-07-24 acondoluChange to compute_special_k
2017-07-24 acondoluComments, fix indentation and
2017-07-24 acondoluRenamed in critical_showstoppers: showstoppers -> inedi...
2017-07-24 acondoluSimplified arity_of, precompute_edible_data, critical_s...
2017-07-24 acondoluFixed computation of arity for top-level inerts
2017-07-22 acondoluSimplified not-working example
2017-07-18 Claudio Sacerdoti... Missing parenthesis fixed
2017-07-18 Claudio Sacerdoti... Failing case found
2017-07-18 Claudio Sacerdoti... Hack to reserve var 0 to purify it to BOM removed
2017-07-18 Claudio Sacerdoti... String ==> Bytes to make recent ocaml compilers happy
2017-07-16 acondoluExtracting solutions of 3-coloring problems
2017-07-16 acondolusubst does not replace anymore in branches of maches
2017-07-16 acondoluCommented out problem, it is (still) failing because...
2017-07-16 acondoluPrinting now preserves the names of the original free...
2017-07-15 acondoluFixed typo in problem
2017-07-15 acondoluImproved parsing
2017-07-15 acondoluImproved pretty-printing
2017-07-15 acondoluAdded problem wrongly backtracking
2017-07-15 acondoluForgot one "Z"
2017-07-15 acondoluCode clean-up
2017-07-15 acondoluCode clean-up
2017-07-15 acondoluImportant: added special variable "Z" for zero.
2017-07-15 acondoluMoved all problems in problems folder. Last ones in "w"
2017-07-15 acondoluEncoding of SAT problems and 3-colorability of graphs
2017-07-15 acondoluFixes to parser
2017-07-15 acondoluAdded problems encoded from 3-colorability of graphs
2017-07-15 acondoluFixed "$" in parser
2017-07-14 acondoluCommand line arguments to ./a.out
2017-07-14 acondoluFixed problems separator in parser: now it is $
2017-07-14 acondoluAdded label to problem
2017-07-14 acondoluRemoved invalid problems
2017-07-14 acondoluFailure in case of empty problem, to be fixed
2017-07-14 acondoluParser.from_file, and p* problems moved to problems/p
2017-07-14 acondoluproblems now contain a label and the names of the origi...
2017-07-14 acondoluFirst draft of Parser.problem_of_string
2017-07-14 acondoluChanged logic of entrypoint in Lambda4
2017-07-14 acondoluMoved parse' from Num to Parser
2017-07-14 acondoluFixed: was using compare in place of eta_eq
2017-07-14 acondoluRe-use Util.index_of
2017-07-14 acondoluCode clean-up
2017-07-14 acondoluTidying up problems.ml
2017-07-14 acondoluNew failing problem, which shows that we need to change...
2017-07-13 acondoluAdded assert false
2017-07-13 acondoluFixed bug in eta_subterm
2017-07-13 acondoluRemove FORCE option in Makefile
2017-07-13 acondoluFix: missing check to avoid stepping on vars of non...
2017-07-13 acondoluMore problems
2017-07-13 acondolureturn type of simplify_match improved (no `Match in...
2017-07-13 acondoluAdded safety check for step on n-th argument with n > 1
2017-07-13 acondoluImproved error messages
2017-07-13 acondoluFailing problems commented out
2017-07-13 acondoluNew tests
2017-07-13 acondoluFix (??): some broken tests with Div = variable used...
2017-07-13 acondoluTentative commit: tactics dropped and clean-up
2017-07-13 acondoluFix: max_arity_tms was using wrong comparison
2017-07-13 acondoluFixed try in aux_conv + Added test in pure for divergen...
2017-07-12 acondoluFixes to printing
2017-07-12 acondoluAdded more problems with bombs, all working
2017-07-12 acondoluDisabled some chars as variable names in the parser
2017-07-12 acondoluRemoved bomb variable
2017-07-12 acondoluPrettier-printing: string_of_problem outputs OCaml...
2017-07-12 acondoluAdded second problem with bombs and pacmans: it works!
2017-07-12 acondoluAdded new (passing) problem with a bomb (o1)
2017-07-12 acondoluTowards `Bottom and `Pacman
2017-07-12 acondoluandrea7 -> new andrea9
2017-07-11 acondoluNew: simple backtracking with trail
2017-07-11 acondoluFixed if-then-else
2017-07-11 acondoluFix: nested `Lambda(false,_) were not handled correctly
2017-07-11 acondolu-666 -> min_int
2017-07-11 acondoluFixed indentation and logging
2017-07-11 acondoluinstantiate takes an additional argument which is the...
2017-07-11 acondoluclean removes *.o files
2017-07-11 acondoluRemoved old .ar files
2017-07-11 acondoluRun tests with: make run
2017-07-11 acondoluFix: conv : x:min_int (.... y:1 ...) y was not conside...
2017-07-11 acondoluNew problems n1, n2 used to debug the problem with...
2017-07-11 acondoluBug fix: x (y z) where y was conv_dangerous did not...
2017-07-11 acondoluFix bug in dangerous_conv with arity of arguments of...
next