Search:
Login
Preferences
Help/Guide
About Trac
Wiki
Timeline
Roadmap
Browse Source
View Tickets
Search
Context Navigation
View Latest Revision
source:
src
/
joint
/
lineariseProof.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)
@2495
7 years
piccolo
continuing lineariseProof
(edit)
@2484
7 years
piccolo
fixed Traces and semantics added commutation record (not yet finished) …
(edit)
@2481
7 years
piccolo
corrected some inconsistencies fixed some of lineariseProof
(edit)
@2476
7 years
piccolo
fixed commutation lemmas in lineariseProof started proof of main …
(edit)
@2467
7 years
piccolo
LINEARISE PROOF MODIFIED NOT YED FIXED
(edit)
@2464
7 years
piccolo
adapted lineariseProof to new semantics
(edit)
@2452
7 years
piccolo
Completed commutation lemmas of fetch_statement
(edit)
@2447
7 years
piccolo
All axioms opened so far and that must be closed here have been closed.
(edit)
@2446
7 years
piccolo
Fetch commutation proof reduced to one simple (?) lemma.
(edit)
@2445
7 years
piccolo
1. sigma function axiomatically defined (together with its spec). …
(edit)
@2443
7 years
tranquil
changed joint's stack pointer and internal stack
(add)
@2442
7 years
piccolo
Traces repaired. (By Paolo) Statement of lineariseProof in place.
Note:
See
TracRevisionLog
for help on using the revision log.
Download in other formats:
RSS Feed
ChangeLog