Context Navigation

← Previous Period
Next Period →

Timeline

03/18/11:

16:28 Changeset [700] by campbell: Get Clight semantics going again (except for problems CexecEquiv? that I …
14:53 Changeset [699] by mulligan: More or less finished formalisation of LIN.
13:47 Changeset [698] by mulligan: Commit with changes to files to get our files to typecheck.
13:28 Changeset [697] by campbell: Merge Clight branch of vectors and friends. Start making stuff build.
13:01 Changeset [696] by mulligan: Added missing I8051 file and completed most of LIN formalisation.
12:59 Changeset [695] by campbell: Rearrange Clight files a bit - will try to make them work again soon…
12:30 Changeset [694] by campbell: Start moving Clight into common directory.
12:11 Changeset [693] by campbell: Separate out whole program executions from the clight semantics and start …
11:36 Changeset [692] by mulligan: Deleted files.
11:36 Changeset [691] by mulligan: More movement of files within the repository.
11:34 Changeset [690] by mulligan: Moved new matita files into correct place.
11:33 Changeset [689] by mulligan: Got rid of old Matita development files.
11:31 Changeset [688] by mulligan: Fixed local conflicts. Restructured svn repository.
11:23 Changeset [687] by mulligan: Renamed to enforce consistency of filenames
11:22 Changeset [686] by mulligan: Most of LIN completed.

03/16/11:

14:36 Changeset [685] by ayache: Bug fix in LINToASM (wrong conditional translation) in 8051 branch.
10:14 Changeset [684] by sacerdot: Moved into Presentations.

03/15/11:

14:47 Changeset [683] by mulligan: Changes from working on my PC.
14:22 Changeset [682] by sacerdot: …
14:20 Changeset [681] by sacerdot: …
14:19 Changeset [680] by sacerdot: 8051-memoryspace-branch from Brian moved from D2.3 (that does not exist) …
14:13 Changeset [679] by sacerdot: The one in D2.2/8051 is more up to date. Committing this one was a mistake …

03/11/11:

15:22 PublicationVenues edited by stark: (diff)
09:10 Changeset [678] by amadio: WP-rob update
09:05 Changeset [677] by campbell: Use better titles for T3.2/3.3.

03/10/11:

17:46 Changeset [676] by sacerdot: …
16:26 Changeset [675] by sacerdot: …
16:19 Changeset [674] by sacerdot: …
16:10 Changeset [673] by regisgia: * Cosmetics.
15:16 Changeset [672] by regisgia: * Slides shuffling.
14:56 Changeset [671] by mulligan: Finished demo script for tomorrow.
14:50 Changeset [670] by regisgia: * New version of the video.
14:14 Changeset [669] by mulligan: Fixed man months
13:46 Changeset [668] by mulligan: small changes
13:45 Changeset [667] by mulligan: Changes to presentation that claudio wanted
13:20 Changeset [666] by amadio: WP-roberto update
11:52 Changeset [665] by sacerdot: …
11:48 Changeset [664] by mulligan: Changed output of Intel HEX files so we no longer have those gargantuan …
09:43 Changeset [663] by regisgia: * Video of prototype demonstration.
09:39 Changeset [662] by regisgia: New version of the slides.

03/09/11:

23:24 Changeset [661] by sacerdot: Renaming.
23:23 Changeset [660] by sacerdot: Final draft version.
22:54 Changeset [659] by sacerdot: Draft version completed.
22:02 Changeset [658] by sacerdot: …
18:11 Changeset [657] by campbell: Mention cost labels in D3.1 summary slide.
15:48 Changeset [656] by amadio: rob updated
15:35 Changeset [655] by regisgia: * Slides from Yann.
00:58 Changeset [654] by sacerdot: In progress

03/08/11:

17:58 Changeset [653] by sacerdot: New version, still a draft.
17:55 Changeset [652] by sacerdot: Still unfinished.
17:40 Changeset [651] by campbell: Small additions to WP3 slides.
16:49 Changeset [650] by mulligan: Completed presentation slides by mentioning man hours used
16:00 Changeset [649] by mulligan: Reworked presentation.

03/07/11:

19:00 Changeset [648] by campbell: Oops, wrong bitvector negation.
19:00 Changeset [647] by campbell: Minor WP3 edits.
17:29 Changeset [646] by mulligan: Got Search.ma working with Matita emulator.
16:04 Changeset [645] by ayache: Pretty output in D2.2.
14:41 Changeset [644] by mulligan: Committed files for demo on Friday. Binary search works with O'Caml …
14:28 Changeset [643] by ayache: Bug fix in ASMCosts in D2.2.
14:19 Changeset [642] by ayache: Added the review example in D2.2 (8051/tests/review1/)
14:18 Changeset [641] by ayache: Improvement in the code of the cost computation in D2.2.
11:10 Changeset [640] by ayache: Hex output not too long for mcu anymore. Readable output added.

03/04/11:

18:20 Changeset [639] by campbell: Preliminary work on RTLabs semantics Will move to somewhere more …
18:20 Changeset [638] by campbell: Switch to more conservative definitions in preparation for review. …
18:20 Changeset [637] by campbell: First draft of WP3 slides.
18:20 Changeset [636] by campbell: A few definitions that will be useful for some preliminary rtlabs …
18:20 Changeset [635] by campbell: Some commentary.
17:59 Changeset [634] by ayache: Bug fix in ASMCosts in D2.2.
17:38 Changeset [633] by amadio: wp2 revised
15:59 Changeset [632] by ayache: Small change in ASMCosts.
02:00 Changeset [631] by ayache: Some bugs fixed in D2.2.

03/03/11:

18:27 Changeset [630] by ayache: Paris update in D2.2.
16:50 Changeset [629] by mulligan: Fixed some slides: added description of WP4.1
15:41 Changeset [628] by mulligan: Finished slides.
13:57 Changeset [627] by mulligan: Fixed bug in ASMInterpret.ml. Added pretty printing module.
13:29 Changeset [626] by amadio: added draft first part presentation WP2
12:57 Changeset [625] by mulligan: Fixed ASMInterpret so no assert false is generated. Working on actually …

03/02/11:

23:06 Changeset [624] by ayache: Bug fixs and signed division hack in D2.2.
22:51 Changeset [623] by sacerdot: - official agenda - new version of the progress report (but the officer …
18:10 Changeset [622] by mulligan: Started fixing assert false problem.
17:53 Changeset [621] by ayache: Bug fix in cost computation in D2.2.
16:13 Ticket #3 (Big output code) created by ayache: Dear all, The compiler now outputs an IntelHex? format. The result seems …
15:57 Ticket #2 ([assert false] on branching) created by ayache: Dear all, When running the compiler on a program with a branch, I get an …
15:56 Changeset [620] by mulligan: More changes to presentation. Modified some of the C examples to test for …
15:27 Changeset [619] by ayache: Update of D2.2 from Paris.
14:19 Changeset [618] by mulligan: More work on slides.
11:44 Changeset [617] by mulligan: Fixed layout.
11:40 Changeset [616] by mulligan: More changes.
11:07 Changeset [615] by mulligan: Work on presentation.

03/01/11:

18:12 Changeset [614] by sacerdot: Template for the presentation.
17:47 Changeset [613] by mulligan: More changes to skeleton.
17:15 Changeset [612] by mulligan: Moved presentation file to something more descriptive.
17:04 Changeset [611] by mulligan: Added my skeleton presentation file for first-year meeting.
16:59 Changeset [610] by mulligan: Added directory for the presentations for the first-year meeting with …
15:47 Changeset [609] by sacerdot: …
13:07 Changeset [608] by mulligan: Final changes to document to get first section under 4 pages.
12:51 Changeset [607] by mulligan: Finished correcting English in the introduction
11:59 Changeset [606] by mulligan: Changes to English in intro to report.

02/28/11:

00:53 Changeset [605] by sacerdot: …
00:47 Changeset [604] by sacerdot: …

02/27/11:

23:07 Changeset [603] by sacerdot: …
16:59 Changeset [602] by sacerdot: One more talk.

02/25/11:

23:49 Changeset [601] by sacerdot: Some cut&paste from the proposal to Section 1. To be (heavily?) changed …
23:06 Changeset [600] by sacerdot: …
22:58 Changeset [599] by sacerdot: …
22:53 Changeset [598] by sacerdot: …
22:20 Changeset [597] by sacerdot: …
18:30 Changeset [596] by sacerdot: …
18:15 Changeset [595] by sacerdot: …
11:19 Changeset [594] by mulligan: Added names provided by Roberto.
10:43 Changeset [593] by mulligan: Added word document version so non-Linux users can open it.
10:33 Changeset [592] by mulligan: Updated list with detail of participants.
10:19 Changeset [591] by mulligan: Small typo fixed.
10:13 Changeset [590] by mulligan: Finished, apart from word which I do not understand. CSC to clarify.
10:01 PublicationVenues edited by mulligan: (diff)

02/24/11:

20:01 Changeset [589] by mulligan: Half completed the proofreading of CSC's document.
18:12 Changeset [588] by sacerdot: …
18:04 Changeset [587] by mulligan: Added meeting schedule file.

02/23/11:

13:47 Changeset [586] by sacerdot: renamed to D1.1
13:45 Changeset [585] by sacerdot: …
13:41 Changeset [584] by sacerdot: Some work.

02/22/11:

16:23 Changeset [583] by campbell: Abstract pointer offsets a little, similar to the changes for the …
11:35 Changeset [582] by campbell: Use bit vector operations widely instead of round-trips through Z. …