Search:
Login
Preferences
Help/Guide
About Trac
Wiki
Timeline
Roadmap
Browse Source
View Tickets
Search
Context Navigation
View Latest Revision
source:
src
/
ASM
/
BitVectorTrie.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)
@1424
8 years
sacerdot
1. fold function over
BitVectorTries?
moved from ERTLToLTL to …
(edit)
@1393
8 years
boender
- added invariant for policy trie to assembly - change (syntax only) …
(edit)
@1316
8 years
campbell
Merge in id-lookup-branch to trunk.
(edit)
@1074
8 years
boender
- added lookup lemma
(edit)
@1070
8 years
campbell
Show that entry and exit labels are in the RTLabs graph.
(edit)
@1052
8 years
mulligan
removed offsets after reading cerco mailing list
(edit)
@1044
8 years
boender
- more fold/forall stuff
(edit)
@1038
8 years
boender
- some more BVT improvements
(edit)
@1034
8 years
boender
various & sundry fold/forall lemmas
(edit)
@1006
8 years
boender
- added fold + lemmas on fold
(edit)
@990
8 years
sacerdot
Do no longer use the daemon automatically :-)
(edit)
@985
8 years
sacerdot
1) Major refactoring: proofs moved where they should be. 2) New …
(edit)
@782
9 years
mulligan
More work on rtl-ertl pass from today, plus resolved conflict.
(edit)
@779
9 years
campbell
Add merging of tries and identifier sets (based on Dominic's earlier …
(edit)
@761
9 years
campbell
Enforce the use of declared identifiers/registers in Cminor/RTLabs.
(edit)
@726
9 years
campbell
Change identifiers to Words in Clight and RTLabs semantics.
(edit)
@698
9 years
mulligan
Commit with changes to files to get our files to typecheck.
(edit)
@697
9 years
campbell
Merge Clight branch of vectors and friends. Start making stuff build.
(copy)
@690
9 years
mulligan
Moved new matita files into correct place.
copied from
src/ASM/new-matita-development/BitVectorTrie.ma
:
(copy)
@688
9 years
mulligan
Fixed local conflicts. Restructured svn repository.
Note:
See
TracRevisionLog
for help on using the revision log.
Download in other formats:
RSS Feed
ChangeLog