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
*
Static initialization of structs with bitfields
xleroy
2010-04-07
3
-1
/
+109
*
Wrong type for __builtin_volatile_*_int32
xleroy
2010-04-02
1
-1
/
+1
*
In cparser/SimplExpr.ml:
xleroy
2010-04-02
4
-12
/
+30
*
cparser/AddCasts.ml: forgot to materialize cast at return statement.
xleroy
2010-04-01
4
-13
/
+29
*
Updates for release 1.7
v1.7
xleroy
2010-03-30
2
-9
/
+64
*
Update for 1.7
xleroy
2010-03-30
2
-2
/
+8
*
Determine endianness at run-time
xleroy
2010-03-30
1
-21
/
+23
*
Options -I -D -U with a space
xleroy
2010-03-30
1
-0
/
+3
*
Updated Linux conventions
xleroy
2010-03-30
1
-3
/
+6
*
Cleaner generation of .depend
xleroy
2010-03-30
2
-69
/
+65
*
Include targets of preference edges in all_interf_regs. Not needed for corre...
xleroy
2010-03-30
1
-6
/
+8
*
Pretty strings
xleroy
2010-03-29
1
-3
/
+8
*
Extra volatile test
xleroy
2010-03-28
3
-1
/
+45
*
More resistant proof
xleroy
2010-03-28
1
-1
/
+0
*
Prettier printing of configuration
xleroy
2010-03-28
1
-1
/
+2
*
Updated ARM asm printer
xleroy
2010-03-28
1
-4
/
+67
*
Typo
xleroy
2010-03-28
1
-1
/
+0
*
Emit a few comments to help reading the generated asm
xleroy
2010-03-28
1
-10
/
+16
*
Updating ARM port
xleroy
2010-03-28
4
-61
/
+41
*
Bug in multidimensional read-only arrays
xleroy
2010-03-13
2
-7
/
+10
*
TeX and HTML escapes
xleroy
2010-03-12
1
-0
/
+4
*
Copyright notice
xleroy
2010-03-12
1
-0
/
+18
*
Restored the big-step semantics for Cminor
xleroy
2010-03-11
1
-125
/
+125
*
New HTML documentation generator
xleroy
2010-03-09
5
-50
/
+570
*
Handling of volatile accesses through builtin functions.
xleroy
2010-03-08
9
-60
/
+412
*
Handling of builtins, continued.
xleroy
2010-03-07
7
-51
/
+57
*
Revised treatment of builtins
xleroy
2010-03-07
10
-244
/
+300
*
Merge of the newmem and newextcalls branches:
xleroy
2010-03-07
76
-6210
/
+10378
*
Suppressed -fall-extensions option, too dangerous wrt flonglong
xleroy
2010-03-03
3
-12
/
+4
*
Suppressed Init_pointer, now useless. Improved printing of strings in genera...
xleroy
2010-03-03
6
-47
/
+25
*
Detect struct assignment. Silence some warnings
xleroy
2010-03-03
1
-3
/
+7
*
Support for 'inline' modifier
xleroy
2010-03-03
4
-20
/
+26
*
Updated raytracer test. Added SPASS test.
xleroy
2010-03-03
129
-159
/
+83911
*
Getting rid of CIL
xleroy
2010-03-03
280
-83521
/
+0
*
Switching to the new C parser/elaborator/simplifier
xleroy
2010-03-03
90
-105
/
+11165
*
Protoized
xleroy
2010-03-02
1
-1
/
+1
*
Protoized
xleroy
2010-03-02
1
-2
/
+2
*
Function types didn't always degrade to pointers like they should. Introduce...
xleroy
2010-03-02
4
-23
/
+26
*
Wrong rlwinm generated for 'x mod 1'
xleroy
2010-03-02
2
-111
/
+110
*
Typo in Makefile
xleroy
2010-02-17
1
-2
/
+2
*
Reorganization test directory
xleroy
2010-02-17
235
-15573
/
+50
*
3 more benchmarks
xleroy
2010-02-17
7
-1
/
+863
*
Moved test harness C files here
xleroy
2010-02-17
14
-1
/
+1649
*
Existence of behaviors
xleroy
2010-01-31
2
-15
/
+176
*
Revised handling of #pragma section and small data areas
xleroy
2010-01-27
5
-153
/
+239
*
Updated ARM asm printer
xleroy
2010-01-25
1
-5
/
+10
*
Updated ARM port
xleroy
2010-01-25
3
-6
/
+7
*
Backtracking on commit 1220
v1.6
xleroy
2010-01-13
45
-23334
/
+27
*
MAJ release 1.6
xleroy
2010-01-12
1
-8
/
+5
*
MAJ Changes
xleroy
2010-01-12
1
-1
/
+1
[next]