Search:
Login
Preferences
Help/Guide
About Trac
Wiki
Timeline
Roadmap
Browse Source
View Tickets
Search
Context Navigation
View Latest Revision
source:
Deliverables
/
D4.1
/
Matita
/
ASM.ma
Revision Log Mode:
Stop on copy
Follow copies
Show only adds and deletes
View log starting at
and back to
Show at most
revisions per page.
Show full log messages
Legend:
Added
Modified
Copied or renamed
Diff
Rev
Age
Author
Log Message
(edit)
@374
9 years
sacerdot
1) notation for cast fixed 2) ambiguity reduced: Empty => VEmpty, Cons …
(edit)
@370
9 years
mulligan
Most of critical lemma done. Hole remaining that I can't coax matita …
(edit)
@367
9 years
mulligan
Added decidable equality for addressing_mode_tags.
(edit)
@357
9 years
sacerdot
- stupid bug fixed in
BitVectorTrie?
- dependencies minimized, dead …
(edit)
@316
9 years
sacerdot
REGISTER now takes a
BitVector?
3
(edit)
@297
9 years
sacerdot
…
(edit)
@293
9 years
sacerdot
…
(edit)
@283
9 years
sacerdot
Bug fixed in type declaration of BIT/N_BIT.
(edit)
@278
9 years
sacerdot
More curryfication.
(edit)
@271
9 years
sacerdot
assembly1 defined on ACALL and ADD: it seems it will become too slow…
(edit)
@268
9 years
sacerdot
- notation moved to proper places - new function split on Vectors
(edit)
@264
9 years
sacerdot
- new axiomatic data type for Strings - new file for Assembly
(edit)
@262
9 years
sacerdot
- new notation
...?
for vectors to reduce ambiguity - …
(edit)
@260
9 years
sacerdot
- Minimal changes to make it compile with the standard distribution of …
(edit)
@256
9 years
mulligan
Work on ASM.ma file.
(edit)
@249
9 years
mulligan
More work on defining fundamental datatypes.
(edit)
@248
9 years
mulligan
More changes. Added datatype for addressing modes.
(add)
@247
9 years
mulligan
Changes to get directory to compile.
Note:
See
TracRevisionLog
for help on using the revision log.
Download in other formats:
RSS Feed
ChangeLog