Mercurial Mercurial > hg > cst_tests / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -48 +48 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Fri, 05 Jul 2019 21:20:47 +0100 h
changeset
Chengsong [Fri, 05 Jul 2019 21:20:47 +0100] rev 57
h
Fri, 05 Jul 2019 21:11:21 +0100 comprehension
changeset
Chengsong [Fri, 05 Jul 2019 21:11:21 +0100] rev 56
comprehension
Fri, 05 Jul 2019 21:00:40 +0100 some minor changes
changeset
Chengsong [Fri, 05 Jul 2019 21:00:40 +0100] rev 55
some minor changes
Fri, 05 Jul 2019 18:01:26 +0100 minor changes
changeset
Chengsong [Fri, 05 Jul 2019 18:01:26 +0100] rev 54
minor changes
Fri, 05 Jul 2019 17:49:54 +0100 readable version
changeset
Chengsong [Fri, 05 Jul 2019 17:49:54 +0100] rev 53
readable version
Fri, 05 Jul 2019 16:54:25 +0100 just in case of some accidents from erasing my work
changeset
Chengsong [Fri, 05 Jul 2019 16:54:25 +0100] rev 52
just in case of some accidents from erasing my work
Thu, 04 Jul 2019 23:39:49 +0100 added mkeps and pder, still have not proof read it
changeset
Chengsong [Thu, 04 Jul 2019 23:39:49 +0100] rev 51
added mkeps and pder, still have not proof read it
Thu, 04 Jul 2019 23:27:32 +0100 now will compile
changeset
Chengsong [Thu, 04 Jul 2019 23:27:32 +0100] rev 50
now will compile
Thu, 04 Jul 2019 23:20:00 +0100 still wont comiple hhh
changeset
Chengsong [Thu, 04 Jul 2019 23:20:00 +0100] rev 49
still wont comiple hhh
Thu, 04 Jul 2019 22:45:02 +0100 still will not compile
changeset
Chengsong [Thu, 04 Jul 2019 22:45:02 +0100] rev 48
still will not compile
Thu, 04 Jul 2019 22:28:09 +0100 will not compile, just text
changeset
Chengsong [Thu, 04 Jul 2019 22:28:09 +0100] rev 47
will not compile, just text
Thu, 04 Jul 2019 11:04:02 +0100 proofread
changeset
Christian Urban <urbanc@in.tum.de> [Thu, 04 Jul 2019 11:04:02 +0100] rev 46
proofread
Thu, 04 Jul 2019 10:19:35 +0100 spell check
changeset
Christian Urban <urbanc@in.tum.de> [Thu, 04 Jul 2019 10:19:35 +0100] rev 45
spell check
Wed, 03 Jul 2019 23:02:48 +0100 another changes. have written more. but havent typed them. tomorrow will continue.
changeset
Chengsong [Wed, 03 Jul 2019 23:02:48 +0100] rev 44
another changes. have written more. but havent typed them. tomorrow will continue.
Wed, 03 Jul 2019 22:39:47 +0100 s?
changeset
Chengsong [Wed, 03 Jul 2019 22:39:47 +0100] rev 43
s?
Wed, 03 Jul 2019 22:06:47 +0100 s
changeset
Chengsong [Wed, 03 Jul 2019 22:06:47 +0100] rev 42
s
Wed, 03 Jul 2019 20:46:03 +0100 example
changeset
Chengsong [Wed, 03 Jul 2019 20:46:03 +0100] rev 41
example
Wed, 03 Jul 2019 09:48:42 +0100 proof reading
changeset
Christian Urban <urbanc@in.tum.de> [Wed, 03 Jul 2019 09:48:42 +0100] rev 40
proof reading
Tue, 02 Jul 2019 22:24:27 +0100 changes
changeset
Chengsong [Tue, 02 Jul 2019 22:24:27 +0100] rev 39
changes
Tue, 02 Jul 2019 14:01:42 +0100 half easy changes
changeset
Chengsong [Tue, 02 Jul 2019 14:01:42 +0100] rev 38
half easy changes
Tue, 02 Jul 2019 11:22:39 +0100 new changes
changeset
Chengsong [Tue, 02 Jul 2019 11:22:39 +0100] rev 37
new changes
Tue, 02 Jul 2019 00:14:42 +0100 chages
changeset
Chengsong [Tue, 02 Jul 2019 00:14:42 +0100] rev 36
chages
Mon, 01 Jul 2019 23:42:39 +0100 psuedocode added
changeset
Chengsong [Mon, 01 Jul 2019 23:42:39 +0100] rev 35
psuedocode added
Sun, 30 Jun 2019 22:23:52 +0100 hope works
changeset
Chengsong [Sun, 30 Jun 2019 22:23:52 +0100] rev 34
hope works
Sun, 30 Jun 2019 20:07:54 +0100 hope this works
changeset
Chengsong [Sun, 30 Jun 2019 20:07:54 +0100] rev 33
hope this works
Sun, 30 Jun 2019 20:05:49 +0100 resolved i guess?
changeset
Chengsong [Sun, 30 Jun 2019 20:05:49 +0100] rev 32
resolved i guess?
Sun, 30 Jun 2019 19:56:04 +0100 made changes that are necessary for a successful push
changeset
Chengsong [Sun, 30 Jun 2019 19:56:04 +0100] rev 31
made changes that are necessary for a successful push
Sun, 30 Jun 2019 19:54:04 +0100 changed file name to ninems
changeset
Chengsong [Sun, 30 Jun 2019 19:54:04 +0100] rev 30
changed file name to ninems
Sun, 30 Jun 2019 19:47:18 +0100 augmented the ecoop paper to make it more like a 9m report. still continuing to update.
changeset
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.
Sat, 29 Jun 2019 12:28:49 +0100 created folder for 9mth report
changeset
Chengsong [Sat, 29 Jun 2019 12:28:49 +0100] rev 28
created folder for 9mth report
Sat, 29 Jun 2019 12:15:17 +0100 footnote
changeset
Chengsong [Sat, 29 Jun 2019 12:15:17 +0100] rev 27
footnote
Fri, 28 Jun 2019 12:40:58 +0100 initial version
changeset
Christian Urban <urbanc@in.tum.de> [Fri, 28 Jun 2019 12:40:58 +0100] rev 26
initial version
Wed, 26 Jun 2019 21:40:33 +0100 fixed latex bug
changeset
Christian Urban <urbanc@in.tum.de> [Wed, 26 Jun 2019 21:40:33 +0100] rev 25
fixed latex bug
Wed, 26 Jun 2019 17:15:48 +0100 easy changes, url to misc, author info format changing, mysterious bug on line 49
changeset
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
Wed, 26 Jun 2019 16:08:49 +0100 delete data unnecessary
changeset
Chengsong [Wed, 26 Jun 2019 16:08:49 +0100] rev 23
delete data unnecessary
Wed, 26 Jun 2019 16:06:58 +0100 now correct
changeset
Chengsong [Wed, 26 Jun 2019 16:06:58 +0100] rev 22
now correct
Wed, 26 Jun 2019 12:44:08 +0100 added stackexchange url and contact details
changeset
Chengsong [Wed, 26 Jun 2019 12:44:08 +0100] rev 21
added stackexchange url and contact details
Tue, 25 Jun 2019 23:59:10 +0100 another superflous file
changeset
Christian Urban <urbanc@in.tum.de> [Tue, 25 Jun 2019 23:59:10 +0100] rev 20
another superflous file
Tue, 25 Jun 2019 23:38:02 +0100 deleted further generated files (including pdf)
changeset
Christian Urban <urbanc@in.tum.de> [Tue, 25 Jun 2019 23:38:02 +0100] rev 19
deleted further generated files (including pdf)
Tue, 25 Jun 2019 22:43:21 +0100 deleted data-files and further unnecessary parts in data.sty
changeset
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
Tue, 25 Jun 2019 18:56:52 +0100 hi
changeset
Chengsong [Tue, 25 Jun 2019 18:56:52 +0100] rev 17
hi
Wed, 08 May 2019 22:09:59 +0100 new version of slides
changeset
Chengsong [Wed, 08 May 2019 22:09:59 +0100] rev 16
new version of slides
Sun, 05 May 2019 22:02:29 +0100 hello
changeset
Chengsong [Sun, 05 May 2019 22:02:29 +0100] rev 15
hello
Sat, 13 Apr 2019 16:18:23 +0100 the property
changeset
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
Fri, 12 Apr 2019 19:26:13 +0100 test of
changeset
Chengsong [Fri, 12 Apr 2019 19:26:13 +0100] rev 13
test of retrieve r v = retrieve (bsimp r) (decode bsimp r code v)
Wed, 10 Apr 2019 17:06:24 +0100 removed C(c) The retrieve and code in the previous version is still not correct and will crash. no prob now.
changeset
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.
Wed, 10 Apr 2019 16:34:34 +0100 The C(Char) construct is incompatible with the code and retrieve in Fahad's thesis.
changeset
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)
Sat, 23 Mar 2019 11:53:09 +0000 exp and proof
changeset
Chengsong [Sat, 23 Mar 2019 11:53:09 +0000] rev 10
exp and proof
(0) -48 +48 tip
cst_tests