# # ChangeLog for src/ASM/AssemblyProof.ma # # Generated by Trac 1.2 # Apr 17, 2021, 2:02:59 PM Wed, 08 Jun 2011 15:27:35 GMT sacerdot [901] * src/ASM/AssemblyProof.ma (modified) Second main lemma proved. Wed, 08 Jun 2011 08:59:01 GMT sacerdot [897] * src/ASM/AssemblyProof.ma (modified) Proof completed, fetch and assembly are mutual inverses. Wed, 08 Jun 2011 08:38:31 GMT sacerdot [896] * src/ASM/AssemblyProof.ma (modified) Proof finished (but ugly) :-) Wed, 08 Jun 2011 08:09:06 GMT sacerdot [894] * src/ASM/AssemblyProof.ma (modified) Bug more evident. Tue, 07 Jun 2011 15:32:30 GMT sacerdot [893] * src/ASM/AssemblyProof.ma (modified) Cleanup. Tue, 07 Jun 2011 15:28:57 GMT sacerdot [892] * src/ASM/AssemblyProof.ma (modified) First fundamental lemma almost finished. Tue, 07 Jun 2011 00:56:39 GMT sacerdot [890] * src/ASM/AssemblyProof.ma (modified) Better statement, begin of uniform proof. Mon, 06 Jun 2011 21:07:24 GMT sacerdot [889] * src/ASM/AssemblyProof.ma (modified) * src/ASM/Vector.ma (modified) * src/common/Integers.ma (modified) Minor changes because of the new, weaker (but much faster) delift. Sun, 05 Jun 2011 00:04:22 GMT sacerdot [885] * src/ASM/AssemblyProof.ma (modified) Proof almost finished, but rewritings are extremely slow. Sat, 04 Jun 2011 16:16:08 GMT sacerdot [884] * src/ASM/AssemblyProof.ma (modified) ... Fri, 03 Jun 2011 16:36:00 GMT sacerdot [883] * src/ASM/AssemblyProof.ma (modified) Merged done well. Fri, 03 Jun 2011 14:11:24 GMT mulligan [877] * src/ASM/AssemblyProof.ma (added) work from today