matita.cs.unibo.it Git - fireball-separation.git/history

]> matita.cs.unibo.it Git - fireball-separation.git/history - ocaml/num.ml

projects / fireball-separation.git / history

[fireball-separation.git] / ocaml / num.ml

2018-05-28	acondolu	Printing now preserves the names of the original free...	blob \| commitdiff \| raw
2018-05-28	acondolu	Improved pretty-printing	blob \| commitdiff \| raw \| diff to current
2018-05-28	acondolu	Changed logic of entrypoint in Lambda4	blob \| commitdiff \| raw \| diff to current
2018-05-28	acondolu	Moved parse' from Num to Parser	blob \| commitdiff \| raw \| diff to current
2018-05-28	acondolu	Fixed bug in eta_subterm	blob \| commitdiff \| raw \| diff to current
2018-05-28	acondolu	Fix: max_arity_tms was using wrong comparison	blob \| commitdiff \| raw \| diff to current
2018-05-25	acondolu	Fixes to printing	blob \| commitdiff \| raw \| diff to current
2018-05-25	acondolu	Prettier-printing: string_of_problem outputs OCaml...	blob \| commitdiff \| raw \| diff to current
2018-05-25	acondolu	Fix: nested `Lambda(false,_) were not handled correctly	blob \| commitdiff \| raw \| diff to current
2017-07-11	acondolu	Fix: conv : x:min_int (.... y:1 ...) y was not conside...	blob \| commitdiff \| raw \| diff to current
2017-07-10	acondolu	The measure finally works on all problems in problems.ml!	blob \| commitdiff \| raw \| diff to current
2017-07-10	acondolu	Arity inherited only in the case (true, min_int)	blob \| commitdiff \| raw \| diff to current
2017-07-10	acondolu	new_arity = old_arity + 1	blob \| commitdiff \| raw \| diff to current
2017-07-07	acondolu	Fixes to how arities are assigned and propagated	blob \| commitdiff \| raw \| diff to current
2017-06-27	<andrea.condoluci...	still stepping on negative variables	blob \| commitdiff \| raw \| diff to current
2017-06-26	<andrea.condoluci...	Problems pass, but still missing computation of arities...	blob \| commitdiff \| raw \| diff to current
2017-06-26	<andrea.condoluci...	New representation of arities in variables	blob \| commitdiff \| raw \| diff to current
2017-06-22	<andrea.condoluci...	Updated type of terms with arities in lambda and matche	blob \| commitdiff \| raw \| diff to current
2017-06-12	<andrea.condoluci...	Copy ocaml folder from sacerdot's svn repository, rev...	blob \| commitdiff \| raw \| diff to current

Unnamed repository; edit this file 'description' to name the repository.

RSS Atom