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
*
Upgrade ocaml version needed and enable more warnings.
Bernhard Schommer
2016-03-10
5
-17
/
+21
*
Code cleanup.
Bernhard Schommer
2016-03-10
56
-740
/
+590
*
Fixed typo in equal types.
Bernhard Schommer
2016-03-10
1
-1
/
+1
*
Added more support for gcc options.
Bernhard Schommer
2016-03-02
1
-4
/
+75
*
Merge remote-tracking branch 'origin/configuration-split'
Bernhard Schommer
2016-02-29
3
-23
/
+58
|
\
|
*
Split up tools and options.
Bernhard Schommer
2016-02-25
3
-23
/
+58
*
|
Added gcc's Xassembler option.
Bernhard Schommer
2016-02-29
1
-3
/
+8
*
|
Fixed typo. Bug 18066
Bernhard Schommer
2016-02-29
1
-3
/
+4
*
|
Added some gcc linker options.
Bernhard Schommer
2016-02-26
1
-0
/
+22
|
/
*
bug 18168, catch cases where variadic arguments are transfered via registers
Michael Schmidt
2016-02-24
1
-2
/
+2
*
bug 18168, fix offset computation for var-args in ARM stacklayout
Michael Schmidt
2016-02-24
1
-1
/
+1
*
bug 18209, make message compatible to clang
Michael Schmidt
2016-02-23
1
-1
/
+1
*
bug 18209, check that input files exist
Michael Schmidt
2016-02-23
1
-0
/
+14
*
PR#87: include the BSD license in the LICENSE file.
Xavier Leroy
2016-02-19
1
-1
/
+28
*
Do not use "movs rd, rs" nor "movs rd, #imm" in Thumb2 mode.
Xavier Leroy
2016-02-18
1
-2
/
+8
*
Added new option for static linking.
Bernhard Schommer
2016-02-16
1
-0
/
+2
*
Fixed regression introduced by refactoring of Driver.ml.
Bernhard Schommer
2016-02-15
1
-3
/
+7
*
Merge pull request #86 from AbsInt/clightgen-improved
Bernhard Schommer
2016-02-05
4
-90
/
+114
|
\
|
*
Naming of compiler-generated temporaries
Xavier Leroy
2016-02-05
1
-32
/
+76
|
*
Restart the name generator at first_unused_ident for every function.
Xavier Leroy
2016-02-05
3
-58
/
+38
|
/
*
Also print braces around the registers.
Bernhard Schommer
2016-02-04
1
-2
/
+7
*
Fixed missing \" in json printing for registers.
Bernhard Schommer
2016-02-04
1
-2
/
+2
*
Added gcc cmd-line option -include.
Bernhard Schommer
2016-02-03
1
-0
/
+3
*
Merge pull request #85 from AbsInt/option_json
Xavier Leroy
2016-02-02
4
-107
/
+299
|
\
|
*
Added version and compiler working directory to options dump.
Bernhard Schommer
2016-01-27
1
-0
/
+4
|
*
Added new option -doptions.
Bernhard Schommer
2016-01-27
2
-4
/
+58
|
*
Added printer for Configuration and finished Clflags.
Bernhard Schommer
2016-01-25
5
-135
/
+201
|
*
Started implementing a printer for Clflags.
Bernhard Schommer
2016-01-25
4
-12
/
+80
*
|
Make void always incomplete and exit on void members.
Bernhard Schommer
2016-02-02
2
-2
/
+8
*
|
Do test for wrap around on singed ocaml integers.
Bernhard Schommer
2016-01-28
1
-1
/
+1
*
|
Allow adding of attributes in valid_assignment_attr.
Bernhard Schommer
2016-01-28
1
-2
/
+2
|
/
*
Added option to dump preprocessed source code.
Bernhard Schommer
2016-01-22
2
-4
/
+13
*
Added warning for strict-sequences.
Bernhard Schommer
2016-01-21
1
-1
/
+1
*
Include fix for wint_t gcc problem.
Bernhard Schommer
2016-01-21
1
-12
/
+16
*
Removed the last remains of cchecklink.
Bernhard Schommer
2016-01-21
1
-2
/
+0
*
More unique debug types.
Bernhard Schommer
2016-01-14
3
-26
/
+26
*
More descriptive error message for failed command.
Bernhard Schommer
2016-01-11
1
-4
/
+14
*
Added configuration to enable clightgen build.
Bernhard Schommer
2015-12-28
2
-10
/
+14
*
Merge branch 'master' of ssh://ssh.absint.com/common/repositories/git/tools/c...
Bernhard Schommer
2015-12-28
1
-2
/
+4
|
\
|
*
add options for include paths also to the command line of the assembler, bug ...
Michael Schmidt
2015-12-23
1
-2
/
+4
*
|
ARM: bug in expansion of __builtin_clzll
Xavier Leroy
2015-12-22
1
-1
/
+1
*
|
Add CLZ builtins for ARM and IA32
Xavier Leroy
2015-12-22
10
-7
/
+68
*
|
Upgrade for release 2.6.
Xavier Leroy
2015-12-21
1
-1
/
+8
|
/
*
The return type of __builtin_clz() et al is "int", as documented and for GCC ...
v2.6
Xavier Leroy
2015-12-21
4
-6
/
+8
*
powerpc/Asmexpand: fix expansion of __builtin_clzll
Xavier Leroy
2015-12-20
1
-2
/
+2
*
clightgen: update to recent change -fstruct-return/-fstruct-passing
Xavier Leroy
2015-12-19
1
-4
/
+7
*
Update VERSION for release 2.6
Xavier Leroy
2015-12-19
1
-2
/
+2
*
Update Changelog for release 2.6.
Xavier Leroy
2015-12-19
1
-0
/
+49
*
Merge pull request #79 from AbsInt/config-option
Xavier Leroy
2015-12-19
2
-8
/
+31
|
\
|
*
Removed the open Filename.
Bernhard Schommer
2015-12-11
1
-9
/
+8
[next]