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
...
|
*
Remove blank lines.
Bernhard Schommer
2017-01-31
1
-2
/
+0
|
*
New version to support designators.
Bernhard Schommer
2017-01-24
7
-21
/
+45
|
*
Simplified version.
Bernhard Schommer
2017-01-20
2
-43
/
+26
|
*
Also support union. Bug 20765
Bernhard Schommer
2017-01-20
1
-3
/
+4
|
*
Implement offsetof via builtin.
Bernhard Schommer
2017-01-20
7
-2
/
+64
*
|
Typo in type of elab_char_constant
Xavier Leroy
2017-01-31
1
-1
/
+1
*
|
Export elab_{int,float,char}_constant
Xavier Leroy
2017-01-31
1
-0
/
+9
*
|
Added support for different diagnostic formats.
Bernhard Schommer
2017-01-30
1
-2
/
+25
*
|
Switch case for error option. Bug 19872
Bernhard Schommer
2017-01-30
1
-2
/
+2
*
|
Added -f(no-)diagnostics-show-option.
Bernhard Schommer
2017-01-27
1
-6
/
+20
*
|
Added option -fmax-errors.
Bernhard Schommer
2017-01-26
1
-3
/
+14
*
|
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
[prev]
[next]