Mercurial Mercurial > hg > cst_tests / shortlog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
 
2019-04-10 Chengsong The C(Char) construct is incompatible with the code and retrieve in Fahad's thesis. changeset | files
2019-03-23 Chengsong exp and proof changeset | files
2019-03-22 Chengsong augmented version of proof sketch changeset | files
2019-03-21 Chengsong pf changeset | files
2019-03-16 Chengsong found the difference: caused by flats changeset | files
2019-03-16 Chengsong random test failed changeset | files
2019-03-16 Chengsong correctness test with enumeration changeset | files
2019-03-15 Chengsong :test whether bsimp(bders(r, s)) == ders_simp(r,s) changeset | files
2019-03-15 Chengsong removing PRED changeset | files
2019-03-13 Chengsong more comments changeset | files
2019-03-13 Chengsong i changeset | files
2019-03-13 Chengsong run changeset | files
No more entries
(0) tip
cst_tests