| Tue, 21 May 2013 13:49:31 +0100 |
Christian Urban |
more about the UF
|
changeset |
files
|
| Thu, 16 May 2013 07:19:26 +0100 |
Christian Urban |
completed coding functions
|
changeset |
files
|
| Wed, 15 May 2013 15:07:27 +0100 |
Christian Urban |
added recusive functions that decode triangle numbers
|
changeset |
files
|
| Mon, 13 May 2013 15:28:48 +0100 |
Christian Urban |
added
|
changeset |
files
|
| Mon, 13 May 2013 14:08:54 +0100 |
Christian Urban |
added papers
|
changeset |
files
|
| Fri, 10 May 2013 09:07:03 +0100 |
Christian Urban |
added first version of natbiject
|
changeset |
files
|
| Fri, 10 May 2013 09:06:48 +0100 |
Christian Urban |
added test version
|
changeset |
files
|
| Thu, 09 May 2013 18:16:36 +0100 |
Christian Urban |
added lemmas about a pairing function
|
changeset |
files
|
| Thu, 02 May 2013 13:19:50 +0100 |
Christian Urban |
polised a bit of the Recs-theory
|
changeset |
files
|
| Thu, 02 May 2013 12:49:33 +0100 |
Christian Urban |
repaired old files
|
changeset |
files
|
| Thu, 02 May 2013 12:49:15 +0100 |
Christian Urban |
eliminated explicit swap_lemmas
|
changeset |
files
|
| Thu, 02 May 2013 11:32:37 +0100 |
Christian Urban |
separated recursive functions and UF
|
changeset |
files
|
| Thu, 02 May 2013 08:31:48 +0100 |
Christian Urban |
introduced rec_if
|
changeset |
files
|
| Wed, 01 May 2013 15:56:57 +0100 |
Christian Urban |
started with UF
|
changeset |
files
|
| Tue, 30 Apr 2013 12:53:11 +0100 |
Christian Urban |
added max and lg functions
|
changeset |
files
|
| Mon, 29 Apr 2013 11:02:23 +0100 |
Christian Urban |
added mechanizing separation algebra paper
|
changeset |
files
|
| Fri, 26 Apr 2013 01:07:47 +0100 |
Christian Urban |
uodated
|
changeset |
files
|
| Thu, 25 Apr 2013 21:37:05 +0100 |
Christian Urban |
added improved Recsursive function theory (not yet finished)
|
changeset |
files
|
| Wed, 24 Apr 2013 09:49:00 +0100 |
Christian Urban |
updated
|
changeset |
files
|
| Mon, 22 Apr 2013 10:33:40 +0100 |
Christian Urban |
used prime from the library
|
changeset |
files
|
| Mon, 22 Apr 2013 08:26:16 +0100 |
Christian Urban |
updated and small modification
|
changeset |
files
|
| Fri, 05 Apr 2013 09:18:17 +0100 |
Christian Urban |
polished the intro
|
changeset |
files
|
| Mon, 01 Apr 2013 21:38:53 +0100 |
Christian Urban |
added paper by Kozen on Hoare-logics and Kleene algebras
|
changeset |
files
|
| Mon, 01 Apr 2013 18:15:00 +0100 |
Christian Urban |
fixed counterexample according to def in Chap 8
|
changeset |
files
|
| Fri, 29 Mar 2013 02:40:38 +0000 |
Christian Urban |
changed the introduction adn cited Zammit
|
changeset |
files
|
| Fri, 29 Mar 2013 01:36:45 +0000 |
Christian Urban |
updated according to comments from reviewers
|
changeset |
files
|
| Wed, 27 Mar 2013 13:24:41 +0000 |
Christian Urban |
tunded
|
changeset |
files
|
| Wed, 27 Mar 2013 13:16:37 +0000 |
Christian Urban |
adapted paper
|
changeset |
files
|
| Wed, 27 Mar 2013 09:47:02 +0000 |
Christian Urban |
much simplified version of Recursive.thy
|
changeset |
files
|
| Thu, 14 Mar 2013 20:43:43 +0000 |
Christian Urban |
tuned
|
changeset |
files
|
| Thu, 14 Mar 2013 19:18:39 +0000 |
Christian Urban |
tuned scala examples
|
changeset |
files
|
| Thu, 14 Mar 2013 19:03:05 +0000 |
Christian Urban |
tuned
|
changeset |
files
|
| Thu, 14 Mar 2013 18:46:34 +0000 |
Christian Urban |
added an abacus to javabyte code compiler
|
changeset |
files
|
| Thu, 14 Mar 2013 18:24:06 +0000 |
Christian Urban |
tuned
|
changeset |
files
|
| Thu, 14 Mar 2013 18:02:26 +0000 |
Christian Urban |
added a stimes_ac lemma for Xingyuan
|
changeset |
files
|
| Tue, 12 Mar 2013 15:03:23 +0000 |
Christian Urban |
better printing of register programs in Scala
|
changeset |
files
|
| Sun, 10 Mar 2013 07:10:50 +0000 |
Christian Urban |
some peephole optimisations in the scala code
|
changeset |
files
|
| Fri, 08 Mar 2013 11:31:04 +0000 |
Christian Urban |
updated
|
changeset |
files
|
| Fri, 08 Mar 2013 11:10:45 +0000 |
Christian Urban |
updated
|
changeset |
files
|
| Thu, 07 Mar 2013 13:41:05 +0000 |
Christian Urban |
tuned conclusion
|
changeset |
files
|
| Thu, 07 Mar 2013 13:19:42 +0000 |
Christian Urban |
small typo in the paper
|
changeset |
files
|
| Thu, 07 Mar 2013 11:52:08 +0000 |
Christian Urban |
added definition of termination for rec_exec
|
changeset |
files
|
| Wed, 06 Mar 2013 07:08:51 +0000 |
Christian Urban |
added an function definition for eval.
|
changeset |
files
|
| Wed, 06 Mar 2013 00:59:18 +0000 |
Christian Urban |
added a comment about deeply embedding of recursive functions
|
changeset |
files
|
| Tue, 05 Mar 2013 15:23:10 +0000 |
Christian Urban |
added a version with partial_function
|
changeset |
files
|
| Sun, 03 Mar 2013 14:08:33 +0000 |
Christian Urban |
partial_function test
|
changeset |
files
|
| Sun, 03 Mar 2013 12:44:42 +0000 |
Christian Urban |
added factorial as an example
|
changeset |
files
|
| Sun, 03 Mar 2013 00:18:13 +0000 |
Christian Urban |
tuned abacus to turing compilation
|
changeset |
files
|
| Sat, 02 Mar 2013 10:42:39 +0000 |
Christian Urban |
finished compliations
|
changeset |
files
|
| Fri, 01 Mar 2013 23:46:02 +0000 |
Christian Urban |
added examples for the rec to abacus compilation
|
changeset |
files
|
| Fri, 01 Mar 2013 11:17:50 +0000 |
Christian Urban |
tuning
|
changeset |
files
|
| Fri, 01 Mar 2013 11:16:30 +0000 |
Christian Urban |
added a test to make the simplifier be fast enough to do actual compilations
|
changeset |
files
|
| Fri, 01 Mar 2013 02:56:08 +0000 |
Christian Urban |
corrected scala compiler from recs to abacus
|
changeset |
files
|
| Thu, 28 Feb 2013 15:21:43 +0000 |
Christian Urban |
updated proofs in Recursive (by Jian)
|
changeset |
files
|
| Thu, 28 Feb 2013 12:37:33 +0000 |
Christian Urban |
simplified slightly rec_compilation function
|
changeset |
files
|
| Wed, 27 Feb 2013 01:32:53 +0000 |
Christian Urban |
added a coment about partial_function
|
changeset |
files
|
| Tue, 26 Feb 2013 23:44:57 +0000 |
Christian Urban |
syntactic convenience for recursive functions
|
changeset |
files
|
| Tue, 26 Feb 2013 17:39:47 +0000 |
Christian Urban |
added all recursive functions needed for the UF
|
changeset |
files
|
| Tue, 26 Feb 2013 17:38:37 +0000 |
Christian Urban |
tuned
|
changeset |
files
|
| Tue, 26 Feb 2013 13:24:40 +0000 |
Christian Urban |
tuned some files
|
changeset |
files
|
| Tue, 26 Feb 2013 12:47:03 +0000 |
Christian Urban |
added an al
|
changeset |
files
|
| Mon, 25 Feb 2013 23:57:25 +0000 |
Christian Urban |
corrected README
|
changeset |
files
|
| Mon, 25 Feb 2013 15:12:48 +0000 |
Christian Urban |
tuned
|
changeset |
files
|
| Fri, 22 Feb 2013 14:31:34 +0000 |
Christian Urban |
updated Scala files
|
changeset |
files
|
| Thu, 21 Feb 2013 16:07:40 +0000 |
Christian Urban |
split up scala-file into separate components
|
changeset |
files
|
| Thu, 21 Feb 2013 14:49:26 +0000 |
Christian Urban |
introduced sealed classes
|
changeset |
files
|
| Thu, 21 Feb 2013 14:27:14 +0000 |
Christian Urban |
compilation from Abacus to Turing in Scala
|
changeset |
files
|
| Thu, 21 Feb 2013 05:34:39 +0000 |
Christian Urban |
renamed sete definition to adjust and old special case of adjust to adjust0
|
changeset |
files
|
| Thu, 21 Feb 2013 05:33:57 +0000 |
Christian Urban |
parts of the Abacus translation
|
changeset |
files
|
| Thu, 21 Feb 2013 00:34:41 +0000 |
Christian Urban |
tuned Scala implementation
|
changeset |
files
|
| Tue, 19 Feb 2013 13:36:35 +0000 |
Christian Urban |
polished some typos in the paper
|
changeset |
files
|
| Tue, 19 Feb 2013 05:11:33 +0000 |
Christian Urban |
added link and comment to fourth edition of Boolos
|
changeset |
files
|
| Tue, 19 Feb 2013 04:56:33 +0000 |
Christian Urban |
added clear-definition to paper
|
changeset |
files
|
| Tue, 19 Feb 2013 04:31:18 +0000 |
Christian Urban |
added newer ROOT file
|
changeset |
files
|
| Mon, 18 Feb 2013 14:39:50 +0000 |
Christian Urban |
updated exponent program
|
changeset |
files
|
| Mon, 18 Feb 2013 13:33:00 +0000 |
Christian Urban |
tuned
|
changeset |
files
|
| Mon, 18 Feb 2013 13:28:51 +0000 |
Christian Urban |
removed unnecessary examples from Abacus.thy
|
changeset |
files
|
| Mon, 18 Feb 2013 13:26:27 +0000 |
Christian Urban |
added abacus machines
|
changeset |
files
|
| Mon, 18 Feb 2013 00:18:56 +0000 |
Christian Urban |
tuned
|
changeset |
files
|
| Sat, 16 Feb 2013 11:02:08 +0000 |
Christian Urban |
added some TM machines
|
changeset |
files
|
| Sat, 16 Feb 2013 09:07:07 +0000 |
Christian Urban |
added abacus programs
|
changeset |
files
|
| Fri, 15 Feb 2013 18:24:00 +0000 |
Christian Urban |
added scala file
|
changeset |
files
|
| Fri, 15 Feb 2013 23:02:20 +0800 |
Jian Xu |
remove dead code in Abacus_mopup
|
changeset |
files
|
| Fri, 15 Feb 2013 14:07:39 +0000 |
Christian Urban |
tuning
|
changeset |
files
|
| Fri, 15 Feb 2013 14:05:26 +0000 |
Christian Urban |
split Mopup TM into a separate file
|
changeset |
files
|
| Fri, 15 Feb 2013 07:42:47 +0000 |
Christian Urban |
polished naming convention
|
changeset |
files
|
| Thu, 14 Feb 2013 12:11:40 +0000 |
Christian Urban |
typo in the paper
|
changeset |
files
|
| Thu, 14 Feb 2013 09:31:19 +0000 |
Christian Urban |
updated some files
|
changeset |
files
|
| Wed, 13 Feb 2013 20:08:14 +0000 |
Christian Urban |
tuned
|
changeset |
files
|
| Tue, 12 Feb 2013 13:37:07 +0000 |
Christian Urban |
small changes
|
changeset |
files
|
| Mon, 11 Feb 2013 08:46:24 +0000 |
Christian Urban |
updated
|
changeset |
files
|
| Mon, 11 Feb 2013 08:31:48 +0000 |
Christian Urban |
removed some dead code
|
changeset |
files
|
| Mon, 11 Feb 2013 00:08:54 +0000 |
Christian Urban |
took out all deadcode from abacus
|
changeset |
files
|
| Sun, 10 Feb 2013 20:56:08 +0000 |
Christian Urban |
fixed compilation of paper and typo
|
changeset |
files
|
| Sun, 10 Feb 2013 19:49:07 +0000 |
Christian Urban |
changed theory names to uppercase
|
changeset |
files
|
| Thu, 07 Feb 2013 06:39:06 +0000 |
Christian Urban |
updated paper
|
changeset |
files
|
| Thu, 07 Feb 2013 06:10:11 +0000 |
Christian Urban |
updated paper
|
changeset |
files
|
| Thu, 07 Feb 2013 06:08:26 +0000 |
Christian Urban |
updated paper
|
changeset |
files
|
| Thu, 07 Feb 2013 05:46:17 +0000 |
Christian Urban |
updated paper
|
changeset |
files
|
| Thu, 07 Feb 2013 05:32:00 +0000 |
Christian Urban |
updated paper
|
changeset |
files
|
| Thu, 07 Feb 2013 05:23:53 +0000 |
Christian Urban |
updated paper
|
changeset |
files
|
| Thu, 07 Feb 2013 05:19:01 +0000 |
Christian Urban |
updated paper
|
changeset |
files
|
| Thu, 07 Feb 2013 05:12:55 +0000 |
Christian Urban |
updated paper
|
changeset |
files
|
| Thu, 07 Feb 2013 04:56:01 +0000 |
Christian Urban |
updated paper
|
changeset |
files
|
| Thu, 07 Feb 2013 04:53:29 +0000 |
Christian Urban |
updated paper
|
changeset |
files
|
| Thu, 07 Feb 2013 04:28:00 +0000 |
Christian Urban |
updated paper
|
changeset |
files
|
| Thu, 07 Feb 2013 03:40:23 +0000 |
Christian Urban |
updated paper
|
changeset |
files
|
| Thu, 07 Feb 2013 03:37:02 +0000 |
Christian Urban |
updated paper
|
changeset |
files
|
| Thu, 07 Feb 2013 03:33:32 +0000 |
Christian Urban |
updated paper
|
changeset |
files
|
| Thu, 07 Feb 2013 03:19:36 +0000 |
Christian Urban |
updated paper
|
changeset |
files
|
| Thu, 07 Feb 2013 03:15:29 +0000 |
Christian Urban |
updated paper
|
changeset |
files
|
| Thu, 07 Feb 2013 03:14:58 +0000 |
Christian Urban |
updated paper
|
changeset |
files
|
| Thu, 07 Feb 2013 03:01:51 +0000 |
Christian Urban |
updated paper
|
changeset |
files
|
| Thu, 07 Feb 2013 01:00:55 +0000 |
Christian Urban |
updated paper
|
changeset |
files
|
| Thu, 07 Feb 2013 00:50:19 +0000 |
Christian Urban |
updated paper
|
changeset |
files
|
| Thu, 07 Feb 2013 00:48:09 +0000 |
Christian Urban |
updated paper
|
changeset |
files
|
| Thu, 07 Feb 2013 00:46:04 +0000 |
Christian Urban |
updated paper
|
changeset |
files
|
| Wed, 06 Feb 2013 14:14:35 +0000 |
Christian Urban |
updated
|
changeset |
files
|
| Wed, 06 Feb 2013 14:09:35 +0000 |
Christian Urban |
updated
|
changeset |
files
|
| Wed, 06 Feb 2013 14:06:18 +0000 |
Christian Urban |
updated
|
changeset |
files
|
| Wed, 06 Feb 2013 13:28:01 +0000 |
Christian Urban |
updated
|
changeset |
files
|
| Wed, 06 Feb 2013 13:21:35 +0000 |
Christian Urban |
updated
|
changeset |
files
|
| Wed, 06 Feb 2013 05:58:01 +0000 |
Christian Urban |
updated
|
changeset |
files
|
| Wed, 06 Feb 2013 05:49:16 +0000 |
Christian Urban |
updated
|
changeset |
files
|
| Wed, 06 Feb 2013 04:39:08 +0000 |
Christian Urban |
updated
|
changeset |
files
|
| Wed, 06 Feb 2013 04:32:18 +0000 |
Christian Urban |
updated
|
changeset |
files
|
| Wed, 06 Feb 2013 04:27:03 +0000 |
Christian Urban |
updated
|
changeset |
files
|
| Wed, 06 Feb 2013 04:11:06 +0000 |
Christian Urban |
added UTM
|
changeset |
files
|
| Wed, 06 Feb 2013 03:37:26 +0000 |
Christian Urban |
updated recursive
|
changeset |
files
|
| Wed, 06 Feb 2013 02:42:52 +0000 |
Christian Urban |
added readme
|
changeset |
files
|
| Wed, 06 Feb 2013 02:39:53 +0000 |
Christian Urban |
moved old files into attic
|
changeset |
files
|
| Wed, 06 Feb 2013 02:25:00 +0000 |
Christian Urban |
updated
|
changeset |
files
|
| Tue, 05 Feb 2013 12:41:00 +0000 |
Christian Urban |
conclusion
|
changeset |
files
|
| Tue, 05 Feb 2013 10:23:08 +0000 |
Christian Urban |
updated
|
changeset |
files
|
| Tue, 05 Feb 2013 10:12:56 +0000 |
Christian Urban |
updated
|
changeset |
files
|
| Tue, 05 Feb 2013 10:11:38 +0000 |
Christian Urban |
updated
|
changeset |
files
|
| Tue, 05 Feb 2013 09:36:21 +0000 |
Christian Urban |
paper
|
changeset |
files
|
| Tue, 05 Feb 2013 09:22:56 +0000 |
Christian Urban |
updated
|
changeset |
files
|
| Tue, 05 Feb 2013 09:17:06 +0000 |
Christian Urban |
updated
|
changeset |
files
|
| Tue, 05 Feb 2013 08:58:30 +0000 |
Christian Urban |
updated
|
changeset |
files
|
| Tue, 05 Feb 2013 08:57:55 +0000 |
Christian Urban |
updated
|
changeset |
files
|
| Mon, 04 Feb 2013 23:12:17 +0000 |
Christian Urban |
paper
|
changeset |
files
|
| Mon, 04 Feb 2013 21:11:43 +0000 |
Christian Urban |
started with abacus section
|
changeset |
files
|
| Mon, 04 Feb 2013 11:14:03 +0000 |
Christian Urban |
updated
|
changeset |
files
|
| Mon, 04 Feb 2013 01:47:26 +0000 |
Christian Urban |
abacus section updated
|
changeset |
files
|
| Mon, 04 Feb 2013 01:17:09 +0000 |
Christian Urban |
updated
|
changeset |
files
|
| Sun, 03 Feb 2013 13:31:14 +0000 |
Christian Urban |
made uncomputable compatible with abacus
|
changeset |
files
|
| Sun, 03 Feb 2013 12:24:28 +0000 |
Christian Urban |
completed undecidability proof
|
changeset |
files
|
| Sun, 03 Feb 2013 12:24:00 +0000 |
Christian Urban |
updated paper
|
changeset |
files
|
| Fri, 01 Feb 2013 14:54:47 +0000 |
Christian Urban |
updated paper
|
changeset |
files
|
| Fri, 01 Feb 2013 13:12:55 +0000 |
Christian Urban |
updated paper
|
changeset |
files
|
| Fri, 01 Feb 2013 10:14:09 +0000 |
Christian Urban |
updated paper
|
changeset |
files
|
| Fri, 01 Feb 2013 01:34:37 +0000 |
Christian Urban |
updated paper
|
changeset |
files
|
| Thu, 31 Jan 2013 11:35:16 +0000 |
Christian Urban |
updated paper
|
changeset |
files
|
| Wed, 30 Jan 2013 23:57:33 +0000 |
Christian Urban |
updated theories
|
changeset |
files
|
| Wed, 30 Jan 2013 23:00:09 +0000 |
Christian Urban |
updated paper
|
changeset |
files
|
| Wed, 30 Jan 2013 09:33:06 +0000 |
Christian Urban |
theories
|
changeset |
files
|
| Wed, 30 Jan 2013 03:46:22 +0000 |
Christian Urban |
updated paper
|
changeset |
files
|
| Wed, 30 Jan 2013 03:33:05 +0000 |
Christian Urban |
updated paper
|
changeset |
files
|
| Wed, 30 Jan 2013 02:29:47 +0000 |
Christian Urban |
updated paper
|
changeset |
files
|
| Wed, 30 Jan 2013 02:26:56 +0000 |
Christian Urban |
updated paper
|
changeset |
files
|
| Tue, 29 Jan 2013 16:37:38 +0000 |
Christian Urban |
updated uncomputable
|
changeset |
files
|
| Tue, 29 Jan 2013 13:00:51 +0000 |
Christian Urban |
updated paper
|
changeset |
files
|
| Tue, 29 Jan 2013 12:37:06 +0000 |
Christian Urban |
updated paper
|
changeset |
files
|
| Mon, 28 Jan 2013 02:38:57 +0000 |
Christian Urban |
updated paper
|
changeset |
files
|
| Sun, 27 Jan 2013 20:01:13 +0000 |
Christian Urban |
updated paper
|
changeset |
files
|
| Sun, 27 Jan 2013 17:15:38 +0000 |
Christian Urban |
updated paper
|
changeset |
files
|
| Sun, 27 Jan 2013 15:46:32 +0000 |
Christian Urban |
updated paper
|
changeset |
files
|
| Sun, 27 Jan 2013 14:57:54 +0000 |
Christian Urban |
updated uncomputable
|
changeset |
files
|
| Sun, 27 Jan 2013 00:09:17 +0000 |
Christian Urban |
updated paper
|
changeset |
files
|
| Sat, 26 Jan 2013 21:46:12 +0000 |
Christian Urban |
updated paper
|
changeset |
files
|
| Sat, 26 Jan 2013 12:00:21 +0000 |
Christian Urban |
updated paper
|
changeset |
files
|
| Sat, 26 Jan 2013 11:50:40 +0000 |
Christian Urban |
updated paper
|
changeset |
files
|
| Sat, 26 Jan 2013 01:36:48 +0000 |
Christian Urban |
updated paper
|
changeset |
files
|
| Fri, 25 Jan 2013 22:12:01 +0000 |
Christian Urban |
simplified uncomputable-locale
|
changeset |
files
|
| Fri, 25 Jan 2013 22:03:03 +0000 |
Christian Urban |
simplified uncomputable-locale
|
changeset |
files
|
| Fri, 25 Jan 2013 21:15:09 +0000 |
Christian Urban |
updated paper
|
changeset |
files
|
| Fri, 25 Jan 2013 15:57:58 +0100 |
Christian Urban |
updated
|
changeset |
files
|
| Thu, 24 Jan 2013 18:59:49 +0100 |
Christian Urban |
updated paper
|
changeset |
files
|
| Thu, 24 Jan 2013 17:40:04 +0100 |
Christian Urban |
updated paper
|
changeset |
files
|
| Thu, 24 Jan 2013 17:15:42 +0100 |
Christian Urban |
updated paper
|
changeset |
files
|
| Thu, 24 Jan 2013 17:14:39 +0100 |
Christian Urban |
updated paper
|
changeset |
files
|
| Thu, 24 Jan 2013 15:04:11 +0100 |
Christian Urban |
updated
|
changeset |
files
|
| Thu, 24 Jan 2013 12:01:44 +0100 |
Christian Urban |
added literature
|
changeset |
files
|
| Thu, 24 Jan 2013 11:38:07 +0100 |
Christian Urban |
updated paper
|
changeset |
files
|
| Thu, 24 Jan 2013 10:53:43 +0100 |
Christian Urban |
updated paper
|
changeset |
files
|
| Thu, 24 Jan 2013 00:20:26 +0100 |
Christian Urban |
updated
|
changeset |
files
|
| Wed, 23 Jan 2013 20:18:40 +0100 |
Christian Urban |
updated
|
changeset |
files
|
| Wed, 23 Jan 2013 17:02:23 +0100 |
Christian Urban |
tuned
|
changeset |
files
|
| Wed, 23 Jan 2013 15:57:35 +0100 |
Christian Urban |
tuned
|
changeset |
files
|
| Wed, 23 Jan 2013 15:42:47 +0100 |
Christian Urban |
using some abbreviations
|
changeset |
files
|
| Wed, 23 Jan 2013 15:33:26 +0100 |
Christian Urban |
tuned more
|
changeset |
files
|
| Wed, 23 Jan 2013 15:06:32 +0100 |
Christian Urban |
also polished uh_h proof
|
changeset |
files
|
| Wed, 23 Jan 2013 12:25:24 +0100 |
Christian Urban |
updated h_uh proof in uncomputable
|
changeset |
files
|
| Wed, 23 Jan 2013 08:01:35 +0100 |
Christian Urban |
small updates
|
changeset |
files
|
| Tue, 22 Jan 2013 14:46:02 +0000 |
Christian Urban |
updated
|
changeset |
files
|
| Tue, 22 Jan 2013 14:38:56 +0000 |
Christian Urban |
updated files
|
changeset |
files
|
| Sun, 20 Jan 2013 16:01:16 +0000 |
Christian Urban |
new version of abacus
|
changeset |
files
|
| Sun, 20 Jan 2013 05:04:19 +0000 |
Christian Urban |
polished turing_basic
|
changeset |
files
|
| Sat, 19 Jan 2013 21:03:55 +0000 |
Christian Urban |
more proofs polished
|
changeset |
files
|
| Sat, 19 Jan 2013 19:23:42 +0000 |
Christian Urban |
more proofs polished
|
changeset |
files
|
| Sat, 19 Jan 2013 15:27:21 +0000 |
Christian Urban |
some small changes to turing and uncomputable
|
changeset |
files
|
| Sat, 19 Jan 2013 14:44:07 +0000 |
Christian Urban |
added turing_hoare
|
changeset |
files
|
| Sat, 19 Jan 2013 14:29:56 +0000 |
Christian Urban |
changed slightly HOARE-def
|
changeset |
files
|
| Sat, 19 Jan 2013 12:46:28 +0000 |
Christian Urban |
tuned
|
changeset |
files
|
| Sat, 19 Jan 2013 12:45:14 +0000 |
Christian Urban |
updated before_final
|
changeset |
files
|
| Fri, 18 Jan 2013 23:59:33 +0000 |
Christian Urban |
slight update
|
changeset |
files
|
| Fri, 18 Jan 2013 13:56:35 +0000 |
Christian Urban |
updated turing_basic by Jian
|
changeset |
files
|
| Fri, 18 Jan 2013 13:03:09 +0000 |
Christian Urban |
shortening a bit the paper and updating various things
|
changeset |
files
|
| Fri, 18 Jan 2013 11:40:01 +0000 |
Christian Urban |
updated to ITP and updated directories
|
changeset |
files
|
| Thu, 17 Jan 2013 11:51:00 +0000 |
Christian Urban |
added abacus
|
changeset |
files
|
| Wed, 16 Jan 2013 15:17:02 +0000 |
Christian Urban |
paper
|
changeset |
files
|
| Wed, 16 Jan 2013 10:20:49 +0000 |
Christian Urban |
updated uncomputable
|
changeset |
files
|
| Wed, 16 Jan 2013 10:12:43 +0000 |
Christian Urban |
added Jian's new version of uncomputable
|
changeset |
files
|
| Tue, 15 Jan 2013 19:05:15 +0000 |
Christian Urban |
updated literature
|
changeset |
files
|
| Mon, 14 Jan 2013 21:40:38 +0000 |
Christian Urban |
added llncs
|
changeset |
files
|
| Sun, 13 Jan 2013 23:59:29 +0000 |
Christian Urban |
some experiments
|
changeset |
files
|
| Sun, 13 Jan 2013 11:29:33 +0000 |
Christian Urban |
updated test
|
changeset |
files
|
| Sun, 13 Jan 2013 09:57:28 +0000 |
Christian Urban |
added test about hoare triples
|
changeset |
files
|
| Sun, 13 Jan 2013 06:19:05 +0000 |
Christian Urban |
updated contribution section
|
changeset |
files
|
| Sat, 12 Jan 2013 08:16:15 +0000 |
Christian Urban |
added new version of uncomputable
|
changeset |
files
|
| Sat, 12 Jan 2013 02:14:29 +0000 |
Christian Urban |
updated
|
changeset |
files
|
| Sat, 12 Jan 2013 01:33:20 +0000 |
Christian Urban |
removed second definition of tshift in abacus.
|
changeset |
files
|
| Sat, 12 Jan 2013 01:05:01 +0000 |
Christian Urban |
updated
|
changeset |
files
|
| Fri, 11 Jan 2013 13:18:33 +0000 |
Christian Urban |
update
|
changeset |
files
|
| Fri, 11 Jan 2013 08:47:02 +0000 |
Christian Urban |
update
|
changeset |
files
|
| Fri, 11 Jan 2013 05:49:25 +0000 |
Christian Urban |
update
|
changeset |
files
|
| Fri, 11 Jan 2013 05:45:40 +0000 |
Christian Urban |
update
|
changeset |
files
|
| Thu, 10 Jan 2013 13:13:27 +0000 |
Christian Urban |
update
|
changeset |
files
|
| Thu, 10 Jan 2013 13:03:25 +0000 |
Christian Urban |
update
|
changeset |
files
|
| Thu, 10 Jan 2013 12:30:27 +0000 |
Christian Urban |
update
|
changeset |
files
|
| Thu, 10 Jan 2013 11:28:26 +0000 |
Christian Urban |
update
|
changeset |
files
|
| Thu, 10 Jan 2013 11:27:45 +0000 |
Christian Urban |
update
|
changeset |
files
|
| Thu, 10 Jan 2013 08:58:31 +0000 |
Christian Urban |
update
|
changeset |
files
|
| Thu, 10 Jan 2013 08:28:25 +0000 |
Christian Urban |
update
|
changeset |
files
|
| Thu, 10 Jan 2013 08:27:42 +0000 |
Christian Urban |
update
|
changeset |
files
|
| Thu, 10 Jan 2013 07:34:08 +0000 |
Christian Urban |
update
|
changeset |
files
|
| Thu, 10 Jan 2013 07:33:51 +0000 |
Christian Urban |
update
|
changeset |
files
|
| Thu, 10 Jan 2013 07:20:28 +0000 |
Christian Urban |
added
|
changeset |
files
|
| Thu, 10 Jan 2013 01:46:51 +0000 |
Christian Urban |
updated
|
changeset |
files
|
| Wed, 09 Jan 2013 13:35:09 +0000 |
Christian Urban |
updated
|
changeset |
files
|
| Tue, 08 Jan 2013 01:21:02 +0000 |
Christian Urban |
updated
|
changeset |
files
|
| Sun, 06 Jan 2013 23:50:24 +0000 |
Christian Urban |
updated
|
changeset |
files
|
| Sat, 05 Jan 2013 00:31:43 +0000 |
Christian Urban |
updated
|
changeset |
files
|
| Fri, 04 Jan 2013 22:49:02 +0000 |
Christian Urban |
updated
|
changeset |
files
|
| Fri, 04 Jan 2013 13:10:30 +0000 |
Christian Urban |
updated
|
changeset |
files
|
| Thu, 03 Jan 2013 00:53:14 +0000 |
Christian Urban |
updated
|
changeset |
files
|
| Thu, 03 Jan 2013 00:44:20 +0000 |
Christian Urban |
added
|
changeset |
files
|
| Sun, 30 Dec 2012 22:15:54 +0000 |
Christian Urban |
more
|
changeset |
files
|
| Sun, 30 Dec 2012 21:18:39 +0000 |
Christian Urban |
more on the paper
|
changeset |
files
|
| Sun, 30 Dec 2012 14:58:48 +0000 |
Christian Urban |
more
|
changeset |
files
|
| Sat, 29 Dec 2012 20:17:57 +0000 |
Christian Urban |
added paper
|
changeset |
files
|
| Thu, 27 Dec 2012 16:34:31 +0000 |
Christian Urban |
added Asperti paper
|
changeset |
files
|
| Thu, 27 Dec 2012 10:07:17 +0000 |
Christian Urban |
added more literature
|
changeset |
files
|
| Wed, 26 Dec 2012 23:50:54 +0000 |
Christian Urban |
added Norrish as Literature
|
changeset |
files
|
| Wed, 26 Dec 2012 19:03:06 +0000 |
Christian Urban |
updated
|
changeset |
files
|
| Wed, 26 Dec 2012 14:52:14 +0000 |
Christian Urban |
added
|
changeset |
files
|
| Mon, 24 Dec 2012 01:26:23 +0000 |
Christian Urban |
initial setup
|
changeset |
files
|