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
*
Install Coq development (.vo files) if requested (#232)
Xavier Leroy
2018-05-30
1
-3
/
+26
*
Support Coq version 8.8.0
Xavier Leroy
2018-04-25
1
-3
/
+3
*
Support Coq 8.7.2
Xavier Leroy
2018-02-19
1
-3
/
+3
*
Removed struct passing/return from Configurations
Bernhard Schommer
2018-02-16
1
-40
/
+0
*
Rename abi for ppc-linux targets.
Bernhard Schommer
2018-02-16
1
-2
/
+2
*
Fix typo in comment
Michael Schmidt
2018-02-16
1
-1
/
+1
*
Add support for x86_64 BSD (#56)
Xavier Leroy
2018-02-09
1
-3
/
+19
*
Configure check for PIE (#55)
Michael Schmidt
2018-02-08
1
-5
/
+12
*
Removed superfluous check.
Bernhard Schommer
2018-02-06
1
-4
/
+0
*
Improved message recommending an OCaml version to use
Xavier Leroy
2018-01-13
1
-1
/
+1
*
Resynchronize the LICENSE file and the license headers in individual files (#45)
Xavier Leroy
2018-01-05
1
-0
/
+3
*
Coq 8.7.1 support
Xavier Leroy
2017-12-18
1
-3
/
+3
*
Coq 8.7.0 support
Xavier Leroy
2017-10-20
1
-3
/
+3
*
Take advantage of ARMv6T2/ARMv7 instructions even if not in Thumb2 mode (#203)
Gergö Barany
2017-09-18
1
-2
/
+9
*
configure for x86-32/Cygwin: ignore __attribute__
Xavier Leroy
2017-09-11
1
-1
/
+1
*
configure: Wording and formatting of the Skylake/OCaml warning
Xavier Leroy
2017-08-18
1
-2
/
+3
*
Merge branch 'master' of github.com:AbsInt/CompCert
Bernhard Schommer
2017-07-31
1
-1
/
+3
|
\
|
*
Mention rv32- and rv64- configurations in the help message
Xavier Leroy
2017-07-31
1
-0
/
+2
|
*
Accept Coq version 8.6.1 as supported
Xavier Leroy
2017-07-31
1
-1
/
+1
*
|
Warning for Skylake/Kabylake systems.
Bernhard Schommer
2017-07-31
1
-0
/
+4
|
/
*
use TMPDIR also for asm-cfi test
Michael Schmidt
2017-07-27
1
-5
/
+5
*
generalize test for compiler options
Michael Schmidt
2017-07-27
1
-15
/
+22
*
Add a -ignore-coq-version flag to configure (continued)
Xavier Leroy
2017-07-06
1
-2
/
+2
*
Merge branch 'master' of github.com:AbsIntPrivate/CompCert
Bernhard Schommer
2017-07-05
1
-0
/
+30
|
\
|
*
add check for -no-pie at configure-time
Michael Schmidt
2017-07-04
1
-0
/
+30
*
|
Add a -ignore-coq-version flag to configure (continued)
Xavier Leroy
2017-07-05
1
-1
/
+1
*
|
Add a -ignore-coq-version flag to configure
Xavier Leroy
2017-07-05
1
-2
/
+10
|
/
*
RISC-V port and assorted changes
Xavier Leroy
2017-04-28
1
-0
/
+27
*
Always generate .merlin and _CoqProject files.
Bernhard Schommer
2017-04-28
1
-19
/
+7
*
Add a switch to generate a _CoqProject file.
Bernhard Schommer
2017-02-23
1
-0
/
+22
*
Bump required version of Menhir to 20161201.
Maxime Dénès
2017-01-09
1
-1
/
+1
*
Configure now expects to find Coq 8.6.0.
Maxime Dénès
2017-01-09
1
-3
/
+3
*
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
*
allow Cow version 8.5pl3
Michael Schmidt
2016-11-04
1
-1
/
+1
*
Merge pull request #145 from AbsInt/64
Xavier Leroy
2016-10-27
1
-28
/
+86
|
\
|
*
Documentation updates to mention 64-bit mode and x86_64 port
Xavier Leroy
2016-10-27
1
-5
/
+8
|
*
Make Archi.ptr64 always computable, and reorganize files accordingly: ia32 ->...
Xavier Leroy
2016-10-27
1
-25
/
+33
|
*
configure for ia32-macosx: update for MacOS 10.12
Xavier Leroy
2016-10-13
1
-1
/
+1
|
*
x86-64 MacOS X support
Xavier Leroy
2016-10-11
1
-0
/
+16
|
*
Support for 64-bit architectures: x86 in 64-bit mode
Xavier Leroy
2016-10-01
1
-4
/
+35
*
|
Merge pull request #147 from m-schmidt/master
Xavier Leroy
2016-10-24
1
-0
/
+1
|
\
\
|
*
|
Add a man-page
Michael Schmidt
2016-10-14
1
-0
/
+1
*
|
|
Query menhir for location of menhir lib in config.
Bernhard Schommer
2016-10-18
1
-1
/
+3
|
/
/
*
/
Added configure switch for merlin.
Bernhard Schommer
2016-10-06
1
-0
/
+35
|
/
*
undefine _Nullable to add some compatibility with macOS 10.12 SDK
Michael Schmidt
2016-09-23
1
-1
/
+1
*
fix merge conflicts
Michael Schmidt
2016-08-17
1
-0
/
+6
|
\
|
*
Added support for quoting for diab backend.
Bernhard Schommer
2016-07-21
1
-1
/
+1
|
*
Added simplified reader and printer for gnu @files
Bernhard Schommer
2016-07-20
1
-0
/
+6
*
|
update help text in configure script
Michael Schmidt
2016-08-08
1
-13
/
+14
[next]