Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | made some tests green; some small bugfixes | Araq | 2012-12-09 | 1 | -1/+1 |
* | documented AST overloading and some TR optimizations | Araq | 2012-12-09 | 2 | -0/+24 |
* | debugger compiles again | Araq | 2012-09-13 | 1 | -1/+2 |
* | tr macros now documented | Araq | 2012-09-10 | 3 | -4/+16 |
* | unittest bugfix; made some tests green | Araq | 2012-09-08 | 1 | -1/+3 |
* | tmatrix.nim works now | Araq | 2012-09-08 | 1 | -2/+2 |
* | term rewriting improvements | Araq | 2012-09-08 | 3 | -1/+37 |
* | activated tests for tr macros | Araq | 2012-09-06 | 3 | -1/+31 |
* | bugfixes and improvements for term rewriting macros | Araq | 2012-09-04 | 2 | -6/+6 |
* | further improvements for term rewriting macros | Araq | 2012-09-04 | 4 | -0/+55 |