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
*
Use `exfalso` instead of `elimtype False` (#470)
Pierre-Marie Pédrot
2022-12-22
5
-7
/
+7
*
Remove support for 32-bit Cygwin
Xavier Leroy
2022-12-08
2
-23
/
+7
*
Update doc comment
Xavier Leroy
2022-12-08
1
-2
/
+2
*
Fix incomplete checking of unsolved holes (#465)
Gaëtan Gilbert
2022-11-28
1
-1
/
+1
*
Updates for release 3.12
Xavier Leroy
2022-11-21
3
-3
/
+54
*
Emit the Tag_ABI_VFP attribute appropriate to the calling conventions used
Xavier Leroy
2022-11-21
1
-1
/
+6
*
configure: add option -sharedir to specify where to put compcert.ini (#460)
Xavier Leroy
2022-11-14
1
-5
/
+32
*
Wrong test for coroutined decompressor
Xavier Leroy
2022-11-14
1
-1
/
+1
*
Merge pull request #459 from AbsInt/full-switch
Xavier Leroy
2022-11-09
13
-142
/
+500
|
\
|
*
Ignore debug statements before the first case of a `switch`
Xavier Leroy
2022-11-03
1
-1
/
+7
|
*
Update man-page for `-funstructured-switch` (also for new `-std` option, `-fi...
Michael Schmidt
2022-11-03
1
-4
/
+22
|
*
Handle unstructured 'switch' statements such as Duff's device
Xavier Leroy
2022-10-29
12
-98
/
+439
|
*
Unblock: never put debug info before a label
Xavier Leroy
2022-10-29
1
-11
/
+12
|
*
Revised passing of options to `Parse.preprocessed_file`
Xavier Leroy
2022-09-27
3
-41
/
+33
*
|
Replace CR, FF and VT with whitespace.
Bernhard Schommer
2022-11-05
1
-3
/
+5
*
|
Use open_in_bin instead of open_in.
Bernhard Schommer
2022-11-05
1
-1
/
+1
*
|
Merge pull request #458 from AbsInt/simpl-expr-dests
Xavier Leroy
2022-10-24
6
-99
/
+220
|
\
\
|
*
|
Add test for nested conditional, &&, || expressions
Xavier Leroy
2022-10-01
3
-1
/
+55
|
*
|
SimplExpr: revised handling of nested conditional, `||`, `&&` operators
Xavier Leroy
2022-10-01
3
-98
/
+165
|
|
/
*
/
Use .data.rel.ro section for const data with relocatable inits on ELF targets...
Xavier Leroy
2022-10-24
4
-4
/
+16
|
/
*
test/export: use the standard headers from ../../runtime/include
Xavier Leroy
2022-09-23
1
-1
/
+1
*
No need to set -std=c99 on the GNU C preprocessor command line
Xavier Leroy
2022-09-23
1
-12
/
+12
*
Support the `-std=<standard>` option (#456)
Xavier Leroy
2022-09-23
3
-4
/
+24
*
Add `Commandline.longopt` function for options of the form `-<key>=<arg>`
Xavier Leroy
2022-09-23
2
-20
/
+18
*
Improved help messages for the -g<n> and -gdwarf-<n> options
Xavier Leroy
2022-09-23
1
-3
/
+5
*
Export the functions that control warnings
Xavier Leroy
2022-09-23
1
-0
/
+13
*
Temporary: don't run the regression/stringlit and regression/charlit tests
Xavier Leroy
2022-09-19
1
-1
/
+3
*
Support C11 Unicode string literals and character constants (#452)
Xavier Leroy
2022-09-19
19
-214
/
+490
*
Add `Declare Scope` where appropriate (#440)
Xavier Leroy
2022-09-19
19
-7
/
+31
*
RTLgen: use the state and error monad for reserve_labels (#371)
Pierre Nigron
2022-09-19
4
-24
/
+24
*
Improved auto goal selection (#443)
Andrej Dudenhefner
2022-09-08
5
-7
/
+7
*
Recognize more if-then-else statements that can be if-converted
Xavier Leroy
2022-09-05
2
-126
/
+138
*
Introducing the "eventually" closure and new simulation diagrams using it
Xavier Leroy
2022-09-05
1
-27
/
+229
*
`_Generic` is a C11 feature, should trigger the corresponding warning if active
Xavier Leroy
2022-09-04
1
-0
/
+1
*
Remove unused functions.
Bernhard Schommer
2022-09-03
1
-7
/
+0
*
More simplifications for literal printing
Bernhard Schommer
2022-09-03
6
-31
/
+16
*
Refactor emitting of constants.
Bernhard Schommer
2022-09-03
7
-76
/
+21
*
Add `iter_literal*` functions with guaranteed iteration order
Xavier Leroy
2022-09-03
1
-0
/
+12
*
Rework of struct member offsets for debug info.
Bernhard Schommer
2022-09-03
6
-41
/
+92
*
Introduce `struct_layout` function
Bernhard Schommer
2022-09-03
2
-1
/
+28
*
Support mergeable sections for string literals and wide string literals
Xavier Leroy
2022-08-29
1
-6
/
+13
*
Support mergeable sections for fixed-size literals
Xavier Leroy
2022-08-29
11
-123
/
+145
*
configure: recognize riscv32 and riscv64 for RISC-V targets (#448)
Brad Smith
2022-08-29
1
-2
/
+3
*
Do not use `.rodata.cst8` for floating-point literals
Xavier Leroy
2022-08-15
2
-2
/
+2
*
Check early that extraction did not run into unimplemented axioms
Xavier Leroy
2022-07-07
1
-0
/
+5
*
Update comment about `deprecated-hint-rewrite-without-locality` warning
Xavier Leroy
2022-07-07
1
-4
/
+0
*
In test/regression: Use `static inline` instead of `inline`
Xavier Leroy
2022-07-05
2
-5
/
+5
*
Re-enable `deprecated-hint-rewrite-without-locality` warning
Xavier Leroy
2022-07-05
1
-2
/
+1
*
Add [#global] qualifier on Hint Rewrite (#439)
Pierre-Marie Pédrot
2022-07-05
2
-0
/
+12
*
More updates for release 3.11
Xavier Leroy
2022-06-27
1
-2
/
+2
[next]