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
*
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
*
|
port fix for configure from m-schmidt/EndiannessPlayground
Michael Schmidt
2016-08-07
1
-0
/
+5
*
|
Changed configure target for arm big endian.
Bernhard Schommer
2016-08-05
1
-27
/
+12
*
|
Implement support for big endian arm targets.
Bernhard Schommer
2016-08-05
1
-204
/
+307
|
/
*
Port to Coq 8.5pl2
Xavier Leroy
2016-07-08
1
-3
/
+3
*
Added back ;;
Bernhard Schommer
2016-06-28
1
-0
/
+1
*
Activate advanced debug information for arm, ia32.
Bernhard Schommer
2016-06-28
1
-4
/
+0
*
Respect COQBIN in configure script.
Bernhard Schommer
2016-05-13
1
-1
/
+1
*
configure: bump Menhir required version to 20160303
Xavier Leroy
2016-05-11
1
-1
/
+1
*
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
[next]