2017-06-26 Christian Urban updated
2017-06-26 Christian Urban added a proof that Positional ordering is equivalent to direct posix definition
2017-06-25 Christian Urban updated
2017-06-24 Christian Urban updated
2017-06-22 Christian Urban updated
2017-05-17 Christian Urban updated literature
2017-05-17 Christian Urban updated literature
2017-04-01 Christian Urban added more literature about extended partial derivative automata
2017-03-28 Christian Urban updated
2017-03-21 Christian Urban updated for extended partial derivatives
2017-03-20 Christian Urban added automata implementation
2017-03-17 Christian Urban added AND-regular expression (intersection/conjunction)
2017-03-13 Christian Urban updated
2017-03-13 Christian Urban updated
2017-03-11 Christian Urban updated
2017-03-11 Christian Urban updated
2017-03-08 Christian Urban strengthened PLUS-posix definition
2017-03-07 Christian Urban added lit
2017-03-05 Christian Urban updated the re-ext-scala file
2017-03-04 Christian Urban just for fun added the case for PLUS (was already proved as FROMNTIMES)
2017-03-04 Christian Urban updated
2017-03-02 Christian Urban polished some of the definitions
2017-03-02 Christian Urban NMTIMES case also done
2017-03-01 Christian Urban deleted unused theorems
2017-02-28 Christian Urban FROMNTIMES now done
2017-02-28 Christian Urban FROMNTIMES not yet done
2017-02-28 Christian Urban FROMNTIMES not yet done
2017-02-28 Christian Urban added two sanity lemmas
2017-02-27 Christian Urban added also the ntimes case
2017-02-27 Christian Urban updated
2017-02-27 Christian Urban added paper
2017-02-26 Christian Urban updated
2017-02-26 Christian Urban test
2017-02-25 Christian Urban updated
2017-02-21 Christian Urban updated
2017-02-12 Christian Urban updated
2017-02-06 Christian Urban test hook
2016-10-08 Christian Urban updated
2016-09-21 Christian Urban updated
2016-09-13 Christian Urban added backreference papers
2016-08-24 Christian Urban updated
2016-08-24 Christian Urban updated
2016-08-20 Christian Urban updated slides
2016-08-06 Christian Urban added 3 new papers
2016-07-20 Christian Urban added benchmark paper
2016-07-20 Christian Urban added paper about size derivatives
2016-06-24 Christian Urban added obscure paper abour string derivatives
2016-06-14 Christian Urban deleted afp submission
2016-06-14 Christian Urban updated
2016-06-14 Christian Urban updated
2016-06-14 Christian Urban updated
2016-06-14 Christian Urban added data plots
2016-06-14 Christian Urban updated slides
2016-06-11 Christian Urban added test processing
2016-06-10 Christian Urban run all posix tests
2016-06-09 Christian Urban started a theory file about bounds
2016-06-03 Christian Urban typos
2016-05-24 Christian Urban updated AFP link
2016-05-24 Christian Urban added files that were submitted to afp
2016-05-20 Christian Urban typo
2016-05-20 Christian Urban typo
2016-05-20 Christian Urban typo
2016-05-20 Christian Urban typo
2016-05-20 Christian Urban added corollary
2016-05-18 Christian Urban updated
2016-05-17 Christian Urban Roy's comments
2016-05-17 Christian Urban less squeezing
2016-05-17 Christian Urban updated
2016-05-17 Christian Urban squeezed on 16 pages
2016-05-17 Christian Urban isarfied the simplify theory
2016-05-16 Christian Urban improved simplifying theory
2016-05-16 Christian Urban update
2016-05-11 Christian Urban updated
2016-05-11 Christian Urban updated
2016-05-09 Christian Urban updated
2016-05-09 Christian Urban updated
2016-05-09 Christian Urban updated
2016-05-09 Christian Urban updated
2016-05-08 Christian Urban updated
2016-05-08 Christian Urban updated
2016-05-08 Christian Urban updated
2016-05-06 Christian Urban added parser for regexes
2016-05-05 Christian Urban added an extended version of re-simp
2016-05-04 Christian Urban added benchmark from Fahad
2016-05-04 Christian Urban updated literature
2016-04-28 Christian Urban added files with test strings
2016-04-28 Christian Urban updated
2016-04-13 Christian Urban some small typos
2016-04-09 Christian Urban added test cases from the haskell repository
2016-04-05 Christian Urban corrected typo and corrected proofs in Sulzmann.thy
2016-04-05 Christian Urban updated programs
2016-04-01 Christian Urban added bit-coded version
2016-03-31 Christian Urban cleaned up scala code
2016-03-19 Christian Urban updated implementations
2016-03-18 Christian Urban updated
2016-03-18 Christian Urban updated
2016-03-16 Christian Urban added literature
2016-03-16 Christian Urban updated
2016-03-15 Christian Urban updated
2016-03-14 Christian Urban updated
2016-03-14 Christian Urban updated
2016-03-13 Christian Urban updated
2016-03-11 Christian Urban updated
2016-03-11 Christian Urban updated
2016-03-11 Christian Urban updated
2016-03-11 Christian Urban updated
2016-03-11 Christian Urban updated
2016-03-10 Christian Urban updated
2016-03-09 Christian Urban updated
2016-03-08 Christian Urban updated
2016-03-08 Christian Urban updated
2016-03-08 Christian Urban updated
2016-03-08 Christian Urban updated
2016-03-08 Christian Urban updated
2016-03-08 Christian Urban updated
2016-03-08 Christian Urban updated
2016-03-08 Christian Urban updated
2016-03-08 Christian Urban updated
2016-03-08 Christian Urban updated
2016-03-08 Christian Urban updated
(0) -120 +120 tip