Mercurial Mercurial > hg > lexing / shortlog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -512 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
 
20 months ago Chengsong introduction Contribution section update changeset | files
20 months ago Chengsong more explanation for the name "closed form" and their intuition changeset | files
20 months ago Chengsong more changeset | files
20 months ago Chengsong overview of finiteness proof Gerog comment "not helpful", adding more intuitions of "closed forms" changeset | files
20 months ago Chengsong addresses Gerog "N_r meaning and relation with backtracking?" comment changeset | files
20 months ago Chengsong Addressed Gerog "can't understand 'erase messes with structure'" comment changeset | files
20 months ago Chengsong finished 4.3.2 section explaining why lemma 11 is too strong changeset | files
20 months ago Chengsong Fixed some annotated/unannotated a/r notation inconsistencies. changeset | files
20 months ago Chengsong reordered sections to make chapter 4 more coherent changeset | files
20 months ago Chengsong updated 4.2 diagram changeset | files
20 months ago Chengsong more changeset | files
20 months ago Chengsong more updates in section 4.2 and incorporating Christian comments changeset | files
20 months ago Chengsong more changeset | files
20 months ago Chengsong more changeset | files
20 months ago Chengsong more changeset | files
20 months ago Chengsong more changeset | files
21 months ago Chengsong new amend changeset | files
21 months ago Chengsong changes from Christian changeset | files
21 months ago Chengsong intro changeset | files
24 months ago Christian Urban added Asperti paper changeset | files
2023-02-23 Christian Urban updated changeset | files
2023-02-20 Christian Urban updated changeset | files
2023-02-16 Christian Urban updated changeset | files
2023-02-15 Christian Urban updated changeset | files
2022-12-30 Chengsong more proofreading done, last version before submission changeset | files
2022-12-30 Chengsong until chap 7 changeset | files
2022-12-30 Chengsong comments till chap4 changeset | files
2022-12-24 Chengsong more changeset | files
2022-12-23 Chengsong chap 1 all incorporated changeset | files
2022-12-20 Chengsong more changeset | files
2022-12-18 Chengsong more changeset | files
2022-12-18 Chengsong more, including link changeset | files
2022-12-17 Chengsong more changeset | files
2022-12-08 Chengsong more changeset | files
2022-12-05 Chengsong with Christian changeset | files
2022-12-01 Chengsong abstract comments incorporated changeset | files
2022-11-26 Chengsong ready to submit~~ changeset | files
2022-11-22 Chengsong finished! changeset | files
2022-11-21 Chengsong finished! changeset | files
2022-11-17 Chengsong section reorganising, related work changeset | files
2022-11-12 Chengsong all comments incorporated!!+related work changeset | files
2022-11-12 Chengsong finished injchap2 changeset | files
2022-11-11 Chengsong incorporated more comments, bib changeset | files
2022-11-08 Chengsong chap6 changeset | files
2022-11-07 Chengsong chap6 almost done changeset | files
2022-11-06 Chengsong chap 5 finished changeset | files
2022-11-06 Chengsong chapter 5 finished!! changeset | files
2022-10-13 Christian Urban small polish changeset | files
2022-10-12 Christian Urban updated paper changeset | files
2022-10-12 Christian Urban updated paper for FoSSaCS changeset | files
2022-10-12 Chengsong reorder changeset | files
2022-10-12 Chengsong chap5 changeset | files
2022-10-11 Chengsong chap6 changeset | files
2022-10-03 Chengsong more changeset | files
2022-10-03 Chengsong data files changeset | files
2022-10-03 Chengsong chap1 totally done changeset | files
2022-10-01 Chengsong added related work chap changeset | files
2022-09-30 Chengsong chap1 almost done changeset | files
2022-09-29 Chengsong new changeset | files
2022-09-28 Chengsong more changeset | files
2022-09-25 Chengsong more changeset | files
2022-09-23 Chengsong more restructuring chap1 changeset | files
2022-09-22 Chengsong chap1 changeset | files
2022-09-21 Chengsong more changeset | files
2022-09-12 Chengsong chap4 comments done changeset | files
2022-09-10 Christian Urban updated paper changeset | files
2022-09-10 Christian Urban simplified the n-times case in decode_aux changeset | files
2022-09-05 Chengsong more bsimpidem changeset | files
2022-09-02 Chengsong more chap 56 changeset | files
2022-09-02 Chengsong more changeset | files
2022-09-02 Chengsong more changeset | files
2022-09-02 Chengsong more chap5 changeset | files
2022-09-01 Chengsong more changeset | files
2022-09-01 Chengsong more polishing integrated comments chap2 changeset | files
2022-08-31 Chengsong more chap5 and chap6 bsimp_idem changeset | files
2022-08-31 Chengsong chap4 finished changeset | files
2022-08-30 Chengsong data changeset | files
2022-08-29 Chengsong bsimp idempotency changeset | files
2022-08-29 Chengsong more chap4 changeset | files
2022-08-26 Chengsong chap4 more changeset | files
2022-08-23 Chengsong chap4 nub changeset | files
2022-08-23 Chengsong chap4 changeset | files
2022-08-22 Chengsong chap3 done changeset | files
2022-08-20 Chengsong chap3 almost done changeset | files
2022-08-17 Chengsong halfway chap3 changeset | files
2022-08-17 Chengsong more chap3 changeset | files
2022-08-15 Christian Urban updated paper and literature changeset | files
2022-08-14 Chengsong thesis chap2 changeset | files
2022-08-11 Chengsong thesis chap5 changeset | files
2022-08-02 Chengsong more changeset | files
2022-07-21 Chengsong merge chritian changes changeset | files
2022-07-21 Chengsong chapter2 finished polishing changeset | files
2022-07-17 Christian Urban removed junk in BlexerSimp changeset | files
2022-07-17 Christian Urban added paper about counting automata changeset | files
2022-07-17 Christian Urban added paper changeset | files
2022-07-17 Christian Urban updated paper and corresponding theories changeset | files
2022-07-16 Chengsong more chapter2 modifications changeset | files
2022-07-14 Chengsong more updaates changeset | files
2022-07-13 Chengsong got Christian changes changeset | files
2022-07-13 Chengsong removed files that changed their names changeset | files
2022-07-13 Chengsong more changeset | files
2022-07-09 Christian Urban updated paper and theories to include n-times changeset | files
2022-07-04 Chengsong more changeset | files
2022-07-04 Chengsong more done changeset | files
2022-07-04 Chengsong more data changeset | files
2022-07-04 Chengsong data changeset | files
2022-07-04 Chengsong haha changeset | files
2022-07-01 Chengsong more changes changeset | files
2022-06-29 Chengsong hello changeset | files
2022-06-28 Chengsong more changeset | files
2022-06-26 Chengsong more changeset | files
2022-06-24 Chengsong more changes changeset | files
2022-06-24 Chengsong start of day changeset | files
2022-06-23 Chengsong modified some proofs of s~>* changeset | files
2022-06-23 Chengsong more deletion of bsimp related changeset | files
2022-06-23 Chengsong bsimp def removed changeset | files
2022-06-23 Chengsong before removing distinctWith changeset | files
2022-06-23 Chengsong before alternating rewriting relation changeset | files
2022-06-23 Chengsong beforeBig changes changeset | files
2022-06-23 Chengsong more changes to blexersimp.thy changeset | files
2022-06-23 Chengsong hello changeset | files
2022-06-23 Chengsong thesis_thys changeset | files
2022-06-14 Chengsong chapter3 finished changeset | files
2022-06-12 Chengsong some comments implemented changeset | files
2022-06-09 Chengsong more data changeset | files
2022-06-09 Chengsong more changeset | files
2022-06-09 Chengsong intro and chap2 changeset | files
2022-06-06 Chengsong more changeset | files
2022-06-06 Chengsong comments addressed all changeset | files
2022-06-06 Chengsong fixed plotting error 6.1 changeset | files
2022-06-06 Chengsong more changeset | files
2022-06-06 Chengsong more changeset | files
2022-06-03 Chengsong restructured changeset | files
2022-05-31 Chengsong more changeset | files
2022-05-30 Chengsong all comments addressed changeset | files
2022-05-30 Chengsong more changeset | files
2022-05-30 Chengsong revised according to comments changeset | files
2022-05-28 Chengsong all chapters put in changeset | files
2022-05-28 Chengsong updated changeset | files
2022-05-28 Christian Urban fixed latex problems changeset | files
2022-05-27 Chengsong more data changeset | files
2022-05-27 Chengsong all the data changeset | files
2022-05-27 Chengsong datas changeset | files
2022-05-27 Chengsong data changeset | files
2022-05-27 Chengsong apters changeset | files
2022-05-27 Chengsong more changeset | files
2022-05-26 Chengsong more to thesis changeset | files
2022-05-20 Chengsong for plotting changeset | files
2022-05-20 Chengsong blexer2: modified for plotting changeset | files
2022-05-17 Chengsong a bit changeset | files
2022-05-16 Chengsong chapter2 changeset | files
2022-05-09 Chengsong more isarfy changeset | files
2022-05-09 Chengsong rewrite rules modified slightly changeset | files
2022-05-09 Chengsong isarfied changeset | files
2022-05-08 Christian Urban updated changeset | files
2022-05-08 Christian Urban updated bder ASEQs case changeset | files
2022-05-08 Chengsong blexer2 changeset | files
2022-05-08 Chengsong thesis section2.2 changeset | files
2022-05-08 Chengsong thesis chapter 2 section 2.4 2.5 changeset | files
2022-05-07 Chengsong thesis chapter2 section 2.4 changeset | files
2022-05-08 Christian Urban added ASEQs version of Blexer changeset | files
2022-05-06 Chengsong new writing changeset | files
2022-05-03 Christian Urban fixed a small typo in the Papaer.thy changeset | files
2022-05-01 Chengsong hahah changeset | files
2022-05-01 Chengsong sad changeset | files
2022-05-01 Christian Urban updated the paper changeset | files
2022-05-01 Christian Urban fixed tiny typo in the paper changeset | files
2022-04-29 Christian Urban cleaned up changeset | files
2022-04-29 Christian Urban updated to include the paper changeset | files
2022-04-28 Christian Urban a fresh directory with cleaned up code changeset | files
2022-04-25 Chengsong blexer2 changeset | files
2022-04-21 Chengsong done changeset | files
2022-04-19 Chengsong problem with erase changeset | files
2022-04-16 Chengsong all done!!!! changeset | files
2022-04-15 Chengsong almost there changeset | files
2022-04-15 Chengsong 1sorry left changeset | files
2022-04-13 Chengsong more sorrys fileld changeset | files
2022-04-13 Chengsong again starClosedForms changeset | files
2022-04-13 Chengsong starclosed changeset | files
2022-04-12 Chengsong central lemma for seqclosedforms changeset | files
2022-04-09 Chengsong changeto sflat def changeset | files
2022-04-09 Chengsong some changeset | files
2022-04-08 Chengsong closedformseq changeset | files
2022-04-07 Chengsong christian's changeset | files
2022-04-07 Chengsong a few more changeset | files
2022-04-04 Chengsong hello changeset | files
2022-04-03 Chengsong fun changeset | files
2022-04-01 Chengsong out changeset | files
2022-04-01 Chengsong hello changeset | files
2022-03-30 Chengsong identities changeset | files
2022-03-30 Christian Urban made paper changes after ITP comments changeset | files
2022-03-29 Chengsong recent changeset | files
2022-03-28 Chengsong hi changeset | files
2022-03-27 Chengsong thesis changeset | files
2022-03-26 Chengsong nowworks? changeset | files
2022-03-26 Chengsong all electron pics removed changeset | files
2022-03-25 Chengsong all texrelated changeset | files
2022-03-24 Chengsong forget changeset | files
2022-03-24 Chengsong forget changeset | files
2022-03-24 Chengsong ha changeset | files
2022-03-23 Christian Urban updated changeset | files
2022-03-23 Christian Urban updated changeset | files
2022-03-22 Christian Urban updated changeset | files
2022-03-22 Christian Urban updated paper changeset | files
2022-03-22 Christian Urban updated paper changeset | files
2022-03-22 Christian Urban updated changeset | files
2022-03-21 Christian Urban updated paper changeset | files
2022-03-20 Chengsong head changeset | files
2022-03-20 Chengsong realPhdThesis changeset | files
2022-03-19 Christian Urban merged changeset | files
2022-03-19 Christian Urban isar proofs changeset | files
2022-03-19 Chengsong all changeset | files
2022-03-19 Christian Urban isarfied one proof changeset | files
2022-03-15 Chengsong finiteness changeset | files
2022-03-12 Chengsong haha changeset | files
2022-03-12 Chengsong more changeset | files
2022-03-11 Chengsong hi changeset | files
2022-03-11 Chengsong closedformbounds changeset | files
2022-03-10 Chengsong before repair changeset | files
2022-03-10 Chengsong closedforms changeset | files
2022-03-09 Chengsong restructured sizebound proof changeset | files
2022-03-08 Chengsong writeupforclosedforms changeset | files
2022-03-07 Chengsong some changes changeset | files
2022-03-05 Chengsong 6ct changeset | files
2022-03-02 Chengsong bonestruct changeset | files
2022-03-02 Chengsong merged changeset | files
2022-03-02 Chengsong templateforPhd changeset | files
2022-03-02 Christian Urban merged (possibly destroyed things?) changeset | files
2022-03-02 Christian Urban updated changeset | files
2022-03-01 Chengsong hi changeset | files
2022-02-21 Chengsong sketch changeset | files
2022-02-20 Chengsong hi changeset | files
2022-02-16 Chengsong strong! changeset | files
2022-02-11 Chengsong hi changeset | files
2022-02-11 Chengsong i changeset | files
2022-02-09 Chengsong other changeset | files
2022-02-09 Chengsong 5ct changeset | files
2022-02-09 Chengsong ct changeset | files
2022-02-09 Christian Urban updated changeset | files
2022-02-09 Christian Urban updated paper changeset | files
2022-02-09 Christian Urban updated changeset | files
2022-02-08 Christian Urban updated paper changeset | files
2022-02-08 Chengsong prf changeset | files
2022-02-08 Chengsong size changeset | files
2022-02-07 Christian Urban updated changeset | files
2022-02-07 Christian Urban merged changeset | files
2022-02-07 Christian Urban more of the paper changeset | files
2022-02-06 Chengsong rdersetc. changeset | files
2022-02-06 Christian Urban more with the paper changeset | files
2022-02-05 Chengsong exp changeset | files
2022-02-05 Chengsong blexernew changeset | files
2022-02-05 Chengsong merge changeset | files
2022-02-05 Chengsong newDB changeset | files
2022-02-04 Christian Urban merged changeset | files
2022-02-04 Christian Urban updated papers changeset | files
2022-02-04 Chengsong 5ct changeset | files
2022-02-02 Christian Urban merged changeset | files
2022-02-02 Christian Urban updated changeset | files
2022-02-02 Chengsong bound4CT changeset | files
2022-02-02 Christian Urban updated some of the text and cardinality proof changeset | files
2022-01-30 Chengsong ha changeset | files
2022-01-30 Chengsong blexer1 for size bound with strongDB changeset | files
2022-01-30 Christian Urban more definitions in the paper changeset | files
2022-01-30 Christian Urban updated changeset | files
2022-01-29 Christian Urban updated changeset | files
2022-01-29 Christian Urban added some recent papers changeset | files
2022-01-28 Christian Urban updated changeset | files
2022-01-27 Christian Urban updated Sizebound4 changeset | files
2022-01-25 Christian Urban added ITP paper changeset | files
2022-01-22 Chengsong preserves! changeset | files
2022-01-22 Chengsong hi changeset | files
2022-01-22 Christian Urban polished changeset | files
2022-01-20 Christian Urban simplified version changeset | files
2022-01-17 Chengsong zre7correct changeset | files
2022-01-17 Chengsong zre changeset | files
2022-01-12 Chengsong aaastar changeset | files
2022-01-12 Chengsong ignore changeset | files
2022-01-12 Chengsong concatlen changeset | files
2022-01-11 Christian Urban updated changeset | files
2022-01-11 Christian Urban updated changeset | files
2022-01-08 Chengsong from christian changeset | files
2022-01-07 Christian Urban updated changeset | files
2022-01-07 Christian Urban deleted *.tex files from Journal - they are recreated changeset | files
2022-01-07 Christian Urban isarfied some proofs changeset | files
2021-12-14 Chengsong hi changeset | files
2021-12-14 Chengsong merged changeset | files
2021-12-14 Chengsong hi changeset | files
2021-11-04 Christian Urban small change changeset | files
2021-11-04 Chengsong ordering changeset | files
2021-11-04 Christian Urban deleted one rewrite rule changeset | files
2021-11-04 Christian Urban slightly more changeset | files
2021-11-04 Christian Urban slightly changeset | files
2021-11-02 Chengsong some more writing changeset | files
2021-11-02 Chengsong a changeset | files
2021-11-01 Christian Urban updated ROOT changeset | files
2021-11-01 Chengsong added all files in Journal folder changeset | files
2021-11-01 Chengsong added root.tex changeset | files
2021-11-01 Chengsong add changeset | files
2021-11-01 Chengsong changed a lot why just journal.pdf changeset | files
2021-10-10 Chengsong for new journal/conf paper! changeset | files
2021-10-10 Christian Urban added llncs.cls changeset | files
2021-10-10 Christian Urban updated for Isabelle 2021 changeset | files
2021-10-09 Christian Urban updated changeset | files
2021-02-25 Christian Urban updated changeset | files
2021-02-22 Christian Urban updated changeset | files
2020-10-24 Christian Urban updated changeset | files
2019-09-18 Christian Urban updated changeset | files
2019-09-17 Christian Urban a bit more cleaning up changeset | files
2019-09-14 Christian Urban added "big" lemma changeset | files
2019-09-13 Chengsong lemma proved changeset | files
2019-09-13 Chengsong marked by QUESTION changeset | files
2019-09-13 Chengsong so far so good changeset | files
2019-09-12 Chengsong question changeset | files
2019-09-12 Chengsong question marked by HERE changeset | files
2019-09-12 Chengsong proof attempt changeset | files
2019-09-09 Christian Urban made lemma about AALTs_subs stronger w.r.t. flts changeset | files
2019-09-07 Christian Urban added papewr about NFA Posix submatching changeset | files
2019-09-06 Christian Urban updaed with AALTs_subs definition changeset | files
2019-08-22 Chengsong counterexample finder changeset | files
2019-08-21 Christian Urban updated with the proof of bder changeset | files
2019-08-21 Christian Urban added some lemmas about the counter example. changeset | files
2019-08-20 Christian Urban updated contains changeset | files
2019-08-19 Chengsong cst modifications changeset | files
2019-08-19 Chengsong hope it works changeset | files
2019-08-19 Chengsong bad news changeset | files
2019-08-19 Christian Urban added progress with the contains relation changeset | files
2019-08-10 Christian Urban updated changeset | files
2019-08-10 Christian Urban updated changeset | files
2019-07-30 Christian Urban snapshot changeset | files
2019-07-29 Christian Urban snapshot changeset | files
2019-07-29 Christian Urban a simple proof of big0 changeset | files
2019-07-29 Christian Urban snapshot changeset | files
2019-07-29 Christian Urban snapshot changeset | files
2019-07-29 Christian Urban checkpoint changeset | files
2019-07-29 Christian Urban updated changeset | files
2019-07-23 Christian Urban proved cubic size bound for partial derivatives changeset | files
2019-06-29 Christian Urban added paper changeset | files
2019-06-29 Christian Urban added paper changeset | files
2019-06-24 Christian Urban added interesting paper changeset | files
2019-06-10 Christian Urban updated changeset | files
2019-05-23 Christian Urban added another context-free-expression paper changeset | files
2019-05-15 Christian Urban updated changeset | files
2019-05-14 Christian Urban updaed good changeset | files
2019-05-10 Christian Urban papers about context-free expressions and parsing changeset | files
2019-05-10 Christian Urban more papers changeset | files
2019-05-10 Christian Urban added some papers about static analysing regexes changeset | files
2019-05-10 Christian Urban updated changeset | files
2019-04-11 Christian Urban updated changeset | files
2019-03-16 Christian Urban updated changeset | files
2019-03-13 Christian Urban updated changeset | files
2019-03-13 Christian Urban updated changeset | files
2019-02-23 Christian Urban adapted the Bitcoded correctness proof to using AALTs changeset | files
2019-02-20 Christian Urban added size bounds for partial derivatives changeset | files
2019-02-17 Christian Urban updated changeset | files
2019-02-11 Christian Urban cleaned up a bit changeset | files
2019-02-11 Christian Urban added cardinality proof of Antimirov changeset | files
2019-02-11 Christian Urban added partial derivative proof from Antimirov changeset | files
2019-02-10 Christian Urban updated to Isabelle 2018 changeset | files
2019-02-08 Christian Urban added partial derivatives to compare sizes changeset | files
2019-02-07 Christian Urban updated changeset | files
2019-02-04 Chengsong 3 files to be compiled together and then run scala Spiral a b changeset | files
2019-02-04 Chengsong test changeset | files
2019-02-04 Christian Urban changed something changeset | files
2019-02-04 Chengsong added test file changeset | files
2019-02-04 Christian Urban updated changeset | files
2019-02-01 Christian Urban added some timing and size tests when doing the derivatives changeset | files
2019-01-31 Christian Urban updated changeset | files
2019-01-30 Christian Urban updated changeset | files
2019-01-30 Christian Urban added Chengsong's experiment changeset | files
2019-01-02 Christian Urban updated changeset | files
2018-10-27 Christian Urban added_lit changeset | files
2018-09-30 Christian Urban updated changeset | files
2018-09-10 Christian Urban updated changeset | files
2018-08-21 Christian Urban updated changeset | files
2018-08-21 Christian Urban updated changeset | files
2018-08-18 Christian Urban updated changeset | files
2018-08-17 Christian Urban updated changeset | files
2018-08-16 Christian Urban updated changeset | files
2018-08-15 Christian Urban added proof for bitcoded algorithm changeset | files
2018-05-16 Christian Urban updated changeset | files
2018-05-15 Christian Urban updated changeset | files
2018-05-15 Christian Urban updated changeset | files
2018-01-12 Christian Urban updated changeset | files
2017-12-07 Christian Urban updated changeset | files
2017-10-25 cu updated changeset | files
2017-10-10 cu updated for Isabelle 2017 changeset | files
2017-10-10 cu updated changeset | files
2017-10-08 cu updated changeset | files
2017-10-07 cu updated changeset | files
2017-10-05 Christian Urban updated changeset | files
2017-09-22 Christian Urban updated changeset | files
2017-09-05 Christian Urban updated changeset | files
2017-08-26 Christian Urban simplified proof changeset | files
2017-08-25 Christian Urban updated changeset | files
2017-08-25 Christian Urban updated changeset | files
2017-08-25 Christian Urban updated changeset | files
2017-08-18 Christian Urban updated changeset | files
2017-08-11 Christian Urban updated changeset | files
2017-07-19 Christian Urban updated changeset | files
2017-07-18 Christian Urban changed definitions of PRF changeset | files
2017-07-06 Christian Urban updated changeset | files
2017-07-04 Christian Urban isar proofs changeset | files
2017-07-04 Christian Urban isar proofs changeset | files
2017-07-04 Christian Urban isar proofs changeset | files
2017-07-01 Christian Urban updated changeset | files
2017-06-30 Christian Urban updated changeset | files
2017-06-30 Christian Urban added changeset | files
2017-06-30 Christian Urban updated changeset | files
2017-06-29 Christian Urban updated changeset | files
2017-06-28 Christian Urban updated changeset | files
2017-06-27 Christian Urban polished changeset | files
2017-06-27 Christian Urban polished changeset | files
2017-06-27 Christian Urban polished changeset | files
2017-06-27 Christian Urban polished changeset | files
2017-06-26 Christian Urban polished changeset | files
2017-06-26 Christian Urban updated changeset | files
2017-06-26 Christian Urban added a proof that Positional ordering is equivalent to direct posix definition changeset | files
2017-06-25 Christian Urban updated changeset | files
2017-06-24 Christian Urban updated changeset | files
2017-06-22 Christian Urban updated changeset | files
2017-05-17 Christian Urban updated literature changeset | files
2017-05-17 Christian Urban updated literature changeset | files
2017-04-01 Christian Urban added more literature about extended partial derivative automata changeset | files
2017-03-28 Christian Urban updated changeset | files
2017-03-21 Christian Urban updated for extended partial derivatives changeset | files
2017-03-20 Christian Urban added automata implementation changeset | files
2017-03-17 Christian Urban added AND-regular expression (intersection/conjunction) changeset | files
2017-03-13 Christian Urban updated changeset | files
2017-03-13 Christian Urban updated changeset | files
2017-03-11 Christian Urban updated changeset | files
2017-03-11 Christian Urban updated changeset | files
2017-03-08 Christian Urban strengthened PLUS-posix definition changeset | files
2017-03-07 Christian Urban added lit changeset | files
2017-03-05 Christian Urban updated the re-ext-scala file changeset | files
2017-03-04 Christian Urban just for fun added the case for PLUS (was already proved as FROMNTIMES) changeset | files
2017-03-04 Christian Urban updated changeset | files
2017-03-02 Christian Urban polished some of the definitions changeset | files
2017-03-02 Christian Urban NMTIMES case also done changeset | files
2017-03-01 Christian Urban deleted unused theorems changeset | files
2017-02-28 Christian Urban FROMNTIMES now done changeset | files
2017-02-28 Christian Urban FROMNTIMES not yet done changeset | files
2017-02-28 Christian Urban FROMNTIMES not yet done changeset | files
2017-02-28 Christian Urban added two sanity lemmas changeset | files
2017-02-27 Christian Urban added also the ntimes case changeset | files
2017-02-27 Christian Urban updated changeset | files
2017-02-27 Christian Urban added paper changeset | files
2017-02-26 Christian Urban updated changeset | files
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
(0) -512 tip
lexing