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
/
test
Commit message (
Expand
)
Author
Age
Files
Lines
*
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
5
-1
/
+134
*
In test/regression: Use `static inline` instead of `inline`
Xavier Leroy
2022-07-05
2
-5
/
+5
*
Some tests for _Generic
Xavier Leroy
2022-05-13
3
-1
/
+115
*
Add support to clightgen for generating Csyntax AST as .v files
Xavier Leroy
2021-09-22
10
-11
/
+23
*
Refactor clightgen
Xavier Leroy
2021-09-22
1
-1
/
+1
*
clightgen: handle empty names given to padding bit fields
Xavier Leroy
2021-09-15
1
-0
/
+13
*
Native support for bit fields (#400)
Xavier Leroy
2021-08-22
13
-34
/
+431
*
Elab bitfields: check size of type <=32bit rather than checking rank (#387)
Amos Robinson
2021-04-19
3
-1
/
+24
*
"macosx" is now called "macos"
Xavier Leroy
2021-01-18
1
-1
/
+1
*
Remove regression/interop1 test
Xavier Leroy
2021-01-18
4
-417
/
+1
*
Testing calling conventions and interoperability with another C compiler
Xavier Leroy
2021-01-18
5
-1
/
+583
*
RISC-V: fix FP calling conventions
Xavier Leroy
2021-01-14
2
-5
/
+5
*
RISC-V: wrong fixup code generated for vararg calls with fixed FP args
Xavier Leroy
2021-01-10
2
-0
/
+17
*
Better "make clean"
Xavier Leroy
2020-11-01
1
-1
/
+1
*
Test clightgen with -short-idents and -normalize options
Xavier Leroy
2020-09-22
1
-0
/
+6
*
Support the use of already-installed MenhirLib and Flocq libraries
Xavier Leroy
2020-09-21
1
-2
/
+6
*
Add test for __builtin_sqrt and __builtin_fabsf
Xavier Leroy
2020-07-27
2
-0
/
+7
*
Refactor regression testing of built-in functions
Xavier Leroy
2020-07-27
13
-110
/
+447
*
Improve portability of the test for annotations inclightgen
Xavier Leroy
2020-06-05
2
-0
/
+4
*
clightgen: fix the printing of annotations
Xavier Leroy
2020-06-05
1
-0
/
+6
*
Add a test for int64 -> float32 conversion
Xavier Leroy
2020-03-30
2
-39
/
+838
*
Add interoperability test for functions returning small integer types
Xavier Leroy
2020-02-21
2
-0
/
+23
*
clightgen: sanitize names of functions and global variables
Xavier Leroy
2019-10-28
1
-0
/
+12
*
Revise the "bench" entries of the test suite
Xavier Leroy
2019-09-17
4
-12
/
+9
*
Test for the compilation of floating-point literals
Xavier Leroy
2019-08-08
3
-1
/
+562
*
AArch64 port
Xavier Leroy
2019-08-08
3
-5
/
+70
*
Factor out endianness determination between tests
Xavier Leroy
2019-08-07
4
-30
/
+14
*
When testing builtin functions, prevent constant propagation
Xavier Leroy
2019-07-17
4
-28
/
+31
*
Extended asm: print register names according to their types
Xavier Leroy
2019-06-17
1
-0
/
+10
*
Perform constant propagation and strength reduction on conditional moves
Xavier Leroy
2019-06-17
1
-0
/
+20
*
If-conversion optimization
Xavier Leroy
2019-06-06
3
-1
/
+156
*
Fix misspellings in messages, man pages, and comments
Xavier Leroy
2019-05-31
1
-3
/
+3
*
Revised attachment of name attributes to structs, unions, enums
Xavier Leroy
2019-02-25
2
-0
/
+8
*
Add regression test for "aligned" attribute
Xavier Leroy
2019-02-25
3
-1
/
+120
*
Test for NULL in variable argument lists
Xavier Leroy
2019-02-04
2
-1
/
+53
*
Attach _Alignas to names and refactor _Alignas checks (#133)
Bernhard Schommer
2018-09-10
2
-6
/
+4
*
Improve execution of regression tests
Xavier Leroy
2018-08-24
4
-16
/
+45
*
Harden the extasm.c test, continued
Xavier Leroy
2018-08-20
2
-5
/
+5
*
Harden the extasm.c test
Xavier Leroy
2018-08-20
2
-2
/
+7
*
Issue with packed structs and sizeof, alignof, offsetof in cparser/
Xavier Leroy
2018-08-17
3
-6
/
+60
*
Clean .foo.aux files created by coqc
Xavier Leroy
2018-07-10
1
-1
/
+1
*
Remove the `_Alignas(expr)` construct (#125)
Xavier Leroy
2018-06-07
2
-36
/
+32
*
Don't depend on ../../clightgen
Xavier Leroy
2018-06-02
1
-3
/
+3
*
Add tests for clightgen
Xavier Leroy
2018-06-01
5
-0
/
+985
*
Initialization of anonymous bit-fields in structs
Xavier Leroy
2018-04-25
1
-0
/
+1
*
Initialization of union bit fields
Xavier Leroy
2018-04-25
2
-0
/
+33
*
Turn delicate case of designated re-initialization into error (#70)
Xavier Leroy
2018-03-30
2
-1
/
+6
*
Add regression test for issue #211
Xavier Leroy
2018-01-13
3
-1
/
+17
*
Typo in Makefile: "ia32" is now "x86"
Xavier Leroy
2017-09-19
1
-1
/
+1
[next]