index
:
compcert-kvx
CPP22_if_lifting
CPP22_main
master
patched_for_velus
riscV-cmov
ssa
vericert
vericert-kvx
Unnamed repository; edit this file 'description' to name the repository.
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
driver
Commit message (
Expand
)
Author
Age
Files
Lines
...
*
|
add missing asmexpand step to cminor handler in driver
Michael Schmidt
2016-07-01
1
-21
/
+27
|
/
*
Activate advanced debug information for arm, ia32.
Bernhard Schommer
2016-06-28
3
-11
/
+1
*
Also add braces for arm. Bug 19197
Bernhard Schommer
2016-06-24
1
-2
/
+2
*
Added braces back. Bug 19197
Bernhard Schommer
2016-06-24
1
-16
/
+16
*
Moved assembler and linker into own files.
Bernhard Schommer
2016-06-24
9
-122
/
+210
*
Deactivate options target dependend.
Bernhard Schommer
2016-06-24
2
-110
/
+131
*
Driveraux.mli: fix documentation comment
Xavier Leroy
2016-06-22
1
-1
/
+1
*
Added version string to Clightgen.
Bernhard Schommer
2016-05-24
1
-1
/
+1
*
Moved shared frontend code in own file.
Bernhard Schommer
2016-05-24
6
-275
/
+327
*
Moved some system functions into own module.
Bernhard Schommer
2016-05-24
3
-68
/
+120
*
Added option to pass linker options to gcc.
Bernhard Schommer
2016-05-13
1
-0
/
+2
*
bug 18004, fix file extensions for dparse option
Michael Schmidt
2016-04-25
1
-1
/
+1
*
Enabled Werror via command line option.
Bernhard Schommer
2016-04-25
1
-0
/
+1
*
Merge branch 'master' into cleanup
Bernhard Schommer
2016-03-21
3
-162
/
+265
|
\
|
*
Merge pull request #93 from AbsInt/separate-compilation
Xavier Leroy
2016-03-20
2
-154
/
+257
|
|
\
|
|
*
Misc updates following the introduction of the new linking framework
Xavier Leroy
2016-03-06
1
-5
/
+7
|
|
*
Strengthen the main compiler correctness results to account for separate comp...
Xavier Leroy
2016-03-06
1
-149
/
+250
|
*
|
Print floating-point numbers with more digits in debug outputs
Xavier Leroy
2016-03-15
1
-2
/
+2
|
|
/
*
|
Deactivate warning 27 and added back removed code.
Bernhard Schommer
2016-03-15
2
-39
/
+39
*
|
Code cleanup.
Bernhard Schommer
2016-03-10
3
-60
/
+68
|
/
*
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
1
-3
/
+12
|
\
|
*
Split up tools and options.
Bernhard Schommer
2016-02-25
1
-3
/
+12
*
|
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 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
*
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
*
Added gcc cmd-line option -include.
Bernhard Schommer
2016-02-03
1
-0
/
+3
*
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
3
-69
/
+122
*
Started implementing a printer for Clflags.
Bernhard Schommer
2016-01-25
2
-0
/
+42
*
Added option to dump preprocessed source code.
Bernhard Schommer
2016-01-22
2
-4
/
+13
*
More descriptive error message for failed command.
Bernhard Schommer
2016-01-11
1
-4
/
+14
*
add options for include paths also to the command line of the assembler, bug ...
Michael Schmidt
2015-12-23
1
-2
/
+4
*
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
|
*
Add a target option.
Bernhard Schommer
2015-12-11
2
-3
/
+7
|
*
Allow relative paths for the tools.
Bernhard Schommer
2015-12-01
1
-10
/
+21
|
*
Allow relative library path.
Bernhard Schommer
2015-11-30
1
-2
/
+11
*
|
Revise and simplify the -fstruct-return and -fstruct-passing options.
Xavier Leroy
2015-12-08
2
-33
/
+9
|
/
*
New option --conf.
Bernhard Schommer
2015-11-26
2
-18
/
+31
*
Separate assembler options for the diab backend.
Bernhard Schommer
2015-11-20
1
-1
/
+4
*
Added the compilation unit in the json export. Bug 17659.
Bernhard Schommer
2015-11-19
1
-4
/
+4
*
Added now option to control debug output.
Bernhard Schommer
2015-11-16
2
-3
/
+10
*
Harden Driver.command against EINTR errors
Xavier Leroy
2015-11-10
1
-1
/
+5
*
New option to control the debug information build.
Bernhard Schommer
2015-11-04
2
-0
/
+3
[prev]
[next]