2018-06-11 |
acondolu | Added usual evil problem
|
commit | commitdiff | tree |
2018-06-11 |
acondolu | Finish ignores rigid arguments; auto tries to diverge...
|
commit | commitdiff | tree |
2018-06-11 |
acondolu | Code simplication & fix
|
commit | commitdiff | tree |
2018-06-11 |
acondolu | Fix: it was always stepping on one non-existing argument
|
commit | commitdiff | tree |
2018-06-10 |
acondolu | (Almost-)Correct handling of garbage in Simple
|
commit | commitdiff | tree |
2018-06-10 |
acondolu | Using C instead of @ to combine more convergents in...
|
commit | commitdiff | tree |
2018-06-10 |
acondolu | Improved definition of eta_eq
|
commit | commitdiff | tree |
2018-06-10 |
acondolu | Step possible beyond the args of p.div
|
commit | commitdiff | tree |
2018-06-10 |
acondolu | Improved backtracking in Simple
|
commit | commitdiff | tree |
2018-06-10 |
acondolu | Implemented garbage in Num
|
commit | commitdiff | tree |
2018-06-10 |
acondolu | Fix: bug in printing garbage, did not consider the...
|
commit | commitdiff | tree |
2018-06-09 |
acondolu | Added garbage to L
|
commit | commitdiff | tree |
2018-06-09 |
acondolu | Removed eat, p.stepped, p.phase and t.B
|
commit | commitdiff | tree |
2018-06-07 |
acondolu | Added problems that fail when eat is done incorrectly
|
commit | commitdiff | tree |
2018-06-07 |
acondolu | Using andrea's finish instead of eat. All tests succeed.
|
commit | commitdiff | tree |
2018-06-07 |
acondolu | Trailing constant args in p.div are removed by sanity
|
commit | commitdiff | tree |
2018-06-07 |
acondolu | Added tests with constants
|
commit | commitdiff | tree |
2018-06-02 |
acondolu | Forgot to commit yesterday file with problems with...
|
commit | commitdiff | tree |
2018-06-01 |
acondolu | Experimenting with backtracking and stepping on "all...
|
commit | commitdiff | tree |
2018-06-01 |
acondolu | Implementing constants
|
commit | commitdiff | tree |
2018-06-01 |
acondolu | Removed parameter from C
|
commit | commitdiff | tree |
2018-06-01 |
acondolu | More comments and improved find_eta_difference
|
commit | commitdiff | tree |
2018-06-01 |
acondolu | More comments and better variable names
|
commit | commitdiff | tree |
2018-06-01 |
acondolu | Renamed output files
|
commit | commitdiff | tree |
2018-06-01 |
acondolu | Removed warning
|
commit | commitdiff | tree |
2018-05-31 |
acondolu | Updated simple with current parser
|
commit | commitdiff | tree |
2018-05-31 |
acondolu | Simpler tests in simple_test.ml + Added diverging tests...
|
commit | commitdiff | tree |
2018-05-31 |
acondolu | Eat was erasing terms from C that made it diverge
|
commit | commitdiff | tree |
2018-05-31 |
acondolu | Bug in mk_app with C
|
commit | commitdiff | tree |
2018-05-31 |
acondolu | Fix no_leading_lambdas to account for a step on x on...
|
commit | commitdiff | tree |
2018-05-31 |
acondolu | New (in-)decision procedure for termination
|
commit | commitdiff | tree |
2018-05-31 |
acondolu | More bound vars in simple_test
|
commit | commitdiff | tree |
2018-05-31 |
acondolu | Clean up, improve comments, move functions
|
commit | commitdiff | tree |
2018-05-31 |
acondolu | Added check for eta_subterm in `solve'
|
commit | commitdiff | tree |
2018-05-31 |
acondolu | Added simple_test.ml
|
commit | commitdiff | tree |
2018-05-31 |
acondolu | Moved andrea.ml to simple.ml
|
commit | commitdiff | tree |
2018-05-31 |
acondolu | Added constructor for constants
|
commit | commitdiff | tree |
2018-05-30 |
acondolu | Made bombs more explosive (strongly)
|
commit | commitdiff | tree |
2018-05-30 |
acondolu | Restored good check for Done
|
commit | commitdiff | tree |
2018-05-30 |
acondolu | Simple strong separation implemented!
|
commit | commitdiff | tree |
2018-05-30 |
acondolu | Added check with purification to andrea.ml
|
commit | commitdiff | tree |
2018-05-30 |
acondolu | Moved function, fix indentation, removed parsing of...
|
commit | commitdiff | tree |
2018-05-30 |
acondolu | Clean-up step function; move code
|
commit | commitdiff | tree |
2018-05-30 |
acondolu | Removed pacman
|
commit | commitdiff | tree |
2018-05-30 |
acondolu | Clean up
|
commit | commitdiff | tree |
2018-05-30 |
acondolu | get_subterm_with_head_and_args goes under lambdas
|
commit | commitdiff | tree |
2018-05-30 |
acondolu | Removed useless `isdiv' flag
|
commit | commitdiff | tree |
2018-05-30 |
acondolu | Clean-up to examples. Removed tests.
|
commit | commitdiff | tree |
2018-05-30 |
acondolu | Simple algorithm by Andrea
|
commit | commitdiff | tree |
2018-05-30 |
acondolu | Moved env_of_sigma to Pure
|
commit | commitdiff | tree |
2018-05-28 |
acondolu | Tentative implementation of strong separation algorithm
|
commit | commitdiff | tree |
2018-05-28 |
acondolu | Machine implements strong reduction
|
commit | commitdiff | tree |
2018-05-28 |
acondolu | Detection of divergents
|
commit | commitdiff | tree |
2018-05-28 |
acondolu | Bug fixed in pretty-printing of original names under...
|
commit | commitdiff | tree |
2018-05-28 |
acondolu | Fix in pretty-printing of match
|
commit | commitdiff | tree |
2018-05-28 |
acondolu | Implemented parsing of "nominal" variables (`@`)
|
commit | commitdiff | tree |
2018-05-28 |
acondolu | Allow comments (#) at the end of terms
|
commit | commitdiff | tree |
2018-05-28 |
acondolu | Logging options to display measure of single terms...
|
commit | commitdiff | tree |
2018-05-28 |
acondolu | Fixed bug in computing special k
|
commit | commitdiff | tree |
2018-05-28 |
acondolu | Removed special strategies in choose_step
|
commit | commitdiff | tree |
2018-05-28 |
acondolu | Better error messages in parser
|
commit | commitdiff | tree |
2018-05-28 |
acondolu | Revert subst in branches of matches
|
commit | commitdiff | tree |
2018-05-28 |
acondolu | Comments, fix indentation and
|
commit | commitdiff | tree |
2018-05-28 |
acondolu | Renamed in critical_showstoppers: showstoppers -> inedible...
|
commit | commitdiff | tree |
2018-05-28 |
acondolu | Simplified arity_of, precompute_edible_data, critical_showst...
|
commit | commitdiff | tree |
2018-05-28 |
acondolu | Added a couple of tests which MUST fail
|
commit | commitdiff | tree |
2018-05-28 |
acondolu | Fixed computation of arity for top-level inerts
|
commit | commitdiff | tree |
2018-05-28 |
acondolu | Simplified not-working example
|
commit | commitdiff | tree |
2018-05-28 |
Claudio Sacerdoti... | Missing parenthesis fixed
|
commit | commitdiff | tree |
2018-05-28 |
Claudio Sacerdoti... | Failing case found
|
commit | commitdiff | tree |
2018-05-28 |
Claudio Sacerdoti... | Hack to reserve var 0 to purify it to BOM removed
|
commit | commitdiff | tree |
2018-05-28 |
acondolu | subst does not replace anymore in branches of maches
|
commit | commitdiff | tree |
2018-05-28 |
acondolu | Printing now preserves the names of the original free...
|
commit | commitdiff | tree |
2018-05-28 |
acondolu | Improved parsing
|
commit | commitdiff | tree |
2018-05-28 |
acondolu | Improved pretty-printing
|
commit | commitdiff | tree |
2018-05-28 |
acondolu | Added problem wrongly backtracking
|
commit | commitdiff | tree |
2018-05-28 |
acondolu | Forgot one "Z"
|
commit | commitdiff | tree |
2018-05-28 |
acondolu | Code clean-up
|
commit | commitdiff | tree |
2018-05-28 |
acondolu | Code clean-up
|
commit | commitdiff | tree |
2018-05-28 |
acondolu | Important: added special variable "Z" for zero.
|
commit | commitdiff | tree |
2018-05-28 |
acondolu | Moved all problems in problems folder. Last ones in "w"
|
commit | commitdiff | tree |
2018-05-28 |
acondolu | Fixes to parser
|
commit | commitdiff | tree |
2018-05-28 |
acondolu | Fixed "$" in parser
|
commit | commitdiff | tree |
2018-05-28 |
acondolu | Command line arguments to ./a.out
|
commit | commitdiff | tree |
2018-05-28 |
acondolu | Fixed problems separator in parser: now it is $
|
commit | commitdiff | tree |
2018-05-28 |
acondolu | Added label to problem
|
commit | commitdiff | tree |
2018-05-28 |
acondolu | Failure in case of empty problem, to be fixed
|
commit | commitdiff | tree |
2018-05-28 |
acondolu | Parser.from_file, and p* problems moved to problems/p
|
commit | commitdiff | tree |
2018-05-28 |
acondolu | problems now contain a label and the names of the original...
|
commit | commitdiff | tree |
2018-05-28 |
acondolu | First draft of Parser.problem_of_string
|
commit | commitdiff | tree |
2018-05-28 |
acondolu | Changed logic of entrypoint in Lambda4
|
commit | commitdiff | tree |
2018-05-28 |
acondolu | Moved parse' from Num to Parser
|
commit | commitdiff | tree |
2018-05-28 |
acondolu | Fixed: was using compare in place of eta_eq
|
commit | commitdiff | tree |
2018-05-28 |
acondolu | Re-use Util.index_of
|
commit | commitdiff | tree |
2018-05-28 |
acondolu | Code clean-up
|
commit | commitdiff | tree |
2018-05-28 |
acondolu | Tidying up problems.ml
|
commit | commitdiff | tree |
2018-05-28 |
acondolu | Tentative commit: tactics dropped and clean-up
|
commit | commitdiff | tree |
2018-05-28 |
acondolu | Added assert false
|
commit | commitdiff | tree |
2018-05-28 |
acondolu | Fixed bug in eta_subterm
|
commit | commitdiff | tree |
2018-05-28 |
acondolu | Remove FORCE option in Makefile
|
commit | commitdiff | tree |
next |