| 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-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-27 |
<andrea.condoluci... | still stepping on negative variables
|
commit | commitdiff | tree |
| 2017-06-26 |
<andrea.condoluci... | Problems pass, but still missing computation of arities...
|
commit | commitdiff | tree |
| 2017-06-26 |
<andrea.condoluci... | New representation of arities in variables
|
commit | commitdiff | tree |
| 2017-06-26 |
<andrea.condoluci... | Removed traces of lambda3
|
commit | commitdiff | tree |
| 2017-06-22 |
<andrea.condoluci... | Removed lambda3 + Fixed lambda4
|
commit | commitdiff | tree |
| 2017-06-22 |
<andrea.condoluci... | Updated type of terms with arities in lambda and matche
|
commit | commitdiff | tree |
| 2017-06-12 |
<andrea.condoluci... | Moved andrea's stuff to its branch
|
commit | commitdiff | tree |
| 2017-06-12 |
<andrea.condoluci... | Copy ocaml folder from sacerdot's svn repository, rev...
|
commit | commitdiff | tree |
| 2017-06-12 |
Andrea Condoluci | Initial commit
|
commit | commitdiff | tree |
|
projects / fireball-separation.git / search