aboutsummaryrefslogtreecommitdiffstats
path: root/tools
Commit message (Expand)AuthorAgeFilesLines
* Merge remote-tracking branch 'origin/kvx-work-ssa' into kvx-test-prepass-ssaPLDI_2021_before_anonymizationDavid Monniaux2020-11-091-0/+1
|\
| * renumber before SSADavid Monniaux2020-11-091-0/+1
* | Merge remote-tracking branch 'origin/kvx-work-ssa' into kvx-test-prepass-ssaDavid Monniaux2020-11-051-0/+5
|\|
| * Merge remote-tracking branch 'origin/kvx-work' into kvx-work-ssaDavid Monniaux2020-11-051-4/+10
| |\
| * \ Merge remote-tracking branch 'origin/kvx-work' into kvx-work-ssaDavid Monniaux2020-11-031-0/+2
| |\ \
* | \ \ Merge remote-tracking branch 'origin/kvx-work' into kvx-test-prepass-ssaDavid Monniaux2020-11-051-2/+3
|\ \ \ \ | | |_|/ | |/| |
| * | | move loop rotate downDavid Monniaux2020-11-041-4/+5
| | |/ | |/|
* | | Merge remote-tracking branch 'origin/kvx-test-prepass' into kvx-test-prepass-ssaDavid Monniaux2020-11-031-1/+3
|\ \ \
| * | | Merge remote-tracking branch 'origin/kvx-work' into kvx-test-prepassDavid Monniaux2020-11-031-1/+3
| |\| |
| | * | Loop Rotate with -flooprotateCyril SIX2020-11-031-0/+2
* | | | Merge remote-tracking branch 'origin/kvx-work-ssa' into kvx-test-prepass-ssaDavid Monniaux2020-11-021-9/+39
|\ \ \ \ | | |_|/ | |/| |
| * | | does not catch itDavid Monniaux2020-10-301-1/+4
| * | | SSA chain makes it possible to rerun CSE3 afterDavid Monniaux2020-10-301-8/+35
* | | | Merge remote-tracking branch 'origin/kvx-work-ssa' into kvx-test-prepass-ssaDavid Monniaux2020-10-281-28/+61
|\| | | | |/ / |/| |
| * | SSA chain now integrated with oursDavid Monniaux2020-10-281-0/+5
| * | begin split passes to insert SSADavid Monniaux2020-10-281-28/+56
| |/
* | Merge remote-tracking branch 'origin/kvx-work' into kvx-test-prepassDavid Monniaux2020-10-271-43/+54
|\|
| * Splitting Duplicate in several passesCyril SIX2020-10-271-40/+51
* | Merge remote-tracking branch 'origin/kvx-work' into kvx-test-prepassDavid Monniaux2020-10-181-2/+3
|\|
| * reorder phasesDavid Monniaux2020-10-161-2/+3
| * Changing duplicate verifier to be non optionalCyril SIX2020-10-091-1/+1
* | Merge branch 'kvx-work' into mppa-RTLpathSECyril SIX2020-05-282-0/+183
|\|
| * automatic date in the html indexSylvain Boulmé2020-05-281-0/+8
| * add a renumber phaseDavid Monniaux2020-04-301-0/+1
| * run a separate CSE3 for LICMDavid Monniaux2020-04-241-1/+3
| * sync with licmDavid Monniaux2020-04-231-1/+1
| * cbn and copyrightDavid Monniaux2020-04-221-0/+10
| * use cbn in T instead of simpl in TDavid Monniaux2020-04-221-1/+1
| * automated writing Compiler.vDavid Monniaux2020-04-221-8/+79
| * generate mkpassDavid Monniaux2020-04-211-1/+13
| * Require autogenDavid Monniaux2020-04-211-8/+22
| * begin scripting the Compiler.v fileDavid Monniaux2020-04-211-0/+62
|/
* Revise the "bench" entries of the test suiteXavier Leroy2019-09-171-0/+101
* ndfun: add support for guards on patternsXavier Leroy2019-08-071-5/+16
* Extend the modorder tool to handle Coq files as well (#54)Bernhard Schommer2018-02-081-7/+9
* Updated PR by removing whitespaces. Bug 17450.Bernhard Schommer2015-10-201-3/+3
* Removed the recdepend again and replaced it by a builtin Make function.Bernhard Schommer2015-02-271-206/+0
* Updated the recdepend tool to avoid printing of ./ at the begining and printi...Bernhard Schommer2015-02-251-50/+46
* Added a small ocamlfile that calls ocamlfind recursivly over a given directory.Bernhard Schommer2015-02-241-0/+210
* Use String.map instead of reimplementing it ourselves.Xavier Leroy2014-11-221-5/+18
* Replace ocamlbuild by a second-stage makefile to compile the OCaml code and p...Xavier Leroy2014-11-221-0/+112
* Merge of the nonstrict-ops branch:xleroy2012-01-141-0/+231
generated by cgit (git 2.34.1) at 2024-06-03 04:21:02 +0000