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 -w to disable all options. Bug 19872
Bernhard Schommer
2017-01-26
1
-1
/
+6
*
Improve wording of normal backtrace case Bug 19872
Bernhard Schommer
2017-01-19
1
-1
/
+3
*
Use quoted strings.
Bernhard Schommer
2017-01-18
1
-11
/
+12
*
More comments and improvements for unknown loc.
Bernhard Schommer
2017-01-18
2
-1
/
+27
*
Remove duplaceted relese. Bug 20681
Bernhard Schommer
2017-01-17
1
-1
/
+1
*
Added missing whitespace. Bug 19872
Bernhard Schommer
2017-01-17
1
-1
/
+1
*
Safe the backtrace earlier. Bug 20681
Bernhard Schommer
2017-01-17
1
-12
/
+13
*
Added backtrace handler.
Bernhard Schommer
2017-01-17
2
-0
/
+19
*
Allow multiple nameless bit field fields.
Bernhard Schommer
2016-12-29
1
-2
/
+4
*
Merge pull request #153 from AbsInt/anonymous_struct2
Bernhard Schommer
2016-12-27
7
-39
/
+113
|
\
|
*
Avoid exception catch-all
Xavier Leroy
2016-12-26
1
-1
/
+1
|
*
Cosmetic indentation change
Xavier Leroy
2016-12-26
1
-5
/
+4
|
*
Added code for initializers. Bug 20003
Bernhard Schommer
2016-12-12
1
-1
/
+19
|
*
Moved naming and changed names of aux functions
Bernhard Schommer
2016-12-12
1
-16
/
+20
|
*
Next try for support of anonymous structs.
Bernhard Schommer
2016-12-07
7
-41
/
+94
*
|
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
[next]