]> matita.cs.unibo.it Git - fireball-separation.git/shortlog
fireball-separation.git
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-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...
2017-07-10 acondoluThe measure finally works on all problems in problems.ml!
2017-07-10 acondoluExperimenting with a combined measure
2017-07-10 acondoluInstantiate now uses a global initialSpecialK (ignoring...
2017-07-10 acondoluArity inherited only in the case (true, min_int)
2017-07-10 acondolunew_arity = old_arity + 1
2017-07-07 acondoluFixes to how arities are assigned and propagated
2017-06-28 acondoluMinor fixes
2017-06-27 <andrea.condoluci... still stepping on negative variables
2017-06-26 <andrea.condoluci... Problems pass, but still missing computation of arities...
2017-06-26 <andrea.condoluci... New representation of arities in variables
2017-06-26 <andrea.condoluci... Removed traces of lambda3
2017-06-22 <andrea.condoluci... Removed lambda3 + Fixed lambda4
2017-06-22 <andrea.condoluci... Updated type of terms with arities in lambda and matche
2017-06-12 <andrea.condoluci... Moved andrea's stuff to its branch
2017-06-12 <andrea.condoluci... Copy ocaml folder from sacerdot's svn repository, rev...
2017-06-12 Andrea CondoluciInitial commit