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
/
Changelog
Commit message (
Expand
)
Author
Age
Files
Lines
*
Updates in preparation for release 3.6
Xavier Leroy
2019-09-16
1
-0
/
+62
*
Update Changelog in preparation for release 3.5
Xavier Leroy
2019-02-26
1
-1
/
+1
*
Update Changelog in preparation for release 3.5
Xavier Leroy
2019-02-25
1
-0
/
+35
*
Updates for release 3.4
v3.4
Xavier Leroy
2018-09-17
1
-1
/
+1
*
Update change log for 3.4, continued
Xavier Leroy
2018-09-14
1
-2
/
+5
*
Typo in OCaml version number
Xavier Leroy
2018-09-12
1
-1
/
+1
*
Update version and change log in preparation for public release 3.4
Xavier Leroy
2018-09-12
1
-0
/
+62
*
Changelog: minor updates for 3.3
Xavier Leroy
2018-05-30
1
-7
/
+4
*
Mention optional installation of .vo files
Xavier Leroy
2018-05-30
1
-0
/
+3
*
Updates for public release 3.3
Xavier Leroy
2018-05-30
1
-0
/
+72
*
Preparations for release 3.2
Xavier Leroy
2018-01-13
1
-2
/
+5
*
Update Changelog with recent changes
Xavier Leroy
2018-01-11
1
-1
/
+13
*
Coq 8.7.1 support
Xavier Leroy
2017-12-18
1
-2
/
+3
*
Issue #208: make value analysis of comparisons more conservative w.r.t. point...
Xavier Leroy
2017-11-24
1
-0
/
+3
*
Pull request #192: improve the printing of Clight intermediate code
Xavier Leroy
2017-11-22
1
-0
/
+2
*
Coq 8.7.0 support
Xavier Leroy
2017-10-20
1
-0
/
+5
*
Resurrect the Cygwin x86-32 port
Xavier Leroy
2017-09-11
1
-0
/
+3
*
ARM in Thumb mode: simpler instruction sequence for Pbtbl pseudo
Xavier Leroy
2017-08-22
1
-0
/
+4
*
Issue P #25: make sure sizeof(long double) = sizeof(double) in all contexts.
Xavier Leroy
2017-08-22
1
-0
/
+3
*
Update Changelog in preparation for release 3.1
Xavier Leroy
2017-08-18
1
-2
/
+8
*
Issue #196: excessive proof-checking times in .v files generated by clightgen
Xavier Leroy
2017-08-15
1
-0
/
+1
*
Update Changelog with news since release 3.0.1
Xavier Leroy
2017-07-27
1
-4
/
+29
*
Issue #16P: wrong rlwinm instruction generated by constant propagation
Xavier Leroy
2017-07-05
1
-2
/
+4
*
Update Changelog for clightgen
Xavier Leroy
2017-06-12
1
-0
/
+1
*
Update Changelog with recent changes
Xavier Leroy
2017-04-28
1
-1
/
+7
*
RISC-V port and assorted changes
Xavier Leroy
2017-04-28
1
-0
/
+2
*
Issue #179: clightgen produces wrong abstract syntax for "switch" statements
Xavier Leroy
2017-04-28
1
-0
/
+3
*
Remove tests involving Cminor concrete syntax. Update Changelog
Xavier Leroy
2017-02-15
1
-0
/
+3
*
Release 3.0.1 here we come
v3.0.1
Xavier Leroy
2017-02-14
1
-0
/
+6
*
Release 3.0 here we come
v3.0
Xavier Leroy
2017-02-10
1
-1
/
+2
*
Changelog update concerning attribute handling
Xavier Leroy
2017-02-07
1
-0
/
+7
*
Update Changes for release 3.0
Xavier Leroy
2017-01-31
1
-2
/
+39
*
Documentation updates to mention 64-bit mode and x86_64 port
Xavier Leroy
2016-10-27
1
-2
/
+24
*
Update Changelog for release 2.7.1
v2.7.1
Xavier Leroy
2016-07-18
1
-2
/
+8
*
Port to Coq 8.5pl2
Xavier Leroy
2016-07-08
1
-0
/
+6
*
Changelog update: mention -g for ARM and IA32
Xavier Leroy
2016-06-30
1
-0
/
+4
*
Update in preparation for release 2.7
Xavier Leroy
2016-06-22
1
-0
/
+46
*
The return type of __builtin_clz() et al is "int", as documented and for GCC ...
v2.6
Xavier Leroy
2015-12-21
1
-0
/
+2
*
Update Changelog for release 2.6.
Xavier Leroy
2015-12-19
1
-0
/
+49
*
More updates for release 2.5.
Xavier Leroy
2015-06-11
1
-4
/
+5
*
Update for release 2.5.
Xavier Leroy
2015-06-11
1
-6
/
+11
*
Update Changelog for release 2.5.
Xavier Leroy
2015-06-05
1
-4
/
+79
*
No longer include a pre-generated Parser.v in the distribution.
Xavier Leroy
2014-12-18
1
-0
/
+5
*
cchecklink: added option "-files-from" to read .sdump file names
Xavier Leroy
2014-11-15
1
-1
/
+2
*
Update Makefile, dependencies, and Changelog after upgrade to Flocq 2.4.0.
Xavier Leroy
2014-10-09
1
-0
/
+1
*
Error instead of warning on illegal escape sequences.
Xavier Leroy
2014-09-21
1
-0
/
+4
*
Update changelog and version for 2.4
xleroy
2014-09-17
1
-2
/
+2
*
Cold feet: suppress builtins for load with reservation/store conditional, use...
xleroy
2014-08-28
1
-2
/
+0
*
Update
xleroy
2014-08-28
1
-1
/
+2
*
Update for 2.4
xleroy
2014-08-27
1
-23
/
+37
[next]