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
*
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
*
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
*
Updates for release 3.11
Xavier Leroy
2022-06-25
2
-3
/
+6
*
Extend the boolean_equality tactic (#429)
Jerome Hugues
2022-06-25
1
-1
/
+15
*
Support Coq 8.15.2
Xavier Leroy
2022-06-25
2
-3
/
+3
*
Update comment re: compile_switch function
Xavier Leroy
2022-06-25
1
-1
/
+1
*
Expand "j_s symb" to "jump symb, x31" assembly pseudo-instruction
Xavier Leroy
2022-06-24
4
-5
/
+6
*
First Changelog update for next release 3.11
Xavier Leroy
2022-06-20
1
-0
/
+38
*
Harden the configure script against \r\n end of lines
Xavier Leroy
2022-06-20
1
-6
/
+6
*
AArch64: make register X29 callee-save
Xavier Leroy
2022-05-30
6
-34
/
+34
*
Improve control-flow analysis of "noreturn" function calls
Xavier Leroy
2022-05-19
1
-4
/
+18
*
Simplify handling of file suffixes.
Bernhard Schommer
2022-05-18
4
-30
/
+28
*
Fix computing of output filenames.
Bernhard Schommer
2022-05-18
1
-13
/
+15
*
Revised warning for non-prototyped function declarations
Xavier Leroy
2022-05-13
1
-17
/
+22
*
Some tests for _Generic
Xavier Leroy
2022-05-13
3
-1
/
+115
*
Support _Generic from ISO C 2011
Xavier Leroy
2022-05-13
7
-711
/
+1031
*
Fix the parsing of unprototyped function types in casts (#431)
Xavier Leroy
2022-05-09
1
-2
/
+2
*
Completely avoid line breaks in types when printing error messages
Xavier Leroy
2022-05-07
1
-6
/
+10
*
Enum is only compatible with IInt.
Xavier Leroy
2022-05-06
1
-4
/
+4
*
Merge pull request #368 from silene/flocq-3.4
Xavier Leroy
2022-04-29
38
-2934
/
+5149
|
\
[next]