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
...
*
More careful detection of inlined builtins. Produces better error messages i...
xleroy
2014-08-25
1
-0
/
+1
*
Use VFD regs to implement 64-bit mem-mem copies in builtin_memcpy_false.
xleroy
2014-08-21
3
-5
/
+10
*
Support C99 compound literals (by expansion in Unblock pass).
xleroy
2014-08-21
16
-454
/
+801
*
Follow-up to commit 2613
xleroy
2014-08-20
1
-0
/
+2
*
Add builtins for load with reservation and conditional store.
xleroy
2014-08-20
5
-1
/
+39
*
Wrong types for strex builtins.
xleroy
2014-08-20
1
-4
/
+4
*
Better validation of target for ARM
xleroy
2014-08-20
1
-1
/
+5
*
Obvious typos in commit r2609
xleroy
2014-08-20
1
-8
/
+8
*
Add some more synchronization builtins
xleroy
2014-08-20
2
-1
/
+39
*
Improve error reporting for unsupported compound literals.
xleroy
2014-08-20
1
-1
/
+4
*
Excessively strict validation: ofs + sz < modulus should have been
xleroy
2014-08-20
1
-4
/
+5
*
Rename "-fthumb" option into "-mthumb" for GCC compatibility.
xleroy
2014-08-19
5
-18
/
+22
*
checklink/Check.ml: missing SDA addressing for store instructions.
xleroy
2014-08-19
5
-14
/
+217
*
Update dependencies
xleroy
2014-08-19
1
-14
/
+14
*
powerpc/Asm: simplify the modeling of Csymbol_low and Csymbol_high.
xleroy
2014-08-18
7
-124
/
+139
*
Improve error detection and error messages for enums.
xleroy
2014-08-17
1
-3
/
+7
*
Issue with switch labels that are negative 32-bit integers.
xleroy
2014-08-17
2
-4
/
+42
*
Add some tests for "switch" over 32 and 64-bit integers.
xleroy
2014-08-17
3
-1
/
+109
*
- Support "switch" statements over 64-bit integers
xleroy
2014-08-17
32
-709
/
+1220
*
Nicer reporting of I/O errors (e.g. "No such file").
xleroy
2014-08-13
1
-23
/
+26
*
Spurious error on a local static function declaration
xleroy
2014-08-13
1
-0
/
+1
*
Update comment
xleroy
2014-08-13
1
-2
/
+1
*
Add Mem.free_parallel_inject and use it to simplify Events a bit.
xleroy
2014-07-31
3
-35
/
+50
*
configure: distinguish between ABI and processor model.
xleroy
2014-07-29
17
-55
/
+116
*
All targets: add __builtin_membar
xleroy
2014-07-28
5
-29
/
+53
*
PowerPC port: refactored the expansion of built-in functions and
xleroy
2014-07-28
20
-1367
/
+1200
*
Updated Changelog
xleroy
2014-07-28
1
-0
/
+28
*
The NaN behavior of float_of_single differs on PowerPC and on IA32/ARM.
xleroy
2014-07-28
4
-76
/
+30
*
ARM port: add support for Thumb2. To be tested.
xleroy
2014-07-27
28
-799
/
+1194
*
Update for single-precision floats. Calls to vararg functions remain
xleroy
2014-07-24
5
-32
/
+153
*
Add _a memory accesses.
xleroy
2014-07-23
1
-6
/
+6
*
Update with _a memory accesses
xleroy
2014-07-23
1
-2
/
+2
*
Simplify COQINCLUDES
xleroy
2014-07-23
1
-3
/
+2
*
Merge the various $(ARCH)/$(VARIANT)/xxx.v files into $(ARCH)/xxx.v.
xleroy
2014-07-23
13
-730
/
+146
*
Redundant -I in CAMLINCLUDES
xleroy
2014-07-23
1
-2
/
+3
*
Update "read_as_zeros" property.
xleroy
2014-07-23
1
-1
/
+3
*
Merge of "newspilling" branch:
xleroy
2014-07-23
113
-4267
/
+6831
*
Tweaks to support defunctorization.
xleroy
2014-07-23
1
-9
/
+19
*
Make Alphabet.v compatible with an environnment where Containers is installed
jjourdan
2014-07-04
1
-1
/
+1
*
Add Proof keyword so that documentation generation works
jjourdan
2014-07-04
1
-0
/
+2
*
Add "read_as_zero" property for memory areas initialized by Init_space.
xleroy
2014-06-30
1
-14
/
+106
*
Document commit r2507.
xleroy
2014-06-05
1
-0
/
+3
*
Cleaner, more resilient parsing of pragmas.
xleroy
2014-06-05
3
-55
/
+103
*
Instead of having two expansions of shrximm (one in SelectOp, one in Asmgen),...
xleroy
2014-05-28
4
-78
/
+54
*
Refactoring: move symbol_offset into Genv.
xleroy
2014-05-24
24
-218
/
+156
*
Empty declarations
jjourdan
2014-05-23
5
-11181
/
+11253
*
In enter_or_refine_ident: revised handling of "extern" decls.
xleroy
2014-05-18
1
-29
/
+38
*
Another corner case for string literal initializers: char * x[] = { "lit" }
xleroy
2014-05-18
3
-1
/
+14
*
Typo in struct_declaration_list causing conflicts.
xleroy
2014-05-18
1
-1
/
+1
*
Bump
v2.3pl2
xleroy
2014-05-15
1
-1
/
+2
[prev]
[next]