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
Commit message (
Expand
)
Author
Age
Files
Lines
*
Update Changelog in preparation for release 3.5
Xavier Leroy
2019-02-26
1
-1
/
+1
*
Maximum supported Menhir version (#275)
Xavier Leroy
2019-02-26
1
-1
/
+1
*
Update Changelog in preparation for release 3.5
Xavier Leroy
2019-02-25
1
-0
/
+35
*
Maximum supported Menhir version (#275)
Jacques-Henri Jourdan
2019-02-25
1
-2
/
+3
*
Revised attachment of name attributes to structs, unions, enums
Xavier Leroy
2019-02-25
3
-6
/
+29
*
Reject object-related and struct-related attributes on typedefs
Xavier Leroy
2019-02-25
4
-8
/
+19
*
Add regression test for "aligned" attribute
Xavier Leroy
2019-02-25
3
-1
/
+120
*
Distinguish object-related and name-related attributes
Xavier Leroy
2019-02-25
4
-13
/
+24
*
Do not expand type names when floating attributes "up" a declaration
Xavier Leroy
2019-02-25
3
-2
/
+24
*
Ignore and clean file .lia.cache
Xavier Leroy
2019-02-12
2
-1
/
+4
*
Make the checker happy (#272)
Vincent Laporte
2019-02-12
3
-19
/
+17
*
Add support for Coq 8.9.0
Xavier Leroy
2019-02-04
1
-3
/
+3
*
<stddef.h>: define NULL with type void *
Xavier Leroy
2019-02-04
1
-1
/
+1
*
Test for NULL in variable argument lists
Xavier Leroy
2019-02-04
2
-1
/
+53
*
<stdbool.h>: add missing macro __bool_true_false_are_defined
Xavier Leroy
2019-02-04
1
-0
/
+1
*
Fix some URLs in the first page of the Coq HTML documentation (#263)
Andre
2019-01-22
1
-5
/
+5
*
Use `Program Instance` instead of `Instance` + refine mode (#261)
Maxime Dénès
2018-12-27
2
-64
/
+86
*
x86: wrong modeling of ZF flag for FP comparisons
Xavier Leroy
2018-12-20
2
-130
/
+66
*
Add functions "ordered" and "compare" to Float and Float32
Xavier Leroy
2018-12-20
1
-9
/
+20
*
Fix fixme in PackedStructs.
Bernhard Schommer
2018-11-20
1
-4
/
+4
*
Fix typo in asmexpand. Bug 24953
Bernhard Schommer
2018-11-07
1
-1
/
+1
*
Use 'gpr_or_zero' for base register of indexed load/stores, bug 24776
Michael Schmidt
2018-10-20
2
-5
/
+10
*
Catch exception from elab_attr_arg.
Bernhard Schommer
2018-10-18
1
-1
/
+4
*
Switch conditions for eref plattforms.
Bernhard Schommer
2018-09-19
1
-4
/
+4
*
Support __builtin_isel64 for non-EREF PPC64 platforms (#141)
Xavier Leroy
2018-09-18
1
-22
/
+28
*
Add builtin isel (conditional move) for int64, uint64 and _Bool (#140)
Bernhard Schommer
2018-09-18
2
-1
/
+16
*
Bug 24518
Bernhard Schommer
2018-09-17
0
-0
/
+0
*
Updates for release 3.4
v3.4
Xavier Leroy
2018-09-17
2
-2
/
+2
*
Bug 24510
Bernhard Schommer
2018-09-14
0
-0
/
+0
*
flocq: minor cleaning (#257)
Vincent Laporte
2018-09-14
1
-3
/
+2
*
Update change log for 3.4, continued
Xavier Leroy
2018-09-14
1
-2
/
+5
*
Improved diagnostics: spelling, wording, etc (#138)
Michael Schmidt
2018-09-14
5
-15
/
+15
*
Simplified code. Bug 24067
Bernhard Schommer
2018-09-12
1
-8
/
+8
*
Tentatively support Coq 8.8.2
Xavier Leroy
2018-09-12
1
-2
/
+2
*
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
2
-1
/
+63
*
Generate a nop instruction after some ais annotations (#137)
Bernhard Schommer
2018-09-12
14
-28
/
+64
*
Fatal error instead of error for bit-fields.
Bernhard Schommer
2018-09-12
1
-1
/
+1
*
Attach _Alignas to names and refactor _Alignas checks (#133)
Bernhard Schommer
2018-09-10
6
-20
/
+22
*
Ignore generated conflict file. Bug 24455
Bernhard Schommer
2018-09-10
1
-0
/
+1
*
Bug 23389
Bernhard Schommer
2018-09-04
0
-0
/
+0
*
Merge branch 'master' of github.com:AbsInt/CompCert
Bernhard Schommer
2018-09-04
1
-1
/
+1
|
\
|
*
Typo in comment
Xavier Leroy
2018-09-03
1
-1
/
+1
*
|
document new named warning class 'reduced-alignment', bug 23389
Michael Schmidt
2018-09-04
1
-0
/
+4
|
/
*
Move parameter check.
Bernhard Schommer
2018-09-03
1
-2
/
+6
*
New diagnostic for reduced alignment (#117)
Bernhard Schommer
2018-08-29
3
-3
/
+38
*
Bug 24374
Bernhard Schommer
2018-08-29
0
-0
/
+0
*
Merge pull request #251 from AbsInt/configure-error-behavior
Xavier Leroy
2018-08-29
1
-0
/
+14
|
\
|
*
Improve reporting of configuration errors
Xavier Leroy
2018-08-28
1
-0
/
+10
|
*
Remove leftover Makefile.config before configuration
Xavier Leroy
2018-08-28
1
-0
/
+4
[next]