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

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

projects / fireball-separation.git / summary

summary | shortlog | log | commit | commitdiff | tree

description	Unnamed repository; edit this file 'description' to name the repository.
owner	Claudio Sacerdoti Coen
last change	Mon, 28 May 2018 13:03:00 +0000 (15:03 +0200)

2018-05-28	acondolu	Detection of divergents master weak-reduction-separation	commit \| commitdiff \| tree \| snapshot
2018-05-28	acondolu	Bug fixed in pretty-printing of original names under...	commit \| commitdiff \| tree \| snapshot
2018-05-28	acondolu	Fix in pretty-printing of match	commit \| commitdiff \| tree \| snapshot
2018-05-28	acondolu	Implemented parsing of "nominal" variables (`@`)	commit \| commitdiff \| tree \| snapshot
2018-05-28	acondolu	Allow comments (#) at the end of terms	commit \| commitdiff \| tree \| snapshot
2018-05-28	acondolu	Logging options to display measure of single terms...	commit \| commitdiff \| tree \| snapshot
2018-05-28	acondolu	Fixed bug in computing special k	commit \| commitdiff \| tree \| snapshot
2018-05-28	acondolu	Removed special strategies in choose_step	commit \| commitdiff \| tree \| snapshot
2018-05-28	acondolu	Better error messages in parser	commit \| commitdiff \| tree \| snapshot
2018-05-28	acondolu	Revert subst in branches of matches	commit \| commitdiff \| tree \| snapshot
2018-05-28	acondolu	Comments, fix indentation and	commit \| commitdiff \| tree \| snapshot
2018-05-28	acondolu	Renamed in critical_showstoppers: showstoppers -> inedi...	commit \| commitdiff \| tree \| snapshot
2018-05-28	acondolu	Simplified arity_of, precompute_edible_data, critical_s...	commit \| commitdiff \| tree \| snapshot
2018-05-28	acondolu	Added a couple of tests which MUST fail	commit \| commitdiff \| tree \| snapshot
2018-05-28	acondolu	Fixed computation of arity for top-level inerts	commit \| commitdiff \| tree \| snapshot
2018-05-28	acondolu	Simplified not-working example	commit \| commitdiff \| tree \| snapshot
...

5 years ago

weak-reduction-separation

| commit | shortlog | log

5 years ago	measure_tmp	shortlog \| log \| tree
5 years ago	latex	shortlog \| log \| tree
5 years ago	strong_simple_measure	shortlog \| log \| tree
5 years ago	strong_simple	shortlog \| log \| tree
5 years ago	strong_simple_constants	shortlog \| log \| tree
5 years ago	andrea	shortlog \| log \| tree
5 years ago	strong	shortlog \| log \| tree
5 years ago	new_algorithm	shortlog \| log \| tree
5 years ago	master	shortlog \| log \| tree
6 years ago	permutations	shortlog \| log \| tree

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