| 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-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 |
| 2017-07-11 |
acondolu | clean removes *.o files |
commit | commitdiff | tree | snapshot |
| 2017-07-11 |
acondolu | Removed old .ar files |
commit | commitdiff | tree | snapshot |
| 2017-07-11 |
acondolu | Run tests with: make run |
commit | commitdiff | tree | snapshot |
| 2017-07-11 |
acondolu | Fix: conv : x:min_int (.... y:1 ...) y was not conside... |
commit | commitdiff | tree | snapshot |
| 2017-07-11 |
acondolu | New problems n1, n2 used to debug the problem with... |
commit | commitdiff | tree | snapshot |
| 2017-07-11 |
acondolu | Bug fix: x (y z) where y was conv_dangerous did not... |
commit | commitdiff | tree | snapshot |
| 2017-07-11 |
acondolu | Fix bug in dangerous_conv with arity of arguments of... |
commit | commitdiff | tree | snapshot |
| 2017-07-10 |
acondolu | The measure finally works on all problems in problems.ml! |
commit | commitdiff | tree | snapshot |
| 2017-07-10 |
acondolu | Experimenting with a combined measure |
commit | commitdiff | tree | snapshot |
| 2017-07-10 |
acondolu | Instantiate now uses a global initialSpecialK (ignoring... |
commit | commitdiff | tree | snapshot |
| 2017-07-10 |
acondolu | Arity inherited only in the case (true, min_int) |
commit | commitdiff | tree | snapshot |
| 2017-07-10 |
acondolu | new_arity = old_arity + 1 |
commit | commitdiff | tree | snapshot |
| 2017-07-07 |
acondolu | Fixes to how arities are assigned and propagated |
commit | commitdiff | tree | snapshot |
| 2017-06-28 |
acondolu | Minor fixes |
commit | commitdiff | tree | snapshot |
| 2017-06-27 |
<andrea.condoluci... | still stepping on negative variables |
commit | commitdiff | tree | snapshot |
| 2017-06-26 |
<andrea.condoluci... | Problems pass, but still missing computation of arities... |
commit | commitdiff | tree | snapshot |
| 2017-06-26 |
<andrea.condoluci... | New representation of arities in variables |
commit | commitdiff | tree | snapshot |
| 2017-06-26 |
<andrea.condoluci... | Removed traces of lambda3 |
commit | commitdiff | tree | snapshot |
| 2017-06-22 |
<andrea.condoluci... | Removed lambda3 + Fixed lambda4 |
commit | commitdiff | tree | snapshot |
| 2017-06-22 |
<andrea.condoluci... | Updated type of terms with arities in lambda and matche |
commit | commitdiff | tree | snapshot |
| 2017-06-12 |
<andrea.condoluci... | Moved andrea's stuff to its branch |
commit | commitdiff | tree | snapshot |
| 2017-06-12 |
<andrea.condoluci... | Copy ocaml folder from sacerdot's svn repository, rev... |
commit | commitdiff | tree | snapshot |
| 2017-06-12 |
Andrea Condoluci | Initial commit |
commit | commitdiff | tree | snapshot |
|
projects / fireball-separation.git / shortlog