Search:
Login
Preferences
Help/Guide
About Trac
Wiki
Timeline
Roadmap
Browse Source
View Tickets
Search
Context Navigation
View Latest Revision
source:
src
/
joint
/
Traces.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)
@2484
8 years
piccolo
fixed Traces and semantics added commutation record (not yet finished) …
(edit)
@2481
8 years
piccolo
corrected some inconsistencies fixed some of lineariseProof
(edit)
@2477
8 years
tranquil
status_simulation reformulated definition of joint_classify split up …
(edit)
@2473
8 years
tranquil
put some generic stuff we need in the back end in extraGlobalenvs …
(edit)
@2470
8 years
tranquil
completely separated program counters from code pointers in joint …
(edit)
@2457
8 years
tranquil
rewritten function handling in joint swapped call_rel with ret_rel in …
(edit)
@2443
8 years
tranquil
changed joint's stack pointer and internal stack
(edit)
@2442
8 years
piccolo
Traces repaired. (By Paolo) Statement of lineariseProof in place.
(edit)
@2422
8 years
tranquil
adapted joint to cl_call f
(edit)
@2286
9 years
tranquil
Big update! * merge of all _paolo variants * reorganised some depends …
(copy)
@2186
9 years
tranquil
updated joint semantics
copied from
src/joint/as_semantics.ma
:
(add)
@1976
9 years
tranquil
* monads: just changed some defs, which had to be propagated in some …
Note:
See
TracRevisionLog
for help on using the revision log.
Download in other formats:
RSS Feed
ChangeLog