projects / helm.git / history
| 2009-07-09 | Enrico Tassi | New functorialization: paramod is abstracted over a... | blob | commitdiff | raw |
| 2009-06-29 | denes | First attempt for refined goal selection strategy | blob | commitdiff | raw | diff to current |
| 2009-06-11 | denes | Active goals are now demodulated after selecting a... | blob | commitdiff | raw | diff to current |
| 2009-06-09 | Enrico Tassi | snaphost: supright almost done | blob | commitdiff | raw | diff to current |
| 2009-06-04 | Enrico Tassi | comments | blob | commitdiff | raw | diff to current |
| 2009-06-04 | Enrico Tassi | better type for comparison and implementation of KBO... | blob | commitdiff | raw | diff to current |
| 2009-06-04 | Enrico Tassi | more functors | blob | commitdiff | raw | diff to current |
| 2009-06-03 | Enrico Tassi | functorial abstraction over term blobs | blob | commitdiff | raw | diff to current |
| 2009-06-01 | Enrico Tassi | added a snapshot of comparison | blob | commitdiff | raw | diff to current |
| 2009-06-01 | Enrico Tassi | we rewrite the paramodulation code! | blob | commitdiff | raw | diff to current |