]>
2009-06-30 | denes | Enabled age selection (ratio 1/5) | blob | commitdiff | raw |
2009-06-29 | denes | First attempt for refined goal selection strategy | blob | commitdiff | raw | diff to current |
2009-06-25 | denes | Various fixes | blob | commitdiff | raw | diff to current |
2009-06-24 | denes | Extended is_identity test | blob | commitdiff | raw | diff to current |
2009-06-16 | Enrico Tassi | first proof reconstruction attempt, still bugged since it | 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-10 | Enrico Tassi | right inference step completed | blob | commitdiff | raw | diff to current |
2009-06-09 | Enrico Tassi | snapshot | blob | commitdiff | raw | diff to current |
2009-06-09 | Enrico Tassi | snaphost: supright almost done | blob | commitdiff | raw | diff to current |
2009-06-08 | Enrico Tassi | some more functors and a nice higher-order all_position... | blob | commitdiff | raw | diff to current |