summaryrefslogtreecommitdiff
path: root/asmcomp/linearize.mli
Commit message (Expand)AuthorAgeFilesLines
* Split Linearize into two modulesGreta Yorsh2019-09-041-44/+1
* Move backtrace support global variables to domain state.KC Sivaramakrishnan2019-08-231-1/+1
* Add pseudo-instruction `Ladjust_trap_depth` (#2322)Greta Yorsh2019-06-241-0/+1
* Position [Lprologue] correctly (#2292)Mark Shinwell2019-03-291-0/+1
* Linearize: for Trywith, remove the jump/call to the handler (#2237)Vincent Laviron2019-03-071-2/+2
* Add Lprologue (#2055)Mark Shinwell2018-09-241-1/+2
* Spacetime: a new memory profiler (#585)Mark Shinwell2016-07-291-1/+3
* Specialize raise_kind after cmmgenFrançois Bobot2016-07-281-1/+1
* Labels after calls, call GC points and checkbound points (again) (#660)Mark Shinwell2016-07-061-3/+1
* Revert "Labels after calls, call GC points and checkbound points"Alain Frisch2016-07-011-1/+3
* Labels after calls, call GC points and checkbound points (#644)Mark Shinwell2016-07-011-3/+1
* Update headers for the new license.Damien Doligez2016-02-181-11/+14
* Add reset functions to make modules reentrant when used through compiler-libsFabrice Le Fessant2014-05-091-0/+1
* Support for raise variants in ocamlopt. Only amd64 for now.Alain Frisch2013-10-141-1/+1
* remove all $Id keywordsDamien Doligez2012-10-151-2/+0
* PR#5487: addition of CFI directives and a few filename/linenumber info to gen...Xavier Leroy2012-02-211-1/+2
* renaming of Objective Caml to OCaml and cleanup of copyright headersDamien Doligez2011-07-271-1/+1
* clean up spaces and tabsDamien Doligez2010-01-221-2/+1
* Stack backtraces on uncaught exceptions in native code (merge of the opt_back...Xavier Leroy2007-01-291-0/+1
* PowerPC: traiter correctement les branchements conditionnels relatifs qui deb...Xavier Leroy2002-01-091-1/+2
* Orthographe: failthrough -> fallthroughXavier Leroy2001-02-051-1/+1
* or-pat avec variables et compil du switchLuc Maranget2000-10-021-0/+1
* Changement de la licenceXavier Leroy1999-11-171-1/+2
* Rendre desc mutable pour certains emetteurs de code (emit_hppa)Xavier Leroy1997-03-071-1/+1
* Renommage en Objective CamlXavier Leroy1996-04-301-2/+2
* Introduction de Lreloadretaddr.Xavier Leroy1995-08-251-0/+1
* Ajout du scheduler (a tester serieusement)Xavier Leroy1995-08-131-0/+4
* Introduction de Lcondbranch3.Xavier Leroy1995-08-121-0/+1
* Ajout des notices de copyrightXavier Leroy1995-08-091-0/+13
* Passage au truc d'Appel pour les fermetures de fonctions mutuellementXavier Leroy1995-07-071-2/+2
* Integration du generateur de code et du compilateur.Xavier Leroy1995-07-021-1/+2
* Premiere version.Xavier Leroy1995-06-151-0/+31