Search:
Login
Preferences
Help/Guide
About Trac
Wiki
Timeline
Roadmap
Browse Source
View Tickets
Search
Context Navigation
View Latest Revision
source:
src
/
joint
/
semantics_blocks.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)
@2655
8 years
tranquil
new step in code semantic lemma
(edit)
@2599
8 years
tranquil
* map_opt and map on positive maps are now clean (erase empty …
(edit)
@2595
8 years
tranquil
* dropped locals and exit from definition of joint_if_function * new …
(edit)
@2529
8 years
tranquil
rewritten function handling in joint swapped call_rel with ret_rel in …
(edit)
@2422
8 years
tranquil
adapted joint to cl_call f
(edit)
@2324
9 years
tranquil
semantics of blocks: function to produce trace from execution of …
(edit)
@2186
9 years
tranquil
updated joint semantics
(edit)
@2043
9 years
sacerdot
Broken code commented out.
(edit)
@1999
9 years
campbell
Make back-end use the main global envs.
(edit)
@1949
9 years
tranquil
* lemma trace rel to eq flatten trace * some more properties of …
(add)
@1882
9 years
tranquil
big update, alas incomplete: joint changed a bit, and all BE languages …
Note:
See
TracRevisionLog
for help on using the revision log.
Download in other formats:
RSS Feed
ChangeLog