Search:
Login
Preferences
Help/Guide
About Trac
Wiki
Timeline
Roadmap
Browse Source
View Tickets
Search
Context Navigation
View Latest Revision
source:
src
/
utilities
/
extralib.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)
@2101
7 years
boender
- renamed medium to absolute jump - revised proofs of policy, some …
(edit)
@2006
7 years
boender
- added alias for bitvector zero - changed extralib bounded …
(edit)
@1949
8 years
tranquil
* lemma trace rel to eq flatten trace * some more properties of …
(edit)
@1930
8 years
campbell
Tidy up labelling simulation stuff a bit.
(edit)
@1882
8 years
tranquil
big update, alas incomplete: joint changed a bit, and all BE languages …
(edit)
@1599
8 years
sacerdot
Start of merging of stuff into the standard library of Matita.
(edit)
@1593
8 years
boender
- cleaned up Assembly, moved some definitions elsewhere
(edit)
@1523
8 years
campbell
Separate out positive and Z definitions from extralib.ma. Minor syntax …
(edit)
@1516
8 years
sacerdot
Ported to syntax of Matita 0.99.1.
(edit)
@1515
8 years
campbell
Add type of maps on positive binary numbers, and use them for …
(edit)
@1350
8 years
sacerdot
Porting to latest destruct tactic. Note: the tactics has a few …
(edit)
@1338
8 years
sacerdot
Automation is now stronger.
(edit)
@1337
8 years
sacerdot
Automation is now stronger.
(edit)
@1316
8 years
campbell
Merge in id-lookup-branch to trunk.
(edit)
@1260
8 years
mulligan
commit for csc
(edit)
@1250
8 years
sacerdot
1. Sigma types projections moved to utilities/extralib.ma 2. Extended …
(edit)
@891
8 years
campbell
Revise proofs affected by recent matita change.
(edit)
@882
8 years
campbell
Fix up fragile proofs for current version of matita.
(edit)
@711
9 years
sacerdot
…
(edit)
@709
9 years
sacerdot
Notations should NOT be redefined. Just add a new interpretation.
(edit)
@697
9 years
campbell
Merge Clight branch of vectors and friends. Start making stuff build.
(copy)
@695
9 years
campbell
Rearrange Clight files a bit - will try to make them work again soon…
copied from
src/Clight/extralib.ma
:
(copy)
@694
9 years
campbell
Start moving Clight into common directory.
Note:
See
TracRevisionLog
for help on using the revision log.
Download in other formats:
RSS Feed
ChangeLog