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)
@1693
9 years
mulligan
Changes to ASMCosts and
CostsProofs?
files to get everything working again.
(edit)
@1692
9 years
mulligan
resolved conflict in asm costs this morning
(edit)
@1691
9 years
sacerdot
Some progress in the proof: less daemons, less hypotheses in lemmas.
(edit)
@1684
9 years
mulligan
changes from the past week
(edit)
@1669
9 years
mulligan
Commit for claudio
(edit)
@1665
9 years
mulligan
progress on closing holes in block_cost' proof
(edit)
@1663
9 years
mulligan
old cases working again, work on new ones
(edit)
@1658
9 years
mulligan
asm costs changes from today
(edit)
@1650
9 years
mulligan
changes over the last couple of days: stuck due to matita producing …
(edit)
@1648
9 years
mulligan
new version of utilities/monad.ma with typecheck command comented out
(edit)
@1646
9 years
mulligan
finished the block_costs computation, and propagated the changes …
(edit)
@1645
9 years
mulligan
more progress on the ASMCosts work: block_costs is now complete …
(edit)
@1642
9 years
mulligan
finished big proof in all but two cases
(edit)
@1639
9 years
mulligan
changes from today
(edit)
@1625
9 years
mulligan
before christmas
(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