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
*
Change atom printer to use the common function.
Bernhard Schommer
2016-03-16
1
-1
/
+1
*
Cleanup of AsmToJSON.
Bernhard Schommer
2016-03-16
6
-128
/
+140
*
Removed not needed env.
Bernhard Schommer
2016-03-15
1
-5
/
+5
*
Deactivate warning 27 and added back removed code.
Bernhard Schommer
2016-03-15
47
-447
/
+449
*
Added back invariant checks for IRC.
Bernhard Schommer
2016-03-15
1
-0
/
+36
*
Revert "Removed unused parameter from is_small/rel_data."
Bernhard Schommer
2016-03-15
6
-26
/
+28
*
Removed unused parameter from is_small/rel_data.
Bernhard Schommer
2016-03-11
6
-28
/
+26
*
Cleanup of Clightgen code.
Bernhard Schommer
2016-03-10
2
-45
/
+41
*
Clean up of ia32 target dependend code.
Bernhard Schommer
2016-03-10
4
-58
/
+18
*
Cleanup of ARM dependedn code.
Bernhard Schommer
2016-03-10
2
-66
/
+8
*
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
[next]