| 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 |
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 |
| 2018-05-28 |
acondolu | Fix: missing check to avoid stepping on vars of non...
|
commit | commitdiff | tree |
| 2018-05-28 |
acondolu | Fix: max_arity_tms was using wrong comparison
|
commit | commitdiff | tree |
| 2018-05-28 |
acondolu | Added variable convergent_dummy
|
commit | commitdiff | tree |
| 2018-05-25 |
acondolu | Fixes to printing
|
commit | commitdiff | tree |
| 2018-05-25 |
acondolu | Disabled some chars as variable names in the parser
|
commit | commitdiff | tree |
| 2018-05-25 |
acondolu | Prettier-printing: string_of_problem outputs OCaml...
|
commit | commitdiff | tree |
| 2018-05-25 |
acondolu | Fixed if-then-else
|
commit | commitdiff | tree |
| 2018-05-25 |
acondolu | Fix: nested `Lambda(false,_) were not handled correctly
|
commit | commitdiff | tree |
| 2018-05-25 |
acondolu | -666 -> min_int
|
commit | commitdiff | tree |
| 2018-05-25 |
acondolu | Fixed indentation and logging
|
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