index
:
compcert
FPcomp
aarch64
conditional-move
dev/michalis
floatofintu
inl-cse-const
master
no-pervasives
CompCert fork with minor modifications for Vericert.
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
Commit message (
Expand
)
Author
Age
Files
Lines
*
IA32: model integer division and modulus closer to the machine
Xavier Leroy
2016-09-18
5
-50
/
+187
*
Enrich Decidableplus and use it to simplify Cexec.do_ef_memcpy
Xavier Leroy
2016-09-17
3
-31
/
+39
*
Decidableplus: remove stuff that was cut-and-paste from Coq 8.5 library
Xavier Leroy
2016-09-17
1
-48
/
+1
*
Added option to specify sdump folder. Fix 19816.
Bernhard Schommer
2016-09-16
1
-2
/
+7
*
improve fixup code (bug 19792)
Michael Schmidt
2016-09-15
1
-0
/
+2
*
Add interference for indirect calls.
Bernhard Schommer
2016-09-15
5
-6
/
+22
*
Add missing fixup-code for ARM EABI (bug 19792)
Michael Schmidt
2016-09-14
1
-2
/
+0
*
add missing print operator
Michael Schmidt
2016-09-14
1
-0
/
+1
*
Removed some implict arguments.
Bernhard Schommer
2016-09-05
3
-33
/
+14
*
Pass the environment of k&r param elaboration.
Bernhard Schommer
2016-08-29
1
-8
/
+10
*
Fixed spelling mistake and unnamed fields.
Bernhard Schommer
2016-08-29
1
-3
/
+6
*
Added check for duplicated members. Bug 19665
Bernhard Schommer
2016-08-29
1
-0
/
+5
*
Use old scope in after parameter parsing.
Bernhard Schommer
2016-08-26
1
-1
/
+1
*
Reuse types from parameters in function definitons
Bernhard Schommer
2016-08-25
3
-41
/
+47
*
Test if struct is redefined as union or otherwise.
Bernhard Schommer
2016-08-25
1
-0
/
+2
*
Simplify test. Bug 19629
Bernhard Schommer
2016-08-25
1
-4
/
+1
*
Test for illegal first argument in __builtin_debug.
Bernhard Schommer
2016-08-25
1
-2
/
+6
*
Merge pull request #118 from AbsInt/armeb
Xavier Leroy
2016-08-24
37
-471
/
+657
|
\
|
*
fix merge conflicts
Michael Schmidt
2016-08-17
17
-15
/
+235
|
|
\
|
*
|
update help text in configure script
Michael Schmidt
2016-08-08
1
-13
/
+14
|
*
|
port fix for configure from m-schmidt/EndiannessPlayground
Michael Schmidt
2016-08-07
1
-0
/
+5
|
*
|
Changed configure target for arm big endian.
Bernhard Schommer
2016-08-05
1
-27
/
+12
|
*
|
Implement support for big endian arm targets.
Bernhard Schommer
2016-08-05
37
-472
/
+667
*
|
|
PR#113, PR#122: Unspillable temporaries causing register allocation to fail
Xavier Leroy
2016-08-24
1
-1
/
+6
*
|
|
Print prototypes for malloc and free.
Bernhard Schommer
2016-08-23
1
-1
/
+1
*
|
|
Fix for initialization of incomplete types
Bernhard Schommer
2016-08-23
3
-5
/
+8
*
|
|
Added types found in cast to Environment.
Bernhard Schommer
2016-08-23
1
-2
/
+2
*
|
|
Revert "Reuse env from during parameter elaboration."
Bernhard Schommer
2016-08-23
1
-4
/
+4
*
|
|
Reuse env from during parameter elaboration.
Bernhard Schommer
2016-08-22
1
-4
/
+4
*
|
|
Better error message for function initializer
Bernhard Schommer
2016-08-22
1
-0
/
+4
*
|
|
Also print declarations in CompCert C.
Bernhard Schommer
2016-08-22
1
-0
/
+20
*
|
|
Print whole command line.
Bernhard Schommer
2016-08-22
1
-8
/
+8
*
|
|
Test for incomplete type during initialization.
Bernhard Schommer
2016-08-22
1
-1
/
+6
*
|
|
Error for va_start in non-vararg function.
Bernhard Schommer
2016-08-22
1
-27
/
+31
*
|
|
Added missing , in PrintCsyntax. Bug 19599
Bernhard Schommer
2016-08-22
1
-1
/
+1
*
|
|
Added check for incomplete parameter types.
Bernhard Schommer
2016-08-20
1
-1
/
+5
*
|
|
Exit earlier on invalid alignof and sizeof.
Bernhard Schommer
2016-08-19
1
-4
/
+4
*
|
|
Disallow void as type for variables.
Bernhard Schommer
2016-08-18
1
-0
/
+2
|
|
/
|
/
|
*
|
Exit earlier on empty union.
Bernhard Schommer
2016-08-17
1
-1
/
+5
*
|
Merge pull request #107 from AbsInt/add-file
Xavier Leroy
2016-08-17
12
-10
/
+219
|
\
\
|
*
|
Moved quoting functions in Responsefile
Bernhard Schommer
2016-08-16
5
-36
/
+44
|
*
|
Added missing begin end around quoting. Bug 18308.
Bernhard Schommer
2016-08-10
1
-2
/
+2
|
*
|
Corrected diab quoting. Bug 18308
Bernhard Schommer
2016-07-21
1
-8
/
+11
|
*
|
Added support for quoting for diab backend.
Bernhard Schommer
2016-07-21
4
-2
/
+21
|
*
|
Added simplified reader and printer for gnu @files
Bernhard Schommer
2016-07-20
11
-145
/
+140
|
*
|
Merged responfile function into command.
Bernhard Schommer
2016-07-19
5
-49
/
+33
|
*
|
Added heuristic for passing arg via responsefiles.
Bernhard Schommer
2016-07-12
7
-31
/
+51
|
*
|
Really added the function. Bug 18308
Bernhard Schommer
2016-07-11
2
-3
/
+19
|
*
|
Added function to write responsefiles.
Bernhard Schommer
2016-07-11
1
-0
/
+24
|
*
|
Merge branch 'master' into add-file
Bernhard Schommer
2016-07-11
56
-365
/
+626
|
|
\
\
[next]