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
...
*
|
|
Remove undocumented option. Bug 20193
Bernhard Schommer
2016-10-14
6
-33
/
+10
|
/
/
*
|
Fix minor typo
Michael Schmidt
2016-10-12
1
-1
/
+1
*
|
Added configure switch for merlin.
Bernhard Schommer
2016-10-06
1
-0
/
+35
*
|
Fixed regression in printing of floats.
Bernhard Schommer
2016-10-04
1
-1
/
+1
|
/
*
Keep anonymous members of anonymous structs.
Bernhard Schommer
2016-09-27
2
-3
/
+5
*
undefine _Nullable to add some compatibility with macOS 10.12 SDK
Michael Schmidt
2016-09-23
1
-1
/
+1
*
Improved error messages for wrong vararg calls.
Bernhard Schommer
2016-09-23
2
-4
/
+10
*
Catch case of zero in builtin debug.
Bernhard Schommer
2016-09-22
1
-2
/
+2
*
Merge branch 'master' of /common/repositories/git/tools/compcert
Bernhard Schommer
2016-09-22
1
-0
/
+1
|
\
|
*
mention -Wall in help text
Michael Schmidt
2016-09-22
1
-0
/
+1
*
|
Added sizetyp for subarray bounds. Fix 19894
Bernhard Schommer
2016-09-22
3
-21
/
+43
|
/
*
Added compcert-conformance to wall. Bug 19872
Bernhard Schommer
2016-09-22
1
-0
/
+2
*
Renamed pedantic to implicit-int.
Bernhard Schommer
2016-09-22
3
-8
/
+9
*
Allow %lf type specifier in printf.
Bernhard Schommer
2016-09-22
1
-1
/
+1
*
Reverted noisy change.
Bernhard Schommer
2016-09-22
1
-1
/
+1
*
Merge pull request #142 from maximedenes/minor-fixes
Xavier Leroy
2016-09-21
3
-9
/
+13
|
\
|
*
Fix minor issues in some proofs and tactics.
Maxime Dénès
2016-09-21
3
-9
/
+13
*
|
Fix typo in option name. Bug 18004
Bernhard Schommer
2016-09-21
1
-1
/
+1
*
|
Also warn for empty default declarations. Bug 18004
Bernhard Schommer
2016-09-21
1
-1
/
+1
*
|
Make unnamed default + correct empty struct warning. Bug 18004
Bernhard Schommer
2016-09-21
2
-2
/
+3
*
|
Allow empty alignment attribute. Bug 18004
Bernhard Schommer
2016-09-21
1
-0
/
+1
*
|
Remove the duplicated :. Bug 18004
Bernhard Schommer
2016-09-21
1
-3
/
+3
*
|
Ignore also ignores the argunment. Bug 18004
Bernhard Schommer
2016-09-20
2
-2
/
+7
*
|
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
[prev]
[next]