| 2019-04-12 | Chengsong | test of | file | diff | annotate |
| 2019-04-10 | Chengsong | removed C(c) The retrieve and code in the previous version is still not correct and will crash. no prob now. | file | diff | annotate |
| 2019-04-10 | Chengsong | The C(Char) construct is incompatible with the code and retrieve in Fahad's thesis. | file | diff | annotate |
| 2019-03-23 | Chengsong | exp and proof | file | diff | annotate |
| 2019-03-21 | Chengsong | pf | file | diff | annotate |
| 2019-03-16 | Chengsong | found the difference: caused by flats | file | diff | annotate |
| 2019-03-16 | Chengsong | random test failed | file | diff | annotate |
| 2019-03-16 | Chengsong | correctness test with enumeration | file | diff | annotate |
| 2019-03-15 | Chengsong | :test whether bsimp(bders(r, s)) == ders_simp(r,s) | file | diff | annotate |
| 2019-03-15 | Chengsong | removing PRED | file | diff | annotate |
| 2019-03-13 | Chengsong | more comments | file | diff | annotate |
| 2019-03-13 | Chengsong | i | file | diff | annotate |
| 2019-03-13 | Chengsong | run | file | diff | annotate |