Mercurial
Mercurial
>
hg
>
lexing
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
help
less
more
|
(0)
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
The revision graph only works with JavaScript-enabled browsers.
added technical Overview section, almost done introduction
default
tip
17 months ago, by Chengsong
added example of how inj and lexer works
18 months ago, by Chengsong
more changes to figures & benchmarking
18 months ago, by Chengsong
a bit more intro, incorporating Christian chat messages
18 months ago, by Chengsong
introduction Contribution section update
18 months ago, by Chengsong
more explanation for the name "closed form" and their intuition
18 months ago, by Chengsong
more
18 months ago, by Chengsong
overview of finiteness proof Gerog comment "not helpful", adding more intuitions of "closed forms"
18 months ago, by Chengsong
addresses Gerog "N_r meaning and relation with backtracking?" comment
18 months ago, by Chengsong
Addressed Gerog "can't understand 'erase messes with structure'" comment
18 months ago, by Chengsong
finished 4.3.2 section explaining why lemma 11 is too strong
18 months ago, by Chengsong
Fixed some annotated/unannotated a/r notation inconsistencies.
18 months ago, by Chengsong
reordered sections to make chapter 4 more coherent
18 months ago, by Chengsong
updated 4.2 diagram
18 months ago, by Chengsong
more
18 months ago, by Chengsong
more updates in section 4.2 and incorporating Christian comments
18 months ago, by Chengsong
more
19 months ago, by Chengsong
more
19 months ago, by Chengsong
more
19 months ago, by Chengsong
more
19 months ago, by Chengsong
new amend
20 months ago, by Chengsong
changes from Christian
20 months ago, by Chengsong
intro
20 months ago, by Chengsong
added Asperti paper
22 months ago, by Christian Urban
updated
23 months ago, by Christian Urban
updated
23 months ago, by Christian Urban
updated
23 months ago, by Christian Urban
updated
23 months ago, by Christian Urban
more proofreading done, last version before submission
2022-12-30, by Chengsong
until chap 7
2022-12-30, by Chengsong
comments till chap4
2022-12-30, by Chengsong
more
2022-12-24, by Chengsong
chap 1 all incorporated
2022-12-23, by Chengsong
more
2022-12-20, by Chengsong
more
2022-12-18, by Chengsong
more, including link
2022-12-18, by Chengsong
more
2022-12-17, by Chengsong
more
2022-12-08, by Chengsong
with Christian
2022-12-05, by Chengsong
abstract comments incorporated
2022-12-01, by Chengsong
ready to submit~~
2022-11-26, by Chengsong
finished!
2022-11-22, by Chengsong
finished!
2022-11-21, by Chengsong
section reorganising, related work
2022-11-17, by Chengsong
all comments incorporated!!+related work
2022-11-12, by Chengsong
finished injchap2
2022-11-12, by Chengsong
incorporated more comments, bib
2022-11-11, by Chengsong
chap6
2022-11-08, by Chengsong
chap6 almost done
2022-11-07, by Chengsong
chap 5 finished
2022-11-06, by Chengsong
chapter 5 finished!!
2022-11-06, by Chengsong
small polish
2022-10-13, by Christian Urban
updated paper
2022-10-13, by Christian Urban
updated paper for FoSSaCS
2022-10-12, by Christian Urban
reorder
2022-10-12, by Chengsong
chap5
2022-10-12, by Chengsong
chap6
2022-10-11, by Chengsong
more
2022-10-04, by Chengsong
data files
2022-10-03, by Chengsong
chap1 totally done
2022-10-03, by Chengsong
added related work chap
2022-10-01, by Chengsong
chap1 almost done
2022-09-30, by Chengsong
new
2022-09-29, by Chengsong
more
2022-09-28, by Chengsong
more
2022-09-25, by Chengsong
more restructuring chap1
2022-09-24, by Chengsong
chap1
2022-09-23, by Chengsong
more
2022-09-22, by Chengsong
chap4 comments done
2022-09-12, by Chengsong
updated paper
2022-09-10, by Christian Urban
simplified the n-times case in decode_aux
2022-09-10, by Christian Urban
more bsimpidem
2022-09-06, by Chengsong
more chap 56
2022-09-03, by Chengsong
more
2022-09-02, by Chengsong
more
2022-09-02, by Chengsong
more chap5
2022-09-02, by Chengsong
more
2022-09-02, by Chengsong
more polishing integrated comments chap2
2022-09-01, by Chengsong
more chap5 and chap6 bsimp_idem
2022-08-31, by Chengsong
chap4 finished
2022-08-31, by Chengsong
data
2022-08-30, by Chengsong
bsimp idempotency
2022-08-29, by Chengsong
more chap4
2022-08-29, by Chengsong
chap4 more
2022-08-27, by Chengsong
chap4 nub
2022-08-23, by Chengsong
chap4
2022-08-23, by Chengsong
chap3 done
2022-08-22, by Chengsong
chap3 almost done
2022-08-20, by Chengsong
halfway chap3
2022-08-17, by Chengsong
more chap3
2022-08-17, by Chengsong
updated paper and literature
2022-08-15, by Christian Urban
thesis chap2
2022-08-14, by Chengsong
thesis chap5
2022-08-12, by Chengsong
more
2022-08-02, by Chengsong
merge chritian changes
2022-07-21, by Chengsong
chapter2 finished polishing
2022-07-21, by Chengsong
removed junk in BlexerSimp
2022-07-17, by Christian Urban
added paper about counting automata
2022-07-17, by Christian Urban
added paper
2022-07-17, by Christian Urban
updated paper and corresponding theories
2022-07-17, by Christian Urban
more chapter2 modifications
2022-07-16, by Chengsong
more updaates
2022-07-14, by Chengsong
got Christian changes
2022-07-13, by Chengsong
removed files that changed their names
2022-07-13, by Chengsong
more
2022-07-13, by Chengsong
updated paper and theories to include n-times
2022-07-09, by Christian Urban
more
2022-07-05, by Chengsong
more done
2022-07-04, by Chengsong
more data
2022-07-04, by Chengsong
data
2022-07-04, by Chengsong
haha
2022-07-04, by Chengsong
more changes
2022-07-01, by Chengsong
hello
2022-06-29, by Chengsong
more
2022-06-28, by Chengsong
more
2022-06-26, by Chengsong
more changes
2022-06-24, by Chengsong
start of day
2022-06-24, by Chengsong
modified some proofs of s~>*
2022-06-23, by Chengsong
more deletion of bsimp related
2022-06-23, by Chengsong
bsimp def removed
2022-06-23, by Chengsong
before removing distinctWith
2022-06-23, by Chengsong
before alternating rewriting relation
2022-06-23, by Chengsong
beforeBig changes
2022-06-23, by Chengsong
more changes to blexersimp.thy
2022-06-23, by Chengsong
hello
2022-06-23, by Chengsong
thesis_thys
2022-06-23, by Chengsong
chapter3 finished
2022-06-14, by Chengsong
some comments implemented
2022-06-12, by Chengsong
more data
2022-06-09, by Chengsong
more
2022-06-09, by Chengsong
intro and chap2
2022-06-09, by Chengsong
more
2022-06-06, by Chengsong
comments addressed all
2022-06-06, by Chengsong
fixed plotting error 6.1
2022-06-06, by Chengsong
more
2022-06-06, by Chengsong
more
2022-06-06, by Chengsong
restructured
2022-06-03, by Chengsong
more
2022-05-31, by Chengsong
all comments addressed
2022-05-30, by Chengsong
more
2022-05-30, by Chengsong
revised according to comments
2022-05-30, by Chengsong
all chapters put in
2022-05-28, by Chengsong
updated
2022-05-28, by Chengsong
fixed latex problems
2022-05-28, by Christian Urban
more data
2022-05-27, by Chengsong
all the data
2022-05-27, by Chengsong
datas
2022-05-27, by Chengsong
data
2022-05-27, by Chengsong
apters
2022-05-27, by Chengsong
more
2022-05-27, by Chengsong
more to thesis
2022-05-26, by Chengsong
for plotting
2022-05-20, by Chengsong
blexer2: modified for plotting
2022-05-20, by Chengsong
a bit
2022-05-17, by Chengsong
chapter2
2022-05-17, by Chengsong
more isarfy
2022-05-09, by Chengsong
rewrite rules modified slightly
2022-05-09, by Chengsong
isarfied
2022-05-09, by Chengsong
updated
2022-05-08, by Christian Urban
updated bder ASEQs case
2022-05-08, by Christian Urban
blexer2
2022-05-08, by Chengsong
thesis section2.2
2022-05-08, by Chengsong
thesis chapter 2 section 2.4 2.5
2022-05-08, by Chengsong
thesis chapter2 section 2.4
2022-05-07, by Chengsong
added ASEQs version of Blexer
2022-05-08, by Christian Urban
new writing
2022-05-06, by Chengsong
fixed a small typo in the Papaer.thy
2022-05-03, by Christian Urban
hahah
2022-05-02, by Chengsong
sad
2022-05-02, by Chengsong
updated the paper
2022-05-01, by Christian Urban
fixed tiny typo in the paper
2022-05-01, by Christian Urban
cleaned up
2022-04-30, by Christian Urban
updated to include the paper
2022-04-30, by Christian Urban
a fresh directory with cleaned up code
2022-04-28, by Christian Urban
blexer2
2022-04-25, by Chengsong
done
2022-04-21, by Chengsong
problem with erase
2022-04-19, by Chengsong
all done!!!!
2022-04-16, by Chengsong
almost there
2022-04-15, by Chengsong
1sorry left
2022-04-15, by Chengsong
more sorrys fileld
2022-04-13, by Chengsong
again starClosedForms
2022-04-13, by Chengsong
starclosed
2022-04-13, by Chengsong
central lemma for seqclosedforms
2022-04-12, by Chengsong
changeto sflat def
2022-04-09, by Chengsong
some
2022-04-09, by Chengsong
closedformseq
2022-04-08, by Chengsong
christian's
2022-04-07, by Chengsong
a few more
2022-04-07, by Chengsong
hello
2022-04-04, by Chengsong
fun
2022-04-03, by Chengsong
out
2022-04-01, by Chengsong
hello
2022-04-01, by Chengsong
identities
2022-03-30, by Chengsong
made paper changes after ITP comments
2022-03-30, by Christian Urban
recent
2022-03-29, by Chengsong
hi
2022-03-28, by Chengsong
thesis
2022-03-28, by Chengsong
nowworks?
2022-03-26, by Chengsong
all electron pics removed
2022-03-26, by Chengsong
all texrelated
2022-03-25, by Chengsong
forget
2022-03-24, by Chengsong
forget
2022-03-24, by Chengsong
ha
2022-03-24, by Chengsong
updated
2022-03-23, by Christian Urban
updated
2022-03-23, by Christian Urban
updated
2022-03-22, by Christian Urban
updated paper
2022-03-22, by Christian Urban
updated paper
2022-03-22, by Christian Urban
updated
2022-03-22, by Christian Urban
updated paper
2022-03-21, by Christian Urban
head
2022-03-20, by Chengsong
realPhdThesis
2022-03-20, by Chengsong
merged
2022-03-19, by Christian Urban
isar proofs
2022-03-19, by Christian Urban
all
2022-03-19, by Chengsong
isarfied one proof
2022-03-19, by Christian Urban
finiteness
2022-03-15, by Chengsong
haha
2022-03-12, by Chengsong
more
2022-03-12, by Chengsong
hi
2022-03-11, by Chengsong
closedformbounds
2022-03-11, by Chengsong
before repair
2022-03-10, by Chengsong
closedforms
2022-03-10, by Chengsong
restructured sizebound proof
2022-03-09, by Chengsong
writeupforclosedforms
2022-03-08, by Chengsong
some changes
2022-03-07, by Chengsong
6ct
2022-03-05, by Chengsong
bonestruct
2022-03-02, by Chengsong
merged
2022-03-02, by Chengsong
templateforPhd
2022-03-02, by Chengsong
merged (possibly destroyed things?)
2022-03-02, by Christian Urban
updated
2022-03-02, by Christian Urban
hi
2022-03-01, by Chengsong
sketch
2022-02-21, by Chengsong
hi
2022-02-20, by Chengsong
strong!
2022-02-16, by Chengsong
hi
2022-02-11, by Chengsong
i
2022-02-11, by Chengsong
other
2022-02-09, by Chengsong
5ct
2022-02-09, by Chengsong
ct
2022-02-09, by Chengsong
updated
2022-02-09, by Christian Urban
updated paper
2022-02-09, by Christian Urban
updated
2022-02-09, by Christian Urban
updated paper
2022-02-08, by Christian Urban
prf
2022-02-08, by Chengsong
size
2022-02-08, by Chengsong
updated
2022-02-07, by Christian Urban
merged
2022-02-07, by Christian Urban
more of the paper
2022-02-07, by Christian Urban
rdersetc.
2022-02-06, by Chengsong
more with the paper
2022-02-06, by Christian Urban
exp
2022-02-05, by Chengsong
blexernew
2022-02-05, by Chengsong
merge
2022-02-05, by Chengsong
newDB
2022-02-05, by Chengsong
merged
2022-02-04, by Christian Urban
updated papers
2022-02-04, by Christian Urban
5ct
2022-02-04, by Chengsong
merged
2022-02-02, by Christian Urban
updated
2022-02-02, by Christian Urban
bound4CT
2022-02-02, by Chengsong
updated some of the text and cardinality proof
2022-02-02, by Christian Urban
ha
2022-01-30, by Chengsong
blexer1 for size bound with strongDB
2022-01-30, by Chengsong
more definitions in the paper
2022-01-30, by Christian Urban
updated
2022-01-30, by Christian Urban
updated
2022-01-29, by Christian Urban
added some recent papers
2022-01-29, by Christian Urban
updated
2022-01-28, by Christian Urban
updated Sizebound4
2022-01-27, by Christian Urban
added ITP paper
2022-01-25, by Christian Urban
preserves!
2022-01-22, by Chengsong
hi
2022-01-22, by Chengsong
polished
2022-01-22, by Christian Urban
simplified version
2022-01-20, by Christian Urban
zre7correct
2022-01-17, by Chengsong
zre
2022-01-17, by Chengsong
aaastar
2022-01-12, by Chengsong
ignore
2022-01-12, by Chengsong
concatlen
2022-01-12, by Chengsong
updated
2022-01-11, by Christian Urban
updated
2022-01-11, by Christian Urban
from christian
2022-01-08, by Chengsong
updated
2022-01-07, by Christian Urban
deleted *.tex files from Journal - they are recreated
2022-01-07, by Christian Urban
isarfied some proofs
2022-01-07, by Christian Urban
hi
2021-12-14, by Chengsong
merged
2021-12-14, by Chengsong
hi
2021-12-14, by Chengsong
small change
2021-11-04, by Christian Urban
ordering
2021-11-04, by Chengsong
deleted one rewrite rule
2021-11-04, by Christian Urban
slightly more
2021-11-04, by Christian Urban
slightly
2021-11-04, by Christian Urban
some more writing
2021-11-02, by Chengsong
a
2021-11-02, by Chengsong
updated ROOT
2021-11-01, by Christian Urban
added all files in Journal folder
2021-11-01, by Chengsong
added root.tex
2021-11-01, by Chengsong
add
2021-11-01, by Chengsong
changed a lot why just journal.pdf
2021-11-01, by Chengsong
for new journal/conf paper!
2021-10-10, by Chengsong
added llncs.cls
2021-10-10, by Christian Urban
updated for Isabelle 2021
2021-10-10, by Christian Urban
updated
2021-10-10, by Christian Urban
updated
2021-02-25, by Christian Urban
updated
2021-02-22, by Christian Urban
updated
2020-10-24, by Christian Urban
updated
2019-09-18, by Christian Urban
a bit more cleaning up
2019-09-17, by Christian Urban
added "big" lemma
2019-09-14, by Christian Urban
lemma proved
2019-09-13, by Chengsong
marked by QUESTION
2019-09-13, by Chengsong
so far so good
2019-09-13, by Chengsong
question
2019-09-12, by Chengsong
question marked by HERE
2019-09-12, by Chengsong
proof attempt
2019-09-12, by Chengsong
made lemma about AALTs_subs stronger w.r.t. flts
2019-09-09, by Christian Urban
added papewr about NFA Posix submatching
2019-09-07, by Christian Urban
updaed with AALTs_subs definition
2019-09-06, by Christian Urban
counterexample finder
2019-08-22, by Chengsong
updated with the proof of bder
2019-08-22, by Christian Urban
added some lemmas about the counter example.
2019-08-21, by Christian Urban
updated contains
2019-08-20, by Christian Urban
cst modifications
2019-08-19, by Chengsong
hope it works
2019-08-19, by Chengsong
bad news
2019-08-19, by Chengsong
added progress with the contains relation
2019-08-19, by Christian Urban
updated
2019-08-11, by Christian Urban
updated
2019-08-10, by Christian Urban
snapshot
2019-07-30, by Christian Urban
snapshot
2019-07-29, by Christian Urban
a simple proof of big0
2019-07-29, by Christian Urban
snapshot
2019-07-29, by Christian Urban
snapshot
2019-07-29, by Christian Urban
checkpoint
2019-07-29, by Christian Urban
updated
2019-07-29, by Christian Urban
proved cubic size bound for partial derivatives
2019-07-23, by Christian Urban
added paper
2019-06-29, by Christian Urban
added paper
2019-06-29, by Christian Urban
added interesting paper
2019-06-24, by Christian Urban
updated
2019-06-11, by Christian Urban
added another context-free-expression paper
2019-05-23, by Christian Urban
updated
2019-05-15, by Christian Urban
updaed good
2019-05-14, by Christian Urban
papers about context-free expressions and parsing
2019-05-10, by Christian Urban
more papers
2019-05-10, by Christian Urban
added some papers about static analysing regexes
2019-05-10, by Christian Urban
updated
2019-05-10, by Christian Urban
updated
2019-04-11, by Christian Urban
updated
2019-03-16, by Christian Urban
updated
2019-03-13, by Christian Urban
updated
2019-03-13, by Christian Urban
adapted the Bitcoded correctness proof to using AALTs
2019-02-23, by Christian Urban
added size bounds for partial derivatives
2019-02-20, by Christian Urban
updated
2019-02-17, by Christian Urban
cleaned up a bit
2019-02-11, by Christian Urban
added cardinality proof of Antimirov
2019-02-11, by Christian Urban
added partial derivative proof from Antimirov
2019-02-11, by Christian Urban
updated to Isabelle 2018
2019-02-10, by Christian Urban
added partial derivatives to compare sizes
2019-02-08, by Christian Urban
updated
2019-02-07, by Christian Urban
3 files to be compiled together and then run scala Spiral a b
2019-02-04, by Chengsong
test
2019-02-04, by Chengsong
changed something
2019-02-04, by Christian Urban
added test file
2019-02-04, by Chengsong
updated
2019-02-04, by Christian Urban
added some timing and size tests when doing the derivatives
2019-02-01, by Christian Urban
updated
2019-01-31, by Christian Urban
updated
2019-01-30, by Christian Urban
added Chengsong's experiment
2019-01-30, by Christian Urban
updated
2019-01-02, by Christian Urban
added_lit
2018-10-27, by Christian Urban
updated
2018-09-30, by Christian Urban
updated
2018-09-10, by Christian Urban
updated
2018-08-21, by Christian Urban
updated
2018-08-21, by Christian Urban
updated
2018-08-18, by Christian Urban
updated
2018-08-17, by Christian Urban
updated
2018-08-16, by Christian Urban
added proof for bitcoded algorithm
2018-08-15, by Christian Urban
updated
2018-05-16, by Christian Urban
updated
2018-05-15, by Christian Urban
updated
2018-05-15, by Christian Urban
updated
2018-01-12, by Christian Urban
updated
2017-12-07, by Christian Urban
updated
2017-10-25, by cu
updated for Isabelle 2017
2017-10-10, by cu
updated
2017-10-10, by cu
updated
2017-10-08, by cu
updated
2017-10-07, by cu
updated
2017-10-05, by Christian Urban
updated
2017-09-22, by Christian Urban
updated
2017-09-06, by Christian Urban
simplified proof
2017-08-27, by Christian Urban
updated
2017-08-25, by Christian Urban
updated
2017-08-25, by Christian Urban
updated
2017-08-25, by Christian Urban
updated
2017-08-18, by Christian Urban
updated
2017-08-11, by Christian Urban
updated
2017-07-19, by Christian Urban
changed definitions of PRF
2017-07-18, by Christian Urban
updated
2017-07-06, by Christian Urban
isar proofs
2017-07-04, by Christian Urban
isar proofs
2017-07-04, by Christian Urban
isar proofs
2017-07-04, by Christian Urban
updated
2017-07-01, by Christian Urban
updated
2017-06-30, by Christian Urban
added
2017-06-30, by Christian Urban
updated
2017-06-30, by Christian Urban
updated
2017-06-29, by Christian Urban
updated
2017-06-28, by Christian Urban
polished
2017-06-27, by Christian Urban
polished
2017-06-27, by Christian Urban
polished
2017-06-27, by Christian Urban
polished
2017-06-27, by Christian Urban
polished
2017-06-26, by Christian Urban
updated
2017-06-26, by Christian Urban
added a proof that Positional ordering is equivalent to direct posix definition
2017-06-26, by Christian Urban
updated
2017-06-25, by Christian Urban
updated
2017-06-24, by Christian Urban
updated
2017-06-23, by Christian Urban
updated literature
2017-05-17, by Christian Urban
updated literature
2017-05-17, by Christian Urban
added more literature about extended partial derivative automata
2017-04-02, by Christian Urban
updated
2017-03-29, by Christian Urban
updated for extended partial derivatives
2017-03-21, by Christian Urban
added automata implementation
2017-03-20, by Christian Urban
added AND-regular expression (intersection/conjunction)
2017-03-17, by Christian Urban
updated
2017-03-13, by Christian Urban
updated
2017-03-13, by Christian Urban
updated
2017-03-11, by Christian Urban
updated
2017-03-11, by Christian Urban
strengthened PLUS-posix definition
2017-03-08, by Christian Urban
added lit
2017-03-07, by Christian Urban
updated the re-ext-scala file
2017-03-05, by Christian Urban
just for fun added the case for PLUS (was already proved as FROMNTIMES)
2017-03-04, by Christian Urban
updated
2017-03-04, by Christian Urban
polished some of the definitions
2017-03-02, by Christian Urban
NMTIMES case also done
2017-03-02, by Christian Urban
deleted unused theorems
2017-03-01, by Christian Urban
FROMNTIMES now done
2017-02-28, by Christian Urban
FROMNTIMES not yet done
2017-02-28, by Christian Urban
FROMNTIMES not yet done
2017-02-28, by Christian Urban
added two sanity lemmas
2017-02-28, by Christian Urban
added also the ntimes case
2017-02-27, by Christian Urban
updated
2017-02-27, by Christian Urban
added paper
2017-02-27, by Christian Urban
updated
2017-02-26, by Christian Urban
test
2017-02-26, by Christian Urban
updated
2017-02-25, by Christian Urban
updated
2017-02-21, by Christian Urban
updated
2017-02-12, by Christian Urban
test hook
2017-02-06, by Christian Urban
updated
2016-10-08, by Christian Urban
updated
2016-09-22, by Christian Urban
added backreference papers
2016-09-13, by Christian Urban
updated
2016-08-24, by Christian Urban
updated
2016-08-24, by Christian Urban
updated slides
2016-08-20, by Christian Urban
added 3 new papers
2016-08-06, by Christian Urban
added benchmark paper
2016-07-20, by Christian Urban
added paper about size derivatives
2016-07-20, by Christian Urban
added obscure paper abour string derivatives
2016-06-24, by Christian Urban
deleted afp submission
2016-06-14, by Christian Urban
updated
2016-06-14, by Christian Urban
updated
2016-06-14, by Christian Urban
updated
2016-06-14, by Christian Urban
added data plots
2016-06-14, by Christian Urban
updated slides
2016-06-14, by Christian Urban
added test processing
2016-06-11, by Christian Urban
run all posix tests
2016-06-10, by Christian Urban
started a theory file about bounds
2016-06-09, by Christian Urban
typos
2016-06-03, by Christian Urban
updated AFP link
2016-05-24, by Christian Urban
added files that were submitted to afp
2016-05-24, by Christian Urban
typo
2016-05-20, by Christian Urban
typo
2016-05-20, by Christian Urban
typo
2016-05-20, by Christian Urban
typo
2016-05-20, by Christian Urban
added corollary
2016-05-20, by Christian Urban
updated
2016-05-18, by Christian Urban
Roy's comments
2016-05-17, by Christian Urban
less squeezing
2016-05-17, by Christian Urban
updated
2016-05-17, by Christian Urban
squeezed on 16 pages
2016-05-17, by Christian Urban
isarfied the simplify theory
2016-05-17, by Christian Urban
improved simplifying theory
2016-05-16, by Christian Urban
update
2016-05-16, by Christian Urban
updated
2016-05-11, by Christian Urban
updated
2016-05-11, by Christian Urban
updated
2016-05-09, by Christian Urban
updated
2016-05-09, by Christian Urban
updated
2016-05-09, by Christian Urban
updated
2016-05-09, by Christian Urban
updated
2016-05-08, by Christian Urban
updated
2016-05-08, by Christian Urban
updated
2016-05-08, by Christian Urban
added parser for regexes
2016-05-06, by Christian Urban
added an extended version of re-simp
2016-05-05, by Christian Urban
added benchmark from Fahad
2016-05-04, by Christian Urban
updated literature
2016-05-04, by Christian Urban
added files with test strings
2016-04-28, by Christian Urban
updated
2016-04-28, by Christian Urban
some small typos
2016-04-13, by Christian Urban
added test cases from the haskell repository
2016-04-09, by Christian Urban
corrected typo and corrected proofs in Sulzmann.thy
2016-04-05, by Christian Urban
updated programs
2016-04-05, by Christian Urban
added bit-coded version
2016-04-01, by Christian Urban
cleaned up scala code
2016-03-31, by Christian Urban
updated implementations
2016-03-19, by Christian Urban
updated
2016-03-18, by Christian Urban
updated
2016-03-18, by Christian Urban
added literature
2016-03-16, by Christian Urban
updated
2016-03-16, by Christian Urban
updated
2016-03-15, by Christian Urban
updated
2016-03-14, by Christian Urban
updated
2016-03-14, by Christian Urban
updated
2016-03-13, by Christian Urban
updated
2016-03-11, by Christian Urban
updated
2016-03-11, by Christian Urban
updated
2016-03-11, by Christian Urban
updated
2016-03-11, by Christian Urban
updated
2016-03-11, by Christian Urban
updated
2016-03-10, by Christian Urban
updated
2016-03-09, by Christian Urban
updated
2016-03-08, by Christian Urban
updated
2016-03-08, by Christian Urban
updated
2016-03-08, by Christian Urban
updated
2016-03-08, by Christian Urban
updated
2016-03-08, by Christian Urban
updated
2016-03-08, by Christian Urban
updated
2016-03-08, by Christian Urban
updated
2016-03-08, by Christian Urban
updated
2016-03-08, by Christian Urban
updated
2016-03-08, by Christian Urban
updated
2016-03-08, by Christian Urban
updated
2016-03-08, by Christian Urban
updated
2016-03-08, by Christian Urban
updated
2016-03-08, by Christian Urban
updated
2016-03-08, by Christian Urban
updated
2016-03-08, by Christian Urban
updated
2016-03-08, by Christian Urban
updated
2016-03-07, by Christian Urban
updated
2016-03-07, by Christian Urban
updated
2016-03-07, by Christian Urban
updated
2016-03-07, by Christian Urban
updated
2016-03-06, by Christian Urban
updated
2016-03-06, by Christian Urban
updated
2016-03-06, by Christian Urban
updated
2016-03-06, by Christian Urban
updated
2016-03-05, by Christian Urban
updated
2016-03-05, by Christian Urban
updated
2016-03-05, by Christian Urban
updated
2016-03-03, by Christian Urban
updated
2016-03-02, by Christian Urban
updated
2016-03-02, by Christian Urban
updated
2016-03-02, by Christian Urban
updated paper
2016-03-01, by Christian Urban
updated
2016-02-28, by Christian Urban
more cleaning and moving unnessary stuff to the end
2016-02-25, by Christian Urban
updated
2016-02-25, by Christian Urban
updated theories and cleaned them up
2016-02-24, by Christian Urban
added some slides
2016-02-15, by Christian Urban
updated
2016-02-13, by Christian Urban
fixed inj function
2016-02-10, by Christian Urban
strengthened PMatch to get determ
2016-02-08, by Christian Urban
updated
2016-02-08, by Christian Urban
updated
2016-02-08, by Christian Urban
updated
2016-02-07, by Christian Urban
added new version of paper by sulzmann
2016-02-05, by Christian Urban
started a paper and moved cruft to Attic
2016-02-05, by Christian Urban
proved also finiteness of non-problematic values
2016-02-02, by Christian Urban
extended all proofs that worked before to the Star case...required a stronger notion of non-problematic values |=
2016-02-01, by Christian Urban
ReStar changes
2016-02-01, by Christian Urban
more lemmas for star
2016-02-01, by Christian Urban
proved some lemmas about star and mkeps (injval etc not yet done)
2016-01-30, by Christian Urban
added theory for star
2016-01-21, by Christian Urban
updated
2016-01-14, by Christian Urban
added type inference paper and updated Re.thy
2016-01-06, by Christian Urban
added a proof about Values and PMatch
2015-12-19, by Christian Urban
updated
2015-12-18, by Christian Urban
the algorithm is correct according to the Type Inference definition
2015-12-18, by Christian Urban
added POSIX relation from the Type-Inference paper
2015-12-18, by Christian Urban
cleaned up version of Re1
2015-12-17, by Christian Urban
updated
2015-12-17, by Christian Urban
added phd thesis
2015-07-06, by Christian Urban
added frisch / cardelli paper
2015-06-10, by Christian Urban
updated the Isabelle theories with the totality proof
2015-06-08, by Christian Urban
proved some basic properties (totality and trichonomity) for the orderings
2015-05-25, by Christian Urban
added an equivalent slightly simpler POSIX definition
2015-04-25, by Christian Urban
updated
2015-04-10, by Christian Urban
updated from the session today
2015-03-13, by Christian Urban
solved one case
2015-03-09, by Christian Urban
updated R1 and notes
2015-03-04, by Christian Urban
added a section about a nullable proof
2015-02-26, by Christian Urban
merges
2015-02-26, by fahad
deleted file
2015-02-26, by fahad
merged
2015-02-26, by fahad
merged
2015-02-26, by fahad
updated
2015-02-14, by Christian Urban
ch3
2015-02-12, by fahad
deleted file
2015-02-11, by Christian Urban
updated
2015-02-11, by Christian Urban
updated some rules
2015-02-09, by Christian Urban
test
2015-02-09, by fahad
added a preliminary part describing the main theorem
2015-01-31, by Christian Urban
added line numbers
2015-01-30, by Christian Urban
updated more
2015-01-30, by Christian Urban
updated
2015-01-30, by Christian Urban
updated
2015-01-29, by Christian Urban
added some notes (still incomplete)
2015-01-29, by Christian Urban
no changes
2015-01-29, by fahad
added some lemmas, attempted others
2015-01-29, by Christian Urban
test
2015-01-26, by fahad
test
2015-01-26, by fahad
fahad's experiments
2015-01-26, by Fahad Ausaf
updated
2015-01-21, by Christian Urban
added a function for calculating values
2015-01-19, by Christian Urban
added a paper to Literature
2014-12-26, by Christian Urban
added Pr theory
2014-12-09, by Christian Urban
msc project
2014-11-12, by Fahad Ausaf
Code Samples
2014-11-09, by Fahad Ausaf
test
2014-11-09, by Fahad Ausaf
Test changes through linux
2014-11-08, by fahad
updated
2014-11-06, by Christian Urban
a1
2014-11-04, by fahadausaf
new algo
2014-11-04, by fahadausaf
slightly polished the scala file re.scala
2014-11-02, by Christian Urban
commit
2014-11-01, by fahadausaf
Handout 2
2014-11-01, by fahadausaf
merged
2014-10-28, by Christian Urban
added a file for calculating all answers...still incomplete
2014-10-28, by Christian Urban
new
2014-10-27, by fahadausaf
no message
2014-10-26, by fahadausaf
POSIX Algorithm
2014-10-26, by fahadausaf
scala by example code
2014-10-25, by fahadausaf
Proof Automation
2014-10-13, by fahadausaf
trees
2014-10-10, by fahadausaf
added done to the proof.
2014-10-08, by Christian Urban
deleted temporary files
2014-10-08, by Christian Urban
lemma
2014-10-07, by fahadausaf
added type information to produce the expected result with value
2014-10-07, by Christian Urban
commit
2014-10-07, by fahadausaf
Count
2014-10-07, by fahadausaf
add
2014-10-06, by fahadausaf
some small changes
2014-10-06, by Christian Urban
abc
2014-10-06, by fahadausaf
c
2014-10-06, by fahadausaf
multiply 2
2014-10-06, by fahadausaf
associative-commutative
2014-10-06, by fahadausaf
multiply
2014-10-06, by fahadausaf
calculator
2014-10-06, by fahadausaf
fixed the scala implementation
2014-09-25, by Christian Urban
Delete POSIX_ALT2
2014-09-22, by fahadausaf
changed theory name
2014-09-19, by Christian Urban
added test version
2014-09-19, by Christian Urban
commit by fahad
2014-09-10, by fahadausaf
started a few arguments for the ALT case
2014-09-09, by Christian Urban
cleaned up the theory
2014-09-08, by Christian Urban
getting back the original version by Sulzmann
2014-09-08, by Christian Urban
initial version of the theory
2014-09-08, by Christian Urban
added Crashcourse paper to literature
2014-09-03, by Christian Urban
added all toy implementations
2014-08-15, by Christian Urban
deleted big pdf file
2014-08-15, by Christian Urban
added relevant paper by Tobias Nipkow
2014-08-15, by Christian Urban
initial commit
2014-08-15, by Christian Urban
less
more
|
(0)
tip