]> matita.cs.unibo.it Git - helm.git/history - matita/library/assembly
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
tagging rc-1
[helm.git] / matita / library / assembly /
2007-10-14 Claudio Sacerdoti... Some lemmas moves to the file they belong to. tree | commitdiff
2007-07-31 Enrico Tassisomething was really too slow... tree | commitdiff
2007-07-20 Claudio Sacerdoti... Another nicer version. tree | commitdiff
2007-07-20 Claudio Sacerdoti... Even nicer script. tree | commitdiff
2007-07-20 Claudio Sacerdoti... The nicest script obtained so far. tree | commitdiff
2007-07-20 Claudio Sacerdoti... More simplification due to the new conversion strategy. tree | commitdiff
2007-07-20 Claudio Sacerdoti... Script simplification due to the new efficient conversi... tree | commitdiff
2007-07-19 Claudio Sacerdoti... Super-nice notation for the assembly stuff. tree | commitdiff
2007-07-17 Claudio Sacerdoti... added missing parenthesis tree | commitdiff
2007-07-17 Enrico Tassifixed includes and added notation for bytes tree | commitdiff
2007-07-16 Claudio Sacerdoti... More lemmas. tree | commitdiff
2007-07-16 Claudio Sacerdoti... More daemons closed. A couple left in byte and many... tree | commitdiff
2007-07-16 Claudio Sacerdoti... More daemons/axioms closed. tree | commitdiff
2007-07-16 Claudio Sacerdoti... One daemon less. tree | commitdiff
2007-07-16 Claudio Sacerdoti... More daemons got rid of (and more extra axioms to be... tree | commitdiff
2007-07-16 Claudio Sacerdoti... Last daemon killed :-) tree | commitdiff
2007-07-16 Claudio Sacerdoti... One less daemon (about "update"s). tree | commitdiff
2007-07-16 Claudio Sacerdoti... All sub-proofs about "update" closed. tree | commitdiff
2007-07-16 Claudio Sacerdoti... assembly.ma splitted into many files tree | commitdiff
2007-07-16 Wilmer Ricciotticorrected axiom mod_plus tree | commitdiff
2007-07-13 Claudio Sacerdoti... More conjectures closed. tree | commitdiff
2007-07-13 Claudio Sacerdoti... 1. requires the new pretty printer for natural numbers tree | commitdiff
2007-07-13 Claudio Sacerdoti... Final theorem proved. Many many conjectures left. I... tree | commitdiff
2007-07-12 Claudio Sacerdoti... The loop invariant I chosed was not correct! tree | commitdiff
2007-07-11 Claudio Sacerdoti... Getting close to the final result. tree | commitdiff
2007-07-11 Claudio Sacerdoti... 1. loop invariant stated, but not proved tree | commitdiff
2007-07-11 Claudio Sacerdoti... 1. status factorized out in tick tree | commitdiff
2007-07-10 Claudio Sacerdoti... 0. less nice solution by Enrico reverted tree | commitdiff
2007-07-10 Enrico TassiLa programmazione funzionale e' come TeX, funziona... tree | commitdiff
2007-07-09 Enrico Tassi1. bug fixed in tick tree | commitdiff
2007-07-09 Claudio Sacerdoti... Interesting theorem added (but still to be proved). tree | commitdiff
2007-07-07 Enrico Tassiinclusion of div_and_mod tree | commitdiff
2007-07-05 Claudio Sacerdoti... Exadecimal numbers are now used. This is a great speed-up. tree | commitdiff
2007-07-04 Claudio Sacerdoti... Example program executed for x,y=0. tree | commitdiff
2007-07-04 Claudio Sacerdoti... Quick hack: matita natural numbers are now accepted... tree | commitdiff
2007-07-04 Claudio Sacerdoti... More opcodes (badly) implemented. tree | commitdiff
2007-07-04 Claudio Sacerdoti... List.ma: added function nth (with default value in... tree | commitdiff
Unnamed repository; edit this file 'description' to name the repository.