aboutsummaryrefslogtreecommitdiffstats
path: root/backend/Linearizeaux.ml
Commit message (Expand)AuthorAgeFilesLines
* Linearizeaux: forgotten printCyril SIX2020-03-091-1/+1
* Linearizeaux: Fixed bug where the output list was in reverse orderCyril SIX2020-03-091-4/+20
* Adding debug info in LinearizeauxCyril SIX2020-03-061-0/+12
* [UNTESTED] Sequence orderingCyril SIX2020-03-061-3/+27
* Linearize: Dependencies computing to decide which sequence to put firstCyril SIX2020-03-031-31/+132
* Linearizeaux: can_be_mergedCyril SIX2020-02-211-13/+48
* Linearizeaux: function try_mergeCyril SIX2020-02-211-11/+20
* WIP2Cyril SIX2020-02-201-16/+24
* WIPCyril SIX2020-02-201-0/+26
* First part of Hansen algorithm - build the sequencesCyril SIX2020-02-191-1/+43
* Added option -ftracelinearize which linearizes based on ifnot branchesCyril SIX2020-02-121-3/+54
* Compatibility with OCaml 4.08 (#302)Xavier Leroy2019-07-081-1/+1
* Deactivate warning 27 and added back removed code.Bernhard Schommer2016-03-151-5/+5
* Code cleanup.Bernhard Schommer2016-03-101-8/+5
* Updated PR by removing whitespaces. Bug 17450.Bernhard Schommer2015-10-201-2/+2
* Change interface of Kildall solvers to avoid precomputing the map pc -> list ...xleroy2013-08-121-2/+3
* Big merge of the newregalloc-int64 branch. Lots of changes in two directions:xleroy2013-04-201-13/+15
* Ported to Coq 8.4pl1. Merge of branches/coq-8.4.xleroy2013-01-291-17/+4
* Support for inlined built-ins.xleroy2010-06-291-0/+1
* Added support for jump tables in back end.xleroy2009-11-101-0/+2
* Cil2Csyntax: added goto and labels; added assignment between structsxleroy2009-08-161-1/+2
* New linearization heuristicxleroy2009-02-271-32/+72
* Conflict between extraction/CList and cil/obj/xxx/clist on case-insensitive f...xleroy2009-01-291-2/+1
* Elimination of "alloc" instruction in Caml files and test files.xleroy2009-01-111-1/+0
* Reorganized the development, modularizing away machine-dependent parts.xleroy2008-12-301-0/+85
generated by cgit (git 2.34.1) at 2024-07-06 15:18:16 +0000