| 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 |