aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* Updating the PowerPC and ARM ports.Xavier Leroy2015-03-2712-96/+92
* Updated the Caml part. Added some more tests in annot1.c.Xavier Leroy2015-03-2714-78/+130
* Extended arguments to annotations, continued:Xavier Leroy2015-03-276-294/+142
* Extend annotations so that they can keep track of global variables and local ...Xavier Leroy2015-03-2748-368/+1692
* Fix .type and .size annotations: @ is comment, use % instead.Xavier Leroy2015-03-201-2/+6
* Missing initialization of current_function_sig.Xavier Leroy2015-03-143-3/+6
* Issue #28: if the arguments of __builtin_memcpy_aligned are arrays, their typ...Xavier Leroy2015-03-101-1/+3
* Merge pull request #21 from AbsInt/backend_printerXavier Leroy2015-03-1011-3167/+3116
|\
| * Merge branch 'master' into backend_printerBernhard Schommer2015-03-102-11/+12
| |\ | |/ |/|
* | Merge branch 'master' of https://github.com/AbsInt/CompCertXavier Leroy2015-03-071-4/+0
|\ \
| * | Removed unused target cleansource.Bernhard Schommer2015-03-051-4/+0
* | | Issue #26: problems with big escape sequences in string/char literals.Xavier Leroy2015-03-071-7/+12
|/ /
| * Merge branch 'master' into backend_printerBernhard Schommer2015-03-033-216/+7
| |\ | |/ |/|
* | Removed leftover references to recdepend.Xavier Leroy2015-02-281-6/+5
* | Removed the recdepend again and replaced it by a builtin Make function.Bernhard Schommer2015-02-272-214/+6
* | Removed the glob files from doc/ instead of doc/glob/Bernhard Schommer2015-02-261-1/+1
| * Merge branch 'master' into backend_printerBernhard Schommer2015-02-2611-339/+646
| |\ | |/ |/|
* | Updated the recdepend tool to avoid printing of ./ at the begining and printi...Bernhard Schommer2015-02-252-52/+50
* | Added a small ocamlfile that calls ocamlfind recursivly over a given directory.Bernhard Schommer2015-02-243-5/+218
* | Merge github.com:AbsInt/CompCertBernhard Schommer2015-02-239-334/+430
|\ \
| * | Update clightgen with respect to new representation of composites.Xavier Leroy2015-02-203-232/+151
| * | Merge pull request #23 from AbsInt/no-shellXavier Leroy2015-02-206-102/+279
| |\ \
| | * | Removed the Unix from the libraries for cchecklink.Bernhard Schommer2015-02-201-2/+3
| | * | Merge branch 'no-shell' of github.com:AbsInt/CompCert into compcert_windowsBernhard Schommer2015-02-195-96/+272
| | |\ \
| | | * \ Merge branch 'master' into no-shellBernhard Schommer2015-02-1981-2496/+6257
| | | |\ \ | | |_|/ / | |/| | |
| | | * | Use Unix.create_process instead of Sys.command (continued).Xavier Leroy2014-12-293-96/+122
| | | * | Use Unix.create_process instead of Sys.command to run external tools.Xavier Leroy2014-12-192-0/+150
| | * | | Merge github.com:AbsInt/CompCert into compcert_windowsBernhard Schommer2015-02-1966-2277/+5719
| | |\ \ \ | | |/ / / | |/| | |
| * | | | The parameter should also have the old name.Bernhard Schommer2015-02-191-3/+3
| | * | | Removed the linker flag again.Bernhard Schommer2015-01-202-4/+4
* | | | | Removed the MinGW port.Bernhard Schommer2015-02-191-53/+3
* | | | | Merge github.com:AbsInt/CompCertBernhard Schommer2015-02-1919-15/+935
|\| | | |
* | | | | Use lcomm instead of .local for Mingw.Bernhard Schommer2015-02-101-2/+2
* | | | | Added new Mingw Printer. Currently the only difference to the Cygwin printer ...Bernhard Schommer2015-02-101-13/+55
| | | | * Merge branch 'master' into backend_printerBernhard Schommer2015-02-1918-8/+928
| | | | |\ | | |_|_|/ | |/| | |
| * | | | Added back symbol functions in the different printer, since they are still ne...Bernhard Schommer2015-02-191-3/+10
| * | | | Changed the symbol function back to its old definition.Bernhard Schommer2015-02-191-10/+3
| * | | | C reference implementation of the int64 helper functions.Xavier Leroy2015-02-1418-8/+928
|/ / / /
| | | * Removed unused sel_target, changed cygwin symbol names and changed the defaul...Bernhard Schommer2015-02-195-7/+11
| | | * Added an elf prefix to all common elf functions in PrintAsmaux.Bernhard Schommer2015-02-185-36/+50
| | | * Changed print_fun/var_info to be functions instead of booleans.Bernhard Schommer2015-02-185-18/+16
| | | * Removed some style issues.Bernhard Schommer2015-02-183-76/+82
| | | * Changed arm backend to the common backend printer.Bernhard Schommer2015-02-097-1194/+1145
| | | * Merge remote-tracking branch 'origin/master' into backend_printerBernhard Schommer2015-02-093-231/+226
| | | |\ | |_|_|/ |/| | |
* | | | Interpreter produces more detailed trace, including name of semantic rules used.Xavier Leroy2015-02-083-231/+226
| | | * Changed the ia32 backend to the new Printer.Bernhard Schommer2015-02-065-1035/+983
| | | * Changed the ASM printer of the powerpc to the generalized backend.Bernhard Schommer2015-02-055-792/+850
| | | * Moved more common functions into a seperate file.Bernhard Schommer2015-02-044-137/+69
| | | * Started moving common backend functions into one file.Bernhard Schommer2015-02-033-84/+114
| |_|/ |/| |
* | | Changed the print_globaldef function of the powerpc backend to look like the ...Bernhard Schommer2015-01-281-10/+2
generated by cgit (git 2.34.1) at 2024-07-01 02:39:58 +0000