|
|
@634
|
10 years |
ayache |
Bug fix in ASMCosts in D2.2.
|
|
|
@633
|
10 years |
amadio |
wp2 revised
|
|
|
@632
|
10 years |
ayache |
Small change in ASMCosts.
|
|
|
@631
|
10 years |
ayache |
Some bugs fixed in D2.2.
|
|
|
@630
|
10 years |
ayache |
Paris update in D2.2.
|
|
|
@629
|
10 years |
mulligan |
Fixed some slides: added description of WP4.1
|
|
|
@628
|
10 years |
mulligan |
Finished slides.
|
|
|
@627
|
10 years |
mulligan |
Fixed bug in ASMInterpret.ml. Added pretty printing module.
|
|
|
@626
|
10 years |
amadio |
added draft first part presentation WP2
|
|
|
@625
|
10 years |
mulligan |
Fixed ASMInterpret so no assert false is generated. Working on …
|
|
|
@624
|
10 years |
ayache |
Bug fixs and signed division hack in D2.2.
|
|
|
@623
|
10 years |
sacerdot |
- official agenda
- new version of the progress report
(but the …
|
|
|
@622
|
10 years |
mulligan |
Started fixing assert false problem.
|
|
|
@621
|
10 years |
ayache |
Bug fix in cost computation in D2.2.
|
|
|
@620
|
10 years |
mulligan |
More changes to presentation. Modified some of the C examples to test …
|
|
|
@619
|
10 years |
ayache |
Update of D2.2 from Paris.
|
|
|
@618
|
10 years |
mulligan |
More work on slides.
|
|
|
@617
|
10 years |
mulligan |
Fixed layout.
|
|
|
@616
|
10 years |
mulligan |
More changes.
|
|
|
@615
|
10 years |
mulligan |
Work on presentation.
|
|
|
@614
|
10 years |
sacerdot |
Template for the presentation.
|
|
|
@613
|
10 years |
mulligan |
More changes to skeleton.
|
|
|
@612
|
10 years |
mulligan |
Moved presentation file to something more descriptive.
|
|
|
@611
|
10 years |
mulligan |
Added my skeleton presentation file for first-year meeting.
|
|
|
@610
|
10 years |
mulligan |
Added directory for the presentations for the first-year meeting with …
|
|
|
@609
|
10 years |
sacerdot |
…
|
|
|
@608
|
10 years |
mulligan |
Final changes to document to get first section under 4 pages.
|
|
|
@607
|
10 years |
mulligan |
Finished correcting English in the introduction
|
|
|
@606
|
10 years |
mulligan |
Changes to English in intro to report.
|
|
|
@605
|
10 years |
sacerdot |
…
|
|
|
@604
|
10 years |
sacerdot |
…
|
|
|
@603
|
10 years |
sacerdot |
…
|
|
|
@602
|
10 years |
sacerdot |
One more talk.
|
|
|
@601
|
10 years |
sacerdot |
Some cut&paste from the proposal to Section 1.
To be (heavily?) …
|
|
|
@600
|
10 years |
sacerdot |
…
|
|
|
@599
|
10 years |
sacerdot |
…
|
|
|
@598
|
10 years |
sacerdot |
…
|
|
|
@597
|
10 years |
sacerdot |
…
|
|
|
@596
|
10 years |
sacerdot |
…
|
|
|
@595
|
10 years |
sacerdot |
…
|
|
|
@594
|
10 years |
mulligan |
Added names provided by Roberto.
|
|
|
@593
|
10 years |
mulligan |
Added word document version so non-Linux users can open it.
|
|
|
@592
|
10 years |
mulligan |
Updated list with detail of participants.
|
|
|
@591
|
10 years |
mulligan |
Small typo fixed.
|
|
|
@590
|
10 years |
mulligan |
Finished, apart from word which I do not understand. CSC to clarify.
|
|
|
@589
|
10 years |
mulligan |
Half completed the proofreading of CSC's document.
|
|
|
@588
|
10 years |
sacerdot |
…
|
|
|
@587
|
10 years |
mulligan |
Added meeting schedule file.
|
|
|
@586
|
10 years |
sacerdot |
renamed to D1.1
|
|
|
@585
|
10 years |
sacerdot |
…
|
|
|
@584
|
10 years |
sacerdot |
Some work.
|
|
|
@583
|
10 years |
campbell |
Abstract pointer offsets a little, similar to the changes for the …
|
|
|
@582
|
10 years |
campbell |
Use bit vector operations widely instead of round-trips through Z. …
|
|
|
@581
|
10 years |
sacerdot |
Template.
|
|
|
@580
|
10 years |
mulligan |
Submitted version
|
|
|
@579
|
10 years |
mulligan |
slight tweaks
|
|
|
@578
|
10 years |
mulligan |
Fixed typo.
|
|
|
@577
|
10 years |
mulligan |
Fixed capitalisation of FET-Open in bibliography.
|
|
|
@576
|
10 years |
mulligan |
Alphabetised cites that are given together.
|
|
|
@575
|
10 years |
mulligan |
Added explanation of ... syntax in Matita, along with current …
|
|
|
@574
|
10 years |
mulligan |
Tweaked the document, and removed all junk from the end of the file.
|
|
|
@573
|
10 years |
ricciott |
Added round-trip tests.
|
|
|
@572
|
10 years |
mulligan |
tweaked the abstract
|
|
|
@571
|
10 years |
mulligan |
Finished tightening everything up. Just under 16 pages. Cannot add …
|
|
|
@570
|
10 years |
mulligan |
Tightened English up to Subsection 2.5
|
|
|
@569
|
10 years |
mulligan |
Tightened up English in the Introduction
|
|
|
@568
|
10 years |
mulligan |
Added two missing references, reduced back down to 16 pages by …
|
|
|
@567
|
10 years |
sacerdot |
Undefined value singled out: what to do with it?
|
|
|
@566
|
10 years |
sacerdot |
Undefined opcode singled out.
|
|
|
@565
|
10 years |
mulligan |
down to 16 pages after a bit of rewriting
|
|
|
@564
|
10 years |
sacerdot |
Tentative conclusions.
|
|
|
@563
|
10 years |
sacerdot |
…
|
|
|
@562
|
10 years |
sacerdot |
…
|
|
|
@561
|
10 years |
sacerdot |
…
|
|
|
@560
|
10 years |
mulligan |
Squashed emulator trace even further to save space
|
|
|
@559
|
10 years |
mulligan |
Added picture from Brian's report on 8051 memory layout
|
|
|
@558
|
10 years |
sacerdot |
…
|
|
|
@557
|
10 years |
mulligan |
Emulator fixed for Wilmer
|
|
|
@556
|
10 years |
sacerdot |
…
|
|
|
@555
|
10 years |
mulligan |
Resolved conflict, updated bibtex, finished bibliography, and …
|
|
|
@554
|
10 years |
sacerdot |
…
|
|
|
@553
|
10 years |
sacerdot |
…
|
|
|
@552
|
10 years |
sacerdot |
…
|
|
|
@551
|
10 years |
mulligan |
more added to bibliography
|
|
|
@550
|
10 years |
mulligan |
more entries added to bib
|
|
|
@549
|
10 years |
mulligan |
Half of bibliography added.
|
|
|
@548
|
10 years |
mulligan |
Fixed English in conclusion and discussion of I/O.
|
|
|
@547
|
10 years |
campbell |
Add missing file.
|
|
|
@546
|
10 years |
mulligan |
Partly rewritten conclusions to fix English
|
|
|
@545
|
10 years |
sacerdot |
I/O revisited.
|
|
|
@544
|
10 years |
sacerdot |
…
|
|
|
@543
|
10 years |
sacerdot |
…
|
|
|
@542
|
10 years |
sacerdot |
Comparison.
|
|
|
@541
|
10 years |
mulligan |
Added more to appendix
|
|
|
@540
|
10 years |
mulligan |
Added appendix with main functions
|
|
|
@539
|
10 years |
mulligan |
more added
|
|
|
@538
|
10 years |
mulligan |
Fixed overview of paper, and finished describing continuations.
|
|
|
@537
|
10 years |
mulligan |
more added
|
|
|
@536
|
10 years |
mulligan |
more added
|
|
|
@535
|
10 years |
campbell |
Minimal integration of bitvectors into Clight semantics
- does a …
|
|
|