Search:
Login
Preferences
Help/Guide
About Trac
Wiki
Timeline
Roadmap
Browse Source
View Tickets
Search
Context Navigation
View Latest Revision
source:
src
/
joint
/
SemanticUtils.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
9 years
campbell
Remove memory spaces other than XData and Code; simplify pointers as a …
(edit)
@1515
9 years
campbell
Add type of maps on positive binary numbers, and use them for …
(edit)
@1452
10 years
sacerdot
Bug fixed: labels MUST be represented as pointers whose block is the …
(edit)
@1451
10 years
sacerdot
1. All axioms in LIN/semantics.ma closed 2. succ_pc and …
(edit)
@1416
10 years
sacerdot
Maps from hardware registers to beval now implemented in ASM/I8051 (in …
(edit)
@1415
10 years
sacerdot
1. hwreg_store/retrieve no longer returns a res (but it is still …
(edit)
@1408
10 years
sacerdot
1. Added joint/BEGlobalenvs that is a modification of …
(edit)
@1395
10 years
sacerdot
1) New versions of pointer_of_beval/beval_of_pointer with a stricter …
(edit)
@1385
10 years
sacerdot
1. fetch_result and pop_frame now takes the genv in input 2. …
(edit)
@1384
10 years
sacerdot
* fetch_ra taken out of pop_frame again since it is used uniformly and …
(edit)
@1383
10 years
sacerdot
Potential bug fixed and bug found: the way pointers and labels are put …
(edit)
@1382
10 years
sacerdot
- succ_pc generalized to return a res (necessary for LIN semantics) - …
(edit)
@1359
10 years
sacerdot
1. more work on the RTL semantics 2. changes to joint/semantics to …
(edit)
@1329
10 years
sacerdot
1. Definition of addresses moved to BEMem 2. Basic functions on …
(edit)
@1302
10 years
sacerdot
ERTL/semantics.ma ported to joint/SemanticUtils (in progress)
(edit)
@1300
10 years
sacerdot
More (graph) axioms implemented. Look at the comments marked with XXX …
(add)
@1299
10 years
sacerdot
Functions from RTL/semantics.ma generalized to work on every graph …
Note:
See
TracRevisionLog
for help on using the revision log.
Download in other formats:
RSS Feed
ChangeLog