1 file changed
+1
-1
lines changed- Changelog+51
- Makefile.extr+9-2
- README.md+4-4
- VERSION+1-1
- aarch64/Asm.v+4
- aarch64/Asmexpand.ml+4
- aarch64/TargetPrinter.ml+4
- cfrontend/C2C.ml+1-1
- configure+15-2
- doc/index.html+6-4
- driver/Clflags.ml+1
- driver/CommonOptions.ml+2-19
- driver/Driver.ml+3-1
- driver/Interp.ml+37-18
- exportclight/Clightdefs.v+110
- powerpc/Builtins1.v+44-4
- powerpc/PrintOp.ml+8
- runtime/x86_64/i64_dtou.S+5-5
- runtime/x86_64/i64_utod.S+9-9
- runtime/x86_64/i64_utof.S+9-9
- runtime/x86_64/sysdeps.h+15-3
- runtime/x86_64/vararg.S+61-2
- test/clightgen/Makefile+1-1
- x86/Asm.v+2
- x86/Asmexpand.ml+77-14
- x86/CBuiltins.ml+6-2
- x86/ConstpropOp.vp+2-3
- x86/ConstpropOpproof.v+1-1
- x86/Conventions1.v+152-48
- x86/Stacklayout.v+13-9
- x86/TargetPrinter.ml+31-5
- x86/extractionMachdep.v+12-8
- x86_32/Archi.v+4
- x86_64/Archi.v+3
0 commit comments