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
*
Merge branch 'master' into asmexpand
Bernhard Schommer
2015-07-14
1
-1
/
+4
|
\
|
*
Reject incomplete types as return type.
Bernhard Schommer
2015-07-14
1
-1
/
+4
*
|
Updated the branch and implemented the suggested changes.
Bernhard Schommer
2015-07-14
3
-44
/
+78
*
|
Merge branch 'master' into asmexpand
Bernhard Schommer
2015-07-14
51
-241
/
+1046
|
\
|
|
*
Use env1 instead of env to also have the type specifiers used in the return p...
Bernhard Schommer
2015-07-09
1
-1
/
+1
|
*
Also test if the __VA_LIST macro is defined to avoid problems with the typede...
Bernhard Schommer
2015-07-09
1
-2
/
+8
|
*
Propagated the composed type constructed build during identifier lookup.
Bernhard Schommer
2015-07-09
1
-6
/
+6
|
*
Merge branch 'master' of https://github.com/AbsInt/CompCert
Xavier Leroy
2015-07-08
17
-32
/
+125
|
|
\
|
|
*
Turn off copy optimization when returning a composite by reference.
Xavier Leroy
2015-07-08
4
-5
/
+50
|
|
*
Add implicit "return 0;" at end of function "main".
Xavier Leroy
2015-07-08
1
-1
/
+13
|
|
*
Turn "redefinition with an incompatible type" warning into an error.
Xavier Leroy
2015-07-08
1
-1
/
+6
|
|
*
Fix issue with bit fields of type _Bool
Xavier Leroy
2015-07-08
4
-18
/
+34
|
|
*
Merge github.com:AbsInt/CompCert
Bernhard Schommer
2015-07-07
1
-2
/
+5
|
|
|
\
|
|
|
*
Merge pull request #49 from jhjourdan/ch2o_universes_compat
Xavier Leroy
2015-07-07
1
-2
/
+5
|
|
|
|
\
|
|
|
|
*
Change the definition of Typles.tuple
Jacques-Henri Jourdan
2015-07-07
1
-2
/
+5
|
|
|
|
/
|
|
*
|
Removed brackets around ty in macro of offestof.
Bernhard Schommer
2015-07-07
1
-1
/
+1
|
|
*
|
Diab defines w_char to be unsigned short.
Bernhard Schommer
2015-07-07
5
-3
/
+11
|
|
*
|
Better define the __GNUC__ macro which avoids the inclusion of va_list header...
Bernhard Schommer
2015-07-07
2
-1
/
+5
|
|
*
|
Added an define to avoid the inclusion of the diab va_list header which defin...
Bernhard Schommer
2015-07-07
1
-1
/
+1
|
|
|
/
|
*
/
More portable test for fres and fsqrte.
Xavier Leroy
2015-07-08
3
-7
/
+16
|
|
/
|
*
Set/clear CR6 before calling an unprototyped function.
Xavier Leroy
2015-07-07
1
-3
/
+4
|
*
Merge pull request #48 from AbsInt/json_export
Bernhard Schommer
2015-07-06
8
-10
/
+438
|
|
\
|
|
*
Use the functions from C2C to extract the information for the atoms. Simplifi...
Bernhard Schommer
2015-07-06
1
-17
/
+18
|
|
*
Merge branch 'master' into json_export
Bernhard Schommer
2015-07-06
33
-201
/
+503
|
|
|
\
|
|
|
/
|
|
/
|
|
*
|
Corrected little typo in __builtin_clz function.
Bernhard Schommer
2015-07-06
5
-7
/
+7
|
*
|
Tighten and prove correct the underflow/overflow bounds for parsing of FP lit...
Xavier Leroy
2015-07-06
3
-137
/
+249
|
*
|
Allow forward declarations of structure and union types in the debug informat...
Bernhard Schommer
2015-07-03
3
-14
/
+52
|
*
|
Added a fast test for too large exponents too avoid never ending computations.
Bernhard Schommer
2015-07-03
1
-29
/
+42
|
*
|
Simple path for problems whith diab assembler in the case of functions in dif...
Bernhard Schommer
2015-07-03
1
-9
/
+48
|
*
|
Do not search for high and low pc of inlined functions.
Bernhard Schommer
2015-07-02
3
-5
/
+13
|
*
|
Allow Anonymous structs, unions and enums in debug info.
Bernhard Schommer
2015-07-02
3
-18
/
+18
|
*
|
Add bulitin typedes during C to dwarf translation.
Bernhard Schommer
2015-07-02
1
-6
/
+9
|
*
|
Added Build, Tag, etc in version string and driver/Version.ml should be ignored
Bernhard Schommer
2015-07-01
2
-2
/
+2
|
*
|
Removed the version from the compcert.ini file and add it again in a separate...
Bernhard Schommer
2015-07-01
9
-21
/
+27
|
*
|
Merge branch 'master' of https://github.com/AbsInt/CompCert
Xavier Leroy
2015-06-30
8
-17
/
+84
|
|
\
\
|
|
*
\
Merge github.com:AbsInt/CompCert
Bernhard Schommer
2015-06-26
2
-16
/
+33
|
|
|
\
\
|
|
*
|
|
Make also the wchar definition diab compatible.
Bernhard Schommer
2015-06-26
1
-0
/
+15
|
|
*
|
|
Added diab specific macros for stddef to avoid redefinition of size_t.
Bernhard Schommer
2015-06-26
1
-0
/
+9
|
*
|
|
|
Signedness issue in specification of subtraction between two pointers.
Xavier Leroy
2015-06-30
6
-7
/
+32
|
|
|
|
*
Added diab specific size_t define in stddef.
Bernhard Schommer
2015-06-26
1
-0
/
+9
|
|
|
|
*
Print bit representation of floats.
Bernhard Schommer
2015-06-24
1
-5
/
+6
|
|
|
|
*
Fixed typo also in json export.
Bernhard Schommer
2015-06-22
1
-1
/
+1
|
|
|
|
*
Merge branch 'master' into json_export
Bernhard Schommer
2015-06-22
5
-7
/
+7
|
|
|
|
|
\
|
|
|
_
|
_
|
/
|
|
/
|
|
|
|
|
|
|
*
Merge branch 'master' into json_export
Bernhard Schommer
2015-06-17
19
-38
/
+487
|
|
|
|
|
\
|
|
|
|
*
\
Merge branch 'master' into json_export
Bernhard Schommer
2015-05-29
4
-29
/
+31
|
|
|
|
|
\
\
|
|
|
|
*
|
|
Merged instructions that are printed as same instruction already in printer.
Bernhard Schommer
2015-05-29
1
-26
/
+26
|
|
|
|
*
|
|
Merge branch 'master' into json_export
Bernhard Schommer
2015-05-21
5
-53
/
+204
|
|
|
|
|
\
\
\
|
|
|
|
*
|
|
|
Added flag for the renaming of static functions.
Bernhard Schommer
2015-05-19
5
-8
/
+27
|
|
|
|
*
|
|
|
Updated the printing of iniline asm and simplified some structures.
Bernhard Schommer
2015-05-18
1
-136
/
+118
|
|
|
|
*
|
|
|
Merge branch 'master' into json_export
Bernhard Schommer
2015-05-18
28
-317
/
+381
|
|
|
|
|
\
\
\
\
[next]