|
|
|
@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.
|
|
|
|
@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
|
|
|
|
@532
|
10 years |
mulligan |
after much faffing, top of minipages now align correctly
|
|
|
|
@529
|
10 years |
mulligan |
wrote about cost labels
|
|
|
|
@528
|
10 years |
mulligan |
Removed all \begin{quote} .. \end{quote} around code snippets for …
|
|
|
|
@527
|
10 years |
mulligan |
added section on representation of integers
|
|
|
|
@526
|
10 years |
sacerdot |
Something to say in the comparison.
|
|
|
|
@525
|
10 years |
mulligan |
lots of changes
|
|
|
|
@524
|
10 years |
mulligan |
Finished discussion of anatomy of emulator
|
|
|
|
@523
|
10 years |
mulligan |
added a small reference to cost labels, along with a pointer to the …
|
|
|
|
@522
|
10 years |
mulligan |
completed changes to discussion on labels and pseudoinstructions
|
|
|
|
@521
|
10 years |
mulligan |
more changes
|
|
|
|
@520
|
10 years |
mulligan |
more changes
|
|
|
|
@519
|
10 years |
mulligan |
Footnote fixed
|
|
|
|
@518
|
10 years |
mulligan |
small changes
|
|
|
|
@517
|
10 years |
mulligan |
more added
|
|
|
|
@516
|
10 years |
mulligan |
Added section on Tries
|
|
|
|
@515
|
10 years |
mulligan |
finished tidying the introduction
|
|
|
|
@514
|
10 years |
mulligan |
more tidying
|
|
|
|
@513
|
10 years |
mulligan |
more changes to intro
|
|
|
|
@512
|
10 years |
mulligan |
tidy up of the intro
|
|
|
|
@511
|
10 years |
mulligan |
validation section complete
|
|
|
|
@510
|
10 years |
mulligan |
more added, talking about dependent types now
|
|
|
|
@509
|
10 years |
sacerdot |
Background.
|
|
|
|
@508
|
10 years |
mulligan |
Changes
|
|
|
|
@507
|
10 years |
mulligan |
A bit on labels and pseudo-instructions
|
|
|
|
@506
|
10 years |
mulligan |
a bit more added
|
|
|
|
@505
|
10 years |
mulligan |
finished sentence
|
|
|
|
@504
|
10 years |
mulligan |
work on intro committed following claudio's second e-mail
|
|
|
|
@503
|
10 years |
mulligan |
Added PNG files for claudio.
|
|
|
|
@501
|
10 years |
mulligan |
more changes
|
|
|
|
@495
|
10 years |
mulligan |
more added
|
|
|
|
@494
|
10 years |
mulligan |
more added
|
|
|
|
@493
|
10 years |
mulligan |
incorporated some text from the eu report that needs to be pared down
|
|
|
|
@492
|
10 years |
mulligan |
Initial commit of outline of prospective itp-2011 paper.
|
|
|
|
@475
|
10 years |
mulligan |
Matita interpreter ported to latest version of matita (the one with …
|
|
|
|
@472
|
10 years |
mulligan |
More changes to debug and testing files to get them to work with the …
|
|
|
|
@471
|
10 years |
mulligan |
Deleted (now) superfluous custom library files in favour of using …
|
|
|
|
@470
|
10 years |
mulligan |
Finished moving development over to standard library.
|
|
|
|
@466
|
10 years |
mulligan |
Most of execute_1 checked. Need to fix negations, though, in rest in …
|
|
|
|
@465
|
10 years |
mulligan |
Moved over to standard library.
|
|
|
|
@464
|
10 years |
mulligan |
Fixed strange bug/typo in BitVectorTrie?.ma
|
|
|
|
@463
|
10 years |
mulligan |
Fixed DoTest? so that it doesn't take an hour to typecheck.
|
|
|
|
@462
|
10 years |
mulligan |
Added bitvector arithmetic for Brian.
|
|
|
|
@455
|
10 years |
mulligan |
Merge commit.
|
|
|
|
@454
|
10 years |
sacerdot |
CSC + Nicolas + Dominic:
1) back-porting of changes by Nicolas from …
|
|
|
|
@452
|
10 years |
mulligan |
Added function to interface.
|
|
|
|
@451
|
10 years |
mulligan |
Removed more debugging stuff from Test.ml.
|
|
|
|
@450
|
10 years |
mulligan |
Comment added for Nicolas.
|
|
|
|
@449
|
10 years |
mulligan |
Removed debugging code from Test.ml.
|
|
|
|
@448
|
10 years |
mulligan |
Got Intel HEX format exportation working.
|
|
|
|
@447
|
10 years |
mulligan |
Checksum seems to be working now on most lines, barring three? Weird bug.
|
|
|
|
@446
|
10 years |
mulligan |
Checksum calculation added. Seems to still be buggy.
|
|
|
|
@445
|
10 years |
mulligan |
Debugging hex output. Seems mcu8051 really doesn't like what's been …
|
|
|
|
@444
|
10 years |
mulligan |
Got Test.native to compile. Added functions for exporting intel hex …
|
|
|
|
@443
|
10 years |
mulligan |
Wrote exportation code. Need to test it.
|
|
|
|
@442
|
10 years |
mulligan |
Partial implementation of Nicolas' requested feature (extraction of …
|
|
|
|
@441
|
10 years |
mulligan |
Fixed bug in PUSH spotted by Nicolas.
|
|
|
|
