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
/
configure
Commit message (
Expand
)
Author
Age
Files
Lines
...
*
fix typo 'clinker_option' in configure for OSX
Michael Schmidt
2016-05-10
1
-2
/
+2
*
fix typo in comment
Michael Schmidt
2016-05-10
1
-1
/
+1
*
fix typo 'clinker_option' in configure for OSX
Michael Schmidt
2016-05-10
1
-6
/
+10
*
configure: fix test for CFI directives
Xavier Leroy
2016-03-21
1
-1
/
+1
*
Merge branch 'master' into cleanup
Bernhard Schommer
2016-03-21
1
-0
/
+1
|
\
|
*
Add -Xalign-value to enforce correct alignment.
Bernhard Schommer
2016-03-18
1
-2
/
+3
*
|
Revert "Add the -Xalign-value options for diab."
Bernhard Schommer
2016-03-18
1
-1
/
+0
*
|
Add the -Xalign-value options for diab.
Bernhard Schommer
2016-03-18
1
-0
/
+1
*
|
Upgrade ocaml version needed and enable more warnings.
Bernhard Schommer
2016-03-10
1
-5
/
+9
|
/
*
Split up tools and options.
Bernhard Schommer
2016-02-25
1
-19
/
+42
*
Added configuration to enable clightgen build.
Bernhard Schommer
2015-12-28
1
-0
/
+8
*
Change one line in [Lexer.mll] to obey API change in Menhir 20151110.
François Pottier
2015-11-10
1
-1
/
+1
*
Merge remote branch 'upstream/master' into clean
François Pottier
2015-10-23
1
-50
/
+36
|
\
|
*
Removal of cchecklink, superseded by AbsInt's Valex tool.
Xavier Leroy
2015-10-12
1
-26
/
+6
|
*
Merge branch 'master' into ppc64
Xavier Leroy
2015-10-11
1
-1
/
+2
|
|
\
|
*
|
Use PowerPC 64 bits instructions (when available) for int<->FP conversions.
Xavier Leroy
2015-09-13
1
-26
/
+32
*
|
|
Updated [configure] to require today's Menhir.
François Pottier
2015-10-23
1
-3
/
+4
|
|
/
|
/
|
*
|
Activate the advanced debug for the gcc build.
Bernhard Schommer
2015-10-03
1
-1
/
+2
|
/
*
Better define the __GNUC__ macro which avoids the inclusion of va_list header...
Bernhard Schommer
2015-07-07
1
-1
/
+1
*
Added an define to avoid the inclusion of the diab va_list header which defin...
Bernhard Schommer
2015-07-07
1
-1
/
+1
*
Provide and use compiler-dependent standard headers.
Xavier Leroy
2015-04-25
1
-1
/
+11
*
Merge branch 'master' into dwarf
Bernhard Schommer
2015-04-14
1
-6
/
+6
|
\
|
*
When using gcc as a preprocessor, put it in C99 mode.
Xavier Leroy
2015-04-10
1
-6
/
+6
*
|
Merge branch 'master' into dwarf
Bernhard Schommer
2015-03-31
1
-2
/
+34
|
\
|
|
*
Merge pull request #33 from AbsInt/struct-passing
Xavier Leroy
2015-03-31
1
-2
/
+34
|
|
\
|
|
*
Improvements in the StructReturn transformation (ABI conformance for passing ...
Xavier Leroy
2015-03-20
1
-3
/
+32
|
|
*
Improve performance and configurability for the StructReturn pass.
Xavier Leroy
2015-03-14
1
-2
/
+5
*
|
|
Merge branch 'master' into dwarf
Bernhard Schommer
2015-03-30
1
-2
/
+2
|
\
|
|
|
*
|
Only for options with value.
Bernhard Schommer
2015-03-28
1
-2
/
+2
|
|
/
*
/
Started implementing the printing functions for the debug info. Added a globa...
Bernhard Schommer
2015-03-16
1
-1
/
+4
|
/
*
Added missing $ for build_checklink
Bernhard Schommer
2015-01-15
1
-2
/
+2
*
Added variable to the Makefile to specify additional linker commands and chan...
Bernhard Schommer
2015-01-15
1
-2
/
+5
*
One more cleanup in configure.
Xavier Leroy
2014-12-18
1
-1
/
+1
*
No longer include a pre-generated Parser.v in the distribution.
Xavier Leroy
2014-12-18
1
-10
/
+9
*
Minor bug fixes in configure and Makefile.extr
Xavier Leroy
2014-12-17
1
-3
/
+3
*
Merge branch 'master' into pure-makefiles
Xavier Leroy
2014-12-17
1
-1
/
+1
|
\
|
*
Update the IA32/MacOS X port.
Xavier Leroy
2014-12-11
1
-1
/
+1
*
|
Use OCaml's .opt compilers when available.
Xavier Leroy
2014-12-17
1
-9
/
+24
*
|
Replace ocamlbuild by a second-stage makefile to compile the OCaml code and p...
Xavier Leroy
2014-11-22
1
-0
/
+18
|
/
*
Change the way the tools like the linker, assembler, etc. are specified by in...
Bernhard Schommer
2014-09-30
1
-0
/
+3
*
Better validation of target for ARM
xleroy
2014-08-20
1
-1
/
+5
*
Rename "-fthumb" option into "-mthumb" for GCC compatibility.
xleroy
2014-08-19
1
-4
/
+4
*
configure: distinguish between ABI and processor model.
xleroy
2014-07-29
1
-27
/
+55
*
New sub-target: arm-hardfloat
xleroy
2014-05-02
1
-0
/
+11
*
Check availability of tools
xleroy
2014-05-02
1
-0
/
+50
*
Integration of Jacques-Henri Jourdan's verified parser.
xleroy
2014-04-29
1
-0
/
+3
*
Better prepro options for XCode 5.0
xleroy
2013-10-28
1
-1
/
+1
*
Revert commit r2349 because it triggers a bug in GNU as.
xleroy
2013-10-24
1
-1
/
+2
*
Use register names under Linux.
xleroy
2013-10-24
1
-2
/
+1
*
MacOS X linker option galore
xleroy
2013-09-26
1
-1
/
+1
[prev]
[next]