aboutsummaryrefslogtreecommitdiffstats
path: root/tools
Commit message (Expand)AuthorAgeFilesLines
* [MERGE] BTL into kvx-work (replacing RTLpath)Léo Gourdin2021-09-011-3/+3
|\
| * Merge branch 'kvx-work' into BTLLéo Gourdin2021-06-103-12/+15
| |\
| * | Dupmap bugfix and some advance in LivegenLéo Gourdin2021-05-311-1/+1
| * | todosLéo Gourdin2021-05-181-1/+1
| * | preparing compiler passes and ml oraclesLéo Gourdin2021-05-171-3/+3
* | | Change "Tunneling" to "LTLTunneling" everywherePierre Goutagny2021-06-171-1/+1
* | | Move rtl_tunneling to a more interesting placePierre Goutagny2021-06-151-1/+1
* | | Factorise RTL Tunneling pass in compiler_expandPierre Goutagny2021-06-151-1/+3
* | | Add RTL Tunneling as a passPierre Goutagny2021-06-141-1/+2
| |/ |/|
* | [BROKEN] Merge with v3.9 : something broken for __builtin_expect in cfrontend...Cyril SIX2021-06-013-12/+15
|/
* insert CSE after constant propagation and before CSE2Sylvain Boulmé2021-02-101-0/+1
* Merge branch 'kvx-work' into kvx-work-merge3.8Cyril SIX2020-12-041-4/+7
|\
| * Slight perf improvementCyril SIX2020-12-021-2/+2
| * merge nouveau tunnelingDavid Monniaux2020-11-191-1/+1
| * Merge remote-tracking branch 'origin/kvx-work' into kvx-test-prepassDavid Monniaux2020-11-191-1/+1
| |\
| | * Tunneling: improved elimination of conditionsSylvain Boulmé2020-11-161-2/+2
| * | Merge remote-tracking branch 'origin/kvx-work' into kvx-test-prepassDavid Monniaux2020-11-051-2/+3
| |\|
| * | Merge remote-tracking branch 'origin/kvx-work' into kvx-test-prepassDavid Monniaux2020-11-031-1/+3
| |\ \
| * \ \ Merge remote-tracking branch 'origin/kvx-work' into kvx-test-prepassDavid Monniaux2020-10-271-43/+54
| |\ \ \
| * \ \ \ Merge remote-tracking branch 'origin/kvx-work' into kvx-test-prepassDavid Monniaux2020-10-181-2/+3
| |\ \ \ \
| * \ \ \ \ Merge branch 'kvx-work' into mppa-RTLpathSECyril SIX2020-05-282-0/+183
| |\ \ \ \ \
* | \ \ \ \ \ Merge branch 'master' (Absint 3.8) into kvx-work-merge3.8David Monniaux2020-11-181-1/+1
|\ \ \ \ \ \ \ | |_|_|_|_|_|/ |/| | | | | |
| * | | | | | Use Hashtbl.find_opt.Bernhard Schommer2020-06-281-1/+1
| |/ / / / /
* | | | | / move loop rotate downDavid Monniaux2020-11-041-4/+5
| |_|_|_|/ |/| | | |
* | | | | Loop Rotate with -flooprotateCyril SIX2020-11-031-0/+2
| |_|_|/ |/| | |
* | | | Splitting Duplicate in several passesCyril SIX2020-10-271-40/+51
| |_|/ |/| |
* | | reorder phasesDavid Monniaux2020-10-161-2/+3
* | | Changing duplicate verifier to be non optionalCyril SIX2020-10-091-1/+1
| |/ |/|
* | 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-04-27 08:16:43 +0000