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
*
Merge pull request #139 from AbsInt/advanced-diagnostics
Bernhard Schommer
2016-09-20
21
-395
/
+781
|
\
|
*
Fixed typos and reverted error message. Bug 18004
Bernhard Schommer
2016-09-05
1
-9
/
+9
|
*
Readded parameter number. Bug 18004
Bernhard Schommer
2016-09-01
1
-6
/
+6
|
*
Reworded warning. Bug 18004
Bernhard Schommer
2016-09-01
1
-6
/
+6
|
*
Simplified int to pointer tests.
Bernhard Schommer
2016-09-01
2
-16
/
+17
|
*
Fixed error message for & operator. Bug 18004
Bernhard Schommer
2016-08-31
1
-1
/
+1
|
*
Added conformance warning.
Bernhard Schommer
2016-08-31
3
-0
/
+4
|
*
Added back logical operator in error. Bug 18004
Bernhard Schommer
2016-08-31
1
-1
/
+1
|
*
Reworded errors/warnings in Elab.
Bernhard Schommer
2016-08-31
1
-60
/
+76
|
*
Restored original bit-field warning. Bug 18004
Bernhard Schommer
2016-08-31
1
-1
/
+1
|
*
Updated comment string. Bug 18004.
Bernhard Schommer
2016-08-31
2
-3
/
+3
|
*
Readded warning about ignored volatile. Bug 18004
Bernhard Schommer
2016-08-31
1
-1
/
+1
|
*
Added missing literal. Bug 18004
Bernhard Schommer
2016-08-31
1
-1
/
+1
|
*
Fixed typos.
Bernhard Schommer
2016-08-31
1
-8
/
+8
|
*
bug 18004, fix some typos/grammar
Michael Schmidt
2016-08-30
1
-1
/
+1
|
*
bug 18004, fix some typos/grammar
Michael Schmidt
2016-08-30
1
-4
/
+4
|
*
Fixed types in Elab.ml. Bug 18004
Bernhard Schommer
2016-08-29
1
-5
/
+5
|
*
Merge branch 'master' into advanced-diagnostics
Bernhard Schommer
2016-08-29
1
-8
/
+18
|
|
\
|
*
\
Merge branch 'master' into advanced-diagnostics
Bernhard Schommer
2016-08-29
56
-577
/
+1051
|
|
\
\
|
*
|
|
Added raw printing of types without formatting.
Bernhard Schommer
2016-08-16
3
-5
/
+11
|
*
|
|
Additional test for color output.
Bernhard Schommer
2016-08-05
6
-75
/
+102
|
*
|
|
Classified all warnings and added various options.
Bernhard Schommer
2016-07-29
16
-358
/
+690
*
|
|
|
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
[next]