Search:
Login
Preferences
Help/Guide
About Trac
Wiki
Timeline
Roadmap
Browse Source
View Tickets
Search
Context Navigation
View Latest Revision
source:
src
/
ASM
/
ASMCosts.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)
@1624
9 years
mulligan
commit for claudio
(edit)
@1623
9 years
mulligan
strange matita issue
(edit)
@1622
9 years
mulligan
to avoid conflicts, bug in typechecker?
(edit)
@1621
9 years
mulligan
to prevent conflicts
(edit)
@1606
9 years
sacerdot
Porting to last library of Matita.
(edit)
@1597
9 years
mulligan
fixed fetch for jaap
(edit)
@1591
9 years
mulligan
work from today
(edit)
@1587
9 years
mulligan
changes from today, including removing indexing of problematic …
(edit)
@1560
9 years
sacerdot
Complete re-implementation that: 1) assumes no code before the first …
(edit)
@1557
9 years
sacerdot
Byte => costlabel
(edit)
@1497
9 years
mulligan
a bit of tidying up, removing dead code, etc.
(edit)
@1496
9 years
mulligan
problem fixed with tactics missing a semicolon to stop greedy parsing
(edit)
@1495
9 years
mulligan
proper calculation of costs
(edit)
@1486
9 years
mulligan
finished asm costs
(add)
@1474
9 years
mulligan
adding missing asmcosts file for computing the costs of an assembly …
Note:
See
TracRevisionLog
for help on using the revision log.
Download in other formats:
RSS Feed
ChangeLog