Mercurial Mercurial > hg > cst_tests / shortlog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -8 +8 +10 +30 +100 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
 
Sat, 23 Mar 2019 11:53:09 +0000 Chengsong exp and proof changeset | files
Fri, 22 Mar 2019 12:53:56 +0000 Chengsong augmented version of proof sketch changeset | files
Thu, 21 Mar 2019 13:26:07 +0000 Chengsong pf changeset | files
Sat, 16 Mar 2019 20:05:13 +0000 Chengsong found the difference: caused by flats changeset | files
Sat, 16 Mar 2019 15:00:43 +0000 Chengsong random test failed changeset | files
Sat, 16 Mar 2019 14:14:42 +0000 Chengsong correctness test with enumeration changeset | files
Fri, 15 Mar 2019 12:27:12 +0000 Chengsong :test whether bsimp(bders(r, s)) == ders_simp(r,s) changeset | files
Fri, 15 Mar 2019 10:46:46 +0000 Chengsong removing PRED changeset | files
(0) -8 +8 +10 +30 +100 tip
cst_tests