2020-04-16 before changes to bsimp2
Chengsong [Thu, 16 Apr 2020 09:14:15 +0100] rev 149
before changes to bsimp2
2020-04-10 vunsimp
Chengsong [Fri, 10 Apr 2020 11:58:11 +0100] rev 148
vunsimp
2020-03-04 nteresting
Chengsong [Wed, 04 Mar 2020 13:25:52 +0000] rev 147
nteresting
2020-03-04 daily little report
Chengsong [Wed, 04 Mar 2020 13:00:59 +0000] rev 146
daily little report
2020-03-04 changes
Chengsong [Wed, 04 Mar 2020 08:25:38 +0000] rev 145
changes
2020-03-03 more changes
Chengsong [Tue, 03 Mar 2020 21:56:09 +0000] rev 144
more changes
2020-03-03 i
Chengsong [Tue, 03 Mar 2020 21:36:53 +0000] rev 143
i
2020-03-02 filled ders2
Chengsong [Mon, 02 Mar 2020 22:13:37 +0000] rev 142
filled ders2
2020-03-02 ders2
Chengsong [Mon, 02 Mar 2020 21:45:24 +0000] rev 141
ders2
2020-03-02 contains section finished
Chengsong [Mon, 02 Mar 2020 18:08:12 +0000] rev 140
contains section finished
2020-03-01 failsafe
Chengsong [Sun, 01 Mar 2020 20:12:16 +0000] rev 139
failsafe
2020-02-28 contains
Chengsong [Fri, 28 Feb 2020 22:48:10 +0000] rev 138
contains
2020-02-24 version without tree
Chengsong [Mon, 24 Feb 2020 11:03:45 +0000] rev 137
version without tree ii: Enter commit message. Lines beginning with 'HG:' are removed.
2020-02-24 version with tree
Chengsong [Mon, 24 Feb 2020 11:02:11 +0000] rev 136
version with tree
2020-02-21 flow
Chengsong [Fri, 21 Feb 2020 23:17:32 +0000] rev 135
flow
2020-02-18 v
Chengsong [Tue, 18 Feb 2020 22:44:30 +0000] rev 134
v
2020-02-16 geiwuhanshizhangnuannuanxing
Chengsong [Sun, 16 Feb 2020 22:37:26 +0000] rev 133
geiwuhanshizhangnuannuanxing
2020-02-16 backup
Chengsong [Sun, 16 Feb 2020 22:28:26 +0000] rev 132
backup
2020-02-08 changes
Chengsong [Sat, 08 Feb 2020 22:24:21 +0000] rev 131
changes
2020-02-08 i
Chengsong [Sat, 08 Feb 2020 22:01:40 +0000] rev 130
i
2020-02-08 madly
Chengsong [Sat, 08 Feb 2020 21:57:11 +0000] rev 129
madly
2020-02-08 structuring text
Chengsong [Sat, 08 Feb 2020 21:53:06 +0000] rev 128
structuring text
2020-02-08 test
Chengsong [Sat, 08 Feb 2020 21:37:20 +0000] rev 127
test
2020-02-08 forfear
Chengsong [Sat, 08 Feb 2020 21:37:05 +0000] rev 126
forfear
2020-02-08 added a bit?
Chengsong [Sat, 08 Feb 2020 21:34:50 +0000] rev 125
added a bit?
2020-02-06 afte
Chengsong [Thu, 06 Feb 2020 10:49:23 +0000] rev 124
afte
2020-02-05 in case
Chengsong [Wed, 05 Feb 2020 22:55:21 +0000] rev 123
in case
2020-02-05 version
Chengsong [Wed, 05 Feb 2020 14:50:57 +0000] rev 122
version
2020-02-05 safe
Chengsong [Wed, 05 Feb 2020 12:41:30 +0000] rev 121
safe
2020-02-05 for fear
Chengsong [Wed, 05 Feb 2020 12:02:21 +0000] rev 120
for fear
2020-02-05 for fear
Chengsong [Wed, 05 Feb 2020 12:01:57 +0000] rev 119
for fear
2020-02-05 lualatex is probably the culprit
Chengsong [Wed, 05 Feb 2020 11:54:51 +0000] rev 118
lualatex is probably the culprit it overwrites the buffer when compiling a document sometimes so some changes you made just now gets lost
2020-02-05 just incase
Chengsong [Wed, 05 Feb 2020 11:27:51 +0000] rev 117
just incase
2020-02-05 just incase
Chengsong [Wed, 05 Feb 2020 11:11:36 +0000] rev 116
just incase
2020-02-05 for secu
Chengsong [Wed, 05 Feb 2020 10:58:13 +0000] rev 115
for secu
2020-02-05 avoid work loss
Chengsong [Wed, 05 Feb 2020 10:45:15 +0000] rev 114
avoid work loss
2020-01-24 test for talisker address change
Chengsong [Fri, 24 Jan 2020 18:44:52 +0000] rev 113
test for talisker address change
2020-01-24 added section
Chengsong [Fri, 24 Jan 2020 09:27:03 +0000] rev 112
added section
2020-01-23 refined section a bit
Chengsong [Thu, 23 Jan 2020 22:49:19 +0000] rev 111
refined section a bit
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