projects / helm.git / history
| 2005-10-17 | Alberto Griggio | added some comments; general code cleanup | blob | commitdiff | raw |
| 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 | some optimizations... | blob | commitdiff | raw | diff to current |
| 2005-06-19 | Alberto Griggio | path indexing working! | blob | commitdiff | raw | diff to current |