| 2018-05-29 |
acondolu | Copied old code back in parser, to make andrea8 great...
|
commit | commitdiff | tree |
| 2017-07-25 |
acondolu | Merge branch 'permutations' into andrea
|
commit | commitdiff | tree |
| 2017-07-25 |
acondolu | Implemented parsing of "nominal" variables (`@`)
|
commit | commitdiff | tree |
| 2017-07-25 |
acondolu | Removed num_more_args
|
commit | commitdiff | tree |
| 2017-07-24 |
acondolu | Fixing the bug when eating triggers the reduction of...
|
commit | commitdiff | tree |
| 2017-07-24 |
acondolu | Added problem failing because of order of step
|
commit | commitdiff | tree |
| 2017-07-24 |
acondolu | Test --with-pac fails if unseparable+uncomplete
|
commit | commitdiff | tree |
| 2017-07-24 |
acondolu | Allow comments (#) at the end of terms
|
commit | commitdiff | tree |
| 2017-07-24 |
acondolu | Logging options to display measure of single terms...
|
commit | commitdiff | tree |
| 2017-07-24 |
acondolu | Fixed bug in Scott.mk_match when no branches (Fixes...
|
commit | commitdiff | tree |
| 2017-07-24 |
acondolu | Fixed bug in computing special k
|
commit | commitdiff | tree |
| 2017-07-24 |
acondolu | Added exception Lambda, which may be caught when a...
|
commit | commitdiff | tree |
| 2017-07-24 |
acondolu | Added very simple generator of tests with bombs/pacmans...
|
commit | commitdiff | tree |
| 2017-07-24 |
acondolu | Fixed eta_compare in the case Lam vs. Bot
|
commit | commitdiff | tree |
| 2017-07-24 |
acondolu | Removed special strategies in choose_step
|
commit | commitdiff | tree |
| 2017-07-24 |
acondolu | Better error messages in parser
|
commit | commitdiff | tree |
| 2017-07-24 |
acondolu | Check for absence of bombs and pacmans
|
commit | commitdiff | tree |
| 2017-07-24 |
acondolu | Revert subst in branches of matches
|
commit | commitdiff | tree |
| 2017-07-24 |
acondolu | Cleanup in w, added names, uncommented test for low...
|
commit | commitdiff | tree |
| 2017-07-24 |
acondolu | Change to compute_special_k
|
commit | commitdiff | tree |
| 2017-07-24 |
acondolu | Comments, fix indentation and
|
commit | commitdiff | tree |
| 2017-07-24 |
acondolu | Renamed in critical_showstoppers: showstoppers -> inedible...
|
commit | commitdiff | tree |
| 2017-07-24 |
acondolu | Simplified arity_of, precompute_edible_data, critical_showst...
|
commit | commitdiff | tree |
| 2017-07-24 |
acondolu | Fixed computation of arity for top-level inerts
|
commit | commitdiff | tree |
| 2017-07-22 |
acondolu | Simplified not-working example
|
commit | commitdiff | tree |
| 2017-07-16 |
acondolu | Extracting solutions of 3-coloring problems
|
commit | commitdiff | tree |
| 2017-07-16 |
acondolu | subst does not replace anymore in branches of maches
|
commit | commitdiff | tree |
| 2017-07-16 |
acondolu | Commented out problem, it is (still) failing because...
|
commit | commitdiff | tree |
| 2017-07-16 |
acondolu | Printing now preserves the names of the original free...
|
commit | commitdiff | tree |
| 2017-07-15 |
acondolu | Fixed typo in problem
|
commit | commitdiff | tree |
| 2017-07-15 |
acondolu | Improved parsing
|
commit | commitdiff | tree |
| 2017-07-15 |
acondolu | Improved pretty-printing
|
commit | commitdiff | tree |
| 2017-07-15 |
acondolu | Added problem wrongly backtracking
|
commit | commitdiff | tree |
| 2017-07-15 |
acondolu | Forgot one "Z"
|
commit | commitdiff | tree |
| 2017-07-15 |
acondolu | Code clean-up
|
commit | commitdiff | tree |
| 2017-07-15 |
acondolu | Code clean-up
|
commit | commitdiff | tree |
| 2017-07-15 |
acondolu | Important: added special variable "Z" for zero.
|
commit | commitdiff | tree |
| 2017-07-15 |
acondolu | Moved all problems in problems folder. Last ones in "w"
|
commit | commitdiff | tree |
| 2017-07-15 |
acondolu | Encoding of SAT problems and 3-colorability of graphs
|
commit | commitdiff | tree |
| 2017-07-15 |
acondolu | Fixes to parser
|
commit | commitdiff | tree |
| 2017-07-15 |
acondolu | Added problems encoded from 3-colorability of graphs
|
commit | commitdiff | tree |
| 2017-07-15 |
acondolu | Fixed "$" in parser
|
commit | commitdiff | tree |
| 2017-07-14 |
acondolu | Command line arguments to ./a.out
|
commit | commitdiff | tree |
| 2017-07-14 |
acondolu | Fixed problems separator in parser: now it is $
|
commit | commitdiff | tree |
| 2017-07-14 |
acondolu | Added label to problem
|
commit | commitdiff | tree |
| 2017-07-14 |
acondolu | Removed invalid problems
|
commit | commitdiff | tree |
| 2017-07-14 |
acondolu | Failure in case of empty problem, to be fixed
|
commit | commitdiff | tree |
| 2017-07-14 |
acondolu | Parser.from_file, and p* problems moved to problems/p
|
commit | commitdiff | tree |
| 2017-07-14 |
acondolu | problems now contain a label and the names of the original...
|
commit | commitdiff | tree |
| 2017-07-14 |
acondolu | First draft of Parser.problem_of_string
|
commit | commitdiff | tree |
| 2017-07-14 |
acondolu | Changed logic of entrypoint in Lambda4
|
commit | commitdiff | tree |
| 2017-07-14 |
acondolu | Moved parse' from Num to Parser
|
commit | commitdiff | tree |
| 2017-07-14 |
acondolu | Fixed: was using compare in place of eta_eq
|
commit | commitdiff | tree |
| 2017-07-14 |
acondolu | Re-use Util.index_of
|
commit | commitdiff | tree |
| 2017-07-14 |
acondolu | Code clean-up
|
commit | commitdiff | tree |
| 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-12 |
acondolu | andrea7 -> new andrea9
|
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-07-07 |
acondolu | Added new calculus
|
commit | commitdiff | tree |
| next |
projects / fireball-separation.git / search