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

]> matita.cs.unibo.it Git - fireball-separation.git/search

projects / fireball-separation.git / search

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

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

RSS Atom