| 2018-05-28 |
acondolu | Detection of divergents master weak-reduction-separation |
commit | commitdiff |
| 2018-05-28 |
acondolu | Bug fixed in pretty-printing of original names under... |
commit | commitdiff |
| 2018-05-28 |
acondolu | Fix in pretty-printing of match |
commit | commitdiff |
| 2018-05-28 |
acondolu | Implemented parsing of "nominal" variables (`@`) |
commit | commitdiff |
| 2018-05-28 |
acondolu | Allow comments (#) at the end of terms |
commit | commitdiff |
| 2018-05-28 |
acondolu | Logging options to display measure of single terms... |
commit | commitdiff |
| 2018-05-28 |
acondolu | Fixed bug in computing special k |
commit | commitdiff |
| 2018-05-28 |
acondolu | Removed special strategies in choose_step |
commit | commitdiff |
| 2018-05-28 |
acondolu | Better error messages in parser |
commit | commitdiff |
| 2018-05-28 |
acondolu | Revert subst in branches of matches |
commit | commitdiff |
| 2018-05-28 |
acondolu | Comments, fix indentation and |
commit | commitdiff |
| 2018-05-28 |
acondolu | Renamed in critical_showstoppers: showstoppers -> inedi... |
commit | commitdiff |
| 2018-05-28 |
acondolu | Simplified arity_of, precompute_edible_data, critical_s... |
commit | commitdiff |
| 2018-05-28 |
acondolu | Added a couple of tests which MUST fail |
commit | commitdiff |
| 2018-05-28 |
acondolu | Fixed computation of arity for top-level inerts |
commit | commitdiff |
| 2018-05-28 |
acondolu | Simplified not-working example |
commit | commitdiff |
| 2018-05-28 |
Claudio Sacerdoti... | Missing parenthesis fixed |
commit | commitdiff |
| 2018-05-28 |
Claudio Sacerdoti... | Failing case found |
commit | commitdiff |
| 2018-05-28 |
Claudio Sacerdoti... | Hack to reserve var 0 to purify it to BOM removed |
commit | commitdiff |
| 2018-05-28 |
acondolu | subst does not replace anymore in branches of maches |
commit | commitdiff |
| 2018-05-28 |
acondolu | Printing now preserves the names of the original free... |
commit | commitdiff |
| 2018-05-28 |
acondolu | Improved parsing |
commit | commitdiff |
| 2018-05-28 |
acondolu | Improved pretty-printing |
commit | commitdiff |
| 2018-05-28 |
acondolu | Added problem wrongly backtracking |
commit | commitdiff |
| 2018-05-28 |
acondolu | Forgot one "Z" |
commit | commitdiff |
| 2018-05-28 |
acondolu | Code clean-up |
commit | commitdiff |
| 2018-05-28 |
acondolu | Code clean-up |
commit | commitdiff |
| 2018-05-28 |
acondolu | Important: added special variable "Z" for zero. |
commit | commitdiff |
| 2018-05-28 |
acondolu | Moved all problems in problems folder. Last ones in "w" |
commit | commitdiff |
| 2018-05-28 |
acondolu | Fixes to parser |
commit | commitdiff |
| 2018-05-28 |
acondolu | Fixed "$" in parser |
commit | commitdiff |
| 2018-05-28 |
acondolu | Command line arguments to ./a.out |
commit | commitdiff |
| 2018-05-28 |
acondolu | Fixed problems separator in parser: now it is $ |
commit | commitdiff |
| 2018-05-28 |
acondolu | Added label to problem |
commit | commitdiff |
| 2018-05-28 |
acondolu | Failure in case of empty problem, to be fixed |
commit | commitdiff |
| 2018-05-28 |
acondolu | Parser.from_file, and p* problems moved to problems/p |
commit | commitdiff |
| 2018-05-28 |
acondolu | problems now contain a label and the names of the origi... |
commit | commitdiff |
| 2018-05-28 |
acondolu | First draft of Parser.problem_of_string |
commit | commitdiff |
| 2018-05-28 |
acondolu | Changed logic of entrypoint in Lambda4 |
commit | commitdiff |
| 2018-05-28 |
acondolu | Moved parse' from Num to Parser |
commit | commitdiff |
| 2018-05-28 |
acondolu | Fixed: was using compare in place of eta_eq |
commit | commitdiff |
| 2018-05-28 |
acondolu | Re-use Util.index_of |
commit | commitdiff |
| 2018-05-28 |
acondolu | Code clean-up |
commit | commitdiff |
| 2018-05-28 |
acondolu | Tidying up problems.ml |
commit | commitdiff |
| 2018-05-28 |
acondolu | Tentative commit: tactics dropped and clean-up |
commit | commitdiff |
| 2018-05-28 |
acondolu | Added assert false |
commit | commitdiff |
| 2018-05-28 |
acondolu | Fixed bug in eta_subterm |
commit | commitdiff |
| 2018-05-28 |
acondolu | Remove FORCE option in Makefile |
commit | commitdiff |
| 2018-05-28 |
acondolu | Fix: missing check to avoid stepping on vars of non... |
commit | commitdiff |
| 2018-05-28 |
acondolu | Fix: max_arity_tms was using wrong comparison |
commit | commitdiff |
| 2018-05-28 |
acondolu | Added variable convergent_dummy |
commit | commitdiff |
| 2018-05-25 |
acondolu | Fixes to printing |
commit | commitdiff |
| 2018-05-25 |
acondolu | Disabled some chars as variable names in the parser |
commit | commitdiff |
| 2018-05-25 |
acondolu | Prettier-printing: string_of_problem outputs OCaml... |
commit | commitdiff |
| 2018-05-25 |
acondolu | Fixed if-then-else |
commit | commitdiff |
| 2018-05-25 |
acondolu | Fix: nested `Lambda(false,_) were not handled correctly |
commit | commitdiff |
| 2018-05-25 |
acondolu | -666 -> min_int |
commit | commitdiff |
| 2018-05-25 |
acondolu | Fixed indentation and logging |
commit | commitdiff |
| 2017-07-11 |
acondolu | clean removes *.o files |
commit | commitdiff |
| 2017-07-11 |
acondolu | Removed old .ar files |
commit | commitdiff |
| 2017-07-11 |
acondolu | Run tests with: make run |
commit | commitdiff |
| 2017-07-11 |
acondolu | Fix: conv : x:min_int (.... y:1 ...) y was not conside... |
commit | commitdiff |
| 2017-07-11 |
acondolu | New problems n1, n2 used to debug the problem with... |
commit | commitdiff |
| 2017-07-11 |
acondolu | Bug fix: x (y z) where y was conv_dangerous did not... |
commit | commitdiff |
| 2017-07-11 |
acondolu | Fix bug in dangerous_conv with arity of arguments of... |
commit | commitdiff |
| 2017-07-10 |
acondolu | The measure finally works on all problems in problems.ml! |
commit | commitdiff |
| 2017-07-10 |
acondolu | Experimenting with a combined measure |
commit | commitdiff |
| 2017-07-10 |
acondolu | Instantiate now uses a global initialSpecialK (ignoring... |
commit | commitdiff |
| 2017-07-10 |
acondolu | Arity inherited only in the case (true, min_int) |
commit | commitdiff |
| 2017-07-10 |
acondolu | new_arity = old_arity + 1 |
commit | commitdiff |
| 2017-07-07 |
acondolu | Fixes to how arities are assigned and propagated |
commit | commitdiff |
| 2017-06-28 |
acondolu | Minor fixes |
commit | commitdiff |
| 2017-06-27 |
<andrea.condoluci... | still stepping on negative variables |
commit | commitdiff |
| 2017-06-26 |
<andrea.condoluci... | Problems pass, but still missing computation of arities... |
commit | commitdiff |
| 2017-06-26 |
<andrea.condoluci... | New representation of arities in variables |
commit | commitdiff |
| 2017-06-26 |
<andrea.condoluci... | Removed traces of lambda3 |
commit | commitdiff |
| 2017-06-22 |
<andrea.condoluci... | Removed lambda3 + Fixed lambda4 |
commit | commitdiff |
| 2017-06-22 |
<andrea.condoluci... | Updated type of terms with arities in lambda and matche |
commit | commitdiff |
| 2017-06-12 |
<andrea.condoluci... | Moved andrea's stuff to its branch |
commit | commitdiff |
| 2017-06-12 |
<andrea.condoluci... | Copy ocaml folder from sacerdot's svn repository, rev... |
commit | commitdiff |
| 2017-06-12 |
Andrea Condoluci | Initial commit |
commit | commitdiff |
|
projects / fireball-separation.git / history