summaryrefslogtreecommitdiff
path: root/bytecomp/emitcode.mli
Commit message (Collapse)AuthorAgeFilesLines
* Bytepackager: remove global stateHugo Heuzard2022-10-171-1/+2
|
* Bytepackager: make the logic more regularHugo Heuzard2022-10-171-2/+6
|
* Some cleanup in bytecomp/emitcode.ml (#11612)hhugo2022-10-171-2/+0
|
* Whitespace and overlong line fixes.David Allsopp2018-06-141-3/+5
|
* Remove Meta.static_{alloc, free}.Stephen Dolan2018-04-131-2/+1
| | | | | | | The bytecode runtime now represents code to be loaded as LongString.t, rather than as a naked pointer to a bytecode block. (This commit breaks Dynlink of bytecode, due to an issue about digests)
* Compiler: -compat-32 flag when building cmo/cma. (#896)hhugo2017-05-051-0/+2
| | | | | | | | | | | | * Complier: -compat-32 flag when building cmo/cma. Compiler: refactor -compat-32 support Update Changes Complier: more -compat-32 checks in emitcode. * add tests for the -compat-32 flag
* Also remove linking hack for bytecodePierre Chambart2016-07-081-1/+4
| | | | | | | | | | | | | | | | | Adds the required_globals information to bytecode compilation units. This patch also bootstrap ocamlc. The cmo format is changed by this commit, there is no way around bootstraping here. Note that ocamldep and ocamllex does not rely on the cmo format, so they are not present in this commit. Changes in tests: * Update test/transprim/comparison_table.ml.reference: The (opaque (global List!)) expression is not present anymore * Update tests/no-alias-deps/aliases.cmo.reference The output of objinfo changed
* Update headers for the new license.Damien Doligez2016-02-181-11/+14
| | | | Remains to be done: remove all headers in testsuite/tests.
* PR#6468: toplevel now supports backtraces if invoked with OCAMLRUNPARAM=bGabriel Scherer2015-02-081-2/+3
| | | | | | | (Peter Zotov and Jake Donham, review by Gabriel Scherer and Jacques-Henri Jourdan) git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15830 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* merge changes from branch 4.02 from branching (rev 14852) to 4.02.0+rc1 (rev ↵Damien Doligez2014-08-221-1/+2
| | | | | | 15121) git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15125 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Add reset functions to make modules reentrant when used through compiler-libsFabrice Le Fessant2014-05-091-0/+2
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14770 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* merge branch "safe-string"Damien Doligez2014-04-291-1/+1
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14705 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* remove all $Id keywordsDamien Doligez2012-10-151-2/+0
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13013 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* renaming of Objective Caml to OCaml and cleanup of copyright headersDamien Doligez2011-07-271-1/+1
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11156 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Deplacement des infos de format des .cmo et .cma dans Cmo_formatXavier Leroy2006-05-111-46/+1
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7422 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Pour l'option -pack, permettre de donner une interface explicite (via un ↵Xavier Leroy2003-03-061-1/+7
| | | | | | .mli) au module synthetise git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5422 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Rectif commentaireXavier Leroy2003-03-031-0/+1
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5416 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Revu gestion des DLLs: ne pas les utiliser en mode -custom; dans les .cma et ↵Xavier Leroy2001-10-301-2/+3
| | | | | | .cmxa, stocker separement les options pour linker statiquement (-cclib) et par chargement dynamique (-dllib). git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3949 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Nouveau format de .cma et .cmxa, se rappelle des -cclib et -ccopt ↵Xavier Leroy2000-03-091-0/+16
| | | | | | necessaires pour le link final git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2930 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Changement de la licenceXavier Leroy1999-11-171-1/+2
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2553 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* bytelink, emitcode: nouvelle gestion des CRC des interfaces.Xavier Leroy1997-05-151-3/+1
| | | | | | | | bytelink: Sys.command -> Ccomp.command translcore: expanser les abreviations dans has_base_type git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1551 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Corrections de bugs dans la gestion des evenements de debug.Xavier Leroy1997-02-191-1/+2
| | | | | | | | | Conserver l'optimisation tailcall et push-acc meme en presence d'evenements de debug. Stockage plus efficace des infos de debug dans les .cmo. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1279 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Ajout du support pour le debuggerXavier Leroy1996-11-291-3/+4
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1211 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Renommage en Objective CamlXavier Leroy1996-04-301-2/+2
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@782 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Ajout d'une option -linkall dans les .cmo et .cma.Xavier Leroy1996-04-181-2/+3
| | | | | | | translmod: probleme avec les external declares val dans le .mli. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@746 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Dans les .cmo, on garde trace des primitives declarees dans le module. Du ↵Xavier Leroy1995-11-051-1/+1
| | | | | | coup, cslmktop -custom se remet a marcher. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@398 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Nouveau format de .cmo (utilisation de MD5, detection unsafe)Xavier Leroy1995-10-091-3/+6
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@326 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Ajout des notices de copyrightXavier Leroy1995-08-091-0/+13
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@195 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Passage a la version bootstrappee (franchissement du Rubicon)Xavier Leroy1995-05-041-0/+43
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
View Lorry Controller Status