# # ChangeLog for Papers # # Generated by Trac 1.2 # Dec 13, 2019, 1:52:12 AM Tue, 04 Jun 2013 14:17:39 GMT sacerdot [3307] * Papers/fopara2013 (added) * Papers/fopara2013/fopara13.tex (added) * Papers/fopara2013/llncs.cls (added) Importing text from D1.4. Thu, 30 May 2013 15:28:20 GMT tranquil [3306] * Papers/itp-2013/ccexec.tex (modified) altre modifiche e qualche taglio (i risultati per tll e tal) Wed, 29 May 2013 16:25:11 GMT tranquil [3305] * Papers/itp-2013/ccexec.tex (modified) messo qualche figura, e molte notazioni Tue, 30 Apr 2013 09:45:00 GMT tranquil [3222] * Deliverables/D4.4/mauro.tex (modified) * Deliverables/D4.4/paolo.tex (modified) * Deliverables/D4.4/report.tex (modified) * Papers/cpp-asm-2012/cpp-2012-asm.tex (modified) * Papers/itp-2013/ccexec.tex (modified) added pages to included papers. final version. Mon, 29 Apr 2013 16:14:15 GMT tranquil [3213] * Deliverables/D4.4/mauro.tex (modified) * Deliverables/D4.4/paolo.tex (modified) * Deliverables/D4.4/report.bib (added) * Deliverables/D4.4/report.tex (modified) * Papers/itp-2013/ccexec.tex (modified) summary for D4.4, and other modifications Wed, 06 Feb 2013 22:51:35 GMT sacerdot [2637] * Papers/itp-2013/ccexec.tex (modified) ... Wed, 06 Feb 2013 22:28:32 GMT sacerdot [2635] * Papers/itp-2013/ccexec.bib (modified) * Papers/itp-2013/ccexec.tex (modified) ... Wed, 06 Feb 2013 22:23:28 GMT sacerdot [2634] * Papers/itp-2013/ccexec.tex (modified) ... Wed, 06 Feb 2013 22:16:24 GMT sacerdot [2633] * Papers/itp-2013/ccexec.tex (modified) ... Wed, 06 Feb 2013 22:11:29 GMT sacerdot [2632] * Papers/itp-2013/ccexec.tex (modified) ... Wed, 06 Feb 2013 21:28:57 GMT sacerdot [2631] * Papers/itp-2013/ccexec.tex (modified) ... Wed, 06 Feb 2013 21:19:52 GMT sacerdot [2630] * Papers/itp-2013/ccexec.tex (modified) ... Wed, 06 Feb 2013 21:19:30 GMT sacerdot [2629] * Papers/itp-2013/ccexec.tex (modified) ... Wed, 06 Feb 2013 21:18:25 GMT sacerdot [2628] * Papers/itp-2013/ccexec.tex (modified) ... Wed, 06 Feb 2013 21:06:05 GMT sacerdot [2627] * Papers/itp-2013/ccexec.tex (modified) ... Wed, 06 Feb 2013 20:32:13 GMT sacerdot [2626] * Papers/itp-2013/ccexec.bib (modified) * Papers/itp-2013/ccexec.tex (modified) ... Wed, 06 Feb 2013 19:14:38 GMT sacerdot [2625] * Papers/itp-2013/ccexec.tex (modified) ... Wed, 06 Feb 2013 17:11:49 GMT sacerdot [2622] * Papers/itp-2013/ccexec.tex (modified) ... Wed, 06 Feb 2013 16:53:09 GMT sacerdot [2621] * Papers/itp-2013/ccexec.bib (modified) ... Wed, 06 Feb 2013 15:07:13 GMT sacerdot [2616] * Papers/itp-2013/ccexec.tex (modified) ... Wed, 06 Feb 2013 14:51:53 GMT sacerdot [2615] * Papers/itp-2013/ccexec.tex (modified) ... Wed, 06 Feb 2013 14:39:17 GMT sacerdot [2614] * Papers/itp-2013/ccexec.tex (modified) ... Wed, 06 Feb 2013 14:30:17 GMT sacerdot [2613] * Papers/itp-2013/ccexec.tex (modified) ... Wed, 06 Feb 2013 14:15:04 GMT sacerdot [2612] * Papers/itp-2013/ccexec.tex (modified) ... Wed, 06 Feb 2013 13:21:23 GMT sacerdot [2611] * Papers/itp-2013/ccexec.tex (modified) ... Wed, 06 Feb 2013 13:00:43 GMT sacerdot [2610] * Papers/itp-2013/bcprules.sty (added) * Papers/itp-2013/ccexec.bib (added) * Papers/itp-2013/ccexec.tex (modified) ... Wed, 06 Feb 2013 12:56:01 GMT sacerdot [2609] * Papers/itp-2013/ccexec.tex (modified) * Papers/itp-2013/splncs03.bst (added) Bibliography in place. Wed, 06 Feb 2013 11:15:02 GMT sacerdot [2607] * Papers/itp-2013/ccexec.tex (modified) authors fixed Wed, 06 Feb 2013 11:13:00 GMT sacerdot [2606] * Papers/itp-2013/ccexec.tex (modified) conclusions Wed, 06 Feb 2013 09:30:23 GMT sacerdot [2605] * Papers/itp-2013 (added) * Papers/itp-2013/ccexec.tex (added) * Papers/itp-2013/llncs.cls (added) A tentative submission to itp-2013. We will probably not submit the ... Tue, 11 Dec 2012 14:19:42 GMT mulligan [2552] * Papers/polymorphic-variants-2012/Variants2.agda (added) Some different ideas, don't seem to be working out well. Mon, 10 Dec 2012 17:39:57 GMT mulligan [2550] * Papers/polymorphic-variants-2012/Variants.agda (modified) Some new ideas that lead to non-termination... Mon, 10 Dec 2012 15:44:33 GMT mulligan [2549] * Papers/polymorphic-variants-2012/Variants.agda (modified) Not as straightforward as first imagined... Fri, 07 Dec 2012 17:49:40 GMT mulligan [2546] * Papers/polymorphic-variants-2012/Variants.agda (modified) Some more progress. Fri, 07 Dec 2012 16:52:23 GMT mulligan [2544] * Papers/polymorphic-variants-2012/Variants.agda (modified) More added, painful crash course in learning Agda. Seem to have the ... Fri, 07 Dec 2012 10:13:00 GMT mulligan [2542] * Papers/polymorphic-variants-2012/Variants.agda (added) * Papers/polymorphic-variants-2012/polymorphic-variants.tex (modified) Trying an Agda port of the polymorphic variants implementation to see ... Mon, 03 Dec 2012 16:48:57 GMT sacerdot [2526] * Papers/polymorphic-variants-2012/polymorphic-variants.tex (modified) ... Mon, 03 Dec 2012 16:39:42 GMT sacerdot [2525] * Papers/polymorphic-variants-2012/polymorphic-variants.tex (modified) ... Mon, 03 Dec 2012 15:41:06 GMT mulligan [2524] * Papers/polymorphic-variants-2012/polymorphic-variants.tex (modified) Avoiding conflicts Mon, 03 Dec 2012 15:30:39 GMT sacerdot [2523] * Papers/polymorphic-variants-2012/polymorphic-variants.tex (modified) ... Mon, 03 Dec 2012 15:15:03 GMT sacerdot [2522] * Papers/polymorphic-variants-2012/infrastructure.ma (modified) * Papers/polymorphic-variants-2012/variants.ma (modified) Generic stuff moved to infrastructure. Mon, 03 Dec 2012 15:10:22 GMT sacerdot [2521] * Papers/polymorphic-variants-2012/polymorphic-variants.tex (modified) .. Mon, 03 Dec 2012 15:07:45 GMT sacerdot [2520] * Papers/polymorphic-variants-2012/test.ma (modified) * Papers/polymorphic-variants-2012/variants.ma (modified) Now it is nice! Mon, 03 Dec 2012 11:29:42 GMT mulligan [2519] * Papers/polymorphic-variants-2012/lst-grafite.tex (added) * Papers/polymorphic-variants-2012/polymorphic-variants.tex (modified) To prevent conflicts Mon, 03 Dec 2012 11:28:11 GMT sacerdot [2518] * Papers/polymorphic-variants-2012/polymorphic-variants.tex (modified) ... Mon, 03 Dec 2012 10:51:17 GMT sacerdot [2517] * Papers/polymorphic-variants-2012/polymorphic-variants.tex (modified) ... Sun, 02 Dec 2012 16:20:39 GMT sacerdot [2515] * Papers/polymorphic-variants-2012/polymorphic-variants.tex (modified) ... Sun, 02 Dec 2012 15:40:41 GMT sacerdot [2514] * Papers/polymorphic-variants-2012/ASM.ma (added) * Papers/polymorphic-variants-2012/infrastructure.ma (added) * Papers/polymorphic-variants-2012/test.ma (modified) * Papers/polymorphic-variants-2012/test2.ma (added) * Papers/polymorphic-variants-2012/test3.ma (modified) * Papers/polymorphic-variants-2012/testb.ma (added) * Papers/polymorphic-variants-2012/variants.ma (added) All .ma files committed: some of them are just in-progress. Tue, 20 Nov 2012 17:39:20 GMT mulligan [2480] * Papers/structured-traces-2012/structured-traces.tex (modified) Some more changes. Tue, 20 Nov 2012 16:12:30 GMT mulligan [2479] * Papers/structured-traces-2012/structured-traces.tex (modified) A small amount of rewriting as i didn't like the original ... Tue, 13 Nov 2012 18:06:27 GMT campbell [2461] * Papers/structured-traces-2012/traces.svg (added) First cut of inductive structured traces diagrams. Mon, 12 Nov 2012 15:39:57 GMT campbell [2455] * Papers/structured-traces-2012/structured-traces.tex (modified) Dump rough notes on RTLabs structured traces existence proof. Sat, 10 Nov 2012 16:31:22 GMT mulligan [2451] * Papers/structured-traces-2012/structured-traces.tex (modified) Structured traces paper for Brian as per e-mail conversation yesterday. Mon, 05 Nov 2012 10:14:45 GMT mulligan [2427] * Papers/polymorphic-variants-2012/polymorphic-variants.tex (modified) More work on explanation. Wed, 31 Oct 2012 14:33:33 GMT mulligan [2425] * Papers/polymorphic-variants-2012/polymorphic-variants.tex (modified) Garrigue's stuff completely added to the paper. Need to explain the ... Wed, 31 Oct 2012 11:59:12 GMT mulligan [2424] * Papers/polymorphic-variants-2012/polymorphic-variants.tex (modified) * Papers/polymorphic-variants-2012/prooftree.sty (added) Changes to the file including making a start on incorporating ... Tue, 30 Oct 2012 10:52:42 GMT mulligan [2419] * Papers/cerco-assembler-2012/cerco-assembler.bib (added) * Papers/cerco-assembler-2012/cerco-assembler.tex (modified) Some initial work. Thu, 25 Oct 2012 10:30:01 GMT mulligan [2416] * Papers/cpp-asm-2012/cpp-2012-asm.tex (modified) * Papers/polymorphic-variants-2012/polymorphic-variants.bib (modified) * Papers/polymorphic-variants-2012/polymorphic-variants.tex (modified) Some more minor changes Tue, 23 Oct 2012 12:43:58 GMT mulligan [2414] * Papers/polymorphic-variants-2012/polymorphic-variants.bib (added) * Papers/polymorphic-variants-2012/polymorphic-variants.tex (modified) Added bib file, done a little bit of rearrangement. Sat, 20 Oct 2012 18:08:24 GMT sacerdot [2411] * Papers/polymorphic-variants-2012/test3.ma (added) Extensible records implemented via option type. One axiom left. Fri, 19 Oct 2012 15:05:55 GMT mulligan [2410] * Papers/polymorphic-variants-2012/polymorphic-variants.tex (modified) Changes to Section 2. Fri, 19 Oct 2012 14:48:06 GMT mulligan [2409] * Papers/polymorphic-variants-2012/polymorphic-variants.tex (modified) Some text about algebraic data types and their limitations. Needs to ... Fri, 19 Oct 2012 12:07:29 GMT sacerdot [2408] * Papers/polymorphic-variants-2012/polymorphic-variants.tex (modified) ... Thu, 18 Oct 2012 16:35:36 GMT sacerdot [2406] * Papers/polymorphic-variants-2012/test.ma (modified) Elimination principle committed. Thu, 18 Oct 2012 15:29:44 GMT sacerdot [2405] * Papers/polymorphic-variants-2012/test.ma (modified) Type of elimination principle generated + more lemmas. Thu, 18 Oct 2012 14:10:56 GMT sacerdot [2404] * Papers/polymorphic-variants-2012/test.ma (modified) Example finished. Thu, 18 Oct 2012 13:57:33 GMT sacerdot [2403] * Papers/polymorphic-variants-2012/test.ma (modified) More work, example almost finished up to recursive type. Thu, 18 Oct 2012 13:36:50 GMT sacerdot [2402] * Papers/polymorphic-variants-2012/test.ma (modified) Progress on parametric types. Thu, 18 Oct 2012 11:41:43 GMT mulligan [2401] * Papers/cerco-assembler-2012 (added) * Papers/cerco-assembler-2012/cerco-assembler.tex (added) For Jaap's delight. Thu, 18 Oct 2012 11:40:59 GMT sacerdot [2400] * Papers/polymorphic-variants-2012/test.ma (added) Some tests. Wed, 17 Oct 2012 10:27:19 GMT mulligan [2397] * Papers/polymorphic-variants-2012/polymorphic-variants.tex (modified) Knocked the initial skeleton into some form of compilable state Wed, 17 Oct 2012 10:20:29 GMT mulligan [2396] * Papers/polymorphic-variants-2012 (added) * Papers/polymorphic-variants-2012/polymorphic-variants.tex (added) * Papers/polymorphic-variants-2012/spbasic.bst (added) * Papers/polymorphic-variants-2012/spmpsci.bst (added) * Papers/polymorphic-variants-2012/spphys.bst (added) * Papers/polymorphic-variants-2012/svglov3.clo (added) * Papers/polymorphic-variants-2012/svjour3.cls (added) Polymorphic variants paper skeleton Mon, 01 Oct 2012 09:55:26 GMT campbell [2382] * Papers/cpp-exec-2012/ccexec.pdf (moved) * Papers/cpp-exec-2012/ccexec.tex (modified) * Papers/cpp-exec-2012/semantics.pdf (modified) * Papers/cpp-exec-2012/semantics.svg (modified) Final version of executable semantics paper. Mon, 01 Oct 2012 09:55:24 GMT campbell [2381] * Papers/cpp-exec-2012 (added) * Papers/cpp-exec-2012/cc-diagram.pdf (added) * Papers/cpp-exec-2012/cc-diagram.svg (added) * Papers/cpp-exec-2012/ccexec.bib (added) * Papers/cpp-exec-2012/ccexec.tex (added) * Papers/cpp-exec-2012/cpp2012-submission.pdf (added) * Papers/cpp-exec-2012/llncs.cls (added) * Papers/cpp-exec-2012/semantics.pdf (added) * Papers/cpp-exec-2012/semantics.svg (added) * Papers/cpp-exec-2012/splncs03.bst (added) Executable semantics paper as it was in the first submission. Fri, 28 Sep 2012 16:35:12 GMT mulligan [2380] * Papers/cpp-asm-2012/cpp-2012-asm.tex (modified) Some spelling changes to Britishi*S*e the text. Fri, 28 Sep 2012 16:26:29 GMT mulligan [2379] * Papers/cpp-asm-2012/cpp-2012-asm.tex (modified) Down to 16 pages again Fri, 28 Sep 2012 16:24:44 GMT sacerdot [2378] * Papers/cpp-asm-2012/cpp-2012-asm.tex (modified) * Papers/cpp-asm-2012/reviews.txt (modified) ... Fri, 28 Sep 2012 16:18:25 GMT sacerdot [2377] * Papers/cpp-asm-2012/cpp-2012-asm.tex (modified) * Papers/cpp-asm-2012/reviews.txt (modified) typo fixed Fri, 28 Sep 2012 16:13:33 GMT mulligan [2376] * Papers/cpp-asm-2012/cpp-2012-asm.tex (modified) To avoid conflicts Fri, 28 Sep 2012 16:12:02 GMT sacerdot [2375] * Papers/cpp-asm-2012/cpp-2012-asm.tex (modified) ... Fri, 28 Sep 2012 15:54:08 GMT sacerdot [2374] * Papers/cpp-asm-2012/cpp-2012-asm.tex (modified) ... Fri, 28 Sep 2012 15:43:24 GMT mulligan [2373] * Papers/cpp-asm-2012/cpp-2012-asm.tex (modified) Changes to the Italian-English Fri, 28 Sep 2012 15:28:43 GMT sacerdot [2372] * Papers/cpp-asm-2012/cpp-2012-asm.tex (modified) 3.5 rewritten up to XXXX Fri, 28 Sep 2012 15:09:46 GMT mulligan [2371] * Papers/cpp-asm-2012/copyright.pdf (added) Added scanned LNCS copyright form as a PDF Fri, 28 Sep 2012 14:19:25 GMT mulligan [2370] * Papers/cpp-asm-2012/cpp-2012-asm.bib (modified) * Papers/cpp-asm-2012/cpp-2012-asm.tex (modified) Added reference to Jaap's ArXiv paper Fri, 28 Sep 2012 13:13:49 GMT mulligan [2369] * Papers/cpp-asm-2012/cpp-2012-asm.tex (modified) English fixes and some rewording. Fri, 28 Sep 2012 09:41:39 GMT sacerdot [2368] * Papers/cpp-asm-2012/cpp-2012-asm.tex (modified) 3.4 patched. Fri, 28 Sep 2012 00:27:37 GMT sacerdot [2367] * Papers/cpp-asm-2012/cpp-2012-asm.tex (modified) ... Fri, 28 Sep 2012 00:19:06 GMT sacerdot [2366] * Papers/cpp-asm-2012/cpp-2012-asm.tex (modified) ... Thu, 27 Sep 2012 15:48:10 GMT mulligan [2365] * Papers/cpp-asm-2012/cpp-2012-asm.tex (modified) More minor tweaks. Thu, 27 Sep 2012 15:46:59 GMT mulligan [2364] * Papers/cpp-asm-2012/cpp-2012-asm.tex (modified) Some minor changes to Claudio's additions and reinstatement of some ... Thu, 27 Sep 2012 15:36:44 GMT sacerdot [2363] * Papers/cpp-asm-2012/cpp-2012-asm.tex (modified) New 3.3. Maybe worse than the previous one. Thu, 27 Sep 2012 15:34:35 GMT mulligan [2362] * Papers/cpp-asm-2012/cpp-2012-asm.bib (modified) * Papers/cpp-asm-2012/cpp-2012-asm.tex (modified) 16 pages at last due to all sorts of fiddling. Any more additions ... Thu, 27 Sep 2012 14:24:04 GMT mulligan [2361] * Papers/cpp-asm-2012/cpp-2012-asm.tex (modified) Just half of a page left to find. Thu, 27 Sep 2012 13:28:44 GMT mulligan [2360] * Papers/cpp-asm-2012/cpp-2012-asm.tex (modified) Back to 17 pages after Claudio's additions. Thu, 27 Sep 2012 13:17:39 GMT sacerdot [2359] * Papers/cpp-asm-2012/cpp-2012-asm.tex (modified) ... Thu, 27 Sep 2012 13:16:34 GMT mulligan [2358] * Papers/cpp-asm-2012/cpp-2012-asm.tex (modified) Down to 17 pages now. Thu, 27 Sep 2012 12:46:30 GMT mulligan [2357] * Papers/cpp-asm-2012/cpp-2012-asm.tex (modified) Begun editing down to reclaim space. Fixed some embarrassing typos ... Thu, 27 Sep 2012 12:39:34 GMT mulligan [2356] * Papers/cpp-asm-2012/cpp-2012-asm.tex (modified) Consistency changes. Thu, 27 Sep 2012 11:26:39 GMT sacerdot [2355] * Papers/cpp-asm-2012/cpp-2012-asm.tex (modified) "Total correctness" => correctness