Timeline


and

Mar 18, 2011:

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

Mar 16, 2011:

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

Mar 15, 2011:

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

Mar 11, 2011:

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

Mar 10, 2011:

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

Mar 9, 2011:

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

Mar 8, 2011:

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

Mar 7, 2011:

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

Mar 4, 2011:

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

Mar 3, 2011:

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

Mar 2, 2011:

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

Mar 1, 2011:

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

Feb 28, 2011:

12:53 AM Changeset [605] by sacerdot
12:47 AM Changeset [604] by sacerdot

Feb 27, 2011:

11:07 PM Changeset [603] by sacerdot
4:59 PM Changeset [602] by sacerdot
One more talk.

Feb 25, 2011:

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

Feb 24, 2011:

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

Feb 23, 2011:

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

Feb 22, 2011:

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

Feb 21, 2011:

4:53 PM Changeset [581] by sacerdot
Template.

Feb 18, 2011:

3:11 PM Changeset [580] by mulligan
Submitted version
3:08 PM Changeset [579] by mulligan
slight tweaks
2:34 PM D4_1_Code.tar.gz attached to WikiStart by mulligan
2:34 PM WikiStart edited by mulligan
(diff)
2:29 PM Changeset [578] by mulligan
Fixed typo.
1:45 PM Changeset [577] by mulligan
Fixed capitalisation of FET-Open in bibliography.
1:43 PM Changeset [576] by mulligan
Alphabetised cites that are given together.
1:38 PM Changeset [575] by mulligan
Added explanation of ... syntax in Matita, along with current …
1:32 PM Changeset [574] by mulligan
Tweaked the document, and removed all junk from the end of the file.
1:30 PM Changeset [573] by ricciott
Added round-trip tests.
1:28 PM Changeset [572] by mulligan
tweaked the abstract
11:49 AM Changeset [571] by mulligan
Finished tightening everything up. Just under 16 pages. Cannot add …
10:57 AM Changeset [570] by mulligan
Tightened English up to Subsection 2.5
10:41 AM Changeset [569] by mulligan
Tightened up English in the Introduction
10:10 AM Changeset [568] by mulligan
Added two missing references, reduced back down to 16 pages by …
Note: See TracTimeline for information about the timeline view.