Search:
Login
Preferences
Help/Guide
About Trac
Wiki
Timeline
Roadmap
Browse Source
View Tickets
Search
Context Navigation
View Latest Revision
source:
src
/
ASM
/
AssemblyProof.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)
@856
10 years
sacerdot
1. if_then_else is now a notation for match with (to allow Russell to …
(edit)
@855
10 years
mulligan
changes from today
(edit)
@854
10 years
mulligan
commit to avoid conflicts
(edit)
@853
10 years
sacerdot
…
(edit)
@852
10 years
mulligan
foldl_strong outer definition
(edit)
@851
10 years
mulligan
strong foldl added
(edit)
@850
10 years
sacerdot
More informative foldl: foldll.
(edit)
@849
10 years
sacerdot
…
(edit)
@848
10 years
sacerdot
…
(edit)
@847
10 years
sacerdot
Several bugs fixed in Matita.
(edit)
@846
10 years
mulligan
changes
(edit)
@845
10 years
sacerdot
Nightmare…
(edit)
@841
10 years
sacerdot
Minor changes.
(edit)
@840
10 years
sacerdot
sigma defined
(edit)
@839
10 years
sacerdot
More experiments.
(edit)
@838
10 years
sacerdot
Restored.
(edit)
@835
10 years
sacerdot
Old experiments removed.
(edit)
@834
10 years
sacerdot
Russell at work.
(edit)
@833
10 years
sacerdot
Bug fixed to make the file compile. But the type of the assembly …
(edit)
@832
10 years
mulligan
work from today
(edit)
@831
10 years
sacerdot
Progress in proofs.
(edit)
@829
10 years
sacerdot
…
(edit)
@828
10 years
sacerdot
Proof statement.
(edit)
@827
10 years
sacerdot
The preamble is now part of the
PseudoStatus?
.
(edit)
@826
10 years
mulligan
start of proof
(edit)
@825
10 years
mulligan
lots of refactoring, finally got something to prove
(add)
@823
10 years
mulligan
added new file for proof of correctness of pseudo-assembly translation
Note:
See
TracRevisionLog
for help on using the revision log.
Download in other formats:
RSS Feed
ChangeLog