Search:
Login
Preferences
Help/Guide
About Trac
Wiki
Timeline
Roadmap
Browse Source
View Tickets
Search
Context Navigation
View Latest Revision
source:
src
/
RTLabs
/
RTLabsToRTL.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)
@2176
7 years
campbell
Remove memory spaces other than XData and Code; simplify pointers as a …
(edit)
@2103
7 years
campbell
Make transform_*program take a more general transformation to make …
(edit)
@2032
8 years
sacerdot
!! BEWARE: major commit !! 1) [affects everybody] split for …
(edit)
@1995
8 years
campbell
Overall compiler definition; bits and pieces to make everything happy(ish).
(edit)
@1601
8 years
sacerdot
Files ported to new version of the standard library.
(edit)
@1529
8 years
campbell
Update RTLabs to RTL with unary operation types.
(edit)
@1521
8 years
sacerdot
Syntax change in Matita: change what where => change where what.
(edit)
@1515
8 years
campbell
Add type of maps on positive binary numbers, and use them for …
(edit)
@1408
8 years
sacerdot
1. Added joint/BEGlobalenvs that is a modification of …
(edit)
@1358
8 years
mulligan
got rtlabs to rtl compiling, foldi_strong needs examining
(edit)
@1356
8 years
mulligan
deleted redundant directory. added outlines for both reports, and …
(edit)
@1354
8 years
sacerdot
One axiom closed.
(edit)
@1352
8 years
sacerdot
This commit is made necessary by the last Matita change. Inclusion is …
(edit)
@1343
8 years
mulligan
fixed some bugs in the translation
(edit)
@1331
8 years
mulligan
some changes, but i now have two contradictory proof obligations.
(edit)
@1325
8 years
mulligan
finished implementing the translate constant function
(edit)
@1315
8 years
mulligan
another move for the same reason. got rtlabs > rtl compiling again by …
(copy)
@1314
8 years
mulligan
name changes so that bash tab completion actually works with some …
copied from
src/RTLabs/RTLAbstoRTL.ma
:
(edit)
@1308
8 years
mulligan
changes to translate_cst
Note:
See
TracRevisionLog
for help on using the revision log.
Download in other formats:
RSS Feed
ChangeLog