index
:
compcert-kvx
CPP22_if_lifting
CPP22_main
master
patched_for_velus
riscV-cmov
ssa
vericert
vericert-kvx
Unnamed repository; edit this file 'description' to name the repository.
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
Changelog
Commit message (
Expand
)
Author
Age
Files
Lines
*
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
*
Rename __builtin_cntlz to __builtin_clz.
xleroy
2014-08-27
1
-0
/
+6
*
Support C99 compound literals (by expansion in Unblock pass).
xleroy
2014-08-21
1
-0
/
+2
*
- Support "switch" statements over 64-bit integers
xleroy
2014-08-17
1
-0
/
+6
*
PowerPC port: refactored the expansion of built-in functions and
xleroy
2014-07-28
1
-0
/
+4
*
Updated Changelog
xleroy
2014-07-28
1
-0
/
+28
*
Document commit r2507.
xleroy
2014-06-05
1
-0
/
+3
*
- Re-added support for "__func__" identifier as per ISO C99.
xleroy
2014-05-15
1
-2
/
+8
*
Fixed regression on initializers of the form T x[N] = "literal";
xleroy
2014-05-08
1
-0
/
+9
*
Update for release 2.3.
xleroy
2014-05-05
1
-0
/
+3
*
Fused multiply-add for IA32.
xleroy
2014-05-05
1
-4
/
+2
*
ARM: honor common variables.
xleroy
2014-05-02
1
-1
/
+3
*
Integration of Jacques-Henri Jourdan's verified parser.
xleroy
2014-04-29
1
-0
/
+10
*
Update with post-2.2 changes
xleroy
2014-04-23
1
-0
/
+36
*
Updates for release 2.2
xleroy
2014-02-21
1
-2
/
+2
*
Add option -Os to optimize for code size rather than for execution speed.
xleroy
2014-02-19
1
-0
/
+2
*
Update for 2.2, continued
xleroy
2014-02-16
1
-0
/
+2
[next]