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
8 years
mulligan
Changes to ASMCosts and
CostsProofs?
files to get everything working again.
(edit)
@1692
8 years
mulligan
resolved conflict in asm costs this morning
(edit)
@1691
8 years
sacerdot
Some progress in the proof: less daemons, less hypotheses in lemmas.
(edit)
@1684
8 years
mulligan
changes from the past week
(edit)
@1669
8 years
mulligan
Commit for claudio
(edit)
@1665
8 years
mulligan
progress on closing holes in block_cost' proof
(edit)
@1663
8 years
mulligan
old cases working again, work on new ones
(edit)
@1658
8 years
mulligan
asm costs changes from today
(edit)
@1650
8 years
mulligan
changes over the last couple of days: stuck due to matita producing …
(edit)
@1648
8 years
mulligan
new version of utilities/monad.ma with typecheck command comented out
(edit)
@1646
8 years
mulligan
finished the block_costs computation, and propagated the changes …
(edit)
@1645
8 years
mulligan
more progress on the ASMCosts work: block_costs is now complete …
(edit)
@1642
8 years
mulligan
finished big proof in all but two cases
(edit)
@1639
8 years
mulligan
changes from today
(edit)
@1625
8 years
mulligan
before christmas
(edit)
@1624
8 years
mulligan
commit for claudio
(edit)
@1623
8 years
mulligan
strange matita issue
(edit)
@1622
8 years
mulligan
to avoid conflicts, bug in typechecker?
(edit)
@1621
8 years
mulligan
to prevent conflicts
(edit)
@1606
8 years
sacerdot
Porting to last library of Matita.
(edit)
@1597
8 years
mulligan
fixed fetch for jaap
(edit)
@1591
8 years
mulligan
work from today
(edit)
@1587
8 years
mulligan
changes from today, including removing indexing of problematic …
(edit)
@1560
8 years
sacerdot
Complete re-implementation that: 1) assumes no code before the first …
(edit)
@1557
8 years
sacerdot
Byte => costlabel
(edit)
@1497
8 years
mulligan
a bit of tidying up, removing dead code, etc.
(edit)
@1496
8 years
mulligan
problem fixed with tactics missing a semicolon to stop greedy parsing
(edit)
@1495
8 years
mulligan
proper calculation of costs
(edit)
@1486
8 years
mulligan
finished asm costs
(add)
@1474
8 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