Search:
Login
Preferences
Help/Guide
About Trac
Wiki
Timeline
Roadmap
Browse Source
View Tickets
Search
Context Navigation
← Previous Change
Next Change
→
Changeset
1515
for
src/common/PositiveMap.ma
Timestamp:
Nov 18, 2011, 1:03:14 PM (
9 years
ago)
Author:
campbell
Message:
Add type of maps on positive binary numbers, and use them for identifers.
Also:
fix interpretation for - on positives
move eq_nat_dec to a more appropriate place
split out costs from other identifiers in ASM
use identifier abstractions in back-end
File:
1 added
src/common/PositiveMap.ma
(added)
Note:
See
TracChangeset
for help on using the changeset viewer.
Download in other formats:
Unified Diff
Zip Archive