Mercurial
Mercurial
>
hg
>
lexing
/ shortlog
summary
| shortlog |
changelog
|
graph
|
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
(0)
-100
-50
-30
+30
+50
+100
+300
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
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
(0)
-100
-50
-30
+30
+50
+100
+300
tip