2020-01-22 f
Chengsong [Wed, 22 Jan 2020 22:50:38 +0000] rev 110
f
2020-01-20 format
Chengsong [Mon, 20 Jan 2020 15:51:06 +0000] rev 109
format
2020-01-17 updated
Christian Urban <urbanc@in.tum.de> [Fri, 17 Jan 2020 23:53:08 +0000] rev 108
updated
2020-01-16 changes
Chengsong [Thu, 16 Jan 2020 22:34:23 +0000] rev 107
changes
2020-01-15 added my comments
Christian Urban <urbanc@in.tum.de> [Wed, 15 Jan 2020 13:01:10 +0000] rev 106
added my comments
2020-01-13 updated
Christian Urban <urbanc@in.tum.de> [Mon, 13 Jan 2020 14:13:47 +0000] rev 105
updated
2020-01-13 merged christian changes
Chengsong [Mon, 13 Jan 2020 16:57:13 +0000] rev 104
merged christian changes
2020-01-12 hg
Chengsong [Sun, 12 Jan 2020 22:49:23 +0000] rev 103
hg
2020-01-11 h
Chengsong [Sat, 11 Jan 2020 22:47:11 +0000] rev 102
h
2020-01-11 b
Chengsong [Sat, 11 Jan 2020 22:17:27 +0000] rev 101
b
2020-01-10 copied christian changes
Chengsong [Fri, 10 Jan 2020 22:35:08 +0000] rev 100
copied christian changes
2020-01-10 remain only tex
Chengsong [Fri, 10 Jan 2020 17:02:16 +0000] rev 99
remain only tex
2020-01-10 forget
Chengsong [Fri, 10 Jan 2020 17:01:21 +0000] rev 98
forget
2020-01-10 delete
Chengsong [Fri, 10 Jan 2020 16:59:08 +0000] rev 97
delete
2020-01-10 removed sth
Chengsong [Fri, 10 Jan 2020 16:16:59 +0000] rev 96
removed sth
2020-01-10 updte1
Chengsong [Fri, 10 Jan 2020 13:03:37 +0000] rev 95
updte1
2020-01-09 add
Chengsong [Thu, 09 Jan 2020 22:21:04 +0000] rev 94
add
2020-01-09 h
Chengsong [Thu, 09 Jan 2020 22:20:09 +0000] rev 93
h
2019-11-27 ders2
Chengsong [Wed, 27 Nov 2019 14:15:00 +0000] rev 92
ders2
2019-11-11 got it
Chengsong [Mon, 11 Nov 2019 17:37:24 +0000] rev 91
got it
2019-08-22 deleted .DS_Store
Christian Urban <urbanc@in.tum.de> [Thu, 22 Aug 2019 12:44:48 +0200] rev 90
deleted .DS_Store
2019-08-22 counterexample
Chengsong [Thu, 22 Aug 2019 09:38:18 +0100] rev 89
counterexample
2019-08-18 label fix
Chengsong [Sun, 18 Aug 2019 22:21:01 +0100] rev 88
label fix
2019-08-18 changes to report
Chengsong [Sun, 18 Aug 2019 22:19:46 +0100] rev 87
changes to report
2019-07-25 final changes
Chengsong [Thu, 25 Jul 2019 21:02:06 +0100] rev 86
final changes
2019-07-25 in case no wifi
Chengsong [Thu, 25 Jul 2019 12:59:07 +0100] rev 85
in case no wifi
2019-07-25 proof-read
Christian Urban <urbanc@in.tum.de> [Thu, 25 Jul 2019 11:46:06 +0100] rev 84
proof-read
2019-07-24 updated
Christian Urban <urbanc@in.tum.de> [Wed, 24 Jul 2019 20:37:40 +0100] rev 83
updated
2019-07-24 addressed comments, did improvements from page 14 and on
Chengsong [Wed, 24 Jul 2019 12:19:46 +0100] rev 82
addressed comments, did improvements from page 14 and on
2019-07-23 updated and added comments
Christian Urban <urbanc@in.tum.de> [Tue, 23 Jul 2019 21:54:13 +0100] rev 81
updated and added comments
2019-07-23 addressed all comments.
Chengsong [Tue, 23 Jul 2019 09:26:22 +0100] rev 80
addressed all comments.
2019-07-22 works on the part that christian did not read
Chengsong [Mon, 22 Jul 2019 23:01:00 +0100] rev 79
works on the part that christian did not read will continue tomorrow morning
2019-07-22 proof of big lemma
Chengsong [Mon, 22 Jul 2019 22:30:47 +0100] rev 78
proof of big lemma
2019-07-18 proof-read
Christian Urban <urbanc@in.tum.de> [Thu, 18 Jul 2019 15:06:50 +0100] rev 77
proof-read
2019-07-16 merged
Chengsong [Tue, 16 Jul 2019 22:20:11 +0100] rev 76
merged
2019-07-16 added the cloudfare eg.
Chengsong [Tue, 16 Jul 2019 22:18:18 +0100] rev 75
added the cloudfare eg.
2019-07-15 just a merge - no changes
Christian Urban <urbanc@in.tum.de> [Mon, 15 Jul 2019 10:46:50 +0100] rev 74
just a merge - no changes
2019-07-13 proof details
Chengsong [Sat, 13 Jul 2019 22:56:31 +0100] rev 73
proof details
2019-07-10 interesting?
Chengsong [Wed, 10 Jul 2019 23:16:14 +0100] rev 72
interesting?
2019-07-08 new changes?
Chengsong [Mon, 08 Jul 2019 21:21:54 +0100] rev 71
new changes?
2019-07-08 more proofreading
Christian Urban <urbanc@in.tum.de> [Mon, 08 Jul 2019 11:10:32 +0100] rev 70
more proofreading
2019-07-07 tiny
Chengsong [Sun, 07 Jul 2019 22:23:35 +0100] rev 69
tiny
2019-07-07 more upd
Chengsong [Sun, 07 Jul 2019 22:22:18 +0100] rev 68
more upd
2019-07-07 anotehr update
Chengsong [Sun, 07 Jul 2019 22:18:24 +0100] rev 67
anotehr update
2019-07-07 good to proofread
Chengsong [Sun, 07 Jul 2019 22:09:24 +0100] rev 66
good to proofread
2019-07-07 moew changes
Chengsong [Sun, 07 Jul 2019 21:38:35 +0100] rev 65
moew changes
2019-07-07 some changes
Chengsong [Sun, 07 Jul 2019 18:43:13 +0100] rev 64
some changes
2019-07-06 more proof-reading
Christian Urban <urbanc@in.tum.de> [Sat, 06 Jul 2019 23:34:27 +0100] rev 63
more proof-reading
2019-07-06 spellcheck
Christian Urban <urbanc@in.tum.de> [Sat, 06 Jul 2019 21:09:45 +0100] rev 62
spellcheck
2019-07-06 hi finished
Chengsong [Sat, 06 Jul 2019 20:34:41 +0100] rev 61
hi finished
2019-07-06 sorry not all done, need a few more mins for last few changes
Chengsong [Sat, 06 Jul 2019 20:16:20 +0100] rev 60
sorry not all done, need a few more mins for last few changes
2019-07-06 changes1
Chengsong [Sat, 06 Jul 2019 19:48:20 +0100] rev 59
changes1
2019-07-05 proofread
Christian Urban <urbanc@in.tum.de> [Fri, 05 Jul 2019 23:46:25 +0100] rev 58
proofread
2019-07-05 h
Chengsong [Fri, 05 Jul 2019 21:20:47 +0100] rev 57
h
2019-07-05 comprehension
Chengsong [Fri, 05 Jul 2019 21:11:21 +0100] rev 56
comprehension
2019-07-05 some minor changes
Chengsong [Fri, 05 Jul 2019 21:00:40 +0100] rev 55
some minor changes
2019-07-05 minor changes
Chengsong [Fri, 05 Jul 2019 18:01:26 +0100] rev 54
minor changes
2019-07-05 readable version
Chengsong [Fri, 05 Jul 2019 17:49:54 +0100] rev 53
readable version
2019-07-05 just in case of some accidents from erasing my work
Chengsong [Fri, 05 Jul 2019 16:54:25 +0100] rev 52
just in case of some accidents from erasing my work
2019-07-04 added mkeps and pder, still have not proof read it
Chengsong [Thu, 04 Jul 2019 23:39:49 +0100] rev 51
added mkeps and pder, still have not proof read it
2019-07-04 now will compile
Chengsong [Thu, 04 Jul 2019 23:27:32 +0100] rev 50
now will compile
2019-07-04 still wont comiple hhh
Chengsong [Thu, 04 Jul 2019 23:20:00 +0100] rev 49
still wont comiple hhh
2019-07-04 still will not compile
Chengsong [Thu, 04 Jul 2019 22:45:02 +0100] rev 48
still will not compile
2019-07-04 will not compile, just text
Chengsong [Thu, 04 Jul 2019 22:28:09 +0100] rev 47
will not compile, just text
2019-07-04 proofread
Christian Urban <urbanc@in.tum.de> [Thu, 04 Jul 2019 11:04:02 +0100] rev 46
proofread
2019-07-04 spell check
Christian Urban <urbanc@in.tum.de> [Thu, 04 Jul 2019 10:19:35 +0100] rev 45
spell check
2019-07-03 another changes. have written more. but havent typed them. tomorrow will continue.
Chengsong [Wed, 03 Jul 2019 23:02:48 +0100] rev 44
another changes. have written more. but havent typed them. tomorrow will continue.
2019-07-03 s?
Chengsong [Wed, 03 Jul 2019 22:39:47 +0100] rev 43
s?
2019-07-03 s
Chengsong [Wed, 03 Jul 2019 22:06:47 +0100] rev 42
s
2019-07-03 example
Chengsong [Wed, 03 Jul 2019 20:46:03 +0100] rev 41
example
2019-07-03 proof reading
Christian Urban <urbanc@in.tum.de> [Wed, 03 Jul 2019 09:48:42 +0100] rev 40
proof reading
2019-07-02 changes
Chengsong [Tue, 02 Jul 2019 22:24:27 +0100] rev 39
changes
2019-07-02 half easy changes
Chengsong [Tue, 02 Jul 2019 14:01:42 +0100] rev 38
half easy changes
2019-07-02 new changes
Chengsong [Tue, 02 Jul 2019 11:22:39 +0100] rev 37
new changes
2019-07-01 chages
Chengsong [Tue, 02 Jul 2019 00:14:42 +0100] rev 36
chages
2019-07-01 psuedocode added
Chengsong [Mon, 01 Jul 2019 23:42:39 +0100] rev 35
psuedocode added
2019-06-30 hope works
Chengsong [Sun, 30 Jun 2019 22:23:52 +0100] rev 34
hope works
2019-06-30 hope this works
Chengsong [Sun, 30 Jun 2019 20:07:54 +0100] rev 33
hope this works
2019-06-30 resolved i guess?
Chengsong [Sun, 30 Jun 2019 20:05:49 +0100] rev 32
resolved i guess?
2019-06-30 made changes that are necessary for a successful push
Chengsong [Sun, 30 Jun 2019 19:56:04 +0100] rev 31
made changes that are necessary for a successful push
2019-06-30 changed file name to ninems
Chengsong [Sun, 30 Jun 2019 19:54:04 +0100] rev 30
changed file name to ninems
2019-06-30 augmented the ecoop paper to make it more like a 9m report. still continuing to update.
Chengsong [Sun, 30 Jun 2019 19:47:18 +0100] rev 29
augmented the ecoop paper to make it more like a 9m report. still continuing to update. todo: will add the psuedocode for the simplification function and then briefly talk about its slowness.
2019-06-29 created folder for 9mth report
Chengsong [Sat, 29 Jun 2019 12:28:49 +0100] rev 28
created folder for 9mth report
2019-06-29 footnote
Chengsong [Sat, 29 Jun 2019 12:15:17 +0100] rev 27
footnote
2019-06-28 initial version
Christian Urban <urbanc@in.tum.de> [Fri, 28 Jun 2019 12:40:58 +0100] rev 26
initial version
2019-06-26 fixed latex bug
Christian Urban <urbanc@in.tum.de> [Wed, 26 Jun 2019 21:40:33 +0100] rev 25
fixed latex bug
2019-06-26 easy changes, url to misc, author info format changing, mysterious bug on line 49
Chengsong [Wed, 26 Jun 2019 17:15:48 +0100] rev 24
easy changes, url to misc, author info format changing, mysterious bug on line 49
2019-06-26 delete data unnecessary
Chengsong [Wed, 26 Jun 2019 16:08:49 +0100] rev 23
delete data unnecessary
2019-06-26 now correct
Chengsong [Wed, 26 Jun 2019 16:06:58 +0100] rev 22
now correct
2019-06-26 added stackexchange url and contact details
Chengsong [Wed, 26 Jun 2019 12:44:08 +0100] rev 21
added stackexchange url and contact details
2019-06-25 another superflous file
Christian Urban <urbanc@in.tum.de> [Tue, 25 Jun 2019 23:59:10 +0100] rev 20
another superflous file
2019-06-25 deleted further generated files (including pdf)
Christian Urban <urbanc@in.tum.de> [Tue, 25 Jun 2019 23:38:02 +0100] rev 19
deleted further generated files (including pdf)
2019-06-25 deleted data-files and further unnecessary parts in data.sty
Christian Urban <urbanc@in.tum.de> [Tue, 25 Jun 2019 22:43:21 +0100] rev 18
deleted data-files and further unnecessary parts in data.sty
2019-06-25 hi
Chengsong [Tue, 25 Jun 2019 18:56:52 +0100] rev 17
hi
2019-05-08 new version of slides
Chengsong [Wed, 08 May 2019 22:09:59 +0100] rev 16
new version of slides
2019-05-05 hello
Chengsong [Sun, 05 May 2019 22:02:29 +0100] rev 15
hello
2019-04-13 the property
Chengsong [Sat, 13 Apr 2019 16:18:23 +0100] rev 14
the property retrieve ar v = retrieve (bsimp ar) (decode erase(bsimp(ar)) code(v)) if |- v : r does not hold
2019-04-12 test of
Chengsong [Fri, 12 Apr 2019 19:26:13 +0100] rev 13
test of retrieve r v = retrieve (bsimp r) (decode bsimp r code v)
2019-04-10 removed C(c) The retrieve and code in the previous version is still not correct and will crash. no prob now.
Chengsong [Wed, 10 Apr 2019 17:06:24 +0100] rev 12
removed C(c) The retrieve and code in the previous version is still not correct and will crash. no prob now.
2019-04-10 The C(Char) construct is incompatible with the code and retrieve in Fahad's thesis.
Chengsong [Wed, 10 Apr 2019 16:34:34 +0100] rev 11
The C(Char) construct is incompatible with the code and retrieve in Fahad's thesis. This causes the exception. Two ways of fixing this: delete C(C) construct (easy way around) or amend retrieve code etc. since the C(C) construct is intended for decoding Pred, and we don't use pred now, we shall delete this. This is the last veersion that contains C(CHAR)
2019-03-23 exp and proof
Chengsong [Sat, 23 Mar 2019 11:53:09 +0000] rev 10
exp and proof
2019-03-22 augmented version of proof sketch
Chengsong [Fri, 22 Mar 2019 12:53:56 +0000] rev 9
augmented version of proof sketch
2019-03-21 pf
Chengsong [Thu, 21 Mar 2019 13:26:07 +0000] rev 8
pf
2019-03-16 found the difference: caused by flats
Chengsong [Sat, 16 Mar 2019 20:05:13 +0000] rev 7
found the difference: caused by flats in ders_simp, the alts is at top most level , so no fuse and bits stay at the alts level whereas in ders + singele simp, the alts that should be the final top-level alts is not at the topmost level initially before simplification so it is opened up and bits fused. later it finds out itself the top level only aalts remaining, but the fuse is not reversible we do not know what happened either.
2019-03-16 random test failed
Chengsong [Sat, 16 Mar 2019 15:00:43 +0000] rev 6
random test failed on the new simplification function. ("super_blexing_simp")
2019-03-16 correctness test with enumeration
Chengsong [Sat, 16 Mar 2019 14:14:42 +0000] rev 5
correctness test with enumeration
2019-03-15 :test whether bsimp(bders(r, s)) == ders_simp(r,s)
Chengsong [Fri, 15 Mar 2019 12:27:12 +0000] rev 4
:test whether bsimp(bders(r, s)) == ders_simp(r,s) This does not hold. As illustrated by the output of the example where string is abaa and regex is (a* + ab)* this property still holds when s = aba but after the derivative of the last character a, the result is negative. However this seems easily fixable as the difference is relatively small, it might be possible to find where the difference happens and by taking that difference into accound we have some function f s.t. f(bsimp(r,s)) = ders_simp(r,s) and mkeps(f(r)) = mkeps(r) This will complete the correctness proof. Even if finding such f is hard, it would still provide insights for the real difference between simp(der(simp(der(simp(der...... and simp(ders
2019-03-15 removing PRED
Chengsong [Fri, 15 Mar 2019 10:46:46 +0000] rev 3
removing PRED why should it still be there after so many rounds of experiments? It should have been removed long ago since its existence will always make the compiler report errors. mysterious.:
2019-03-13 more comments
Chengsong [Wed, 13 Mar 2019 15:27:09 +0000] rev 2
more comments
2019-03-13 i
Chengsong [Wed, 13 Mar 2019 13:33:54 +0000] rev 1
i
2019-03-13 run
Chengsong [Wed, 13 Mar 2019 13:14:38 +0000] rev 0
run scalac lex_blex_Frankensteined.scala BRexp.scala Element.scala Partial.scala Spiral.scala then run scala Spiral to see the results
(0) tip