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
path:
root
/
cparser
Commit message (
Expand
)
Author
Age
Files
Lines
...
*
|
Added warning for inline asm in sdump. Bug 20593
Bernhard Schommer
2016-12-14
2
-0
/
+7
|
/
*
Use -Wno- instead of -Wno to deactivate warnings.
Bernhard Schommer
2016-12-06
1
-1
/
+1
*
Warning for C11 _Noreturn feature.
Bernhard Schommer
2016-11-22
1
-4
/
+10
*
Warning for decls without name in composites.
Bernhard Schommer
2016-11-22
4
-6
/
+15
*
Merge pull request #145 from AbsInt/64
Xavier Leroy
2016-10-27
1
-3
/
+3
|
\
|
*
cparser/PackedStructs: fix assertion that was wrong for 64-bit targets
Xavier Leroy
2016-10-24
1
-1
/
+1
|
*
Support for 64-bit architectures: generic support
Xavier Leroy
2016-10-01
1
-2
/
+2
*
|
Remove unnecessary usage of isatty.
Bernhard Schommer
2016-10-18
1
-1
/
+1
*
|
Catch errors from Unix for isatty.
Bernhard Schommer
2016-10-18
1
-1
/
+4
*
|
Remove undocumented option. Bug 20193
Bernhard Schommer
2016-10-14
3
-25
/
+8
|
/
*
Keep anonymous members of anonymous structs.
Bernhard Schommer
2016-09-27
2
-3
/
+5
*
Improved error messages for wrong vararg calls.
Bernhard Schommer
2016-09-23
1
-2
/
+3
*
mention -Wall in help text
Michael Schmidt
2016-09-22
1
-0
/
+1
*
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
*
Reverted noisy change.
Bernhard Schommer
2016-09-22
1
-1
/
+1
*
Merge pull request #142 from maximedenes/minor-fixes
Xavier Leroy
2016-09-21
1
-0
/
+1
|
\
|
*
Fix minor issues in some proofs and tactics.
Maxime Dénès
2016-09-21
1
-0
/
+1
*
|
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
*
|
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
*
|
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
|
\
\
|
*
|
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
*
|
|
Merge branch 'master' into advanced-diagnostics
Bernhard Schommer
2016-08-29
10
-82
/
+126
|
\
|
|
|
*
|
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
|
*
|
Merge pull request #118 from AbsInt/armeb
Xavier Leroy
2016-08-24
2
-1
/
+5
|
|
\
\
|
|
*
\
fix merge conflicts
Michael Schmidt
2016-08-17
4
-3
/
+12
|
|
|
\
\
|
|
*
|
|
Implement support for big endian arm targets.
Bernhard Schommer
2016-08-05
2
-1
/
+5
|
*
|
|
|
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
[prev]
[next]