1 file changed
+1
-1
lines changedSubmodule s2n-bignum updated 49 files
- .gitignore+1
- README.md+2
- arm/Makefile+82-97
- arm/p384/p384_montjadd.S+5-3
- arm/p384/p384_montjscalarmul.S+4-4
- arm/proofs/arm.ml+2-5
- arm/proofs/decode.ml+54-365
- arm/proofs/instruction.ml+51-3
- arm/proofs/p384_montjadd.ml+5-4
- arm/proofs/p384_montjscalarmul.ml+963-963
- arm/proofs/simulator.ml+2
- arm/proofs/simulator_iclasses.ml+17-5
- arm/tutorial/README.md+19
- arm/tutorial/bignum.S+11
- arm/tutorial/bignum.ml+158
- arm/tutorial/branch.S+7
- arm/tutorial/branch.ml+117
- arm/tutorial/loop.S+10
- arm/tutorial/loop.ml+120
- arm/tutorial/memory.S+4
- arm/tutorial/memory.ml+74
- arm/tutorial/rel_loop.S+6
- arm/tutorial/rel_loop.ml+171
- arm/tutorial/rel_loop2.S+7
- arm/tutorial/rel_simp.S+3
- arm/tutorial/rel_simp.ml+102
- arm/tutorial/rel_simp2.S+2
- arm/tutorial/rel_veceq.S+28
- arm/tutorial/rel_veceq.ml+157
- arm/tutorial/rel_veceq2.S+26
- arm/tutorial/sequence.S+4
- arm/tutorial/sequence.ml+101
- arm/tutorial/simple.S+2
- arm/tutorial/simple.ml+106
- codebuild/proofs.yml+7-7
- codebuild/sematests.yml+2-2
- codebuild/tests.yml+3
- common/components.ml+45-22
- common/for_hollight.ml+36
- common/misc.ml+25-3
- tests/Makefile+4-1
- tests/test.c+1
- tools/build-proof.sh+65
- tools/collect-specs.sh+9-4
- tools/collect-times.sh+1-1
- tools/count-proofs.sh+1-1
- tools/run-proof.sh+12-19
- tools/run-sematest.sh+7-8
- x86/Makefile+56-41
0 commit comments