]>
2005-12-19 | Andrea Asperti | Discrimination and trie removed. | blob | commitdiff | raw |
2005-10-17 | Alberto Griggio | added some comments; general code cleanup | blob | commitdiff | raw |
2005-07-22 | Alberto Griggio | - better exception handling | blob | commitdiff | raw | diff to current |
2005-07-21 | Alberto Griggio | modifications/fixes for the integration with auto | blob | commitdiff | raw | diff to current |
2005-07-01 | Alberto Griggio | fixed bug in proof generation, new weight function... | blob | commitdiff | raw | diff to current |
2005-06-23 | Alberto Griggio | added various profiling statistics... | blob | commitdiff | raw | diff to current |
2005-06-22 | Alberto Griggio | reverted to previous version, as it worked better... | blob | commitdiff | raw | diff to current |
2005-06-22 | Alberto Griggio | use of discrimination trees instead of path indexes... | blob | commitdiff | raw | diff to current |
2005-06-20 | Alberto Griggio | discrimination trees | blob | commitdiff | raw | diff to current |