2022-03-30 Christian Urban made paper changes after ITP comments
2022-03-29 Chengsong recent
2022-03-28 Chengsong hi
2022-03-27 Chengsong thesis
2022-03-26 Chengsong nowworks?
2022-03-26 Chengsong all electron pics removed
2022-03-25 Chengsong all texrelated
2022-03-24 Chengsong forget
2022-03-24 Chengsong forget
2022-03-24 Chengsong ha
2022-03-23 Christian Urban updated
2022-03-23 Christian Urban updated
2022-03-22 Christian Urban updated
2022-03-22 Christian Urban updated paper
2022-03-22 Christian Urban updated paper
2022-03-22 Christian Urban updated
2022-03-21 Christian Urban updated paper
2022-03-20 Chengsong head
2022-03-20 Chengsong realPhdThesis
2022-03-19 Christian Urban merged
2022-03-19 Christian Urban isar proofs
2022-03-19 Chengsong all
2022-03-19 Christian Urban isarfied one proof
2022-03-15 Chengsong finiteness
2022-03-12 Chengsong haha
2022-03-12 Chengsong more
2022-03-11 Chengsong hi
2022-03-11 Chengsong closedformbounds
2022-03-10 Chengsong before repair
2022-03-10 Chengsong closedforms
2022-03-09 Chengsong restructured sizebound proof
2022-03-08 Chengsong writeupforclosedforms
2022-03-07 Chengsong some changes
2022-03-05 Chengsong 6ct
2022-03-02 Chengsong bonestruct
2022-03-02 Chengsong merged
2022-03-02 Chengsong templateforPhd
2022-03-02 Christian Urban merged (possibly destroyed things?)
2022-03-02 Christian Urban updated
2022-03-01 Chengsong hi
2022-02-21 Chengsong sketch
2022-02-20 Chengsong hi
2022-02-16 Chengsong strong!
2022-02-11 Chengsong hi
2022-02-11 Chengsong i
2022-02-09 Chengsong other
2022-02-09 Chengsong 5ct
2022-02-09 Chengsong ct
2022-02-09 Christian Urban updated
2022-02-09 Christian Urban updated paper
2022-02-09 Christian Urban updated
2022-02-08 Christian Urban updated paper
2022-02-08 Chengsong prf
2022-02-08 Chengsong size
2022-02-07 Christian Urban updated
2022-02-07 Christian Urban merged
2022-02-07 Christian Urban more of the paper
2022-02-06 Chengsong rdersetc.
2022-02-06 Christian Urban more with the paper
2022-02-05 Chengsong exp
2022-02-05 Chengsong blexernew
2022-02-05 Chengsong merge
2022-02-05 Chengsong newDB
2022-02-04 Christian Urban merged
2022-02-04 Christian Urban updated papers
2022-02-04 Chengsong 5ct
2022-02-02 Christian Urban merged
2022-02-02 Christian Urban updated
2022-02-02 Chengsong bound4CT
2022-02-02 Christian Urban updated some of the text and cardinality proof
2022-01-30 Chengsong ha
2022-01-30 Chengsong blexer1 for size bound with strongDB
2022-01-30 Christian Urban more definitions in the paper
2022-01-30 Christian Urban updated
2022-01-29 Christian Urban updated
2022-01-29 Christian Urban added some recent papers
2022-01-28 Christian Urban updated
2022-01-27 Christian Urban updated Sizebound4
2022-01-25 Christian Urban added ITP paper
2022-01-22 Chengsong preserves!
2022-01-22 Chengsong hi
2022-01-22 Christian Urban polished
2022-01-20 Christian Urban simplified version
2022-01-17 Chengsong zre7correct
2022-01-17 Chengsong zre
2022-01-12 Chengsong aaastar
2022-01-12 Chengsong ignore
2022-01-12 Chengsong concatlen
2022-01-11 Christian Urban updated
2022-01-11 Christian Urban updated
2022-01-08 Chengsong from christian
2022-01-07 Christian Urban updated
2022-01-07 Christian Urban deleted *.tex files from Journal - they are recreated
2022-01-07 Christian Urban isarfied some proofs
2021-12-14 Chengsong hi
2021-12-14 Chengsong merged
2021-12-14 Chengsong hi
2021-11-04 Christian Urban small change
2021-11-04 Chengsong ordering
2021-11-04 Christian Urban deleted one rewrite rule
2021-11-04 Christian Urban slightly more
2021-11-04 Christian Urban slightly
2021-11-02 Chengsong some more writing
2021-11-02 Chengsong a
2021-11-01 Christian Urban updated ROOT
2021-11-01 Chengsong added all files in Journal folder
2021-11-01 Chengsong added root.tex
2021-11-01 Chengsong add
2021-11-01 Chengsong changed a lot why just journal.pdf
2021-10-10 Chengsong for new journal/conf paper!
2021-10-10 Christian Urban added llncs.cls
2021-10-10 Christian Urban updated for Isabelle 2021
2021-10-09 Christian Urban updated
2021-02-25 Christian Urban updated
2021-02-22 Christian Urban updated
2020-10-24 Christian Urban updated
2019-09-18 Christian Urban updated
2019-09-17 Christian Urban a bit more cleaning up
2019-09-14 Christian Urban added "big" lemma
2019-09-13 Chengsong lemma proved
2019-09-13 Chengsong marked by QUESTION
2019-09-13 Chengsong so far so good
2019-09-12 Chengsong question
2019-09-12 Chengsong question marked by HERE
2019-09-12 Chengsong proof attempt
2019-09-09 Christian Urban made lemma about AALTs_subs stronger w.r.t. flts
2019-09-07 Christian Urban added papewr about NFA Posix submatching
2019-09-06 Christian Urban updaed with AALTs_subs definition
2019-08-22 Chengsong counterexample finder
2019-08-21 Christian Urban updated with the proof of bder
2019-08-21 Christian Urban added some lemmas about the counter example.
2019-08-20 Christian Urban updated contains
2019-08-19 Chengsong cst modifications
2019-08-19 Chengsong hope it works
2019-08-19 Chengsong bad news
2019-08-19 Christian Urban added progress with the contains relation
2019-08-10 Christian Urban updated
2019-08-10 Christian Urban updated
2019-07-30 Christian Urban snapshot
2019-07-29 Christian Urban snapshot
2019-07-29 Christian Urban a simple proof of big0
2019-07-29 Christian Urban snapshot
2019-07-29 Christian Urban snapshot
2019-07-29 Christian Urban checkpoint
2019-07-29 Christian Urban updated
2019-07-23 Christian Urban proved cubic size bound for partial derivatives
2019-06-29 Christian Urban added paper
2019-06-29 Christian Urban added paper
2019-06-24 Christian Urban added interesting paper
2019-06-10 Christian Urban updated
2019-05-23 Christian Urban added another context-free-expression paper
2019-05-15 Christian Urban updated
2019-05-14 Christian Urban updaed good
2019-05-10 Christian Urban papers about context-free expressions and parsing
2019-05-10 Christian Urban more papers
2019-05-10 Christian Urban added some papers about static analysing regexes
2019-05-10 Christian Urban updated
2019-04-11 Christian Urban updated
2019-03-16 Christian Urban updated
2019-03-13 Christian Urban updated
2019-03-13 Christian Urban updated
2019-02-23 Christian Urban adapted the Bitcoded correctness proof to using AALTs
2019-02-20 Christian Urban added size bounds for partial derivatives
2019-02-17 Christian Urban updated
2019-02-11 Christian Urban cleaned up a bit
2019-02-11 Christian Urban added cardinality proof of Antimirov
2019-02-11 Christian Urban added partial derivative proof from Antimirov
2019-02-10 Christian Urban updated to Isabelle 2018
2019-02-08 Christian Urban added partial derivatives to compare sizes
2019-02-07 Christian Urban updated
2019-02-04 Chengsong 3 files to be compiled together and then run scala Spiral a b
2019-02-04 Chengsong test
2019-02-04 Christian Urban changed something
2019-02-04 Chengsong added test file
2019-02-04 Christian Urban updated
2019-02-01 Christian Urban added some timing and size tests when doing the derivatives
2019-01-31 Christian Urban updated
2019-01-30 Christian Urban updated
2019-01-30 Christian Urban added Chengsong's experiment
2019-01-02 Christian Urban updated
2018-10-27 Christian Urban added_lit
2018-09-30 Christian Urban updated
2018-09-10 Christian Urban updated
2018-08-21 Christian Urban updated
2018-08-21 Christian Urban updated
2018-08-18 Christian Urban updated
2018-08-17 Christian Urban updated
2018-08-16 Christian Urban updated
2018-08-15 Christian Urban added proof for bitcoded algorithm
2018-05-16 Christian Urban updated
2018-05-15 Christian Urban updated
2018-05-15 Christian Urban updated
2018-01-12 Christian Urban updated
2017-12-07 Christian Urban updated
2017-10-25 cu updated
2017-10-10 cu updated for Isabelle 2017
2017-10-10 cu updated
2017-10-08 cu updated
2017-10-07 cu updated
2017-10-05 Christian Urban updated
2017-09-22 Christian Urban updated
2017-09-05 Christian Urban updated
2017-08-26 Christian Urban simplified proof
2017-08-25 Christian Urban updated
2017-08-25 Christian Urban updated
2017-08-25 Christian Urban updated
2017-08-18 Christian Urban updated
2017-08-11 Christian Urban updated
2017-07-19 Christian Urban updated
2017-07-18 Christian Urban changed definitions of PRF
2017-07-06 Christian Urban updated
2017-07-04 Christian Urban isar proofs
2017-07-04 Christian Urban isar proofs
2017-07-04 Christian Urban isar proofs
2017-07-01 Christian Urban updated
2017-06-30 Christian Urban updated
2017-06-30 Christian Urban added
2017-06-30 Christian Urban updated
2017-06-29 Christian Urban updated
2017-06-28 Christian Urban updated
2017-06-27 Christian Urban polished
2017-06-27 Christian Urban polished
2017-06-27 Christian Urban polished
2017-06-27 Christian Urban polished
2017-06-26 Christian Urban polished
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
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-07 Christian Urban updated
2016-03-07 Christian Urban updated
2016-03-07 Christian Urban updated
2016-03-07 Christian Urban updated
2016-03-06 Christian Urban updated
2016-03-06 Christian Urban updated
2016-03-06 Christian Urban updated
2016-03-06 Christian Urban updated
2016-03-05 Christian Urban updated
2016-03-05 Christian Urban updated
2016-03-05 Christian Urban updated
2016-03-03 Christian Urban updated
2016-03-02 Christian Urban updated
2016-03-02 Christian Urban updated
2016-03-02 Christian Urban updated
2016-03-01 Christian Urban updated paper
2016-02-28 Christian Urban updated
2016-02-25 Christian Urban more cleaning and moving unnessary stuff to the end
2016-02-25 Christian Urban updated
2016-02-24 Christian Urban updated theories and cleaned them up
2016-02-15 Christian Urban added some slides
2016-02-13 Christian Urban updated
2016-02-10 Christian Urban fixed inj function
2016-02-08 Christian Urban strengthened PMatch to get determ
2016-02-08 Christian Urban updated
2016-02-08 Christian Urban updated
2016-02-07 Christian Urban updated
2016-02-05 Christian Urban added new version of paper by sulzmann
2016-02-05 Christian Urban started a paper and moved cruft to Attic
2016-02-02 Christian Urban proved also finiteness of non-problematic values
2016-02-01 Christian Urban extended all proofs that worked before to the Star case...required a stronger notion of non-problematic values |=
2016-02-01 Christian Urban ReStar changes
2016-02-01 Christian Urban more lemmas for star
2016-01-30 Christian Urban proved some lemmas about star and mkeps (injval etc not yet done)
2016-01-21 Christian Urban added theory for star
2016-01-14 Christian Urban updated
2016-01-06 Christian Urban added type inference paper and updated Re.thy
2015-12-19 Christian Urban added a proof about Values and PMatch
2015-12-18 Christian Urban updated
2015-12-18 Christian Urban the algorithm is correct according to the Type Inference definition
2015-12-18 Christian Urban added POSIX relation from the Type-Inference paper
2015-12-17 Christian Urban cleaned up version of Re1
2015-12-17 Christian Urban updated
2015-07-06 Christian Urban added phd thesis
2015-06-10 Christian Urban added frisch / cardelli paper
2015-06-08 Christian Urban updated the Isabelle theories with the totality proof
2015-05-25 Christian Urban proved some basic properties (totality and trichonomity) for the orderings
2015-04-25 Christian Urban added an equivalent slightly simpler POSIX definition
2015-04-10 Christian Urban updated
2015-03-13 Christian Urban updated from the session today
2015-03-09 Christian Urban solved one case
2015-03-04 Christian Urban updated R1 and notes
2015-02-26 Christian Urban added a section about a nullable proof
2015-02-26 fahad merges
2015-02-26 fahad deleted file
2015-02-26 fahad merged
2015-02-26 fahad merged
2015-02-14 Christian Urban updated
2015-02-12 fahad ch3
2015-02-11 Christian Urban deleted file
2015-02-11 Christian Urban updated
2015-02-09 Christian Urban updated some rules
2015-02-09 fahad test
2015-01-31 Christian Urban added a preliminary part describing the main theorem
2015-01-30 Christian Urban added line numbers
2015-01-30 Christian Urban updated more
2015-01-30 Christian Urban updated
2015-01-29 Christian Urban updated
2015-01-29 Christian Urban added some notes (still incomplete)
2015-01-29 fahad no changes
2015-01-29 Christian Urban added some lemmas, attempted others
2015-01-26 fahad test
2015-01-26 fahad test
2015-01-26 Fahad Ausaf fahad's experiments
2015-01-21 Christian Urban updated
2015-01-19 Christian Urban added a function for calculating values
2014-12-26 Christian Urban added a paper to Literature
2014-12-09 Christian Urban added Pr theory
2014-11-12 Fahad Ausaf msc project
2014-11-09 Fahad Ausaf Code Samples
2014-11-09 Fahad Ausaf test
2014-11-08 fahad Test changes through linux
2014-11-06 Christian Urban updated
2014-11-04 fahadausaf a1
2014-11-04 fahadausaf new algo
2014-11-02 Christian Urban slightly polished the scala file re.scala
2014-11-01 fahadausaf commit
2014-11-01 fahadausaf Handout 2
2014-10-28 Christian Urban merged
2014-10-28 Christian Urban added a file for calculating all answers...still incomplete
2014-10-27 fahadausaf new
2014-10-26 fahadausaf no message
2014-10-26 fahadausaf POSIX Algorithm
2014-10-25 fahadausaf scala by example code
2014-10-13 fahadausaf Proof Automation
2014-10-10 fahadausaf trees
2014-10-08 Christian Urban added done to the proof.
(0) -448 tip