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
*
Added -w to disable all options. Bug 19872
Bernhard Schommer
2017-01-26
1
-1
/
+6
*
Allow .sx files for preprocessed assembler files.
Bernhard Schommer
2017-01-25
1
-0
/
+3
*
Do not print anonymous member names in debug info
Bernhard Schommer
2017-01-24
5
-4
/
+6
*
Also remove coq aux files.
Bernhard Schommer
2017-01-24
1
-0
/
+1
*
Improve wording of normal backtrace case Bug 19872
Bernhard Schommer
2017-01-19
1
-1
/
+3
*
Simplified C2C.error.
Bernhard Schommer
2017-01-18
2
-19
/
+16
*
Use quoted strings.
Bernhard Schommer
2017-01-18
6
-143
/
+156
*
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
*
bug 20679, more precise description of -g
Michael Schmidt
2017-01-17
1
-1
/
+1
*
Added backtrace handler.
Bernhard Schommer
2017-01-17
3
-0
/
+21
*
Fix typos
Michael Schmidt
2017-01-04
1
-2
/
+2
*
Allow multiple nameless bit field fields.
Bernhard Schommer
2016-12-29
1
-2
/
+4
*
Filter macOS metadata files in .gitignore
Michael Schmidt
2016-12-28
1
-0
/
+2
*
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
*
|
Replace 'decide equality' in x86/Op.v by custom tactics from lib/BoolEqual.v
Xavier Leroy
2016-12-26
3
-9
/
+176
*
|
add parameter to enforce a specific compcert build number for QSKs (bug 20595)
Michael Schmidt
2016-12-16
1
-2
/
+14
*
|
Also exit on errors. Bug 19872
Bernhard Schommer
2016-12-15
1
-1
/
+1
*
|
Check errors at the end. Bug 19872
Bernhard Schommer
2016-12-15
1
-0
/
+1
*
|
Fallthrough no depends on the last instruction.
Bernhard Schommer
2016-12-15
1
-4
/
+4
*
|
Be more conservative in emiting constants.
Bernhard Schommer
2016-12-15
1
-815
/
+827
*
|
bug 20593, document new warning class in man-page
Michael Schmidt
2016-12-14
1
-0
/
+4
*
|
Added warning for inline asm in sdump. Bug 20593
Bernhard Schommer
2016-12-14
3
-1
/
+13
|
/
*
More verbose dwarf.
Bernhard Schommer
2016-12-07
3
-4
/
+6
*
Use -Wno- instead of -Wno to deactivate warnings.
Bernhard Schommer
2016-12-06
1
-1
/
+1
*
fix targets in section for code generation options
Michael Schmidt
2016-12-02
1
-1
/
+5
*
Compute the correct size of location expressions.
Bernhard Schommer
2016-12-01
1
-1
/
+1
*
Use vfpv3 registers also in dwarf. Bug 20489
Bernhard Schommer
2016-11-29
1
-5
/
+10
*
Reset all Hashtbls.
Bernhard Schommer
2016-11-25
2
-10
/
+14
*
Do not use hardcoded register number for sp.
Bernhard Schommer
2016-11-25
2
-11
/
+11
*
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
*
C2C: revise typing and translation of __builtin_memcpy_aligned
Xavier Leroy
2016-11-17
2
-12
/
+22
*
Initializers: introduce 'constval_cast' to cast constant value to desired type
Xavier Leroy
2016-11-17
2
-21
/
+25
*
C2C: wrong translation of 'switch' over arguments of type 'long' if 'long' is...
Xavier Leroy
2016-11-17
1
-4
/
+5
*
Use 64 bit address in debug information.
Bernhard Schommer
2016-11-10
7
-19
/
+36
*
Removed folders from .merlin.
Bernhard Schommer
2016-11-09
1
-4
/
+0
*
Added ${arch}_${bitsize} for x86 to .merlin
Bernhard Schommer
2016-11-09
1
-1
/
+4
*
Merge branch 'master' of github.com:AbsInt/CompCert
Bernhard Schommer
2016-11-08
1
-1
/
+1
|
\
|
*
x86: mark register rax as destroyed by calls
Xavier Leroy
2016-11-08
1
-1
/
+1
*
|
fix va_arg for pointer types on 64bit target
Michael Schmidt
2016-11-08
1
-1
/
+7
*
|
extend constant check for builtin_memcpy_aligned (bug 20320)
Michael Schmidt
2016-11-07
1
-2
/
+2
|
/
*
extend constant check for builtin_memcpy_aligned (bug 20320)
Michael Schmidt
2016-11-07
1
-0
/
+2
[next]