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.
 
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
2016-01-21 Christian Urban added theory for star changeset | files
2016-01-14 Christian Urban updated changeset | files
2016-01-06 Christian Urban added type inference paper and updated Re.thy changeset | files
2015-12-19 Christian Urban added a proof about Values and PMatch changeset | files
2015-12-18 Christian Urban updated changeset | files
2015-12-18 Christian Urban the algorithm is correct according to the Type Inference definition changeset | files
2015-12-18 Christian Urban added POSIX relation from the Type-Inference paper changeset | files
2015-12-17 Christian Urban cleaned up version of Re1 changeset | files
2015-12-17 Christian Urban updated changeset | files
2015-07-06 Christian Urban added phd thesis changeset | files
2015-06-10 Christian Urban added frisch / cardelli paper changeset | files
2015-06-08 Christian Urban updated the Isabelle theories with the totality proof changeset | files
2015-05-25 Christian Urban proved some basic properties (totality and trichonomity) for the orderings changeset | files
2015-04-25 Christian Urban added an equivalent slightly simpler POSIX definition changeset | files
2015-04-10 Christian Urban updated changeset | files
2015-03-13 Christian Urban updated from the session today changeset | files
2015-03-09 Christian Urban solved one case changeset | files
2015-03-04 Christian Urban updated R1 and notes changeset | files
(0) -128 +128 tip
lexing