OCaml 32bits longval
You will need OCaml 3.11.2 installed on a i686 linux computer. The archive contains:
- libcamlrun-linux-i686.a
- ocamlrun-linux-i686
- Makefile
- README
The Makefile has two targets:
sudo make install
will save/usr/bin/ocamlrun
and/usr/lib/ocaml/libcamlrun.a
in the current directory and replace them with the longval binaries.sudo make restore
will restore the saved files.
If your install directories are not the default ones, you should modify the Makefile. After installing, you can test it with the standard OCaml top-level:
Objective Caml version 3.11.2
# let s = ref “”;;
val s : string ref = {contents = “”}
# s := String.create 20_000_000;;
– : unit = ()
Now you can enjoy big values in all your strings and arrays in bytecode. You will need to relink all your custom binaries. If you are interested in the native version of the longval compiler, you can contact us.
Au sujet d'OCamlPro :
OCamlPro développe des applications à haute valeur ajoutée depuis plus de 10 ans, en utilisant les langages les plus avancés, tels que OCaml et Rust, visant aussi bien rapidité de développement que robustesse, et en ciblant les domaines les plus exigeants (méthodes formelles, cybersécurité, systèmes distribués/blockchain, conception de DSLs). Fort de plus de 20 ingénieurs R&D, avec une expertise unique sur les langages de programmation, aussi bien théorique (plus de 80% de nos ingénieurs ont une thèse en informatique) que pratique (participation active au développement de plusieurs compilateurs open-source, prototypage de la blockchain Tezos, etc.), diversifiée (OCaml, Rust, Cobol, Python, Scilab, C/C++, etc.) et appliquée à de multiples domaines. Nous dispensons également des [formations sur mesure certifiées Qualiopi sur OCaml, Rust, et les méthodes formelles] (https://training.ocamlpro.com/) Pour nous contacter : contact@ocamlpro.com.
Articles les plus récents
2023
- The latest release of Alt-Ergo version 2.5.1 is out, with improved SMT-LIB and bitvector support!
- Autofonce, GNU Autotests Revisited
- Sub-single-instruction Peano to machine integer conversion
- Statically guaranteeing security properties on Java bytecode: Paper presentation at VMCAI 23
- Release of ocplib-simplex, version 0.5
- The Growth of the OCaml Distribution
2022
2021