Mercurial Mercurial > hg > lexing / shortlog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -128 +128 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
 
2017-02-26 Christian Urban test changeset | files
2017-02-25 Christian Urban updated changeset | files
2017-02-21 Christian Urban updated changeset | files
2017-02-12 Christian Urban updated changeset | files
2017-02-06 Christian Urban test hook changeset | files
2016-10-08 Christian Urban updated changeset | files
2016-09-21 Christian Urban updated changeset | files
2016-09-13 Christian Urban added backreference papers changeset | files
2016-08-24 Christian Urban updated changeset | files
2016-08-24 Christian Urban updated changeset | files
2016-08-20 Christian Urban updated slides changeset | files
2016-08-06 Christian Urban added 3 new papers changeset | files
2016-07-20 Christian Urban added benchmark paper changeset | files
2016-07-20 Christian Urban added paper about size derivatives changeset | files
2016-06-24 Christian Urban added obscure paper abour string derivatives changeset | files
2016-06-14 Christian Urban deleted afp submission changeset | files
2016-06-14 Christian Urban updated changeset | files
2016-06-14 Christian Urban updated changeset | files
2016-06-14 Christian Urban updated changeset | files
2016-06-14 Christian Urban added data plots changeset | files
2016-06-14 Christian Urban updated slides changeset | files
2016-06-11 Christian Urban added test processing changeset | files
2016-06-10 Christian Urban run all posix tests changeset | files
2016-06-09 Christian Urban started a theory file about bounds changeset | files
2016-06-03 Christian Urban typos changeset | files
2016-05-24 Christian Urban updated AFP link changeset | files
2016-05-24 Christian Urban added files that were submitted to afp changeset | files
2016-05-20 Christian Urban typo changeset | files
2016-05-20 Christian Urban typo changeset | files
2016-05-20 Christian Urban typo changeset | files
2016-05-20 Christian Urban typo changeset | files
2016-05-20 Christian Urban added corollary changeset | files
2016-05-18 Christian Urban updated changeset | files
2016-05-17 Christian Urban Roy's comments changeset | files
2016-05-17 Christian Urban less squeezing changeset | files
2016-05-17 Christian Urban updated changeset | files
2016-05-17 Christian Urban squeezed on 16 pages changeset | files
2016-05-17 Christian Urban isarfied the simplify theory changeset | files
2016-05-16 Christian Urban improved simplifying theory changeset | files
2016-05-16 Christian Urban update changeset | files
2016-05-11 Christian Urban updated changeset | files
2016-05-11 Christian Urban updated changeset | files
2016-05-09 Christian Urban updated changeset | files
2016-05-09 Christian Urban updated changeset | files
2016-05-09 Christian Urban updated changeset | files
2016-05-09 Christian Urban updated changeset | files
2016-05-08 Christian Urban updated changeset | files
2016-05-08 Christian Urban updated changeset | files
2016-05-08 Christian Urban updated changeset | files
2016-05-06 Christian Urban added parser for regexes changeset | files
2016-05-05 Christian Urban added an extended version of re-simp changeset | files
2016-05-04 Christian Urban added benchmark from Fahad changeset | files
2016-05-04 Christian Urban updated literature changeset | files
2016-04-28 Christian Urban added files with test strings changeset | files
2016-04-28 Christian Urban updated changeset | files
2016-04-13 Christian Urban some small typos changeset | files
2016-04-09 Christian Urban added test cases from the haskell repository changeset | files
2016-04-05 Christian Urban corrected typo and corrected proofs in Sulzmann.thy changeset | files
2016-04-05 Christian Urban updated programs changeset | files
2016-04-01 Christian Urban added bit-coded version changeset | files
2016-03-31 Christian Urban cleaned up scala code changeset | files
2016-03-19 Christian Urban updated implementations changeset | files
2016-03-18 Christian Urban updated changeset | files
2016-03-18 Christian Urban updated changeset | files
2016-03-16 Christian Urban added literature changeset | files
2016-03-16 Christian Urban updated changeset | files
2016-03-15 Christian Urban updated changeset | files
2016-03-14 Christian Urban updated changeset | files
2016-03-14 Christian Urban updated changeset | files
2016-03-13 Christian Urban updated changeset | files
2016-03-11 Christian Urban updated changeset | files
2016-03-11 Christian Urban updated changeset | files
2016-03-11 Christian Urban updated changeset | files
2016-03-11 Christian Urban updated changeset | files
2016-03-11 Christian Urban updated changeset | files
2016-03-10 Christian Urban updated changeset | files
2016-03-09 Christian Urban updated changeset | files
2016-03-08 Christian Urban updated changeset | files
2016-03-08 Christian Urban updated changeset | files
2016-03-08 Christian Urban updated changeset | files
2016-03-08 Christian Urban updated changeset | files
2016-03-08 Christian Urban updated changeset | files
2016-03-08 Christian Urban updated changeset | files
2016-03-08 Christian Urban updated changeset | files
2016-03-08 Christian Urban updated changeset | files
2016-03-08 Christian Urban updated changeset | files
2016-03-08 Christian Urban updated changeset | files
2016-03-08 Christian Urban updated changeset | files
2016-03-08 Christian Urban updated changeset | files
2016-03-08 Christian Urban updated changeset | files
2016-03-08 Christian Urban updated changeset | files
2016-03-08 Christian Urban updated changeset | files
2016-03-08 Christian Urban updated changeset | files
2016-03-08 Christian Urban updated changeset | files
2016-03-07 Christian Urban updated changeset | files
2016-03-07 Christian Urban updated changeset | files
2016-03-07 Christian Urban updated changeset | files
2016-03-07 Christian Urban updated changeset | files
2016-03-06 Christian Urban updated changeset | files
2016-03-06 Christian Urban updated changeset | files
2016-03-06 Christian Urban updated changeset | files
2016-03-06 Christian Urban updated changeset | files
2016-03-05 Christian Urban updated changeset | files
2016-03-05 Christian Urban updated changeset | files
2016-03-05 Christian Urban updated changeset | files
2016-03-03 Christian Urban updated changeset | files
2016-03-02 Christian Urban updated changeset | files
2016-03-02 Christian Urban updated changeset | files
2016-03-02 Christian Urban updated changeset | files
2016-03-01 Christian Urban updated paper changeset | files
2016-02-28 Christian Urban updated changeset | files
2016-02-25 Christian Urban more cleaning and moving unnessary stuff to the end changeset | files
2016-02-25 Christian Urban updated changeset | files
2016-02-24 Christian Urban updated theories and cleaned them up changeset | files
2016-02-15 Christian Urban added some slides changeset | files
2016-02-13 Christian Urban updated changeset | files
2016-02-10 Christian Urban fixed inj function changeset | files
2016-02-08 Christian Urban strengthened PMatch to get determ changeset | files
2016-02-08 Christian Urban updated changeset | files
2016-02-08 Christian Urban updated changeset | files
2016-02-07 Christian Urban updated changeset | files
2016-02-05 Christian Urban added new version of paper by sulzmann changeset | files
2016-02-05 Christian Urban started a paper and moved cruft to Attic changeset | files
2016-02-02 Christian Urban proved also finiteness of non-problematic values changeset | files
2016-02-01 Christian Urban extended all proofs that worked before to the Star case...required a stronger notion of non-problematic values |= changeset | files
2016-02-01 Christian Urban ReStar changes changeset | files
2016-02-01 Christian Urban more lemmas for star changeset | files
2016-01-30 Christian Urban proved some lemmas about star and mkeps (injval etc not yet done) changeset | files
(0) -128 +128 tip
lexing