âčïž Skipped - page is already crawled
| Filter | Status | Condition | Details |
|---|---|---|---|
| HTTP status | PASS | download_http_code = 200 | HTTP 200 |
| Age cutoff | PASS | download_stamp > now() - 6 MONTH | 0.2 months ago |
| History drop | PASS | isNull(history_drop_reason) | No drop reason |
| Spam/ban | PASS | fh_dont_index != 1 AND ml_spam_score = 0 | ml_spam_score=0 |
| Canonical | PASS | meta_canonical IS NULL OR = '' OR = src_unparsed | Not set |
| Property | Value |
|---|---|
| URL | https://ocamlpro.com/fr/blog/all/ |
| Last Crawled | 2026-04-03 11:09:58 (6 days ago) |
| First Indexed | 2023-02-12 09:56:22 (3 years ago) |
| HTTP Status Code | 200 |
| Meta Title | Le blog d'OCamlPro | OCamlPro |
| Meta Description | OCamlPro tackles complex design challenges (Domain Specific Languages, Code Audit and Verification, Optimization) notably with the use of formal methods. For that purpose, we promote the use of state-of-the-art programming languages like OCaml and Rust. |
| Meta Canonical | null |
| Boilerpipe Text | Opam 104: Sharing Your Code
Date: 2026-01-08
Curious about the origins of opam?
Check out this short history on its evolution as the de facto package manager and environment manager for OCaml. Welcome back to the opam deep-dives series! In this article, we cover two essential topics for any OCaml developer: Setting up a development environment...
(Lire plus)
OCaml Onboarding: Introduction to the Dune build system
Date: 2025-07-29
Welcome to all Camleers We are back with another practical walkthrough for the newcomers of the OCaml ecosystem. We understand from the feedback we have gathered over the years that getting started with the OCaml Distribution can sometimes be perceived as challenging at first. That's why we keep it ...
(Lire plus)
opam 2.4 release
Date: 2025-07-23
Feedback on this post is welcomed on Discuss! We are extremely happy to announce the release of opam 2.4.0 and encourage all users to upgrade. Please read on for installation and upgrade instructions. Major changes On opam init the compiler chosen for the default switch will no longer be ocaml-syste...
(Lire plus)
Opam 103: Bootstrapping a New OCaml Project with opam
Date: 2025-04-19
Curious about the origins of opam?
Check out this short history on its evolution as the de facto package manager and environment manager for OCaml. Welcome back to the opam deep-dives series! Finally - you've asked for it since our very first opam deep-dive: it's time to explore the developer side o...
(Lire plus)
Flambda2 Ep. 4: How to write a purely functional compiler
Date: 2025-02-19
Welcome to a new episode of The Flambda2 Snippets! Today, we will cover key high-level aspects of the algorithm of Flambda2. We will do our best to explain the fundamental design decisions pertaining to the architecture of the compiler. We will touch on how we managed to make a purely functional opt...
(Lire plus)
opam 2.3.0 release!
Date: 2024-11-13
Feedback on this post is welcomed on Discuss! As mentioned in our talk at the OCaml Workshop 2024, we decided to switch to a time-based release cycle (every 6 months), starting with opam 2.3. As promised, we are very pleased to announce the release of opam 2.3.0, and encourage all users to upgrade. ...
(Lire plus)
Optimisation de Geneweb, 1er logiciel français de Généalogie depuis prÚs de 30 ans
Date: 2024-11-06
LâĂ©quipe dâOCamlPro a rĂ©cemment Ă©tĂ© sollicitĂ©e par lâassociation Roglo, une association française de gĂ©nĂ©alogie qui gĂšre une base de plus de 10 millions de personnes connectĂ©es dans un mĂȘme arbre gĂ©nĂ©alogique, et dont la base s'accroĂźt dâenviron 500 000 nouvelles contributions ...
(Lire plus)
Alt-Ergo 2.6 is Out!
Date: 2024-09-30
We are excited to announce the release of Alt-Ergo 2.6! Alt-Ergo is an open-source automated prover used for formal verification in software development. It is part of the arsenal behind static analysis frameworks such as TrustInSoft Analyzer and Frama-C, and is one of the solvers behind Why3, a pla...
(Lire plus)
Flambda2 Ep. 3: Speculative Inlining
Date: 2024-08-09
Welcome to a new episode of The Flambda2 Snippets! The F2S blog posts aim at gradually introducing the world to the inner-workings of a complex piece of software engineering: The Flambda2 Optimising Compiler for OCaml, a technical marvel born from a 10 year-long effort in Research & Development and ...
(Lire plus)
opam 2.2.0 release!
Date: 2024-07-01
Feedback on this post is welcomed on Discuss! We are very pleased to announce the release of opam 2.2.0, and encourage all users to upgrade. Please read on for installation and upgrade instructions. NOTE: this article is cross-posted on opam.ocaml.org and ocamlpro.com, and published in discuss.ocaml...
(Lire plus)
Flambda2 Ep. 2: Loopifying Tail-Recursive Functions
Date: 2024-05-07
Welcome to a new episode of The Flambda2 Snippets! Today's topic is Loopify, one of Flambda2's many optimisation algorithms which specifically deals with optimising both purely tail-recursive and/or functions annotated with the [@@loop] attribute in OCaml. A lazy explanation for its utility would be...
(Lire plus)
Fixing and Optimizing the GnuCOBOL Preprocessor
Date: 2024-04-30
In this post, I will present some work that we did on the GnuCOBOL compiler, the only fully-mature open-source compiler for COBOL. It all started with a bug issued by one of our customers that we fixed by improving the preprocessing pass of the compiler. We later went on and optimised it to get bett...
(Lire plus)
OCaml Backtraces on Uncaught Exceptions
Date: 2024-04-25
Uncaught exception: Not_found This blog post probably won't teach anything new to OCaml veterans; but for the others, you might be glad to learn that this very basic, yet surprisingly little-known feature of OCaml will give you backtraces with source file positions on any uncaught exception. Since i...
(Lire plus)
Opam 102: Pinning Packages
Date: 2024-03-25
Welcome, dear reader, to a new opam blog post! Today we take an additional step down the metaphorical rabbit hole with opam pin, the easiest way to catch a ride on the development version of a package in opam. We are aware that our readers are eager to see these blog posts venture on the developer s...
(Lire plus)
Flambda2 Ep. 1: Foundational Design Decisions
Date: 2024-03-19
Welcome to The Flambda2 Snippets! In this first post of The Flambda2 Snippets, we dive into the powerful CPS-based internal representation used within the Flambda2 optimizer, which was one of the main motivation to move on from the former Flambda optimizer. Credit goes to Andrew Kennedy's paper Comp...
(Lire plus)
Behind the Scenes of the OCaml Optimising Compiler Flambda2: Introduction and Roadmap
Date: 2024-03-18
Introducing our Flambda2 snippets At OCamlPro, the main ongoing task on the OCaml Compiler is to improve the high-level optimisation. This is something that we have been doing for quite some time now. Indeed, we are the authors behind the Flambda optimisation pass and today we would like to introduc...
(Lire plus)
Lean 4: When Sound Programs become a Choice
Date: 2024-03-07
Monitoring Edge Technical Endeavours As a company specialized in strongly-typed programming languages with strong static guarantees, OCamlPro closely monitors the ongoing trend of bringing more and more of these elements into mainstream programming languages. Rust is a relatively recent example of t...
(Lire plus)
Opam 101: The First Steps
Date: 2024-01-23
Welcome, dear reader, to a new series of blog posts! This series will be about everything opam. Each article will cover a specific aspect of the package manager, and make sure to dissipate any confusion or misunderstandings on this keystone of the OCaml distribution! Each technical article will be t...
(Lire plus)
Maturing Learn-OCaml to version 1.0: Gateway to the OCaml World
Date: 2023-12-13
From the very start OCamlPro has been trying to help ease the learning of the OCaml language. OCaml has been used around the world to teach about a variety of Computer Science domains, from algorithmic to calculus, or functional programming and compilation. The language had been long taught in Acade...
(Lire plus)
The latest release of Alt-Ergo version 2.5.1 is out, with improved SMT-LIB and bitvector support!
Date: 2023-09-18
We are happy to announce a new release of AltâErgo (version 2.5.1). Alt-Ergo is a cutting-edge automated prover designed specifically for mathematical formulas, with a primary focus on advancing program verification.
This powerful tool is instrumental in the arsenal of static analysis solutions su...
(Lire plus)
2022 at OCamlPro
Date: 2023-06-30
For 12 years now, OCamlPro has been empowering a large range of customers, allowing them to harness state-of-the-art technologies and languages like OCaml and Rust. Our not-so-small-anymore company steadily grew into a team of highly-skilled and passionate engineers, experts in Computer Science, fro...
(Lire plus)
Autofonce, GNU Autotests Revisited
Date: 2023-06-27
Since 2022, OCamlPro has been contributing to GnuCOBOL, the only fully open-source compiler for the COBOL language. To speed-up our contributions to the compiler, we developed a new tool, autofonce, to be able to easily run and modify the testsuite of the compiler, originally written as a GNU Autoco...
(Lire plus)
Sub-single-instruction Peano to machine integer conversion
Date: 2023-01-23
It is a rainy end of January in Paris, morale is getting soggier by the day, and the bulk of our light exposure needs are now fulfilled by our computer screens as the sun seems to have definitively disappeared behind a continuous stream of low-hanging clouds. But, all is not lost, the warm rays of c...
(Lire plus)
Statically guaranteeing security properties on Java bytecode: Paper presentation at VMCAIÂ 23
Date: 2023-01-12
We are excited to announce that Nicolas will present a paper at the International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI) the 16th and 17th of January. This year, VMCAI is co-located with the Symposium on Principles of Programming Languages (POPL) conference, ...
(Lire plus)
Release of ocplib-simplex, version 0.5
Date: 2023-01-05
On last November, we released version 0.5 of ocplib-simplex, a generic library implementing the Simplex Algorithm in OCaml. It is a key component of the Alt-Ergo automatic theorem prover that we keep developing at OCamlPro. ** The Simplex Algorithm
What Changed in 0.5 ? ] The simplex algorithm The S...
(Lire plus)
The Growth of the OCaml Distribution
Date: 2023-01-02
We recently worked on a project to build a binary installer for OCaml, inspired from RustUp for Rust. We had to build binary packages of the distribution for every OCaml version since 4.02.0, and we were surprised to discover that their (compressed) size grew from 18 MB to about 200 MB. This post gi...
(Lire plus)
WebAssembly/Wasm and OCaml
Date: 2022-12-14
In this first post about WebAssembly (Wasm) and OCaml, we introduce the work we have been doing for quite some time now, though without publicity, about our participation in the Garbage-Collection (GC) Working Group for Wasm, and two related development projects in OCaml. WebAssembly, a fast and por...
(Lire plus)
Alt-Ergo: the SMT solver with model generation
Date: 2022-11-16
The Alt-Ergo automatic theorem prover developed at OCamlPro has just been released with a major update : counterexample model can now be generated. This is now available on the next branch, and will officially be part of the 2.5.0 release, coming this year ! Alt-Ergo at a Glance Alt-Ergo is an open ...
(Lire plus)
Let's Encrypt Wildcard Certificates Made Easy with Agnos
Date: 2022-10-05
It is with great pleasure that we announce the first beta release of Agnos. A former personal project of our new recruit, Arthur, Agnos development is now hosted at and sponsored by OCamlPro's Rust division, Red Iron. A white lamb with a blue padlock and blue stars. He is clearly to be trusted with ...
(Lire plus)
opam 2.1.3 is released!
Date: 2022-08-12
Feedback on this post is welcomed on Discuss! We are pleased to announce the minor release of opam 2.1.3. This opam release consists of backported fixes: Fix opam init and opam init --reinit when the jobs variable has been set in the opamrc or the current config. (#5056)
opam var no longer fails if ...
(Lire plus)
OCamlPro at the JFLA2022 Conference
Date: 2022-07-12
In today's article, we share our contributions to the 2022 JFLAs, the French-Speaking annual gathering on Application Programming Languages, mainly Functional Languages such as OCaml (Journées Francophones des Langages Applicatifs). This much awaited event is organised by Inria, the French National...
(Lire plus)
2021 at OCamlPro
Date: 2022-01-31
OCamlPro was created in 2011 to advocate the adoption of the OCaml language and Formal Methods in general in the industry. 2021 was a very special year as we celebrated our 10th anniversary! While building a team of highly-skilled engineers, we navigated through our expertise domains, programming la...
(Lire plus)
Verification for Dummies: SMT and Induction
Date: 2021-10-14
Adrien Champion adrien.champion@ocamlpro.com
This work is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License. These posts broadly discusses induction as a formal verification technique, which here really means formal program verification. I will use concrete, runnabl...
(Lire plus)
Generating static and portable executables with OCaml
Date: 2021-09-02
Distributing OCaml software on opam is great (if I dare say so myself), but sometimes you need to provide your tools to an audience outside of the OCaml community, or just without recompilations or in a simpler way.
However, just distributing the locally generated binaries requires that the users ha...
(Lire plus)
opam 2.1.0 is released!
Date: 2021-08-04
Feedback on this post is welcomed on Discuss! We are happy to announce the release of opam 2.1.0. Many new features made it in (see the pre-release changelogs or release notes for the details), but here are a few highlights. What's new in opam 2.1? Integration of system dependencies (formerly the op...
(Lire plus)
opam 2.0.9 release
Date: 2021-08-03
Feedback on this post is welcomed on Discuss! We are pleased to announce the minor release of opam 2.0.9. This new version contains some back-ported fixes. New features Back-ported ability to load upgraded roots read-only; allows applications compiled with opam-state 2.0.9 to load a root which has b...
(Lire plus)
Detecting identity functions in Flambda
Date: 2021-07-16
In some discussions among OCaml developers around the empty type (PR#9459), some people mused about the possibility of annotating functions with an attribute telling the compiler that the function should be trivial, and always return a value strictly equivalent to its argument.Curious about the feas...
(Lire plus)
DĂ©tection de fonctions dâidentitĂ© dans Flambda
Date: 2021-07-15
Au cours de discussions parmi les dĂ©veloppeurs OCaml sur le type vide (PR#9459), certains caressaient lâidĂ©e dâannoter des fonctions avec un attribut indiquant au compilateur que la fonction devrait ĂȘtre triviale, et toujours renvoyer une valeur strictement Ă©quivalente Ă son argument. Nous ...
(Lire plus)
opam 2.1.0~rc2 released
Date: 2021-06-23
Feedback on this post is welcomed on Discuss! The opam team has great pleasure in announcing opam 2.1.0~rc2! The focus since beta4 has been preparing for a world with more than one released version of opam (i.e. 2.0.x and 2.1.x). The release candidate extends CLI versioning further and, under the ho...
(Lire plus)
Tutorial: Format Module of OCaml
Date: 2021-05-06
...
(Lire plus)
RĂ©union annuelle du Club des utilisateurs dâAlt-Ergo 2021
Date: 2021-04-29
La troisiĂšme rĂ©union annuelle du Club des utilisateurs dâAlt-Ergo a eu lieu le 1er avril ! Cette rĂ©union annuelle est lâendroit idĂ©al pour passer en revue les besoins de chaque partenaire concernant Alt-Ergo. Nous avons eu le plaisir de recevoir nos partenaires pour discuter de la feuille de...
(Lire plus)
New Try-Alt-Ergo
Date: 2021-03-29
Have you heard about our Try-Alt-Ergo website? Created in 2014 (see our blogpost), the first objective was to facilitate access to our performant SMT Solver Alt-Ergo. Try-Alt-Ergo allows you to write and run your problems in your browser without any server computation. This playground website has be...
(Lire plus)
opam 2.0.8 release
Date: 2021-02-08
We are pleased to announce the minor release of opam 2.0.8. This new version contains some backported fixes: Critical for fish users! Don't add . to PATH. [#4078]
Fix sandbox script for newer ccache versions. [#4079 and #4087]
Fix sandbox crash when ~/.cache is a symlink. [#4068]
User modifications ...
(Lire plus)
2020 at OCamlPro
Date: 2021-02-02
2020 at OCamlPro OCamlPro was created in 2011 to advocate the adoption of the OCaml language and formal methods in general in the industry. While building a team of highly-skilled engineers, we navigated through our expertise domains, delivering works on the OCaml language and tooling, training comp...
(Lire plus)
Release of Alt-Ergo 2.4.0
Date: 2021-01-22
A new release of Alt-Ergo (version 2.4.0) is available. You can get it from Alt-Ergo's website. The associated opam package will be published in the next few days. This release contains some major novelties: Alt-Ergo supports incremental commands (push/pop) from the smt-lib standard.
We switched co...
(Lire plus)
opam 2.1.0~beta4 released
Date: 2021-01-13
Feedback on this post is welcomed on Discuss! On behalf of the opam team, it gives me great pleasure to announce the third beta release of opam 2.1. Donât worry, you didnât miss beta3 - we had an issue with a configure script that caused beta2 to report as beta3 in some instances, so we skipped ...
(Lire plus)
Memthol: exploring program profiling
Date: 2020-12-01
Memthol is a visualizer and analyzer for program profiling. It works on memory dumps containing information about the size and (de)allocation date of part of the allocations performed by some execution of a program. For information regarding building memthol, features, browser compatibility⊠refer...
(Lire plus)
Rehabilitating Packs using Functors and Recursivity, part 2.
Date: 2020-09-30
This blog post and the previous one about functor packs covers two RFCs currently developed by OCamlPro and Jane Street. We previously introduced functor packs, a new feature adding the possiblity to compile packs as functors, allowing the user to implement functors as multiple source files or even ...
(Lire plus)
Rehabilitating Packs using Functors and Recursivity, part 1.
Date: 2020-09-24
OCamlPro has a long history of dedicated efforts to support the development of the OCaml compiler, through sponsorship or direct contributions from Flambda Team. An important one is the Flambda intermediate representation designed for optimizations, and in the future its next iteration Flambda 2. Th...
(Lire plus)
A Dune Love story: From Liquidity to Love
Date: 2020-06-09
By OCamlPro & Origin Labs Writing smart contacts may often be a burdensome task, as you need to learn a new language for each blockchain you target. In the Dune Network team, we are willing to provide as many possibilities as possible for developers to thrive in an accessible and secure framework. T...
(Lire plus)
[Interview] Sylvain Conchon joins OCamlPro
Date: 2020-06-06
On April 2020, Sylvain Conchon joined the OCamlPro team as our Chief Scientific Officer on Formal Methods. Sylvain is a professor at University Paris-Saclay, he has also been teaching OCaml in universities for about 20 years. He is the co-author of Apprendre Ă programmer avec OCaml with Jean-Christ...
(Lire plus)
[Interview] Sylvain Conchon rejoint OCamlPro
Date: 2020-06-05
Sylvain Conchon vient de rejoindre OCamlPro en tant que Chief Scientific Officer MĂ©thodes Formelles. Professeur Ă lâUniversitĂ© Paris-Saclay, il travaille dans le domaine de la dĂ©monstration automatique pour la preuve de programmes et le model checking pour systĂšmes paramĂ©trĂ©s. Il est aussi ...
(Lire plus)
Tutoriel Format
Date: 2020-06-01
Article Ă©crit par Mattias. Le module Format dâOCaml est un module extrĂȘmement puissant mais malheureusement trĂšs mal utilisĂ©. Il combine notamment deux Ă©lĂ©ments distincts : les boĂźtes dâimpression Ă©lĂ©gante
les tags sémantiques Le présent article vise à démystifier une grande partie ...
(Lire plus)
A Solidity parser in OCaml with Menhir
Date: 2020-05-19
This article is cross-posted on Origin Labsâ Dune Network blog We are happy to announce the first release of our Solidity parser, written in OCaml using Menhir. This is a joint effort with Origin Labs, the company dedicated to blockchain challenges, to implement a full interpreter for the Solidity...
(Lire plus)
opam 2.1.0 alpha is here!
Date: 2020-04-22
We are happy to announce a alpha for opam 2.1.0, one year and a half in the making after the release of 2.0.0. Many new features made it in (see the complete changelog or release note for the details), but here are a few highlights of this release. Release highlights The two following features have ...
(Lire plus)
opam 2.0.7 release
Date: 2020-04-21
We are pleased to announce the minor release of opam 2.0.7. This new version contains backported small fixes: Escape Windows paths on manpages [#4129 @AltGr @rjbou]
Fix opam installer opam file [#4058 @rjbou]
Fix various warnings [#4132 @rjbou @AltGr - fix #4100]
Fix dune 2.5.0 promote-install-files...
(Lire plus)
Le nouveau GC dâOCaml 4.10 : premier aperçu de la stratĂ©gie best-fit
Date: 2020-03-24
An in-depth Look at OCamlâs new "Best-fit" Garbage Collector Strategy Le GC dâOCaml oeuvre discrĂštement Ă lâefficacitĂ© de vos allocations mĂ©moire. Tel un hĂ©ros de lâombre, il reste mĂ©connu de la plupart des hackers OCaml. Avec lâarrivĂ©e dâOCaml 4.10, il sâenrichit dâune nouvel...
(Lire plus)
An in-depth Look at OCamlâs new âBest-fitâ Garbage Collector Strategy
Date: 2020-03-23
An in-depth Look at OCamlâs new "Best-fit" Garbage Collector Strategy The Garbage Collector probably is OCamlâs greatest unsung hero. Its pragmatic approach allows us to allocate without much fear of efficiency loss. In a way, the fact that most OCaml hackers know little about it is a good sign:...
(Lire plus)
New version of TryOCaml in beta!
Date: 2020-03-16
We are happy to announce that our venerable "TryOCaml" service is being retired and replaced by a new, modern version based upon our work on Learn-OCaml. â Try it here â The new interface provides an editor panel besides the familiar top-level, error and warning positions highlighting, the lates...
(Lire plus)
RĂ©union annuelle du Club des utilisateurs dâAlt-Ergo
Date: 2020-03-03
Alt-Ergo meeting Logo Alt-Ergo La deuxiĂšme rĂ©union annuelle du Club des utilisateurs dâAlt-Ergo a eu lieu Ă la mi-fĂ©vrier ! Notre rĂ©union annuelle est lâendroit idĂ©al pour passer en revue les besoins de chaque partenaire concernant Alt-Ergo. Cette annĂ©e, nous avons eu le plaisir de recevo...
(Lire plus)
2019 chez OCamlPro
Date: 2020-02-05
Tags:
compiler
,
cheat sheet
,
OCamlPro
,
opam
,
Rust
,
Try-OCaml
,
OCaml
,
Alt-Ergo
,
blockchains
,
Flambda2
,
fr
2019 at OCamlPro OCamlPro a pour ambition dâaider les industriels dans leur adoption du langage OCaml et des mĂ©thodes formelles. Lâentreprise est passĂ©e dâ1 Ă 21 personnes et est restĂ©e fidĂšle Ă cet objectif. LâannĂ©e 2019 chez OCamlPro a Ă©tĂ© trĂšs animĂ©e, et le nombre de rĂ©alisati...
(Lire plus)
2019 at OCamlPro
Date: 2020-02-04
2019 at OCamlPro OCamlPro was created to help OCaml and formal methods spread into the industry. We grew from 1 to 21 engineers, still strongly sharing this ambitious goal! The year 2019 at OCamlPro was very lively, with fantastic accomplishments all along! Let's quickly review the past years' works...
(Lire plus)
opam 2.0.6 release
Date: 2020-01-16
We are pleased to announce the minor release of opam 2.0.6. This new version contains some small backported fixes and build update: Don't remove git cache objects that may be used [#3831 @AltGr]
Don't include .gitattributes in index.tar.gz [#3873 @dra27]
Update FAQ uri [#3941 @dra27]
Lock: add warni...
(Lire plus)
The Opam 2.0 cheatsheet, with a new theme!
Date: 2020-01-10
The Opam 2.0 cheatsheet, with a new theme! Earlier, we dusted-off our Language and Stdlib cheatsheets, for teachers and students. With more time, we managed to design an Opam 2.0 cheat-sheet we are proud of. It is organized into two pages: The everyday average Opam use:
Installation, Configuration, ...
(Lire plus)
Des nouvelles de la part de l'équipe compilateur d'OCamlPro
Date: 2019-09-30
Nous sommes heureux de prĂ©senter certains travaux en cours sur le compilateur OCaml, travaux menĂ©s en Ă©troite collaboration avec notre partenaire et client Janestreet. Un travail consĂ©quent a Ă©tĂ© fait pour aboutir Ă un nouveau framework dâoptimisation du compilateur, appelĂ© Flambda2, dont ...
(Lire plus)
Formations OCaml par OCamlPro : 5-6 et 7-8 novembre 2019
Date: 2019-09-26
OCamlPro lance un cycle de formations réguliÚres à OCaml, en français, dans ses locaux parisiens (métro Alésia). La premiÚre session aura lieu début novembre 2019, avec 2 formations: Formation débutant : passer à OCaml (5-6 novembre)
Formation expert : approfondir sa maĂźtrise du langage (...
(Lire plus)
OCaml expert and beginner training by OCamlPro (in French): Nov. 5-6 & 7-8
Date: 2019-09-25
In our endeavour to encourage professional programmers to understand and use OCaml, OCamlPro will be giving two training sessions, in French, in our Paris offices: OCaml Beginner course for professional programmers (5-6 Nov)
OCaml Expertise (7-8 Nov). The "Expert" OCaml course is for already experie...
(Lire plus)
A look back on OCaml since 2011
Date: 2019-09-20
A look back on OCaml since 2011 As you already know if youâve read our last blogpost, we have updated our OCaml cheat sheets starting with the language and stdlib ones. We know some of you have students to initiate in September and we wanted these sheets to be ready for the start of the school yea...
(Lire plus)
Mise Ă jour des Cheat Sheets : OCaml Language et OCaml Standard Library
Date: 2019-09-14
Les mémentos (cheat-sheets) OCaml lang et OCaml stdlib partagés par OCamlPro en 2011 ont été mis à jour pour OCaml 4.08. Le langage OCaml
OCaml Standard Library Si vous souhaitez contribuer des améliorations: sources sur GitHub. En savoir plus : Updated Cheat Sheets: OCaml Language and OCaml S...
(Lire plus)
Updated Cheat Sheets: OCaml Language and OCaml Standard Library
Date: 2019-09-13
In 2011, we shared several cheat sheets for OCaml. Cheat sheets are helpful to refer to, as an overview of the documentation when you are programming, especially when youâre starting in a new language. They are meant to be printed and pinned on your wall, or to be kept in handy on a spare screen. ...
(Lire plus)
OCamlProâs compiler team work update
Date: 2019-08-30
The OCaml compiler team at OCamlPro is happy to present some of the work recently done jointly with JaneStreet's team. A lot of work has been done towards a new framework for optimizations in the compiler, called Flambda2, aiming at solving the shortcomings that became apparent in the Flambda optimi...
(Lire plus)
Release dâopam 2.0.5
Date: 2019-07-23
Nous sommes fiers dâannoncer la release (mineure) dâ opam 2.0.5. Cette nouvelle version contient des mises Ă jours de build et correctifs. Plus dâinformation...
(Lire plus)
opam 2.0.5 release
Date: 2019-07-11
We are pleased to announce the minor release of opam 2.0.5. This new version contains build update and small fixes: Bump src_ext Dune to 1.6.3, allows compilation with OCaml 4.08.0. [#3887 @dra27]
Support Dune 1.7.0 and later [#3888 @dra27 - fix #3870]
Bump the ocaml_mccs lib-ext, to include latest ...
(Lire plus)
Résultats de la SMT-Comp 2019 pour Alt-Ergo
Date: 2019-07-10
Les rĂ©sultats de la compĂ©tition SMT-COMP 2019 ont Ă©tĂ© publiĂ©s au whorkshop SMT de la 22e confĂ©rence SAT. Nous Ă©tions fiers dây participer pour la deuxiĂšme annĂ©e consĂ©cutive, surtout depuis quâAlt-Ergo prend en charge le standard SMT-LIB 2. Alt-Ergo est un SAT solveur open-source mainte...
(Lire plus)
The Alt-Ergo SMT Solverâs results in the SMT-COMP 2019
Date: 2019-07-09
The results of the SMT-COMP 2019 were released a few days ago at the SMT whorkshop during the 22nd SAT conference. We were glad to participate in this competition for the second year in a row, especially as Alt-Ergo now supports the SMT-LIB 2 standard. Alt-Ergo is an open-source SAT-solver maintaine...
(Lire plus)
Blockchains @ OCamlPro: an Overview
Date: 2019-04-29
OCamlPro started working on blockchains in 2014, when Arthur Breitman came to us with an initial idea to develop the Tezos ledger. The idea was very challenging with a lot of innovations. So, we collaborated with him to write a specification, and to turn the specification into OCaml code. Since then...
(Lire plus)
opam 2.0.4 release
Date: 2019-04-10
We are pleased to announce the release of opam 2.0.4. This new version contains some backported fixes: Sandboxing on macOS: considering the possibility that TMPDIR is unset [#3597 @herbelin - fix #3576]
display: Fix opam config var display, aligned on opam config list [#3723 @rjbou - rel. #3717]
pin...
(Lire plus)
opam 2.0 tips
Date: 2019-03-12
This blog post looks back on some of the improvements in opam 2.0, and gives tips on the new workflows available. Package development environment management Opam 2.0 has been vastly improved to handle locally defined packages. Assuming you have a project ~/projects/foo, defining two packages foo-lib...
(Lire plus)
Release : Liquidity version 1.0 !
Date: 2019-03-09
Nous sommes fiers d'annoncer la release de la premiÚre version majeure de Liquidity, le langage de smart contracts et son outillage. Parmi les fonctions phares : multiples points d'entrée, systÚme de contrats modulaire, polymorphisme et inférence de type, syntaxe ReasonML pour une plus grande ad...
(Lire plus)
Announcing Liquidity version 1.0
Date: 2019-03-08
Liquidity version 1.0 We are pleased to announce the release of the first major version of the Liquidity smart-contract language and associated tools. Some of the highlights of this version are detailed below. Multiple Entry Points In the previous versions of Liquidity, smart contracts were limited ...
(Lire plus)
Release de Techelson, moteur de tests pour Michelson et Liquidity
Date: 2019-03-07
Nous sommes fiers dâannoncer la premiĂšre release de Techelson, moteur dâexĂ©cution de tests pour Michelson. Les programmeurs Liquidity peuvent Ă©galement lâutiliser. Voir Techelson, a test execution engine for Michelson....
(Lire plus)
Techelson, a test execution engine for Michelson
Date: 2019-03-06
We are pleased to announce the first release of Techelson, available here. Techelson is a Test Execution Engine for Michelson. It aims at testing functional properties of Michelson smart contracts. Make sure to check the user documentation to get a sense of Techelson's workflow and features. For Liq...
(Lire plus)
Signing Data for Smart Contracts
Date: 2019-03-05
Smart contracts calls already provide a built-in authentication mechanism as transactions (i.e. call operations) are cryptographically signed by the sender of the transaction. This is a guarantee on which programs can rely. However, sometimes you may want more involved or flexible authentication sch...
(Lire plus)
What's new for Alt-Ergo in 2018? Here is a recap!
Date: 2019-02-11
After the hard work done on the integration of floating-point arithmetic reasoning two years ago, 2018 is the year of polymorphic SMT2 support and efficient SAT solving for Alt-Ergo. In this post, we recap the main novelties last year, and we announce the first Alt-Ergo Usersâ Club meeting. An SMT...
(Lire plus)
Optimisation du stockage dans Tezos : une branche de test sur Gitlab
Date: 2019-02-05
Ce troisiĂšme article consacrĂ© Ă lâamĂ©lioration du stockage dans Tezos fait suite Ă lâannonce de la mise Ă disposition dâune image docker pour les beta testeurs souhaitant essayer notre systĂšme de stockage et garbage collector. Voir Improving Tezos Storage : Gitlab branch for testers...
(Lire plus)
Improving Tezos Storage : Gitlab branch for testers
Date: 2019-02-04
This article is the third post of a series of posts on improving Tezos storage. In our previous post, we announced the availability of a docker image for beta testers, wanting to test our storage and garbage collector. Today, we are glad to announce that we rebased our code on the latest version of ...
(Lire plus)
Tezos et OCamlPro
Date: 2019-01-31
Tezos est aujourdâhui un projet open source, un rĂ©seau international dĂ©veloppĂ© par des Ă©quipes sur plus de cinq continents. Dans la genĂšse du projet, lâentreprise française OCamlPro, qui dĂ©veloppe encore aujourdâhui de nombreux projets liĂ©s Ă Tezos (TZscan, Liquidity, etc.), a jouĂ© u...
(Lire plus)
Improving Tezos Storage : update and beta-testing
Date: 2019-01-30
In a previous post, we presented some work that we did to improve the quantity of storage used by the Tezos node. Our post generated a lot of comments, in which upcoming features such as garbage collection and pruning were introduced. It also motivated us to keep working on this (hot) topic, and we ...
(Lire plus)
Tezos and OCamlPro
Date: 2019-01-29
A reflection on the new year⊠Today, Tezos is a global network and an open source project with developers spanning over five continents. In the inception of this project, the French company OCamlPro which, to this day, stills develops numerous projects around Tezos, played a particularly important...
(Lire plus)
opam 2.0.3 release
Date: 2019-01-28
We are pleased to announce the release of opam 2.0.3. This new version contains some backported fixes: Fix manpage remaining $ (OPAMBESTEFFORT)
Fix OPAMROOTISOK handling
Regenerate missing environment file Installation instructions (unchanged): From binaries: run or download manually from the Github...
(Lire plus)
Improving Tezos Storage
Date: 2019-01-15
Running a Tezos node currently costs a lot of disk space, about 59 GB for the context database, the place where the node stores the states corresponding to every block in the blockchain, since the first one. Of course, this is going to decrease once garbage collection is integrated, i.e. removing ve...
(Lire plus)
opam 2.0.2 release
Date: 2018-12-12
We are pleased to announce the release of opam 2.0.2. As sandbox scripts have been updated, don't forget to run opam init --reinit -ni to update yours. This new version contains mainly backported fixes: Doc:
update man page
add message for deprecated options
reinsert removed ones to print a deprecat...
(Lire plus)
An Introduction to Tezos RPCs: Signing Operations
Date: 2018-11-21
In a previous blogpost, we presented the RPCs used by tezos-client to send a transfer operation to a tezos-node. We were left with two remaining questions: How to forge a binary operation, for signature
How to sign a binary operation In this post, we will reply to these questions. We are still assum...
(Lire plus)
Introduction aux RPCs dans Tezos : exemple dâun portefeuille (wallet) simple
Date: 2018-11-20
Dans cet article technique, nous introduisons briĂšvement les RPCs dans Tezos Ă travers un exemple simple montrant comment le client Tezos interagit avec le noeud lors dâune instruction de transfert. Les RPCs de Tezos sont des requĂȘtes HTTP (GET ou POST) auxquelles les noeuds Tezos rĂ©pondent da...
(Lire plus)
An Introduction to Tezos RPCs: a Basic Wallet
Date: 2018-11-15
In this technical blog post, we will briefly introduce Tezos RPCs through a simple example: we will show how the tezos-client program interacts with the tezos-node during a transfer command. Tezos RPCs are HTTP queries (GET or POST) to which tezos-node replies in JSON format. They are the only way f...
(Lire plus)
First Open-Source Release of TzScan
Date: 2018-11-08
In October 2017, after the Tezos ICO, OCamlPro started to work on a block explorer for Tezos. For us, it was the most important software that we could contribute to the community, after the node itself, of course. We used it internally to monitor the Tezos alphanet, until its official public release...
(Lire plus)
Liquidity Tutorial: A Game with an Oracle for Random Numbers
Date: 2018-11-06
A Game with an oracle In this small tutorial, we will see how to write a chance game on the Tezos blockchain with Liquidity and a small external oracle which provides random numbers. Principle of the game Rules of the game are handled by a smart contract on the Tezos blockchain. When a player decide...
(Lire plus)
opam 2.0.1 is out!
Date: 2018-10-24
We are pleased to announce the release of opam 2.0.1. This new version contains mainly backported fixes, some platform-specific: Cold boot for MacOS/CentOS/Alpine
Install checksum validation on MacOS
Archive extraction for OpenBSD now defaults to using gtar
Fix compilation of mccs on MacOS and Nix p...
(Lire plus)
OCamlProâs TzScan grant proposal accepted by the Tezos Foundation â joint press release
Date: 2018-10-17
Tezos Foundation and OCamlPro joint press release - October 17, 2018 We are pleased to announce that the Tezos Foundation has issued a grant to OCamlPro to support its work on TzScan, a block explorer for the Tezos blockchain that will be made open-source. OCamlPro is a French company and R&D lab, f...
(Lire plus)
opam 2.0.0 release and repository upgrade
Date: 2018-09-19
We are happy to announce the final release of opam 2.0.0. A few weeks ago, we released a last release candidate to be later promoted to 2.0.0, synchronised with the opam package repository upgrade. You are encouraged to update as soon as you see fit, to continue to get package updates: opam 2.0.0 su...
(Lire plus)
Last stretch! Repository upgrade and opam 2.0.0 roadmap
Date: 2018-08-02
A few days ago, we released opam 2.0.0~rc4, and explained that this final release candidate was expected be promoted to 2.0.0, in sync with an upgrade to the opam package repository. So here are the details about this! If you are an opam user, and don't maintain opam packages You are encouraged to u...
(Lire plus)
opam 2.0.0 RC4-final is out!
Date: 2018-07-26
We are happy to announce the opam 2.0.0 final release candidate! đŸ This release features a few bugfixes over Release Candidate 3. It will be promoted to 2.0.0 proper within a few weeks, when the official repository format switches from 1.2.0 to 2.0.0. After that date, updates to the 1.2.0 reposit...
(Lire plus)
OCamlProâs Tezos block explorer TzScanâs last updates
Date: 2018-07-20
OCamlPro is pleased to announce the latest update of TZScan (https://tzscan.io), its Tezos block explorer to ease the use of the Tezos network. TzScan is now ready for the protocol update scheduled for tomorrow. In addition to some minor bugfixes, the main novelties are: Displaying of obtained and e...
(Lire plus)
opam 2.0.0 Release Candidate 3 is out!
Date: 2018-06-22
We are pleased to announce the release of a third release candidate for opam 2.0.0. This one is expected to be the last before 2.0.0 comes out. Changes since the 2.0.0~rc2 are, as expected, mostly fixes. We deemed it useful, however, to bring in the following: a new command opam switch link that all...
(Lire plus)
opam 2.0.0 Release Candidate 2 is out!
Date: 2018-05-22
We are pleased to announce the release of a second release candidate for opam 2.0.0. This new version brings us very close to a final 2.0.0 release, and in addition to many fixes, features big performance enhancements over the RC1. Among the new features, we have squeezed in full sandboxing of packa...
(Lire plus)
Release of Alt-Ergo 2.2.0
Date: 2018-04-23
A new release of Alt-Ergo (version 2.2.0) is available. You can get it from Alt-Ergo's website. An OPAM package for it will be published in the next few days. The major novelty of this release is a new experimental front-end that supports the SMT-LIB 2 language, extended prenex polymorphism. This ex...
(Lire plus)
Taskforce on the Tezos Protocol, and TzScan evolution
Date: 2018-04-13
As we are preparing to work on the Tezos Protocol, we're still actively keeping the pace on the block explorer TZScan.io, adding cool information for baking accounts. We'd like to allow people to see who is contributing to the network and to understand the distribution of rolls, rights, etc. For sta...
(Lire plus)
OCaml JTRT
Date: 2018-04-01
This time of the year is, just like Christmas time, a time for laughs and magic... although the magic we are talking about, in the OCaml community, is not exactly nice, nor beautiful. Let's say that we are somehow akin to many religions: we know magic does exist , but that it is satanic and shouldn'...
(Lire plus)
Release of Alt-Ergo 2.1.0
Date: 2018-03-15
A new release of Alt-Ergo (version 2.1.0) is available on Alt-Ergo's website: https://alt-ergo.ocamlpro.com/#releases. An OPAM package for it will be published soon. In this release, we mainly improved the CDCL-based SAT solver to get performances similar to/better than the old Tableaux-like SAT. Th...
(Lire plus)
New updates on TzScan
Date: 2018-03-14
Update - TZScan.io can now work on top of the zeronet (zeronet.tzscan.io), we hope it can help the developers community monitor the network. You can now switch between the alphanet & zeronet networks! OCamlPro is pleased to announce an update of TzScan (https://tzscan.io), its Tezos block explorer t...
(Lire plus)
Release of a first version of TzScan, a Tezos block explorer
Date: 2018-02-14
OCamlPro is proud to release a first version of TzScan, its Tezos block explorer to ease the use of the Tezos network. What TzScan can do for you : Several charts on blocks, operations, network, volumes, fees, and more,
Marketcap and Futures/IOU prices from coinmarket.com,
Blocks, operations, accoun...
(Lire plus)
OCamlProâs Liquidity-lang demo at JFLA2018 â a smart-contract design language
Date: 2018-02-08
As a tradition, we took part in this year's Journées Francophones des Langages Applicatifs (JFLA 2018) that was chaired by LRI's Sylvie Boldo and hosted in Banyuls the last week of January. That was a nice opportunity to present a live demo of a multisignature smart-contract entirely written in th...
(Lire plus)
opam 2.0.0 Release Candidate 1 is out!
Date: 2018-02-02
We are pleased to announce a first release candidate for the long-awaited opam 2.0.0. A lot of polishing has been done since the last beta, including tweaks to the built-in solver, allowing in-source package definitions to be gathered in an opam/ directory, and much more. With all of the 2.0.0 featu...
(Lire plus)
2017 at OCamlPro
Date: 2018-01-15
Since 2017 is just over, now is probably the best time to review what happened during this hectic year at OCamlPro⊠Here are our big 2017 achievements, in the world of blockchains (the Liquidity smart contract language, Tezos and the Tezos ICO etc.), of OCaml (with OPAM 2, flambda 2 etc.), and of ...
(Lire plus)
opam 2.0 Beta5 is out!
Date: 2017-11-27
After a few more months brewing, we are pleased to announce a new beta release of opam. With this new milestone, opam is reaching feature-freeze, with an expected 2.0.0 by the beginning of next year. This version brings many new features, stability fixes, and big improvements to the local developmen...
(Lire plus)
new opam features: more expressive dependencies
Date: 2017-05-11
This blog will cover yet another aspect of the improvements opam 2.0 has over opam 1.2. I may be a little more technical than previous issues, as it covers a feature directed specifically at packagers and repository maintainers, and regarding the package definition format. Specifying dependencies in...
(Lire plus)
new opam features: "opam install DIR"
Date: 2017-05-04
After the opam build feature was announced followed a lot of discussions, mainly having to do with its interface, and misleading name. The base features it offered, though, were still widely asked for: a way to work directly with the project in the current directory, assuming it contains definitions...
(Lire plus)
new opam features: local switches
Date: 2017-04-27
Among the areas we wanted to improve on for opam 2.0 was the handling of switches. In opam 1.2, they are simply accessed by a name (the OCaml version by default), and are always stored into ~/.opam/
. This is fine, but can get a bit cumbersome when many switches are in presence, as there is no ...
(Lire plus)
EzSudoku
Date: 2017-04-01
As you may have noticed, on the begining of April I have some urge to write something technical about some deeply specific point of OCaml. This time I'd like to tackle that through sudoku. It appeard that Sudoku is of great importance considering the number of posts explaining how to write a solver....
(Lire plus)
new opam features: "opam build"
Date: 2017-03-16
UPDATE: after discussions following this post, this feature was abandoned with the interface presented below. See this post for the details and the new interface! The new opam 2.0 release, currently in beta, introduces several new features. This post gets into some detail on the new opam build comma...
(Lire plus)
opam 2.0 Beta is out!
Date: 2017-02-09
UPDATE (2017-02-14): A beta2 is online, which fixes issues and performance of the opam build command. Get the new binaries, or recompile the opam-devel package and replace the previous binary. We are pleased to announce that the beta release of opam 2.0 is now live! You can try it already, bootstrap...
(Lire plus)
Release of Alt-Ergo 1.30 with experimental support for models generation
Date: 2016-11-21
We have recently released a new (public up-to-date) version of Alt-Ergo. We focus in this article on its main new feature: experimental support for models generation. This work has been done with Frédéric Lang, an intern at OCamlPro from February to July 2016. The idea behind models generation The...
(Lire plus)
opam-lib 1.3 available
Date: 2016-11-20
opam-lib 1.3 The package for opam-lib version 1.3 has just been released in the official opam repository. There is no release of opam with version 1.3, but this is an intermediate version of the library that retains compatibility of the file formats with 1.2.2. The purpose of this release is twofold...
(Lire plus)
opam 2.0 preview release!
Date: 2016-09-20
We are pleased to announce a preview release for opam 2.0, with over 700 patches since 1.2.2. Version 2.0~alpha4 has just been released, and is ready to be more widely tested. This version brings many new features and changes, the most notable one being that OCaml compiler packages are no longer spe...
(Lire plus)
ASM.OCaml
Date: 2016-04-01
As you may know, there is a subset of Javascript that compiles efficiently to assembly used as backend of various compilers including a C compiler like emscripten. We'd like to present you in the same spirit how never to allocate in OCaml. Before starting to write anything, we must know how to find ...
(Lire plus)
Signing the OPAM repository
Date: 2015-06-05
NOTE (September 2016): updated proposal from OCaml 2016 workshop is available, including links to prototype implementation. This is an initial proposal on signing the OPAM repository. Comments and discussion are expected on the platform mailing-list. The purpose of this proposal is to enable a secur...
(Lire plus)
Reduced Memory Allocations with ocp-memprof
Date: 2015-05-18
In this blog post, we explain how ocp-memprof helped us identify a piece of code in Alt-Ergo that needed to be improved. Simply put, a function that merges two maps was performing a lot of unnecessary allocations, negatively impacting the garbage collector's activity. A simple patch allowed us to pr...
(Lire plus)
OPAM 1.2.2 Released
Date: 2015-05-07
OPAM 1.2.2 has just been released. This fixes a few issues over 1.2.1 and brings a couple of improvements, in particular better use of the solver to keep the installation as up-to-date as possible even when the latest version of a package can not be installed. Upgrade from 1.2.1 (or earlier) See the...
(Lire plus)
wxOCaml, camlidl and Class Modules
Date: 2015-04-13
A few months ago, a memory leak in the Scanf.fscanf function of OCamlâs standard library has been reported on the OCaml mailing list. The following âminimalâ example reproduces this misbehavior: Let us see how to identify the origin of the leak and fix it with our OCaml memory profiler. Instal...
(Lire plus)
OPAM 1.2.1 Released
Date: 2015-03-18
OPAM 1.2.1 has just been released. This patch version brings a number of fixes and improvements over 1.2.0, without breaking compatibility. Upgrade from 1.2.0 (or earlier) See the normal installation instructions: you should generally pick up the packages from the same origin as you did for the last...
(Lire plus)
Cumulus and ocp-memprof, a love story
Date: 2015-03-04
In this blog post, we went on the hunt of memory leaks in Cumulus by using our memory profiler: ocp-memprof. Cumulus is a feed aggregator based on Eliom, a framework for programming web sites and client/server web applications, part of the Ocsigen Project. First, run and get the memory snapshots To ...
(Lire plus)
Private Release of Alt-Ergo 1.00
Date: 2015-01-29
altergo logo After the public release of Alt-Ergo 0.99.1 last December, it's time to announce a new major private version (1.00) of our SMT solver. As usual: we freely provide a JavaScript version on Alt-Ergo's website
we provide a private access to our internal repositories for academia users and o...
(Lire plus)
OPAM 1.2 and Travis CI
Date: 2014-12-18
The new pinning feature of OPAM 1.2 enables new interesting workflows for your day-to-day development in OCaml projects. I will briefly describe one of them here: simplifying continuous testing with Travis CI and GitHub. Creating an opam file As explained in the previous post, adding an opam file at...
(Lire plus)
OPAM 1.2.0 Released
Date: 2014-10-23
We are very proud to announce the availability of OPAM 1.2.0. Upgrade from 1.1 Simply follow the usual instructions, using your preferred method (package from your distribution, binary, source, etc.) as documented on the homepage. NOTE: There are small changes to the internal repository format (~/.o...
(Lire plus)
OPAM 1.2: Repository Pinning
Date: 2014-08-19
Most package managers support some pin functionality to ensure that a given package remains at a particular version without being upgraded. The stable OPAM 1.1 already supported this by allowing any existing package to be pinned to a target, which could be a specific released version, a local filesy...
(Lire plus)
OPAM 1.2.0 public beta released
Date: 2014-08-14
It has only been 18 months since the first release of OPAM, but it is already difficult to remember a time when we did OCaml development without it. OPAM has helped bring together much of the open-source code in the OCaml community under a single umbrella, making it easier to discover, depend on, a...
(Lire plus)
OCamlPro Highlights: May-June 2014
Date: 2014-07-16
Here is a short report on some of our public activities in May and June 2014. Towards OPAM 1.2 After a lot of discussions and work on OPAM itself, we are now getting to a clear workflow for OCaml developpers and packagers: the preliminary document for OPAM 1.2 is available here. The idea is that you...
(Lire plus)
Try Alt-Ergo in Your Browser
Date: 2014-07-15
Recently, we worked on an online Javascript-based serverless version of the Alt-Ergo SMT solver. In what follows, we will explain the principle of this version of Alt-Ergo, show how it can be used on a realistic example and compare its performances with bytecode and native binaries of Alt-Ergo. Comp...
(Lire plus)
OCamlPro Highlights: April 2014
Date: 2014-05-20
Here is a short report on some of our activities in April 2014, and a short analysis of OCaml evolution since its first release. OPAM Improvements We're still working on release 1.2. It was decided to include quite a few new features in this release, which delayed it a little bit since we want to be...
(Lire plus)
The Generic Syntax Extension
Date: 2014-04-01
Tags:
OCaml 4.01 with its new feature to disambiguate constructors allows to do a nice trick: a simple and generic syntax extension that allows to define your own syntax without having to write complicated parsetree transformers. We propose an implementation in the form of a ppx rewriter. it does only a s...
(Lire plus)
OCamlPro Highlights: Feb 2014
Date: 2014-03-05
Here is a short report of some of our activities in February 2014 ! Displaying what OPAM is doing After releasing version 1.1.1, we have been very busy preparing the next big things for OPAM. We have also steadily been improving stability and usability, with a focus on friendly messages: for example...
(Lire plus)
OCamlPro Highlights: Dec 2013 & Jan 2014
Date: 2014-02-05
Here is a short report of some of our activities in last December and January ! A New Intel Backend for ocamlopt With the support of LexiFi, we started working on a new Intel backend for the ocamlopt native code compiler. Currently, there are four Intel backends in ocamlopt: amd64/emit.mlp, amd64/em...
(Lire plus)
OPAM 1.1.1 released
Date: 2014-01-29
We are proud to announce that OPAM 1.1.1 has just been released. This minor release features mostly stability and UI/doc improvements over OPAM 1.1.0, but also focuses on improving the API and tools to be a better base for the platform (functions for opam-doc, interface with tools like opamfu and op...
(Lire plus)
OCamlPro Highlights: November 2013
Date: 2013-12-03
New Team Members We are pleased to welcome three new members in our OCamlPro team since the beginning of November: Benjamin Canou started working at OCamlPro on the Richelieu project, an effort to bring better safety and performance to the Scilab language. He is in charge of a type inference algorit...
(Lire plus)
OPAM 1.1.0 released
Date: 2013-11-08
After a while staged as RC, we are proud to announce the final release of OPAM 1.1.0! Thanks again to those who have helped testing and fixing the last few issues. Important note The repository format has been improved with incompatible new features; to account for this, the new repository is now ho...
(Lire plus)
OCamlPro Highlights, Sept-Oct 2013
Date: 2013-11-01
Here is a short report of our activities in September-October 2013. OCamlPro at OCamlâ2013 in Boston We were very happy to participate to OCamlâ2013, in Boston. The event was a great success, with a lot of interesting talks and many participants. It was a nice opportunity for us to present some ...
(Lire plus)
OPAM 1.1.0 release candidate out
Date: 2013-10-14
OPAM 1.1.0 is ready, and we are shipping a release candidate for packagers and all interested to try it out. This version features several bug-fixes over the September beta release, and quite a few stability and usability improvements. Thanks to all beta-testers who have taken the time to file repor...
(Lire plus)
Alt-Ergo @ OCamlPro: Two months later
Date: 2013-10-02
As announced in a previous post, I joined OCamlPro at the beginning of September and I started working on Alt-Ergo. Here is a report presenting the tool and the work we have done during the two last months. Alt-Ergo at a Glance Alt-Ergo is an open source automatic theorem prover based on SMT technol...
(Lire plus)
OPAM 1.1.0 beta released
Date: 2013-09-20
We are very happy to announce the beta release of OPAM version 1.1.0! OPAM is a source-based package manager for OCaml. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow which. OPAM is edited and maintained by OCamlPro, wi...
(Lire plus)
OCamlPro Highlights, August 2013
Date: 2013-09-04
Here is a short report on the different projects we have been working on in August. News from OCamlPro Compiler Optimizations After our reports on better inlining have raised big expectations, we have been working hard on fixing the few remaining bugs. An enhanced alias/constant analysis was added, ...
(Lire plus)
News from July
Date: 2013-08-05
Once again, here is the summary of our activities for last month. The highlight this month is the release of ocaml-top, an interactive editor for education which works well under Windows and that we hope professors all around the world will use to teach OCaml to their students. We are also continuyi...
(Lire plus)
Better Inlining: Progress Report
Date: 2013-07-11
As announced some time ago, I am working on a new intermediate language within the OCaml compiler to improve its inlining strategy. After some time of bug squashing, I prepared a testable version of the patchset, available either on Github (branch flambda_experiments), or through OPAM, in the follow...
(Lire plus)
News from May and June
Date: 2013-07-01
It is time to give a brief summary of our recent activities. As usual, our contributions were focused on three main objectives: make the OCaml compiler faster and easier to use;
make the OCaml developers more efficient by releasing new development tools and improving editor supports;
organize and pa...
(Lire plus)
Optimisations you shouldnât do
Date: 2013-05-24
Doing the compiler's work Working at OCamlPro may have some drawbacks. I spend a lot of time hacking the OCaml compiler. Hence when I write some code, I have a good glimpse of what the generated assembly will look like. This is nice when I want to write performance sensitive code, but as I usually w...
(Lire plus)
April Monthly Report
Date: 2013-04-22
This post aims at summarizing the activities of OCamlPro for the past month. As usual, we worked in three main areas: the OCaml toolchain, development tools for OCaml and R&D projects. The toolchain Our multi-runtime implementation of OCaml had gained stability. Luca fixed a lot of low-level bugs in...
(Lire plus)
wxOCaml, camlidl and Class Modules
Date: 2013-04-02
Last week, I was bored doing some paperwork, so I decided to hack a little to relieve my mind... Looking for a GUI Framework for OCaml Beginners Some time ago, at OCamlPro, we had discussed the fact that OCaml was lacking more GUI frameworks. Lablgtk is powerful, but I donât like it (and I expect ...
(Lire plus)
An Indentation Engine for OCaml
Date: 2013-03-18
Since our last activity report we have released the first stable versions of two projects: OPAM, an installation manager for OCaml source packages, and ocp-indent, an indentation tool. We have already described the basics of OPAM in two precedent blog posts, so today we will focus on the release of ...
(Lire plus)
OPAM 1.0.0 released
Date: 2013-03-15
I am very happy to announce the first official release of OPAM! Many of you already know and use OPAM so I won't be long. Please read beta-release-of-opam for a longer description. 1.0.0 fixes many bugs and add few new features to the previously announced beta-release. The most visible new feature, ...
(Lire plus)
An Overview of our Current Activities
Date: 2013-02-18
From the early days of OCamlPro, people have been curious about our plans; they were asking how we worked at OCamlPro and what we were doing exactly. Now that we have started releasing projects more regularly, these questions come again. They are very reasonable questions, and have resolved to be mo...
(Lire plus)
Beta Release of OPAM
Date: 2013-01-17
OPAM is a source-based package manager for OCaml. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow. I have recently announced the beta-release of OPAM on the caml-list, and this blog post introduces the basics to new OPAM...
(Lire plus)
OCamlProâs Contributions to OCaml 4.00.0
Date: 2012-08-20
OCaml 4.00.0 has been released on July 27, 2012. For the first time, the new OCaml includes some of the work we have been doing during the last year. In this article, I will present our main contributions, mostly funded by Jane Street and Lexifi. Binary Annotations for Advanced Development Tools OCa...
(Lire plus)
Profiling OCaml amd64 code under Linux
Date: 2012-08-08
We have recently worked on modifying the OCaml system to be able to profile OCaml code on Linux amd64 systems, using the processor performance counters now supported by stable kernels. This page presents this work, funded by Jane Street. The patch is provided for OCaml version 4.00.0. If you need it...
(Lire plus)
Packing and Functors
Date: 2011-08-10
We have recently worked on modifying the OCaml system to be able to pack a set of modules within a functor, parameterized on some signatures. This page presents this work, funded by Jane Street. All the patches on this page are provided for OCaml version 3.12.1. Packing Functors Installation of the ...
(Lire plus)
OCaml and Windows
Date: 2011-06-23
Recently, I have been experimenting wiht OCaml / MSVC running on Windows 7 64bit. I have mainly followed what the OCamlâs README.win32 was saying and I learned some NSIS tricks. The result of this experiment is the following two (rather big) windows binaries : ocaml-trunk-64-installer.exe (92 MB)
...
(Lire plus)
OCaml Cheat Sheets
Date: 2011-06-03
When you are beginning in a new programming language, it is sometimes helpful to have an overview of the documentation, that you can pin on your wall and easily have a look at it while you are programming. Since we couldnât find such Cheat Sheets, we decided to start writting our own cheat sheets ...
(Lire plus)
OCaml 32bits longval
Date: 2011-05-06
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 ...
(Lire plus) |
| Markdown | [](https://ocamlpro.com/fr/)
- [Home](https://ocamlpro.com/fr/)
- [Services](https://ocamlpro.com/fr/blog/all/)
- [Conseil](https://ocamlpro.com/fr/consulting-and-development/)
- [Audit](https://ocamlpro.com/fr/certification)
- [Formations](https://training.ocamlpro.com/)
- [Recherche Opérationnelle](https://industrie.ocamlpro.com/)
- ***
- [Langage Rust](https://red-iron.eu/)
- [Langage OCaml](https://ocamlpro.com/fr/ocaml)
- [Langage COBOL](https://superbol.eu/)
- [Products](https://ocamlpro.com/fr/blog/all/)
- [Générateur de Tests SeaCoral](https://titagone.com/tools/seacoral)
- [SuperBOL pour GnuCOBOL](https://superbol.eu/)
- [SMT Solver Alt-Ergo](https://titagone.com/tools/altergo)
- [Sieste](https://titagone.com/tools/sieste)
- [References](https://ocamlpro.com/fr/references)
- [Open Source](https://ocamlpro.com/fr/software)
- [L'équipe](https://ocamlpro.com/fr/blog/all/)
- [Notre équipe](https://ocamlpro.com/fr/team)
- [Notre histoire](https://ocamlpro.com/fr/history)
- [Stages](https://ocamlpro.com/fr/internships)
- [Nous rejoindre](https://ocamlpro.com/fr/jobs)
- [Blog](https://ocamlpro.com/fr/blog)
Nos activités commerciales ont déménagé : retrouvez-nous désormais sur [titagone.com](https://titagone.com/).
Ă
# Le blog d'OCamlPro
[Site ](https://ocamlpro.com/fr/blog)
[](https://ocamlpro.com/blog/feed)
[Catégories ](https://ocamlpro.com/fr/blog/category)
***
### [Opam 104: Sharing Your Code](https://ocamlpro.com/fr/blog/2026_01_08_opam_104_sharing_your_code)
 Auteurs: [Raja Boujbel](https://ocamlpro.com/fr/blog/authors/raja_boujbel), [Dario Pinto](https://ocamlpro.com/fr/blog/authors/dario_pinto)
 Date: 2026-01-08
 Catégorie: [Trainings](https://ocamlpro.com/fr/blog/category/trainings)
 Tags: [tutorial](https://ocamlpro.com/fr/blog/tag/tutorial), [on-boarding](https://ocamlpro.com/fr/blog/tag/onboarding), [opam](https://ocamlpro.com/fr/blog/tag/opam), [beginner](https://ocamlpro.com/fr/blog/tag/beginner), [opam10x](https://ocamlpro.com/fr/blog/tag/opam10x), [dev](https://ocamlpro.com/fr/blog/tag/dev), [release](https://ocamlpro.com/fr/blog/tag/release), [publish](https://ocamlpro.com/fr/blog/tag/publish), [opam repository](https://ocamlpro.com/fr/blog/tag/opamrepository)
Curious about the origins of opam? Check out this short history on its evolution as the de facto package manager and environment manager for OCaml. Welcome back to the opam deep-dives series! In this article, we cover two essential topics for any OCaml developer: Setting up a development environment... [(Lire plus)](https://ocamlpro.com/fr/blog/2026_01_08_opam_104_sharing_your_code)
***
### [OCaml Onboarding: Introduction to the Dune build system](https://ocamlpro.com/fr/blog/2025_07_29_ocaml_onboarding_introduction_to_dune)
 Auteurs: [Raja Boujbel](https://ocamlpro.com/fr/blog/authors/raja_boujbel), [Dario Pinto](https://ocamlpro.com/fr/blog/authors/dario_pinto)
 Date: 2025-07-29
 Catégorie: [Trainings](https://ocamlpro.com/fr/blog/category/trainings)
 Tags: [tutorial](https://ocamlpro.com/fr/blog/tag/tutorial), [on-boarding](https://ocamlpro.com/fr/blog/tag/onboarding), [build system](https://ocamlpro.com/fr/blog/tag/buildsystem), [dune](https://ocamlpro.com/fr/blog/tag/dune), [beginner](https://ocamlpro.com/fr/blog/tag/beginner), [dev](https://ocamlpro.com/fr/blog/tag/dev), [new project](https://ocamlpro.com/fr/blog/tag/newproject)
Welcome to all Camleers We are back with another practical walkthrough for the newcomers of the OCaml ecosystem. We understand from the feedback we have gathered over the years that getting started with the OCaml Distribution can sometimes be perceived as challenging at first. That's why we keep it ... [(Lire plus)](https://ocamlpro.com/fr/blog/2025_07_29_ocaml_onboarding_introduction_to_dune)
***
### [opam 2.4 release](https://ocamlpro.com/fr/blog/2025_07_23_opam_2_4_release)
 Auteurs: [Raja Boujbel (OCamlPro)](https://ocamlpro.com/fr/blog/authors/raja_boujbel_\(ocamlpro\)), [Kate Deplaix (Ahrefs)](https://ocamlpro.com/fr/blog/authors/_kate_deplaix_\(ahrefs\)), [David Allsopp (Tarides)](https://ocamlpro.com/fr/blog/authors/_david_allsopp_\(tarides\))
 Date: 2025-07-23
 Catégorie: [Tooling](https://ocamlpro.com/fr/blog/category/tooling)
 Tags: [opam](https://ocamlpro.com/fr/blog/tag/opam), [release](https://ocamlpro.com/fr/blog/tag/release)
Feedback on this post is welcomed on Discuss! We are extremely happy to announce the release of opam 2.4.0 and encourage all users to upgrade. Please read on for installation and upgrade instructions. Major changes On opam init the compiler chosen for the default switch will no longer be ocaml-syste... [(Lire plus)](https://ocamlpro.com/fr/blog/2025_07_23_opam_2_4_release)
***
### [Opam 103: Bootstrapping a New OCaml Project with opam](https://ocamlpro.com/fr/blog/2025_04_29_opam_103_starting_new_project)
 Auteurs: [Raja Boujbel](https://ocamlpro.com/fr/blog/authors/raja_boujbel), [Dario Pinto](https://ocamlpro.com/fr/blog/authors/dario_pinto), [Artemiy Rozovyk](https://ocamlpro.com/fr/blog/authors/artemiy_rozovyk_)
 Date: 2025-04-19
 Catégorie: [Trainings](https://ocamlpro.com/fr/blog/category/trainings)
 Tags: [tutorial](https://ocamlpro.com/fr/blog/tag/tutorial), [on-boarding](https://ocamlpro.com/fr/blog/tag/onboarding), [opam](https://ocamlpro.com/fr/blog/tag/opam), [beginner](https://ocamlpro.com/fr/blog/tag/beginner), [opam10x](https://ocamlpro.com/fr/blog/tag/opam10x), [dev](https://ocamlpro.com/fr/blog/tag/dev), [new project](https://ocamlpro.com/fr/blog/tag/newproject)
Curious about the origins of opam? Check out this short history on its evolution as the de facto package manager and environment manager for OCaml. Welcome back to the opam deep-dives series! Finally - you've asked for it since our very first opam deep-dive: it's time to explore the developer side o... [(Lire plus)](https://ocamlpro.com/fr/blog/2025_04_29_opam_103_starting_new_project)
***
### [Flambda2 Ep. 4: How to write a purely functional compiler](https://ocamlpro.com/fr/blog/2025_02_19_the_flambda2_snippets_4)
 Auteurs: [Pierre Chambart](https://ocamlpro.com/fr/blog/authors/pierre_chambart), [Vincent Laviron](https://ocamlpro.com/fr/blog/authors/vincent_laviron), [Guillaume Bury](https://ocamlpro.com/fr/blog/authors/guillaume_bury), [Dario Pinto](https://ocamlpro.com/fr/blog/authors/dario_pinto)
 Date: 2025-02-19
 Catégorie: [OCaml](https://ocamlpro.com/fr/blog/category/ocaml)
 Tags: [flambda2](https://ocamlpro.com/fr/blog/tag/flambda2), [flambda](https://ocamlpro.com/fr/blog/tag/flambda), [compiler](https://ocamlpro.com/fr/blog/tag/compiler), [optimization](https://ocamlpro.com/fr/blog/tag/optimization), [f2s](https://ocamlpro.com/fr/blog/tag/f2s), [traversal](https://ocamlpro.com/fr/blog/tag/traversal), [IR](https://ocamlpro.com/fr/blog/tag/ir)
Welcome to a new episode of The Flambda2 Snippets! Today, we will cover key high-level aspects of the algorithm of Flambda2. We will do our best to explain the fundamental design decisions pertaining to the architecture of the compiler. We will touch on how we managed to make a purely functional opt... [(Lire plus)](https://ocamlpro.com/fr/blog/2025_02_19_the_flambda2_snippets_4)
***
### [opam 2.3.0 release\!](https://ocamlpro.com/fr/blog/2024_11_13_opam_2_3_0_releases)
 Auteurs: [Raja Boujbel - OCamlPro](https://ocamlpro.com/fr/blog/authors/raja_boujbel_-_ocamlpro), [Kate Deplaix - Ahrefs](https://ocamlpro.com/fr/blog/authors/kate_deplaix_-_ahrefs), [David Allsopp - Tarides](https://ocamlpro.com/fr/blog/authors/david_allsopp_-_tarides)
 Date: 2024-11-13
 Catégorie: [Tooling](https://ocamlpro.com/fr/blog/category/tooling)
 Tags: [opam](https://ocamlpro.com/fr/blog/tag/opam)
Feedback on this post is welcomed on Discuss! As mentioned in our talk at the OCaml Workshop 2024, we decided to switch to a time-based release cycle (every 6 months), starting with opam 2.3. As promised, we are very pleased to announce the release of opam 2.3.0, and encourage all users to upgrade. ... [(Lire plus)](https://ocamlpro.com/fr/blog/2024_11_13_opam_2_3_0_releases)
***
### [Optimisation de Geneweb, 1er logiciel français de Généalogie depuis prÚs de 30 ans](https://ocamlpro.com/fr/blog/2024_11_06_short_news_archeologie_de_la_genealogie)
 Auteurs: [Fabrice Le Fessant](https://ocamlpro.com/fr/blog/authors/fabrice_le_fessant)
 Date: 2024-11-06
 Catégorie: [News](https://ocamlpro.com/fr/blog/category/news)
 Tags: [modernisation](https://ocamlpro.com/fr/blog/tag/modernisation), [optimisation](https://ocamlpro.com/fr/blog/tag/optimisation), [performances](https://ocamlpro.com/fr/blog/tag/performances), [code hérité](https://ocamlpro.com/fr/blog/tag/codeherite), [legacy](https://ocamlpro.com/fr/blog/tag/legacy)
LâĂ©quipe dâOCamlPro a rĂ©cemment Ă©tĂ© sollicitĂ©e par lâassociation Roglo, une association française de gĂ©nĂ©alogie qui gĂšre une base de plus de 10 millions de personnes connectĂ©es dans un mĂȘme arbre gĂ©nĂ©alogique, et dont la base s'accroĂźt dâenviron 500 000 nouvelles contributions ... [(Lire plus)](https://ocamlpro.com/fr/blog/2024_11_06_short_news_archeologie_de_la_genealogie)
***
### [Alt-Ergo 2.6 is Out\!](https://ocamlpro.com/fr/blog/2024_09_01_alt_ergo_2_6_0_released)
 Auteurs: [Basile Clément](https://ocamlpro.com/fr/blog/authors/basile_clement), [Pierre Villemot](https://ocamlpro.com/fr/blog/authors/_pierre_villemot)
 Date: 2024-09-30
 Catégorie: [Formal Methods](https://ocamlpro.com/fr/blog/category/formal_methods)
 Tags: [alt-ergo](https://ocamlpro.com/fr/blog/tag/altergo)
We are excited to announce the release of Alt-Ergo 2.6! Alt-Ergo is an open-source automated prover used for formal verification in software development. It is part of the arsenal behind static analysis frameworks such as TrustInSoft Analyzer and Frama-C, and is one of the solvers behind Why3, a pla... [(Lire plus)](https://ocamlpro.com/fr/blog/2024_09_01_alt_ergo_2_6_0_released)
***
### [Flambda2 Ep. 3: Speculative Inlining](https://ocamlpro.com/fr/blog/2024_08_09_the_flambda2_snippets_3)
 Auteurs: [Pierre Chambart](https://ocamlpro.com/fr/blog/authors/pierre_chambart), [Vincent Laviron](https://ocamlpro.com/fr/blog/authors/vincent_laviron), [Guillaume Bury](https://ocamlpro.com/fr/blog/authors/guillaume_bury), [Dario Pinto](https://ocamlpro.com/fr/blog/authors/dario_pinto), [Nathanaëlle Courant](https://ocamlpro.com/fr/blog/authors/nathanaelle_courant)
 Date: 2024-08-09
 Catégorie: [OCaml](https://ocamlpro.com/fr/blog/category/ocaml)
 Tags: [flambda2](https://ocamlpro.com/fr/blog/tag/flambda2), [flambda](https://ocamlpro.com/fr/blog/tag/flambda), [compiler](https://ocamlpro.com/fr/blog/tag/compiler), [optimisation](https://ocamlpro.com/fr/blog/tag/optimisation), [f2s](https://ocamlpro.com/fr/blog/tag/f2s), [inlining](https://ocamlpro.com/fr/blog/tag/inlining)
Welcome to a new episode of The Flambda2 Snippets! The F2S blog posts aim at gradually introducing the world to the inner-workings of a complex piece of software engineering: The Flambda2 Optimising Compiler for OCaml, a technical marvel born from a 10 year-long effort in Research & Development and ... [(Lire plus)](https://ocamlpro.com/fr/blog/2024_08_09_the_flambda2_snippets_3)
***
### [opam 2.2.0 release\!](https://ocamlpro.com/fr/blog/2024_07_01_opam_2_2_0_releases)
 Auteurs: [Raja Boujbel - OCamlPro](https://ocamlpro.com/fr/blog/authors/raja_boujbel_-_ocamlpro), [Kate Deplaix - Ahrefs](https://ocamlpro.com/fr/blog/authors/kate_deplaix_-_ahrefs), [David Allsopp - Tarides](https://ocamlpro.com/fr/blog/authors/david_allsopp_-_tarides)
 Date: 2024-07-01
 Catégorie: [Tooling](https://ocamlpro.com/fr/blog/category/tooling)
 Tags: [opam](https://ocamlpro.com/fr/blog/tag/opam)
Feedback on this post is welcomed on Discuss! We are very pleased to announce the release of opam 2.2.0, and encourage all users to upgrade. Please read on for installation and upgrade instructions. NOTE: this article is cross-posted on opam.ocaml.org and ocamlpro.com, and published in discuss.ocaml... [(Lire plus)](https://ocamlpro.com/fr/blog/2024_07_01_opam_2_2_0_releases)
***
### [Flambda2 Ep. 2: Loopifying Tail-Recursive Functions](https://ocamlpro.com/fr/blog/2024_05_07_the_flambda2_snippets_2)
 Auteurs: [Nathanaëlle Courant](https://ocamlpro.com/fr/blog/authors/nathanaelle_courant), [Guillaume Bury](https://ocamlpro.com/fr/blog/authors/guillaume_bury), [Pierre Chambart](https://ocamlpro.com/fr/blog/authors/pierre_chambart), [Vincent Laviron](https://ocamlpro.com/fr/blog/authors/vincent_laviron), [Dario Pinto](https://ocamlpro.com/fr/blog/authors/dario_pinto)
 Date: 2024-05-07
 Catégorie: [OCaml](https://ocamlpro.com/fr/blog/category/ocaml)
 Tags: [Flambda](https://ocamlpro.com/fr/blog/tag/flambda), [Flambda2](https://ocamlpro.com/fr/blog/tag/flambda2), [loopify](https://ocamlpro.com/fr/blog/tag/loopify), [optimisation](https://ocamlpro.com/fr/blog/tag/optimisation), [f2s](https://ocamlpro.com/fr/blog/tag/f2s), [ep2](https://ocamlpro.com/fr/blog/tag/ep2), [loopify](https://ocamlpro.com/fr/blog/tag/loopify), [tailcall](https://ocamlpro.com/fr/blog/tag/tailcall), [tail-recursion](https://ocamlpro.com/fr/blog/tag/tailrecursion)
Welcome to a new episode of The Flambda2 Snippets! Today's topic is Loopify, one of Flambda2's many optimisation algorithms which specifically deals with optimising both purely tail-recursive and/or functions annotated with the \[@@loop\] attribute in OCaml. A lazy explanation for its utility would be... [(Lire plus)](https://ocamlpro.com/fr/blog/2024_05_07_the_flambda2_snippets_2)
***
### [Fixing and Optimizing the GnuCOBOL Preprocessor](https://ocamlpro.com/fr/blog/2024_04_30_fixing_and_optimizing_gnucobol)
 Auteurs: [Fabrice Le Fessant](https://ocamlpro.com/fr/blog/authors/fabrice_le_fessant)
 Date: 2024-04-30
 Catégorie: [GnuCOBOL](https://ocamlpro.com/fr/blog/category/gnucobol)
 Tags: [gnucobol](https://ocamlpro.com/fr/blog/tag/gnucobol)
In this post, I will present some work that we did on the GnuCOBOL compiler, the only fully-mature open-source compiler for COBOL. It all started with a bug issued by one of our customers that we fixed by improving the preprocessing pass of the compiler. We later went on and optimised it to get bett... [(Lire plus)](https://ocamlpro.com/fr/blog/2024_04_30_fixing_and_optimizing_gnucobol)
***
### [OCaml Backtraces on Uncaught Exceptions](https://ocamlpro.com/fr/blog/2024_04_25_ocaml_backtraces_on_uncaught_exceptions)
 Auteurs: [Louis Gesbert](https://ocamlpro.com/fr/blog/authors/louis_gesbert)
 Date: 2024-04-25
 Catégorie: [OCaml](https://ocamlpro.com/fr/blog/category/ocaml)
 Tags: [ocaml](https://ocamlpro.com/fr/blog/tag/ocaml), [uncaught](https://ocamlpro.com/fr/blog/tag/uncaught), [exceptions](https://ocamlpro.com/fr/blog/tag/exceptions), [backtrace](https://ocamlpro.com/fr/blog/tag/backtrace), [run-time](https://ocamlpro.com/fr/blog/tag/runtime), [tips](https://ocamlpro.com/fr/blog/tag/tips)
Uncaught exception: Not\_found This blog post probably won't teach anything new to OCaml veterans; but for the others, you might be glad to learn that this very basic, yet surprisingly little-known feature of OCaml will give you backtraces with source file positions on any uncaught exception. Since i... [(Lire plus)](https://ocamlpro.com/fr/blog/2024_04_25_ocaml_backtraces_on_uncaught_exceptions)
***
### [Opam 102: Pinning Packages](https://ocamlpro.com/fr/blog/2024_03_25_opam_102_pinning_packages)
 Auteurs: [Dario Pinto](https://ocamlpro.com/fr/blog/authors/dario_pinto), [Raja Boujbel](https://ocamlpro.com/fr/blog/authors/raja_boujbel)
 Date: 2024-03-25
 Catégorie: [Trainings](https://ocamlpro.com/fr/blog/category/trainings)
 Tags: [tutorial](https://ocamlpro.com/fr/blog/tag/tutorial), [on-boarding](https://ocamlpro.com/fr/blog/tag/onboarding), [opam](https://ocamlpro.com/fr/blog/tag/opam), [beginner](https://ocamlpro.com/fr/blog/tag/beginner), [opam10x](https://ocamlpro.com/fr/blog/tag/opam10x), [pin](https://ocamlpro.com/fr/blog/tag/pin)
Welcome, dear reader, to a new opam blog post! Today we take an additional step down the metaphorical rabbit hole with opam pin, the easiest way to catch a ride on the development version of a package in opam. We are aware that our readers are eager to see these blog posts venture on the developer s... [(Lire plus)](https://ocamlpro.com/fr/blog/2024_03_25_opam_102_pinning_packages)
***
### [Flambda2 Ep. 1: Foundational Design Decisions](https://ocamlpro.com/fr/blog/2024_03_19_the_flambda2_snippets_1)
 Auteurs: [Pierre Chambart](https://ocamlpro.com/fr/blog/authors/pierre_chambart), [Vincent Laviron](https://ocamlpro.com/fr/blog/authors/vincent_laviron), [Guillaume Bury](https://ocamlpro.com/fr/blog/authors/guillaume_bury), [Nathanaëlle Courant](https://ocamlpro.com/fr/blog/authors/nathanaelle_courant), [Dario Pinto](https://ocamlpro.com/fr/blog/authors/dario_pinto)
 Date: 2024-03-19
 Catégorie: [OCaml](https://ocamlpro.com/fr/blog/category/ocaml)
 Tags: [flambda2](https://ocamlpro.com/fr/blog/tag/flambda2), [flambda](https://ocamlpro.com/fr/blog/tag/flambda), [compiler](https://ocamlpro.com/fr/blog/tag/compiler), [optimization](https://ocamlpro.com/fr/blog/tag/optimization), [cps](https://ocamlpro.com/fr/blog/tag/cps), [f2s](https://ocamlpro.com/fr/blog/tag/f2s), [ep1](https://ocamlpro.com/fr/blog/tag/ep1)
Welcome to The Flambda2 Snippets! In this first post of The Flambda2 Snippets, we dive into the powerful CPS-based internal representation used within the Flambda2 optimizer, which was one of the main motivation to move on from the former Flambda optimizer. Credit goes to Andrew Kennedy's paper Comp... [(Lire plus)](https://ocamlpro.com/fr/blog/2024_03_19_the_flambda2_snippets_1)
***
### [Behind the Scenes of the OCaml Optimising Compiler Flambda2: Introduction and Roadmap](https://ocamlpro.com/fr/blog/2024_03_18_the_flambda2_snippets_0)
 Auteurs: [Pierre Chambart](https://ocamlpro.com/fr/blog/authors/pierre_chambart), [Vincent Laviron](https://ocamlpro.com/fr/blog/authors/vincent_laviron), [Dario Pinto](https://ocamlpro.com/fr/blog/authors/dario_pinto)
 Date: 2024-03-18
 Catégorie: [OCaml](https://ocamlpro.com/fr/blog/category/ocaml)
 Tags: [flambda2](https://ocamlpro.com/fr/blog/tag/flambda2), [flambda](https://ocamlpro.com/fr/blog/tag/flambda), [compiler](https://ocamlpro.com/fr/blog/tag/compiler), [optimization](https://ocamlpro.com/fr/blog/tag/optimization), [f2s](https://ocamlpro.com/fr/blog/tag/f2s), [ep0](https://ocamlpro.com/fr/blog/tag/ep0)
Introducing our Flambda2 snippets At OCamlPro, the main ongoing task on the OCaml Compiler is to improve the high-level optimisation. This is something that we have been doing for quite some time now. Indeed, we are the authors behind the Flambda optimisation pass and today we would like to introduc... [(Lire plus)](https://ocamlpro.com/fr/blog/2024_03_18_the_flambda2_snippets_0)
***
### [Lean 4: When Sound Programs become a Choice](https://ocamlpro.com/fr/blog/2024_03_07_lean4_when_sound_programs_become_a_choice)
 Auteurs: [Adrien Champion](https://ocamlpro.com/fr/blog/authors/adrien_champion), [Dario Pinto](https://ocamlpro.com/fr/blog/authors/dario_pinto)
 Date: 2024-03-07
 Catégorie: [Formal Methods](https://ocamlpro.com/fr/blog/category/formal_methods)
 Tags: [lean4](https://ocamlpro.com/fr/blog/tag/lean4), [prover](https://ocamlpro.com/fr/blog/tag/prover), [functional](https://ocamlpro.com/fr/blog/tag/functional), [static](https://ocamlpro.com/fr/blog/tag/static), [strongly-typed](https://ocamlpro.com/fr/blog/tag/stronglytyped)
Monitoring Edge Technical Endeavours As a company specialized in strongly-typed programming languages with strong static guarantees, OCamlPro closely monitors the ongoing trend of bringing more and more of these elements into mainstream programming languages. Rust is a relatively recent example of t... [(Lire plus)](https://ocamlpro.com/fr/blog/2024_03_07_lean4_when_sound_programs_become_a_choice)
***
### [Opam 101: The First Steps](https://ocamlpro.com/fr/blog/2024_01_23_opam_101_the_first_steps)
 Auteurs: [Dario Pinto](https://ocamlpro.com/fr/blog/authors/dario_pinto), [Raja Boujbel](https://ocamlpro.com/fr/blog/authors/raja_boujbel)
 Date: 2024-01-23
 Catégorie: [Trainings](https://ocamlpro.com/fr/blog/category/trainings)
 Tags: [tutorial](https://ocamlpro.com/fr/blog/tag/tutorial), [on-boarding](https://ocamlpro.com/fr/blog/tag/onboarding), [opam](https://ocamlpro.com/fr/blog/tag/opam), [beginner](https://ocamlpro.com/fr/blog/tag/beginner), [opam10x](https://ocamlpro.com/fr/blog/tag/opam10x)
Welcome, dear reader, to a new series of blog posts! This series will be about everything opam. Each article will cover a specific aspect of the package manager, and make sure to dissipate any confusion or misunderstandings on this keystone of the OCaml distribution! Each technical article will be t... [(Lire plus)](https://ocamlpro.com/fr/blog/2024_01_23_opam_101_the_first_steps)
***
### [Maturing Learn-OCaml to version 1.0: Gateway to the OCaml World](https://ocamlpro.com/fr/blog/2023_12_13_learn_ocaml_gateway_to_the_ocaml_world)
 Auteurs: [Dario Pinto](https://ocamlpro.com/fr/blog/authors/dario_pinto)
 Date: 2023-12-13
 Catégorie: [Tooling](https://ocamlpro.com/fr/blog/category/tooling)
 Tags: [learn-ocaml](https://ocamlpro.com/fr/blog/tag/learnocaml), [loc](https://ocamlpro.com/fr/blog/tag/loc), [learning](https://ocamlpro.com/fr/blog/tag/learning), [platform](https://ocamlpro.com/fr/blog/tag/platform), [pedagogy](https://ocamlpro.com/fr/blog/tag/pedagogy), [training](https://ocamlpro.com/fr/blog/tag/training)
From the very start OCamlPro has been trying to help ease the learning of the OCaml language. OCaml has been used around the world to teach about a variety of Computer Science domains, from algorithmic to calculus, or functional programming and compilation. The language had been long taught in Acade... [(Lire plus)](https://ocamlpro.com/fr/blog/2023_12_13_learn_ocaml_gateway_to_the_ocaml_world)
***
### [The latest release of Alt-Ergo version 2.5.1 is out, with improved SMT-LIB and bitvector support\!](https://ocamlpro.com/fr/blog/2023_09_18_release_of_alt_ergo_2_5_1)
 Auteurs: [Pierre Villemot](https://ocamlpro.com/fr/blog/authors/pierre_villemot)
 Date: 2023-09-18
 Catégorie: [Formal Methods](https://ocamlpro.com/fr/blog/category/formal_methods)
 Tags: [alt-ergo](https://ocamlpro.com/fr/blog/tag/altergo)
We are happy to announce a new release of AltâErgo (version 2.5.1). Alt-Ergo is a cutting-edge automated prover designed specifically for mathematical formulas, with a primary focus on advancing program verification. This powerful tool is instrumental in the arsenal of static analysis solutions su... [(Lire plus)](https://ocamlpro.com/fr/blog/2023_09_18_release_of_alt_ergo_2_5_1)
***
### [2022 at OCamlPro](https://ocamlpro.com/fr/blog/2023_06_30_2022_at_ocamlpro)
 Auteurs: [Dario Pinto](https://ocamlpro.com/fr/blog/authors/dario_pinto), [OCamlPro](https://ocamlpro.com/fr/blog/authors/ocamlpro)
 Date: 2023-06-30
 Catégorie: [OCamlPro](https://ocamlpro.com/fr/blog/category/ocamlpro)
 Tags: [OCamlPro](https://ocamlpro.com/fr/blog/tag/ocamlpro), [Highlights](https://ocamlpro.com/fr/blog/tag/highlights)
For 12 years now, OCamlPro has been empowering a large range of customers, allowing them to harness state-of-the-art technologies and languages like OCaml and Rust. Our not-so-small-anymore company steadily grew into a team of highly-skilled and passionate engineers, experts in Computer Science, fro... [(Lire plus)](https://ocamlpro.com/fr/blog/2023_06_30_2022_at_ocamlpro)
***
### [Autofonce, GNU Autotests Revisited](https://ocamlpro.com/fr/blog/2023_03_18_autofonce)
 Auteurs: [Fabrice Le Fessant](https://ocamlpro.com/fr/blog/authors/fabrice_le_fessant)
 Date: 2023-06-27
 Catégorie: [OCaml](https://ocamlpro.com/fr/blog/category/ocaml)
 Tags: [ocaml](https://ocamlpro.com/fr/blog/tag/ocaml), [tests](https://ocamlpro.com/fr/blog/tag/tests), [gnucobol](https://ocamlpro.com/fr/blog/tag/gnucobol), [autoconf](https://ocamlpro.com/fr/blog/tag/autoconf), [autofonce](https://ocamlpro.com/fr/blog/tag/autofonce), [cobol](https://ocamlpro.com/fr/blog/tag/cobol)
Since 2022, OCamlPro has been contributing to GnuCOBOL, the only fully open-source compiler for the COBOL language. To speed-up our contributions to the compiler, we developed a new tool, autofonce, to be able to easily run and modify the testsuite of the compiler, originally written as a GNU Autoco... [(Lire plus)](https://ocamlpro.com/fr/blog/2023_03_18_autofonce)
***
### [Sub-single-instruction Peano to machine integer conversion](https://ocamlpro.com/fr/blog/2023_01_23_Pea_No_Op)
 Auteurs: [Arthur Carcano](https://ocamlpro.com/fr/blog/authors/arthur_carcano)
 Date: 2023-01-23
 Catégorie: [Rust](https://ocamlpro.com/fr/blog/category/rust)
 Tags: [Rust](https://ocamlpro.com/fr/blog/tag/rust)
It is a rainy end of January in Paris, morale is getting soggier by the day, and the bulk of our light exposure needs are now fulfilled by our computer screens as the sun seems to have definitively disappeared behind a continuous stream of low-hanging clouds. But, all is not lost, the warm rays of c... [(Lire plus)](https://ocamlpro.com/fr/blog/2023_01_23_Pea_No_Op)
***
### [Statically guaranteeing security properties on Java bytecode: Paper presentation at VMCAI 23](https://ocamlpro.com/fr/blog/2023_01_12_vmcai_popl)
 Auteurs: [Nicolas Berthier](https://ocamlpro.com/fr/blog/authors/nicolas_berthier)
 Date: 2023-01-12
 Catégorie: [Formal Methods](https://ocamlpro.com/fr/blog/category/formal_methods)
 Tags: [Java](https://ocamlpro.com/fr/blog/tag/java), [security](https://ocamlpro.com/fr/blog/tag/security), [tooling](https://ocamlpro.com/fr/blog/tag/tooling), [static analysis](https://ocamlpro.com/fr/blog/tag/staticanalysis), [formal methods](https://ocamlpro.com/fr/blog/tag/formalmethods), [formal verification](https://ocamlpro.com/fr/blog/tag/formalverification), [Development Tools](https://ocamlpro.com/fr/blog/tag/developmenttools)
We are excited to announce that Nicolas will present a paper at the International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI) the 16th and 17th of January. This year, VMCAI is co-located with the Symposium on Principles of Programming Languages (POPL) conference, ... [(Lire plus)](https://ocamlpro.com/fr/blog/2023_01_12_vmcai_popl)
***
### [Release of ocplib-simplex, version 0.5](https://ocamlpro.com/fr/blog/2022_11_25_ocplib-simplex-0.5)
 Auteurs: [Steven de Oliveira](https://ocamlpro.com/fr/blog/authors/steven_de_oliveira), [Pierre Villemot](https://ocamlpro.com/fr/blog/authors/pierre_villemot), [Hichem Rami Ait El Hara](https://ocamlpro.com/fr/blog/authors/hichem_rami_ait_el_hara), [Guillaume Bury](https://ocamlpro.com/fr/blog/authors/guillaume_bury)
 Date: 2023-01-05
 Catégorie: [Formal Methods](https://ocamlpro.com/fr/blog/category/formal_methods)
 Tags: [OCaml](https://ocamlpro.com/fr/blog/tag/ocaml), [alt-ergo](https://ocamlpro.com/fr/blog/tag/altergo), [simplex](https://ocamlpro.com/fr/blog/tag/simplex), [ocplib](https://ocamlpro.com/fr/blog/tag/ocplib)
On last November, we released version 0.5 of ocplib-simplex, a generic library implementing the Simplex Algorithm in OCaml. It is a key component of the Alt-Ergo automatic theorem prover that we keep developing at OCamlPro. \*\* The Simplex Algorithm What Changed in 0.5 ? \] The simplex algorithm The S... [(Lire plus)](https://ocamlpro.com/fr/blog/2022_11_25_ocplib-simplex-0.5)
***
### [The Growth of the OCaml Distribution](https://ocamlpro.com/fr/blog/2023_01_02_ocaml_distribution)
 Auteurs: [Fabrice Le Fessant](https://ocamlpro.com/fr/blog/authors/fabrice_le_fessant)
 Date: 2023-01-02
 Catégorie: [OCaml](https://ocamlpro.com/fr/blog/category/ocaml)
 Tags: [OCaml](https://ocamlpro.com/fr/blog/tag/ocaml), [compiler](https://ocamlpro.com/fr/blog/tag/compiler)
We recently worked on a project to build a binary installer for OCaml, inspired from RustUp for Rust. We had to build binary packages of the distribution for every OCaml version since 4.02.0, and we were surprised to discover that their (compressed) size grew from 18 MB to about 200 MB. This post gi... [(Lire plus)](https://ocamlpro.com/fr/blog/2023_01_02_ocaml_distribution)
***
### [WebAssembly/Wasm and OCaml](https://ocamlpro.com/fr/blog/2022_12_14_wasm_and_ocaml)
 Auteurs: [Léo AndrÚs](https://ocamlpro.com/fr/blog/authors/leo_andres), [Pierre Chambart](https://ocamlpro.com/fr/blog/authors/pierre_chambart)
 Date: 2022-12-14
 Catégorie: [OCaml](https://ocamlpro.com/fr/blog/category/ocaml)
 Tags: [webassembly](https://ocamlpro.com/fr/blog/tag/webassembly), [wasm](https://ocamlpro.com/fr/blog/tag/wasm), [compiler](https://ocamlpro.com/fr/blog/tag/compiler), [interpreter](https://ocamlpro.com/fr/blog/tag/interpreter)
In this first post about WebAssembly (Wasm) and OCaml, we introduce the work we have been doing for quite some time now, though without publicity, about our participation in the Garbage-Collection (GC) Working Group for Wasm, and two related development projects in OCaml. WebAssembly, a fast and por... [(Lire plus)](https://ocamlpro.com/fr/blog/2022_12_14_wasm_and_ocaml)
***
### [Alt-Ergo: the SMT solver with model generation](https://ocamlpro.com/fr/blog/2022_11_16_alt-ergo-models)
 Auteurs: [Steven de Oliveira](https://ocamlpro.com/fr/blog/authors/steven_de_oliveira), [Pierre Villemot](https://ocamlpro.com/fr/blog/authors/pierre_villemot), [Hichem Rami Ait El Hara](https://ocamlpro.com/fr/blog/authors/hichem_rami_ait_el_hara), [Guillaume Bury](https://ocamlpro.com/fr/blog/authors/guillaume_bury)
 Date: 2022-11-16
 Catégorie: [Formal Methods](https://ocamlpro.com/fr/blog/category/formal_methods)
 Tags: [OCaml](https://ocamlpro.com/fr/blog/tag/ocaml), [alt-ergo](https://ocamlpro.com/fr/blog/tag/altergo)
The Alt-Ergo automatic theorem prover developed at OCamlPro has just been released with a major update : counterexample model can now be generated. This is now available on the next branch, and will officially be part of the 2.5.0 release, coming this year ! Alt-Ergo at a Glance Alt-Ergo is an open ... [(Lire plus)](https://ocamlpro.com/fr/blog/2022_11_16_alt-ergo-models)
***
### [Let's Encrypt Wildcard Certificates Made Easy with Agnos](https://ocamlpro.com/fr/blog/2022_10_05_agnos_0.1.0-beta)
 Auteurs: [Arthur Carcano](https://ocamlpro.com/fr/blog/authors/arthur_carcano), [OCamlPro](https://ocamlpro.com/fr/blog/authors/ocamlpro)
 Date: 2022-10-05
 Catégorie: [Rust](https://ocamlpro.com/fr/blog/category/rust)
 Tags: [Rust](https://ocamlpro.com/fr/blog/tag/rust), [dns-01](https://ocamlpro.com/fr/blog/tag/dns01), [Agnos](https://ocamlpro.com/fr/blog/tag/agnos), [letsencrypt](https://ocamlpro.com/fr/blog/tag/letsencrypt), [acme](https://ocamlpro.com/fr/blog/tag/acme)
It is with great pleasure that we announce the first beta release of Agnos. A former personal project of our new recruit, Arthur, Agnos development is now hosted at and sponsored by OCamlPro's Rust division, Red Iron. A white lamb with a blue padlock and blue stars. He is clearly to be trusted with ... [(Lire plus)](https://ocamlpro.com/fr/blog/2022_10_05_agnos_0.1.0-beta)
***
### [opam 2.1.3 is released\!](https://ocamlpro.com/fr/blog/2022_08_12_opam_2.1.3_release)
 Auteurs: [Raja Boujbel](https://ocamlpro.com/fr/blog/authors/raja_boujbel), [OCamlPro](https://ocamlpro.com/fr/blog/authors/ocamlpro)
 Date: 2022-08-12
 Catégorie: [Tooling](https://ocamlpro.com/fr/blog/category/tooling)
 Tags: [opam](https://ocamlpro.com/fr/blog/tag/opam)
Feedback on this post is welcomed on Discuss! We are pleased to announce the minor release of opam 2.1.3. This opam release consists of backported fixes: Fix opam init and opam init --reinit when the jobs variable has been set in the opamrc or the current config. (\#5056) opam var no longer fails if ... [(Lire plus)](https://ocamlpro.com/fr/blog/2022_08_12_opam_2.1.3_release)
***
### [OCamlPro at the JFLA2022 Conference](https://ocamlpro.com/fr/blog/2022_07_12_ocamlpro_at_the_jfla2022)
 Auteurs: [OCamlPro](https://ocamlpro.com/fr/blog/authors/ocamlpro), [Dario Pinto](https://ocamlpro.com/fr/blog/authors/dario_pinto)
 Date: 2022-07-12
 Catégorie: [OCamlPro](https://ocamlpro.com/fr/blog/category/ocamlpro)
 Tags: [jfla](https://ocamlpro.com/fr/blog/tag/jfla), [Software Heritage](https://ocamlpro.com/fr/blog/tag/softwareheritage), [swh](https://ocamlpro.com/fr/blog/tag/swh), [ocaml](https://ocamlpro.com/fr/blog/tag/ocaml), [Alt-Ergo](https://ocamlpro.com/fr/blog/tag/altergo), [fuzzing](https://ocamlpro.com/fr/blog/tag/fuzzing), [mikino](https://ocamlpro.com/fr/blog/tag/mikino), [rust](https://ocamlpro.com/fr/blog/tag/rust), [formal verification](https://ocamlpro.com/fr/blog/tag/formalverification)
In today's article, we share our contributions to the 2022 JFLAs, the French-Speaking annual gathering on Application Programming Languages, mainly Functional Languages such as OCaml (Journées Francophones des Langages Applicatifs). This much awaited event is organised by Inria, the French National... [(Lire plus)](https://ocamlpro.com/fr/blog/2022_07_12_ocamlpro_at_the_jfla2022)
***
### [2021 at OCamlPro](https://ocamlpro.com/fr/blog/2022_01_31_2021_at_ocamlpro)
 Auteurs: [Muriel](https://ocamlpro.com/fr/blog/authors/muriel), [OCamlPro](https://ocamlpro.com/fr/blog/authors/ocamlpro)
 Date: 2022-01-31
 Catégorie: [OCamlPro](https://ocamlpro.com/fr/blog/category/ocamlpro)
 Tags: [OCamlPro](https://ocamlpro.com/fr/blog/tag/ocamlpro), [Highlights](https://ocamlpro.com/fr/blog/tag/highlights)
OCamlPro was created in 2011 to advocate the adoption of the OCaml language and Formal Methods in general in the industry. 2021 was a very special year as we celebrated our 10th anniversary! While building a team of highly-skilled engineers, we navigated through our expertise domains, programming la... [(Lire plus)](https://ocamlpro.com/fr/blog/2022_01_31_2021_at_ocamlpro)
***
### [Verification for Dummies: SMT and Induction](https://ocamlpro.com/fr/blog/2021_10_14_verification_for_dummies_smt_and_induction)
 Auteurs: [Adrien Champion](https://ocamlpro.com/fr/blog/authors/adrien_champion)
 Date: 2021-10-14
 Catégorie: [Formal Methods](https://ocamlpro.com/fr/blog/category/formal_methods)
 Tags: [trainings](https://ocamlpro.com/fr/blog/tag/trainings), [smt](https://ocamlpro.com/fr/blog/tag/smt), [formal logic](https://ocamlpro.com/fr/blog/tag/formallogic)
Adrien Champion adrien.champion@ocamlpro.com This work is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License. These posts broadly discusses induction as a formal verification technique, which here really means formal program verification. I will use concrete, runnabl... [(Lire plus)](https://ocamlpro.com/fr/blog/2021_10_14_verification_for_dummies_smt_and_induction)
***
### [Generating static and portable executables with OCaml](https://ocamlpro.com/fr/blog/2021_09_02_generating_static_and_portable_executables_with_ocaml)
 Auteurs: [Louis Gesbert](https://ocamlpro.com/fr/blog/authors/louis_gesbert)
 Date: 2021-09-02
 Catégorie: [Tooling](https://ocamlpro.com/fr/blog/category/tooling)
 Tags: [static](https://ocamlpro.com/fr/blog/tag/static), [portable](https://ocamlpro.com/fr/blog/tag/portable), [binaries](https://ocamlpro.com/fr/blog/tag/binaries)
Distributing OCaml software on opam is great (if I dare say so myself), but sometimes you need to provide your tools to an audience outside of the OCaml community, or just without recompilations or in a simpler way. However, just distributing the locally generated binaries requires that the users ha... [(Lire plus)](https://ocamlpro.com/fr/blog/2021_09_02_generating_static_and_portable_executables_with_ocaml)
***
### [opam 2.1.0 is released\!](https://ocamlpro.com/fr/blog/2021_08_04_opam_2.1.0_is_released)
 Auteurs: [David Allsopp (OCamlLabs)](https://ocamlpro.com/fr/blog/authors/david_allsopp_\(ocamllabs\)), [Raja Boujbel](https://ocamlpro.com/fr/blog/authors/raja_boujbel), [Louis Gesbert](https://ocamlpro.com/fr/blog/authors/louis_gesbert)
 Date: 2021-08-04
 Catégorie: [Tooling](https://ocamlpro.com/fr/blog/category/tooling)
 Tags: [opam](https://ocamlpro.com/fr/blog/tag/opam)
Feedback on this post is welcomed on Discuss! We are happy to announce the release of opam 2.1.0. Many new features made it in (see the pre-release changelogs or release notes for the details), but here are a few highlights. What's new in opam 2.1? Integration of system dependencies (formerly the op... [(Lire plus)](https://ocamlpro.com/fr/blog/2021_08_04_opam_2.1.0_is_released)
***
### [opam 2.0.9 release](https://ocamlpro.com/fr/blog/2021_08_03_opam_2.0.9_release)
 Auteurs: [Raja Boujbel](https://ocamlpro.com/fr/blog/authors/raja_boujbel), [Louis Gesbert](https://ocamlpro.com/fr/blog/authors/louis_gesbert)
 Date: 2021-08-03
 Catégorie: [Tooling](https://ocamlpro.com/fr/blog/category/tooling)
 Tags: [opam](https://ocamlpro.com/fr/blog/tag/opam)
Feedback on this post is welcomed on Discuss! We are pleased to announce the minor release of opam 2.0.9. This new version contains some back-ported fixes. New features Back-ported ability to load upgraded roots read-only; allows applications compiled with opam-state 2.0.9 to load a root which has b... [(Lire plus)](https://ocamlpro.com/fr/blog/2021_08_03_opam_2.0.9_release)
***
### [Detecting identity functions in Flambda](https://ocamlpro.com/fr/blog/2021_07_16_detecting_identity_functions_in_flambda)
 Auteurs: [Leo Boitel](https://ocamlpro.com/fr/blog/authors/leo_boitel)
 Date: 2021-07-16
 Catégorie: [OCaml](https://ocamlpro.com/fr/blog/category/ocaml)
 Tags: [ocaml](https://ocamlpro.com/fr/blog/tag/ocaml), [flambda](https://ocamlpro.com/fr/blog/tag/flambda)
In some discussions among OCaml developers around the empty type (PR\#9459), some people mused about the possibility of annotating functions with an attribute telling the compiler that the function should be trivial, and always return a value strictly equivalent to its argument.Curious about the feas... [(Lire plus)](https://ocamlpro.com/fr/blog/2021_07_16_detecting_identity_functions_in_flambda)
***
### [DĂ©tection de fonctions dâidentitĂ© dans Flambda](https://ocamlpro.com/fr/blog/2021_07_15_fr_detection_de_fonctions_didentite_dans_flambda)
 Auteurs: [Leo Boitel](https://ocamlpro.com/fr/blog/authors/leo_boitel)
 Date: 2021-07-15
 Catégorie: [OCaml](https://ocamlpro.com/fr/blog/category/ocaml)
 Tags: [ocaml](https://ocamlpro.com/fr/blog/tag/ocaml), [flambda](https://ocamlpro.com/fr/blog/tag/flambda), [fr](https://ocamlpro.com/fr/blog/tag/fr)
Au cours de discussions parmi les dĂ©veloppeurs OCaml sur le type vide (PR\#9459), certains caressaient lâidĂ©e dâannoter des fonctions avec un attribut indiquant au compilateur que la fonction devrait ĂȘtre triviale, et toujours renvoyer une valeur strictement Ă©quivalente Ă son argument. Nous ... [(Lire plus)](https://ocamlpro.com/fr/blog/2021_07_15_fr_detection_de_fonctions_didentite_dans_flambda)
***
### [opam 2.1.0~rc2 released](https://ocamlpro.com/fr/blog/2021_06_23_opam_2.1.0_rc2_released)
 Auteurs: [David Allsopp (OCamlLabs)](https://ocamlpro.com/fr/blog/authors/david_allsopp_\(ocamllabs\))
 Date: 2021-06-23
 Catégorie: [Tooling](https://ocamlpro.com/fr/blog/category/tooling)
 Tags: [opam](https://ocamlpro.com/fr/blog/tag/opam)
Feedback on this post is welcomed on Discuss! The opam team has great pleasure in announcing opam 2.1.0~rc2! The focus since beta4 has been preparing for a world with more than one released version of opam (i.e. 2.0.x and 2.1.x). The release candidate extends CLI versioning further and, under the ho... [(Lire plus)](https://ocamlpro.com/fr/blog/2021_06_23_opam_2.1.0_rc2_released)
***
### [Tutorial: Format Module of OCaml](https://ocamlpro.com/fr/blog/2021_05_06_tutorial_format_module_of_ocaml)
 Auteurs: [OCamlPro](https://ocamlpro.com/fr/blog/authors/ocamlpro)
 Date: 2021-05-06
 Catégorie: [Trainings](https://ocamlpro.com/fr/blog/category/trainings)
 Tags: [format](https://ocamlpro.com/fr/blog/tag/format), [tutorial](https://ocamlpro.com/fr/blog/tag/tutorial)
... [(Lire plus)](https://ocamlpro.com/fr/blog/2021_05_06_tutorial_format_module_of_ocaml)
***
### [RĂ©union annuelle du Club des utilisateurs dâAlt-Ergo 2021](https://ocamlpro.com/fr/blog/2021_04_29_reunion_annuelle_du_club_des_utilisateurs_dalt_ergo_2021)
 Auteurs: [OCamlPro](https://ocamlpro.com/fr/blog/authors/ocamlpro)
 Date: 2021-04-29
 Catégorie: [Formal Methods](https://ocamlpro.com/fr/blog/category/formal_methods)
 Tags: [alt-ergo](https://ocamlpro.com/fr/blog/tag/altergo), [fr](https://ocamlpro.com/fr/blog/tag/fr)
La troisiĂšme rĂ©union annuelle du Club des utilisateurs dâAlt-Ergo a eu lieu le 1er avril ! Cette rĂ©union annuelle est lâendroit idĂ©al pour passer en revue les besoins de chaque partenaire concernant Alt-Ergo. Nous avons eu le plaisir de recevoir nos partenaires pour discuter de la feuille de... [(Lire plus)](https://ocamlpro.com/fr/blog/2021_04_29_reunion_annuelle_du_club_des_utilisateurs_dalt_ergo_2021)
***
### [New Try-Alt-Ergo](https://ocamlpro.com/fr/blog/2021_03_29_new_try_alt_ergo)
 Auteurs: [Albin Coquereau](https://ocamlpro.com/fr/blog/authors/albin_coquereau)
 Date: 2021-03-29
 Catégorie: [Formal Methods](https://ocamlpro.com/fr/blog/category/formal_methods)
 Tags: [alt-ergo](https://ocamlpro.com/fr/blog/tag/altergo)
Have you heard about our Try-Alt-Ergo website? Created in 2014 (see our blogpost), the first objective was to facilitate access to our performant SMT Solver Alt-Ergo. Try-Alt-Ergo allows you to write and run your problems in your browser without any server computation. This playground website has be... [(Lire plus)](https://ocamlpro.com/fr/blog/2021_03_29_new_try_alt_ergo)
***
### [opam 2.0.8 release](https://ocamlpro.com/fr/blog/2021_02_08_opam_2.0.8_release)
 Auteurs: [Raja Boujbel](https://ocamlpro.com/fr/blog/authors/raja_boujbel), [Louis Gesbert](https://ocamlpro.com/fr/blog/authors/louis_gesbert)
 Date: 2021-02-08
 Catégorie: [Tooling](https://ocamlpro.com/fr/blog/category/tooling)
 Tags: [opam](https://ocamlpro.com/fr/blog/tag/opam)
We are pleased to announce the minor release of opam 2.0.8. This new version contains some backported fixes: Critical for fish users! Don't add . to PATH. \[\#4078\] Fix sandbox script for newer ccache versions. \[\#4079 and \#4087\] Fix sandbox crash when ~/.cache is a symlink. \[\#4068\] User modifications ... [(Lire plus)](https://ocamlpro.com/fr/blog/2021_02_08_opam_2.0.8_release)
***
### [2020 at OCamlPro](https://ocamlpro.com/fr/blog/2021_02_02_2020_at_ocamlpro)
 Auteurs: [Muriel](https://ocamlpro.com/fr/blog/authors/muriel), [OCamlPro](https://ocamlpro.com/fr/blog/authors/ocamlpro)
 Date: 2021-02-02
 Catégorie: [OCamlPro](https://ocamlpro.com/fr/blog/category/ocamlpro)
 Tags: [OCamlPro](https://ocamlpro.com/fr/blog/tag/ocamlpro), [Highlights](https://ocamlpro.com/fr/blog/tag/highlights)
2020 at OCamlPro OCamlPro was created in 2011 to advocate the adoption of the OCaml language and formal methods in general in the industry. While building a team of highly-skilled engineers, we navigated through our expertise domains, delivering works on the OCaml language and tooling, training comp... [(Lire plus)](https://ocamlpro.com/fr/blog/2021_02_02_2020_at_ocamlpro)
***
### [Release of Alt-Ergo 2.4.0](https://ocamlpro.com/fr/blog/2021_01_22_release_of_alt_ergo_2_4_0)
 Auteurs: [Albin Coquereau](https://ocamlpro.com/fr/blog/authors/albin_coquereau)
 Date: 2021-01-22
 Catégorie: [Formal Methods](https://ocamlpro.com/fr/blog/category/formal_methods)
 Tags: [alt-ergo](https://ocamlpro.com/fr/blog/tag/altergo)
A new release of Alt-Ergo (version 2.4.0) is available. You can get it from Alt-Ergo's website. The associated opam package will be published in the next few days. This release contains some major novelties: Alt-Ergo supports incremental commands (push/pop) from the smt-lib standard. We switched co... [(Lire plus)](https://ocamlpro.com/fr/blog/2021_01_22_release_of_alt_ergo_2_4_0)
***
### [opam 2.1.0~beta4 released](https://ocamlpro.com/fr/blog/2021_01_13_opam_2.1.0_beta4_released)
 Auteurs: [David Allsopp (OCamlLabs)](https://ocamlpro.com/fr/blog/authors/david_allsopp_\(ocamllabs\))
 Date: 2021-01-13
 Catégorie: [Tooling](https://ocamlpro.com/fr/blog/category/tooling)
 Tags: [opam](https://ocamlpro.com/fr/blog/tag/opam)
Feedback on this post is welcomed on Discuss! On behalf of the opam team, it gives me great pleasure to announce the third beta release of opam 2.1. Donât worry, you didnât miss beta3 - we had an issue with a configure script that caused beta2 to report as beta3 in some instances, so we skipped ... [(Lire plus)](https://ocamlpro.com/fr/blog/2021_01_13_opam_2.1.0_beta4_released)
***
### [Memthol: exploring program profiling](https://ocamlpro.com/fr/blog/2020_12_01_memthol_exploring_program_profiling)
 Auteurs: [Adrien Champion](https://ocamlpro.com/fr/blog/authors/adrien_champion)
 Date: 2020-12-01
 Catégorie: [Rust](https://ocamlpro.com/fr/blog/category/rust)
 Tags: [tooling](https://ocamlpro.com/fr/blog/tag/tooling), [memory](https://ocamlpro.com/fr/blog/tag/memory), [ocp-memprof](https://ocamlpro.com/fr/blog/tag/ocpmemprof), [profiling](https://ocamlpro.com/fr/blog/tag/profiling), [ocaml](https://ocamlpro.com/fr/blog/tag/ocaml)
Memthol is a visualizer and analyzer for program profiling. It works on memory dumps containing information about the size and (de)allocation date of part of the allocations performed by some execution of a program. For information regarding building memthol, features, browser compatibility⊠refer... [(Lire plus)](https://ocamlpro.com/fr/blog/2020_12_01_memthol_exploring_program_profiling)
***
### [Rehabilitating Packs using Functors and Recursivity, part 2.](https://ocamlpro.com/fr/blog/2020_09_30_rehabilitating_packs_using_functors_and_recursivity_part_2)
 Auteurs: [Pierrick Couderc](https://ocamlpro.com/fr/blog/authors/pierrick_couderc)
 Date: 2020-09-30
 Catégorie: [OCaml](https://ocamlpro.com/fr/blog/category/ocaml)
 Tags: [ocaml](https://ocamlpro.com/fr/blog/tag/ocaml)
This blog post and the previous one about functor packs covers two RFCs currently developed by OCamlPro and Jane Street. We previously introduced functor packs, a new feature adding the possiblity to compile packs as functors, allowing the user to implement functors as multiple source files or even ... [(Lire plus)](https://ocamlpro.com/fr/blog/2020_09_30_rehabilitating_packs_using_functors_and_recursivity_part_2)
***
### [Rehabilitating Packs using Functors and Recursivity, part 1.](https://ocamlpro.com/fr/blog/2020_09_24_rehabilitating_packs_using_functors_and_recursivity_part_1)
 Auteurs: [Pierrick Couderc](https://ocamlpro.com/fr/blog/authors/pierrick_couderc)
 Date: 2020-09-24
 Catégorie: [OCaml](https://ocamlpro.com/fr/blog/category/ocaml)
 Tags: [ocaml](https://ocamlpro.com/fr/blog/tag/ocaml)
OCamlPro has a long history of dedicated efforts to support the development of the OCaml compiler, through sponsorship or direct contributions from Flambda Team. An important one is the Flambda intermediate representation designed for optimizations, and in the future its next iteration Flambda 2. Th... [(Lire plus)](https://ocamlpro.com/fr/blog/2020_09_24_rehabilitating_packs_using_functors_and_recursivity_part_1)
***
### [A Dune Love story: From Liquidity to Love](https://ocamlpro.com/fr/blog/2020_06_09_a_dune_love_story_from_liquidity_to_love)
 Auteurs: [Steven De Oliveira](https://ocamlpro.com/fr/blog/authors/steven_de_oliveira)
 Date: 2020-06-09
 Catégorie: [Blockchains](https://ocamlpro.com/fr/blog/category/blockchains)
 Tags: [blockchains](https://ocamlpro.com/fr/blog/tag/blockchains), [smart contracts](https://ocamlpro.com/fr/blog/tag/smartcontracts), [love](https://ocamlpro.com/fr/blog/tag/love), [liquidity](https://ocamlpro.com/fr/blog/tag/liquidity)
By OCamlPro & Origin Labs Writing smart contacts may often be a burdensome task, as you need to learn a new language for each blockchain you target. In the Dune Network team, we are willing to provide as many possibilities as possible for developers to thrive in an accessible and secure framework. T... [(Lire plus)](https://ocamlpro.com/fr/blog/2020_06_09_a_dune_love_story_from_liquidity_to_love)
***
### [\[Interview\] Sylvain Conchon joins OCamlPro](https://ocamlpro.com/fr/blog/2020_06_06_interview_sylvain_conchon_joins_ocamlpro)
 Auteurs: [Aurore Dombry](https://ocamlpro.com/fr/blog/authors/aurore_dombry)
 Date: 2020-06-06
 Catégorie: [OCamlPro](https://ocamlpro.com/fr/blog/category/ocamlpro)
 Tags: [formal methods](https://ocamlpro.com/fr/blog/tag/formalmethods), [interview](https://ocamlpro.com/fr/blog/tag/interview), [sylvain](https://ocamlpro.com/fr/blog/tag/sylvain), [conchon](https://ocamlpro.com/fr/blog/tag/conchon)
On April 2020, Sylvain Conchon joined the OCamlPro team as our Chief Scientific Officer on Formal Methods. Sylvain is a professor at University Paris-Saclay, he has also been teaching OCaml in universities for about 20 years. He is the co-author of Apprendre Ă programmer avec OCaml with Jean-Christ... [(Lire plus)](https://ocamlpro.com/fr/blog/2020_06_06_interview_sylvain_conchon_joins_ocamlpro)
***
### [\[Interview\] Sylvain Conchon rejoint OCamlPro](https://ocamlpro.com/fr/blog/2020_06_05_fr_interview_sylvain_conchon_rejoint_ocamlpro)
 Auteurs: [Aurore Dombry](https://ocamlpro.com/fr/blog/authors/aurore_dombry)
 Date: 2020-06-05
 Catégorie: [OCamlPro](https://ocamlpro.com/fr/blog/category/ocamlpro)
 Tags: [formal methods](https://ocamlpro.com/fr/blog/tag/formalmethods), [interview](https://ocamlpro.com/fr/blog/tag/interview), [sylvain](https://ocamlpro.com/fr/blog/tag/sylvain), [conchon](https://ocamlpro.com/fr/blog/tag/conchon), [fr](https://ocamlpro.com/fr/blog/tag/fr)
Sylvain Conchon vient de rejoindre OCamlPro en tant que Chief Scientific Officer MĂ©thodes Formelles. Professeur Ă lâUniversitĂ© Paris-Saclay, il travaille dans le domaine de la dĂ©monstration automatique pour la preuve de programmes et le model checking pour systĂšmes paramĂ©trĂ©s. Il est aussi ... [(Lire plus)](https://ocamlpro.com/fr/blog/2020_06_05_fr_interview_sylvain_conchon_rejoint_ocamlpro)
***
### [Tutoriel Format](https://ocamlpro.com/fr/blog/2020_06_01_fr_tutoriel_format)
 Auteurs: [OCamlPro](https://ocamlpro.com/fr/blog/authors/ocamlpro)
 Date: 2020-06-01
 Catégorie: [Trainings](https://ocamlpro.com/fr/blog/category/trainings)
 Tags: [tutoriel](https://ocamlpro.com/fr/blog/tag/tutoriel), [format](https://ocamlpro.com/fr/blog/tag/format), [documentation](https://ocamlpro.com/fr/blog/tag/documentation), [fr](https://ocamlpro.com/fr/blog/tag/fr)
Article Ă©crit par Mattias. Le module Format dâOCaml est un module extrĂȘmement puissant mais malheureusement trĂšs mal utilisĂ©. Il combine notamment deux Ă©lĂ©ments distincts : les boĂźtes dâimpression Ă©lĂ©gante les tags sĂ©mantiques Le prĂ©sent article vise Ă dĂ©mystifier une grande partie ... [(Lire plus)](https://ocamlpro.com/fr/blog/2020_06_01_fr_tutoriel_format)
***
### [A Solidity parser in OCaml with Menhir](https://ocamlpro.com/fr/blog/2020_05_19_ocaml_solidity_parser_with_menhir)
 Auteurs: [David Declerck](https://ocamlpro.com/fr/blog/authors/david_declerck)
 Date: 2020-05-19
 Catégorie: [Blockchains](https://ocamlpro.com/fr/blog/category/blockchains)
 Tags: [blockchains](https://ocamlpro.com/fr/blog/tag/blockchains), [solidity](https://ocamlpro.com/fr/blog/tag/solidity), [parser](https://ocamlpro.com/fr/blog/tag/parser)
This article is cross-posted on Origin Labsâ Dune Network blog We are happy to announce the first release of our Solidity parser, written in OCaml using Menhir. This is a joint effort with Origin Labs, the company dedicated to blockchain challenges, to implement a full interpreter for the Solidity... [(Lire plus)](https://ocamlpro.com/fr/blog/2020_05_19_ocaml_solidity_parser_with_menhir)
***
### [opam 2.1.0 alpha is here\!](https://ocamlpro.com/fr/blog/2020_04_22_opam_2.1.0_alpha_is_here)
 Auteurs: [Raja Boujbel](https://ocamlpro.com/fr/blog/authors/raja_boujbel), [Louis Gesbert](https://ocamlpro.com/fr/blog/authors/louis_gesbert)
 Date: 2020-04-22
 Catégorie: [Tooling](https://ocamlpro.com/fr/blog/category/tooling)
 Tags: [opam](https://ocamlpro.com/fr/blog/tag/opam)
We are happy to announce a alpha for opam 2.1.0, one year and a half in the making after the release of 2.0.0. Many new features made it in (see the complete changelog or release note for the details), but here are a few highlights of this release. Release highlights The two following features have ... [(Lire plus)](https://ocamlpro.com/fr/blog/2020_04_22_opam_2.1.0_alpha_is_here)
***
### [opam 2.0.7 release](https://ocamlpro.com/fr/blog/2020_04_21_opam_2.0.7_release)
 Auteurs: [Raja Boujbel](https://ocamlpro.com/fr/blog/authors/raja_boujbel), [Louis Gesbert](https://ocamlpro.com/fr/blog/authors/louis_gesbert)
 Date: 2020-04-21
 Catégorie: [Tooling](https://ocamlpro.com/fr/blog/category/tooling)
 Tags: [opam](https://ocamlpro.com/fr/blog/tag/opam)
We are pleased to announce the minor release of opam 2.0.7. This new version contains backported small fixes: Escape Windows paths on manpages \[\#4129 @AltGr @rjbou\] Fix opam installer opam file \[\#4058 @rjbou\] Fix various warnings \[\#4132 @rjbou @AltGr - fix \#4100\] Fix dune 2.5.0 promote-install-files... [(Lire plus)](https://ocamlpro.com/fr/blog/2020_04_21_opam_2.0.7_release)
***
### [Le nouveau GC dâOCaml 4.10 : premier aperçu de la stratĂ©gie best-fit](https://ocamlpro.com/fr/blog/2020_03_24_fr_le_nouveau_gc_docaml_4.10_premier_apercu_de_la_strategie_best_fit)
 Auteurs: [Thomas Blanc](https://ocamlpro.com/fr/blog/authors/thomas_blanc)
 Date: 2020-03-24
 Catégorie: [OCaml](https://ocamlpro.com/fr/blog/category/ocaml)
 Tags: [best fit](https://ocamlpro.com/fr/blog/tag/bestfit), [fr](https://ocamlpro.com/fr/blog/tag/fr), [gc](https://ocamlpro.com/fr/blog/tag/gc), [ocaml](https://ocamlpro.com/fr/blog/tag/ocaml)
An in-depth Look at OCamlâs new "Best-fit" Garbage Collector Strategy Le GC dâOCaml oeuvre discrĂštement Ă lâefficacitĂ© de vos allocations mĂ©moire. Tel un hĂ©ros de lâombre, il reste mĂ©connu de la plupart des hackers OCaml. Avec lâarrivĂ©e dâOCaml 4.10, il sâenrichit dâune nouvel... [(Lire plus)](https://ocamlpro.com/fr/blog/2020_03_24_fr_le_nouveau_gc_docaml_4.10_premier_apercu_de_la_strategie_best_fit)
***
### [An in-depth Look at OCamlâs new âBest-fitâ Garbage Collector Strategy](https://ocamlpro.com/fr/blog/2020_03_23_in_depth_look_at_best_fit_gc)
 Auteurs: [Thomas Blanc](https://ocamlpro.com/fr/blog/authors/thomas_blanc)
 Date: 2020-03-23
 Catégorie: [OCaml](https://ocamlpro.com/fr/blog/category/ocaml)
 Tags: [ocaml](https://ocamlpro.com/fr/blog/tag/ocaml), [highlights](https://ocamlpro.com/fr/blog/tag/highlights), [GC](https://ocamlpro.com/fr/blog/tag/gc)
An in-depth Look at OCamlâs new "Best-fit" Garbage Collector Strategy The Garbage Collector probably is OCamlâs greatest unsung hero. Its pragmatic approach allows us to allocate without much fear of efficiency loss. In a way, the fact that most OCaml hackers know little about it is a good sign:... [(Lire plus)](https://ocamlpro.com/fr/blog/2020_03_23_in_depth_look_at_best_fit_gc)
***
### [New version of TryOCaml in beta\!](https://ocamlpro.com/fr/blog/2020_03_16_new_version_of_try_ocaml_in_beta)
 Auteurs: [Louis Gesbert](https://ocamlpro.com/fr/blog/authors/louis_gesbert)
 Date: 2020-03-16
 Catégorie: [Tooling](https://ocamlpro.com/fr/blog/category/tooling)
 Tags: [ocaml](https://ocamlpro.com/fr/blog/tag/ocaml), [tryocaml](https://ocamlpro.com/fr/blog/tag/tryocaml), [release](https://ocamlpro.com/fr/blog/tag/release)
We are happy to announce that our venerable "TryOCaml" service is being retired and replaced by a new, modern version based upon our work on Learn-OCaml. â Try it here â The new interface provides an editor panel besides the familiar top-level, error and warning positions highlighting, the lates... [(Lire plus)](https://ocamlpro.com/fr/blog/2020_03_16_new_version_of_try_ocaml_in_beta)
***
### [RĂ©union annuelle du Club des utilisateurs dâAlt-Ergo](https://ocamlpro.com/fr/blog/2020_03_03_reunion_annuelle_du_club_des_utilisateurs_dalt_ergo)
 Auteurs: [Aurore Dromby](https://ocamlpro.com/fr/blog/authors/aurore_dromby)
 Date: 2020-03-03
 Catégorie: [Formal Methods](https://ocamlpro.com/fr/blog/category/formal_methods)
 Tags: [alt-ergo](https://ocamlpro.com/fr/blog/tag/altergo), [fr](https://ocamlpro.com/fr/blog/tag/fr)
Alt-Ergo meeting Logo Alt-Ergo La deuxiĂšme rĂ©union annuelle du Club des utilisateurs dâAlt-Ergo a eu lieu Ă la mi-fĂ©vrier ! Notre rĂ©union annuelle est lâendroit idĂ©al pour passer en revue les besoins de chaque partenaire concernant Alt-Ergo. Cette annĂ©e, nous avons eu le plaisir de recevo... [(Lire plus)](https://ocamlpro.com/fr/blog/2020_03_03_reunion_annuelle_du_club_des_utilisateurs_dalt_ergo)
***
### [2019 chez OCamlPro](https://ocamlpro.com/fr/blog/2020_02_05_fr_2019_chez_ocamlpro)
 Auteurs: [OCamlPro](https://ocamlpro.com/fr/blog/authors/ocamlpro)
 Date: 2020-02-05
 Catégorie: [OCamlPro](https://ocamlpro.com/fr/blog/category/ocamlpro)
 Tags: [compiler](https://ocamlpro.com/fr/blog/tag/compiler), [cheat sheet](https://ocamlpro.com/fr/blog/tag/cheatsheet), [OCamlPro](https://ocamlpro.com/fr/blog/tag/ocamlpro), [opam](https://ocamlpro.com/fr/blog/tag/opam), [Rust](https://ocamlpro.com/fr/blog/tag/rust), [Try-OCaml](https://ocamlpro.com/fr/blog/tag/tryocaml), [OCaml](https://ocamlpro.com/fr/blog/tag/ocaml), [Alt-Ergo](https://ocamlpro.com/fr/blog/tag/altergo), [blockchains](https://ocamlpro.com/fr/blog/tag/blockchains), [Flambda2](https://ocamlpro.com/fr/blog/tag/flambda2), [fr](https://ocamlpro.com/fr/blog/tag/fr)
2019 at OCamlPro OCamlPro a pour ambition dâaider les industriels dans leur adoption du langage OCaml et des mĂ©thodes formelles. Lâentreprise est passĂ©e dâ1 Ă 21 personnes et est restĂ©e fidĂšle Ă cet objectif. LâannĂ©e 2019 chez OCamlPro a Ă©tĂ© trĂšs animĂ©e, et le nombre de rĂ©alisati... [(Lire plus)](https://ocamlpro.com/fr/blog/2020_02_05_fr_2019_chez_ocamlpro)
***
### [2019 at OCamlPro](https://ocamlpro.com/fr/blog/2020_02_04_2019_at_ocamlpro)
 Auteurs: [Muriel](https://ocamlpro.com/fr/blog/authors/muriel), [OCamlPro](https://ocamlpro.com/fr/blog/authors/ocamlpro)
 Date: 2020-02-04
 Catégorie: [OCamlPro](https://ocamlpro.com/fr/blog/category/ocamlpro)
 Tags: [compiler](https://ocamlpro.com/fr/blog/tag/compiler), [cheat sheet](https://ocamlpro.com/fr/blog/tag/cheatsheet), [OCamlPro](https://ocamlpro.com/fr/blog/tag/ocamlpro), [opam](https://ocamlpro.com/fr/blog/tag/opam), [Rust](https://ocamlpro.com/fr/blog/tag/rust), [Try-OCaml](https://ocamlpro.com/fr/blog/tag/tryocaml), [OCaml](https://ocamlpro.com/fr/blog/tag/ocaml), [Alt-Ergo](https://ocamlpro.com/fr/blog/tag/altergo), [blockchains](https://ocamlpro.com/fr/blog/tag/blockchains), [Flambda2](https://ocamlpro.com/fr/blog/tag/flambda2)
2019 at OCamlPro OCamlPro was created to help OCaml and formal methods spread into the industry. We grew from 1 to 21 engineers, still strongly sharing this ambitious goal! The year 2019 at OCamlPro was very lively, with fantastic accomplishments all along! Let's quickly review the past years' works... [(Lire plus)](https://ocamlpro.com/fr/blog/2020_02_04_2019_at_ocamlpro)
***
### [opam 2.0.6 release](https://ocamlpro.com/fr/blog/2020_01_16_opam_2.0.6_release)
 Auteurs: [Raja Boujbel](https://ocamlpro.com/fr/blog/authors/raja_boujbel), [Louis Gesbert](https://ocamlpro.com/fr/blog/authors/louis_gesbert)
 Date: 2020-01-16
 Catégorie: [Tooling](https://ocamlpro.com/fr/blog/category/tooling)
 Tags: [opam](https://ocamlpro.com/fr/blog/tag/opam)
We are pleased to announce the minor release of opam 2.0.6. This new version contains some small backported fixes and build update: Don't remove git cache objects that may be used \[\#3831 @AltGr\] Don't include .gitattributes in index.tar.gz \[\#3873 @dra27\] Update FAQ uri \[\#3941 @dra27\] Lock: add warni... [(Lire plus)](https://ocamlpro.com/fr/blog/2020_01_16_opam_2.0.6_release)
***
### [The Opam 2.0 cheatsheet, with a new theme\!](https://ocamlpro.com/fr/blog/2020_01_10_opam_2.0_cheat_sheet)
 Auteurs: [Thomas Blanc](https://ocamlpro.com/fr/blog/authors/thomas_blanc)
 Date: 2020-01-10
 Catégorie: [Tooling](https://ocamlpro.com/fr/blog/category/tooling)
 Tags: [opam](https://ocamlpro.com/fr/blog/tag/opam), [documentation](https://ocamlpro.com/fr/blog/tag/documentation), [cheat-sheets](https://ocamlpro.com/fr/blog/tag/cheatsheets)
The Opam 2.0 cheatsheet, with a new theme! Earlier, we dusted-off our Language and Stdlib cheatsheets, for teachers and students. With more time, we managed to design an Opam 2.0 cheat-sheet we are proud of. It is organized into two pages: The everyday average Opam use: Installation, Configuration, ... [(Lire plus)](https://ocamlpro.com/fr/blog/2020_01_10_opam_2.0_cheat_sheet)
***
### [Des nouvelles de la part de l'équipe compilateur d'OCamlPro](https://ocamlpro.com/fr/blog/2019_09_30_fr_travaux_sur_le_compilateur_ocaml_dernieres_nouvelles)
 Auteurs: [Vincent Laviron](https://ocamlpro.com/fr/blog/authors/vincent_laviron)
 Date: 2019-09-30
 Catégorie: [OCaml](https://ocamlpro.com/fr/blog/category/ocaml)
 Tags: [flambda2](https://ocamlpro.com/fr/blog/tag/flambda2), [flambda](https://ocamlpro.com/fr/blog/tag/flambda), [ocaml](https://ocamlpro.com/fr/blog/tag/ocaml), [compiler](https://ocamlpro.com/fr/blog/tag/compiler)
Nous sommes heureux de prĂ©senter certains travaux en cours sur le compilateur OCaml, travaux menĂ©s en Ă©troite collaboration avec notre partenaire et client Janestreet. Un travail consĂ©quent a Ă©tĂ© fait pour aboutir Ă un nouveau framework dâoptimisation du compilateur, appelĂ© Flambda2, dont ... [(Lire plus)](https://ocamlpro.com/fr/blog/2019_09_30_fr_travaux_sur_le_compilateur_ocaml_dernieres_nouvelles)
***
### [Formations OCaml par OCamlPro : 5-6 et 7-8 novembre 2019](https://ocamlpro.com/fr/blog/2019_09_26_fr_formations_ocaml_par_ocamlpro_5_6_et_7_8_novembre_2019)
 Auteurs: [OCamlPro](https://ocamlpro.com/fr/blog/authors/ocamlpro)
 Date: 2019-09-26
 Catégorie: [Trainings](https://ocamlpro.com/fr/blog/category/trainings)
 Tags: [documentation](https://ocamlpro.com/fr/blog/tag/documentation), [report](https://ocamlpro.com/fr/blog/tag/report), [training](https://ocamlpro.com/fr/blog/tag/training), [fr](https://ocamlpro.com/fr/blog/tag/fr), [formation](https://ocamlpro.com/fr/blog/tag/formation)
OCamlPro lance un cycle de formations réguliÚres à OCaml, en français, dans ses locaux parisiens (métro Alésia). La premiÚre session aura lieu début novembre 2019, avec 2 formations: Formation débutant : passer à OCaml (5-6 novembre) Formation expert : approfondir sa maßtrise du langage (... [(Lire plus)](https://ocamlpro.com/fr/blog/2019_09_26_fr_formations_ocaml_par_ocamlpro_5_6_et_7_8_novembre_2019)
***
### [OCaml expert and beginner training by OCamlPro (in French): Nov. 5-6 & 7-8](https://ocamlpro.com/fr/blog/2019_09_25_ocaml_expert_and_beginner_training_by_ocamlpro_in_french_nov_5_6_7_8)
 Auteurs: [OCamlPro](https://ocamlpro.com/fr/blog/authors/ocamlpro)
 Date: 2019-09-25
 Catégorie: [Trainings](https://ocamlpro.com/fr/blog/category/trainings)
 Tags: [documentation](https://ocamlpro.com/fr/blog/tag/documentation), [report](https://ocamlpro.com/fr/blog/tag/report), [training](https://ocamlpro.com/fr/blog/tag/training)
In our endeavour to encourage professional programmers to understand and use OCaml, OCamlPro will be giving two training sessions, in French, in our Paris offices: OCaml Beginner course for professional programmers (5-6 Nov) OCaml Expertise (7-8 Nov). The "Expert" OCaml course is for already experie... [(Lire plus)](https://ocamlpro.com/fr/blog/2019_09_25_ocaml_expert_and_beginner_training_by_ocamlpro_in_french_nov_5_6_7_8)
***
### [A look back on OCaml since 2011](https://ocamlpro.com/fr/blog/2019_09_20_look_back_ocaml_since_2011)
 Auteurs: [Thomas Blanc](https://ocamlpro.com/fr/blog/authors/thomas_blanc)
 Date: 2019-09-20
 Catégorie: [OCaml](https://ocamlpro.com/fr/blog/category/ocaml)
 Tags: [ocaml](https://ocamlpro.com/fr/blog/tag/ocaml), [highlights](https://ocamlpro.com/fr/blog/tag/highlights), [cheat-sheets](https://ocamlpro.com/fr/blog/tag/cheatsheets)
A look back on OCaml since 2011 As you already know if youâve read our last blogpost, we have updated our OCaml cheat sheets starting with the language and stdlib ones. We know some of you have students to initiate in September and we wanted these sheets to be ready for the start of the school yea... [(Lire plus)](https://ocamlpro.com/fr/blog/2019_09_20_look_back_ocaml_since_2011)
***
### [Mise Ă jour des Cheat Sheets : OCaml Language et OCaml Standard Library](https://ocamlpro.com/fr/blog/2019_09_14_fr_mise_a_jour_des_cheat_sheets_ocaml_language_et_ocaml_standard_library)
 Auteurs: [Thomas Blanc](https://ocamlpro.com/fr/blog/authors/thomas_blanc)
 Date: 2019-09-14
 Catégorie: [OCaml](https://ocamlpro.com/fr/blog/category/ocaml)
 Tags: [ocaml](https://ocamlpro.com/fr/blog/tag/ocaml), [documentation](https://ocamlpro.com/fr/blog/tag/documentation), [cheat-sheets](https://ocamlpro.com/fr/blog/tag/cheatsheets), [fr](https://ocamlpro.com/fr/blog/tag/fr)
Les mémentos (cheat-sheets) OCaml lang et OCaml stdlib partagés par OCamlPro en 2011 ont été mis à jour pour OCaml 4.08. Le langage OCaml OCaml Standard Library Si vous souhaitez contribuer des améliorations: sources sur GitHub. En savoir plus : Updated Cheat Sheets: OCaml Language and OCaml S... [(Lire plus)](https://ocamlpro.com/fr/blog/2019_09_14_fr_mise_a_jour_des_cheat_sheets_ocaml_language_et_ocaml_standard_library)
***
### [Updated Cheat Sheets: OCaml Language and OCaml Standard Library](https://ocamlpro.com/fr/blog/2019_09_13_updated_cheat_sheets_language_stdlib_2)
 Auteurs: [Thomas Blanc](https://ocamlpro.com/fr/blog/authors/thomas_blanc)
 Date: 2019-09-13
 Catégorie: [OCaml](https://ocamlpro.com/fr/blog/category/ocaml)
 Tags: [ocaml](https://ocamlpro.com/fr/blog/tag/ocaml), [documentation](https://ocamlpro.com/fr/blog/tag/documentation), [cheat-sheets](https://ocamlpro.com/fr/blog/tag/cheatsheets)
In 2011, we shared several cheat sheets for OCaml. Cheat sheets are helpful to refer to, as an overview of the documentation when you are programming, especially when youâre starting in a new language. They are meant to be printed and pinned on your wall, or to be kept in handy on a spare screen. ... [(Lire plus)](https://ocamlpro.com/fr/blog/2019_09_13_updated_cheat_sheets_language_stdlib_2)
***
### [OCamlProâs compiler team work update](https://ocamlpro.com/fr/blog/2019_08_30_ocamlpros_compiler_team_work_update)
 Auteurs: [Vincent Laviron](https://ocamlpro.com/fr/blog/authors/vincent_laviron)
 Date: 2019-08-30
 Catégorie: [OCaml](https://ocamlpro.com/fr/blog/category/ocaml)
 Tags: [flambda2](https://ocamlpro.com/fr/blog/tag/flambda2), [flambda](https://ocamlpro.com/fr/blog/tag/flambda), [compiler](https://ocamlpro.com/fr/blog/tag/compiler)
The OCaml compiler team at OCamlPro is happy to present some of the work recently done jointly with JaneStreet's team. A lot of work has been done towards a new framework for optimizations in the compiler, called Flambda2, aiming at solving the shortcomings that became apparent in the Flambda optimi... [(Lire plus)](https://ocamlpro.com/fr/blog/2019_08_30_ocamlpros_compiler_team_work_update)
***
### [Release dâopam 2.0.5](https://ocamlpro.com/fr/blog/2019_07_23_fr_release_dopam_2.0.5)
 Auteurs: [Raja Boujbel](https://ocamlpro.com/fr/blog/authors/raja_boujbel), [Louis Gesbert](https://ocamlpro.com/fr/blog/authors/louis_gesbert)
 Date: 2019-07-23
 Catégorie: [Tooling](https://ocamlpro.com/fr/blog/category/tooling)
 Tags: [opam](https://ocamlpro.com/fr/blog/tag/opam), [fr](https://ocamlpro.com/fr/blog/tag/fr)
Nous sommes fiers dâannoncer la release (mineure) dâ opam 2.0.5. Cette nouvelle version contient des mises Ă jours de build et correctifs. Plus dâinformation... [(Lire plus)](https://ocamlpro.com/fr/blog/2019_07_23_fr_release_dopam_2.0.5)
***
### [opam 2.0.5 release](https://ocamlpro.com/fr/blog/2019_07_11_opam_2.0.5_release)
 Auteurs: [Raja Boujbel](https://ocamlpro.com/fr/blog/authors/raja_boujbel), [Louis Gesbert](https://ocamlpro.com/fr/blog/authors/louis_gesbert)
 Date: 2019-07-11
 Catégorie: [Tooling](https://ocamlpro.com/fr/blog/category/tooling)
 Tags: [opam](https://ocamlpro.com/fr/blog/tag/opam)
We are pleased to announce the minor release of opam 2.0.5. This new version contains build update and small fixes: Bump src\_ext Dune to 1.6.3, allows compilation with OCaml 4.08.0. \[\#3887 @dra27\] Support Dune 1.7.0 and later \[\#3888 @dra27 - fix \#3870\] Bump the ocaml\_mccs lib-ext, to include latest ... [(Lire plus)](https://ocamlpro.com/fr/blog/2019_07_11_opam_2.0.5_release)
***
### [Résultats de la SMT-Comp 2019 pour Alt-Ergo](https://ocamlpro.com/fr/blog/2019_07_10_results_smt_comp_2019)
 Auteurs: [Albin Coquereau](https://ocamlpro.com/fr/blog/authors/albin_coquereau)
 Date: 2019-07-10
 Catégorie: [Formal Methods](https://ocamlpro.com/fr/blog/category/formal_methods)
 Tags: [alt-ergo](https://ocamlpro.com/fr/blog/tag/altergo)
Les rĂ©sultats de la compĂ©tition SMT-COMP 2019 ont Ă©tĂ© publiĂ©s au whorkshop SMT de la 22e confĂ©rence SAT. Nous Ă©tions fiers dây participer pour la deuxiĂšme annĂ©e consĂ©cutive, surtout depuis quâAlt-Ergo prend en charge le standard SMT-LIB 2. Alt-Ergo est un SAT solveur open-source mainte... [(Lire plus)](https://ocamlpro.com/fr/blog/2019_07_10_results_smt_comp_2019)
***
### [The Alt-Ergo SMT Solverâs results in the SMT-COMP 2019](https://ocamlpro.com/fr/blog/2019_07_09_alt_ergo_participation_to_the_smt_comp_2019)
 Auteurs: [Albin Coquereau](https://ocamlpro.com/fr/blog/authors/albin_coquereau)
 Date: 2019-07-09
 Catégorie: [Formal Methods](https://ocamlpro.com/fr/blog/category/formal_methods)
 Tags: [alt-ergo](https://ocamlpro.com/fr/blog/tag/altergo)
The results of the SMT-COMP 2019 were released a few days ago at the SMT whorkshop during the 22nd SAT conference. We were glad to participate in this competition for the second year in a row, especially as Alt-Ergo now supports the SMT-LIB 2 standard. Alt-Ergo is an open-source SAT-solver maintaine... [(Lire plus)](https://ocamlpro.com/fr/blog/2019_07_09_alt_ergo_participation_to_the_smt_comp_2019)
***
### [Blockchains @ OCamlPro: an Overview](https://ocamlpro.com/fr/blog/2019_04_29_blockchains_at_ocamlpro_an_overview)
 Auteurs: [Fabrice Le Fessant](https://ocamlpro.com/fr/blog/authors/fabrice_le_fessant)
 Date: 2019-04-29
 Catégorie: [Blockchains](https://ocamlpro.com/fr/blog/category/blockchains)
 Tags: [blockchains](https://ocamlpro.com/fr/blog/tag/blockchains), [tzscan](https://ocamlpro.com/fr/blog/tag/tzscan), [liquidity](https://ocamlpro.com/fr/blog/tag/liquidity), [tezos](https://ocamlpro.com/fr/blog/tag/tezos), [techelson](https://ocamlpro.com/fr/blog/tag/techelson)
OCamlPro started working on blockchains in 2014, when Arthur Breitman came to us with an initial idea to develop the Tezos ledger. The idea was very challenging with a lot of innovations. So, we collaborated with him to write a specification, and to turn the specification into OCaml code. Since then... [(Lire plus)](https://ocamlpro.com/fr/blog/2019_04_29_blockchains_at_ocamlpro_an_overview)
***
### [opam 2.0.4 release](https://ocamlpro.com/fr/blog/2019_04_10_opam_2.0.4_release)
 Auteurs: [Raja Boujbel](https://ocamlpro.com/fr/blog/authors/raja_boujbel), [Louis Gesbert](https://ocamlpro.com/fr/blog/authors/louis_gesbert)
 Date: 2019-04-10
 Catégorie: [Tooling](https://ocamlpro.com/fr/blog/category/tooling)
 Tags: [opam](https://ocamlpro.com/fr/blog/tag/opam)
We are pleased to announce the release of opam 2.0.4. This new version contains some backported fixes: Sandboxing on macOS: considering the possibility that TMPDIR is unset \[\#3597 @herbelin - fix \#3576\] display: Fix opam config var display, aligned on opam config list \[\#3723 @rjbou - rel. \#3717\] pin... [(Lire plus)](https://ocamlpro.com/fr/blog/2019_04_10_opam_2.0.4_release)
***
### [opam 2.0 tips](https://ocamlpro.com/fr/blog/2019_03_12_opam_2.0_tips)
 Auteurs: [Louis Gesbert](https://ocamlpro.com/fr/blog/authors/louis_gesbert)
 Date: 2019-03-12
 Catégorie: [Tooling](https://ocamlpro.com/fr/blog/category/tooling)
 Tags: [opam](https://ocamlpro.com/fr/blog/tag/opam)
This blog post looks back on some of the improvements in opam 2.0, and gives tips on the new workflows available. Package development environment management Opam 2.0 has been vastly improved to handle locally defined packages. Assuming you have a project ~/projects/foo, defining two packages foo-lib... [(Lire plus)](https://ocamlpro.com/fr/blog/2019_03_12_opam_2.0_tips)
***
### [Release : Liquidity version 1.0 \!](https://ocamlpro.com/fr/blog/2019_03_09_release_liquidity_v1_smart_contracts_language)
 Auteurs: [Ăagdas Bozman](https://ocamlpro.com/fr/blog/authors/cagdas_bozman)
 Date: 2019-03-09
 Catégorie: [Blockchains](https://ocamlpro.com/fr/blog/category/blockchains)
 Tags: [liquidity](https://ocamlpro.com/fr/blog/tag/liquidity), [release](https://ocamlpro.com/fr/blog/tag/release)
Nous sommes fiers d'annoncer la release de la premiÚre version majeure de Liquidity, le langage de smart contracts et son outillage. Parmi les fonctions phares : multiples points d'entrée, systÚme de contrats modulaire, polymorphisme et inférence de type, syntaxe ReasonML pour une plus grande ad... [(Lire plus)](https://ocamlpro.com/fr/blog/2019_03_09_release_liquidity_v1_smart_contracts_language)
***
### [Announcing Liquidity version 1.0](https://ocamlpro.com/fr/blog/2019_03_08_announcing_liquidity_version_1_0)
 Auteurs: [Alain Mebsout](https://ocamlpro.com/fr/blog/authors/alain_mebsout)
 Date: 2019-03-08
 Catégorie: [Blockchains](https://ocamlpro.com/fr/blog/category/blockchains)
 Tags: [liquidity](https://ocamlpro.com/fr/blog/tag/liquidity)
Liquidity version 1.0 We are pleased to announce the release of the first major version of the Liquidity smart-contract language and associated tools. Some of the highlights of this version are detailed below. Multiple Entry Points In the previous versions of Liquidity, smart contracts were limited ... [(Lire plus)](https://ocamlpro.com/fr/blog/2019_03_08_announcing_liquidity_version_1_0)
***
### [Release de Techelson, moteur de tests pour Michelson et Liquidity](https://ocamlpro.com/fr/blog/2019_03_07_fr_release_de_techelson_moteur_de_tests_pour_michelson_et_liquidity)
 Auteurs: [Adrien Champion](https://ocamlpro.com/fr/blog/authors/adrien_champion)
 Date: 2019-03-07
 Catégorie: [Blockchains](https://ocamlpro.com/fr/blog/category/blockchains)
 Tags: [techelson](https://ocamlpro.com/fr/blog/tag/techelson), [fr](https://ocamlpro.com/fr/blog/tag/fr)
Nous sommes fiers dâannoncer la premiĂšre release de Techelson, moteur dâexĂ©cution de tests pour Michelson. Les programmeurs Liquidity peuvent Ă©galement lâutiliser. Voir Techelson, a test execution engine for Michelson.... [(Lire plus)](https://ocamlpro.com/fr/blog/2019_03_07_fr_release_de_techelson_moteur_de_tests_pour_michelson_et_liquidity)
***
### [Techelson, a test execution engine for Michelson](https://ocamlpro.com/fr/blog/2019_03_06_techelson_a_test_execution_engine_for_michelson)
 Auteurs: [Adrien Champion](https://ocamlpro.com/fr/blog/authors/adrien_champion)
 Date: 2019-03-06
 Catégorie: [Blockchains](https://ocamlpro.com/fr/blog/category/blockchains)
 Tags: [michelson](https://ocamlpro.com/fr/blog/tag/michelson)
We are pleased to announce the first release of Techelson, available here. Techelson is a Test Execution Engine for Michelson. It aims at testing functional properties of Michelson smart contracts. Make sure to check the user documentation to get a sense of Techelson's workflow and features. For Liq... [(Lire plus)](https://ocamlpro.com/fr/blog/2019_03_06_techelson_a_test_execution_engine_for_michelson)
***
### [Signing Data for Smart Contracts](https://ocamlpro.com/fr/blog/2019_03_05_signing_data_for_smart_contracts)
 Auteurs: [Ăagdas Bozman](https://ocamlpro.com/fr/blog/authors/cagdas_bozman)
 Date: 2019-03-05
 Catégorie: [Blockchains](https://ocamlpro.com/fr/blog/category/blockchains)
 Tags: [tezos](https://ocamlpro.com/fr/blog/tag/tezos)
Smart contracts calls already provide a built-in authentication mechanism as transactions (i.e. call operations) are cryptographically signed by the sender of the transaction. This is a guarantee on which programs can rely. However, sometimes you may want more involved or flexible authentication sch... [(Lire plus)](https://ocamlpro.com/fr/blog/2019_03_05_signing_data_for_smart_contracts)
***
### [What's new for Alt-Ergo in 2018? Here is a recap\!](https://ocamlpro.com/fr/blog/2019_02_11_whats_new_for_alt_ergo_in_2018_here_is_a_recap)
 Auteurs: [Mohamed Iguernlala](https://ocamlpro.com/fr/blog/authors/mohamed_iguernlala)
 Date: 2019-02-11
 Catégorie: [Formal Methods](https://ocamlpro.com/fr/blog/category/formal_methods)
 Tags: [alt-ergo](https://ocamlpro.com/fr/blog/tag/altergo)
After the hard work done on the integration of floating-point arithmetic reasoning two years ago, 2018 is the year of polymorphic SMT2 support and efficient SAT solving for Alt-Ergo. In this post, we recap the main novelties last year, and we announce the first Alt-Ergo Usersâ Club meeting. An SMT... [(Lire plus)](https://ocamlpro.com/fr/blog/2019_02_11_whats_new_for_alt_ergo_in_2018_here_is_a_recap)
***
### [Optimisation du stockage dans Tezos : une branche de test sur Gitlab](https://ocamlpro.com/fr/blog/2019_02_05_fr_optimisation_du_stockage_dans_tezos_une_branche_de_test_sur_gitlab)
 Auteurs: [Fabrice Le Fessant](https://ocamlpro.com/fr/blog/authors/fabrice_le_fessant)
 Date: 2019-02-05
 Catégorie: [Blockchains](https://ocamlpro.com/fr/blog/category/blockchains)
 Tags: [tezos](https://ocamlpro.com/fr/blog/tag/tezos), [optimisation](https://ocamlpro.com/fr/blog/tag/optimisation), [fr](https://ocamlpro.com/fr/blog/tag/fr)
Ce troisiĂšme article consacrĂ© Ă lâamĂ©lioration du stockage dans Tezos fait suite Ă lâannonce de la mise Ă disposition dâune image docker pour les beta testeurs souhaitant essayer notre systĂšme de stockage et garbage collector. Voir Improving Tezos Storage : Gitlab branch for testers... [(Lire plus)](https://ocamlpro.com/fr/blog/2019_02_05_fr_optimisation_du_stockage_dans_tezos_une_branche_de_test_sur_gitlab)
***
### [Improving Tezos Storage : Gitlab branch for testers](https://ocamlpro.com/fr/blog/2019_02_04_improving_tezos_storage_gitlab_branch_for_testers)
 Auteurs: [Fabrice Le Fessant](https://ocamlpro.com/fr/blog/authors/fabrice_le_fessant)
 Date: 2019-02-04
 Catégorie: [Blockchains](https://ocamlpro.com/fr/blog/category/blockchains)
 Tags: [blockchains](https://ocamlpro.com/fr/blog/tag/blockchains), [ironmin](https://ocamlpro.com/fr/blog/tag/ironmin), [tezos](https://ocamlpro.com/fr/blog/tag/tezos)
This article is the third post of a series of posts on improving Tezos storage. In our previous post, we announced the availability of a docker image for beta testers, wanting to test our storage and garbage collector. Today, we are glad to announce that we rebased our code on the latest version of ... [(Lire plus)](https://ocamlpro.com/fr/blog/2019_02_04_improving_tezos_storage_gitlab_branch_for_testers)
***
### [Tezos et OCamlPro](https://ocamlpro.com/fr/blog/2019_01_31_fr_tezos_et_ocamlpro)
 Auteurs: [Fabrice Le Fessant](https://ocamlpro.com/fr/blog/authors/fabrice_le_fessant)
 Date: 2019-01-31
 Catégorie: [Blockchains](https://ocamlpro.com/fr/blog/category/blockchains)
 Tags: [tezos](https://ocamlpro.com/fr/blog/tag/tezos), [OCamlPro](https://ocamlpro.com/fr/blog/tag/ocamlpro), [fr](https://ocamlpro.com/fr/blog/tag/fr)
Tezos est aujourdâhui un projet open source, un rĂ©seau international dĂ©veloppĂ© par des Ă©quipes sur plus de cinq continents. Dans la genĂšse du projet, lâentreprise française OCamlPro, qui dĂ©veloppe encore aujourdâhui de nombreux projets liĂ©s Ă Tezos (TZscan, Liquidity, etc.), a jouĂ© u... [(Lire plus)](https://ocamlpro.com/fr/blog/2019_01_31_fr_tezos_et_ocamlpro)
***
### [Improving Tezos Storage : update and beta-testing](https://ocamlpro.com/fr/blog/2019_01_30_improving_tezos_storage_update_and_beta_testing)
 Auteurs: [Fabrice Le Fessant](https://ocamlpro.com/fr/blog/authors/fabrice_le_fessant)
 Date: 2019-01-30
 Catégorie: [Blockchains](https://ocamlpro.com/fr/blog/category/blockchains)
 Tags: [blockchains](https://ocamlpro.com/fr/blog/tag/blockchains), [tezos](https://ocamlpro.com/fr/blog/tag/tezos), [ironmin](https://ocamlpro.com/fr/blog/tag/ironmin)
In a previous post, we presented some work that we did to improve the quantity of storage used by the Tezos node. Our post generated a lot of comments, in which upcoming features such as garbage collection and pruning were introduced. It also motivated us to keep working on this (hot) topic, and we ... [(Lire plus)](https://ocamlpro.com/fr/blog/2019_01_30_improving_tezos_storage_update_and_beta_testing)
***
### [Tezos and OCamlPro](https://ocamlpro.com/fr/blog/2019_01_29_tezos_and_ocamlpro)
 Auteurs: [Arthur Breitman](https://ocamlpro.com/fr/blog/authors/arthur_breitman)
 Date: 2019-01-29
 Catégorie: [Blockchains](https://ocamlpro.com/fr/blog/category/blockchains)
 Tags: [blockchains](https://ocamlpro.com/fr/blog/tag/blockchains), [tezos](https://ocamlpro.com/fr/blog/tag/tezos)
A reflection on the new year⊠Today, Tezos is a global network and an open source project with developers spanning over five continents. In the inception of this project, the French company OCamlPro which, to this day, stills develops numerous projects around Tezos, played a particularly important... [(Lire plus)](https://ocamlpro.com/fr/blog/2019_01_29_tezos_and_ocamlpro)
***
### [opam 2.0.3 release](https://ocamlpro.com/fr/blog/2019_01_28_opam_2.0.3_release)
 Auteurs: [Raja Boujbel](https://ocamlpro.com/fr/blog/authors/raja_boujbel), [Louis Gesbert](https://ocamlpro.com/fr/blog/authors/louis_gesbert)
 Date: 2019-01-28
 Catégorie: [Tooling](https://ocamlpro.com/fr/blog/category/tooling)
 Tags: [opam](https://ocamlpro.com/fr/blog/tag/opam)
We are pleased to announce the release of opam 2.0.3. This new version contains some backported fixes: Fix manpage remaining \$ (OPAMBESTEFFORT) Fix OPAMROOTISOK handling Regenerate missing environment file Installation instructions (unchanged): From binaries: run or download manually from the Github... [(Lire plus)](https://ocamlpro.com/fr/blog/2019_01_28_opam_2.0.3_release)
***
### [Improving Tezos Storage](https://ocamlpro.com/fr/blog/2019_01_15_improving_tezos_storage)
 Auteurs: [Fabrice Le Fessant](https://ocamlpro.com/fr/blog/authors/fabrice_le_fessant)
 Date: 2019-01-15
 Catégorie: [Blockchains](https://ocamlpro.com/fr/blog/category/blockchains)
 Tags: [blockchains](https://ocamlpro.com/fr/blog/tag/blockchains), [tezos](https://ocamlpro.com/fr/blog/tag/tezos), [ironmin](https://ocamlpro.com/fr/blog/tag/ironmin)
Running a Tezos node currently costs a lot of disk space, about 59 GB for the context database, the place where the node stores the states corresponding to every block in the blockchain, since the first one. Of course, this is going to decrease once garbage collection is integrated, i.e. removing ve... [(Lire plus)](https://ocamlpro.com/fr/blog/2019_01_15_improving_tezos_storage)
***
### [opam 2.0.2 release](https://ocamlpro.com/fr/blog/2018_12_12_opam_2.0.2_release)
 Auteurs: [Raja Boujbel](https://ocamlpro.com/fr/blog/authors/raja_boujbel), [Louis Gesbert](https://ocamlpro.com/fr/blog/authors/louis_gesbert)
 Date: 2018-12-12
 Catégorie: [Tooling](https://ocamlpro.com/fr/blog/category/tooling)
 Tags: [opam](https://ocamlpro.com/fr/blog/tag/opam)
We are pleased to announce the release of opam 2.0.2. As sandbox scripts have been updated, don't forget to run opam init --reinit -ni to update yours. This new version contains mainly backported fixes: Doc: update man page add message for deprecated options reinsert removed ones to print a deprecat... [(Lire plus)](https://ocamlpro.com/fr/blog/2018_12_12_opam_2.0.2_release)
***
### [An Introduction to Tezos RPCs: Signing Operations](https://ocamlpro.com/fr/blog/2018_11_21_an_introduction_to_tezos_rpcs_signing_operations)
 Auteurs: [Fabrice Le Fessant](https://ocamlpro.com/fr/blog/authors/fabrice_le_fessant)
 Date: 2018-11-21
 Catégorie: [Blockchains](https://ocamlpro.com/fr/blog/category/blockchains)
 Tags: [blockchains](https://ocamlpro.com/fr/blog/tag/blockchains), [tezos](https://ocamlpro.com/fr/blog/tag/tezos)
In a previous blogpost, we presented the RPCs used by tezos-client to send a transfer operation to a tezos-node. We were left with two remaining questions: How to forge a binary operation, for signature How to sign a binary operation In this post, we will reply to these questions. We are still assum... [(Lire plus)](https://ocamlpro.com/fr/blog/2018_11_21_an_introduction_to_tezos_rpcs_signing_operations)
***
### [Introduction aux RPCs dans Tezos : exemple dâun portefeuille (wallet) simple](https://ocamlpro.com/fr/blog/2018_11_20_fr_introduction_aux_rpcs_dans_tezos_exemple_dun_portefeuille_wallet_simple)
 Auteurs: [Fabrice Le Fessant](https://ocamlpro.com/fr/blog/authors/fabrice_le_fessant)
 Date: 2018-11-20
 Catégorie: [Blockchains](https://ocamlpro.com/fr/blog/category/blockchains)
 Tags: [tezos](https://ocamlpro.com/fr/blog/tag/tezos), [rpc](https://ocamlpro.com/fr/blog/tag/rpc), [fr](https://ocamlpro.com/fr/blog/tag/fr)
Dans cet article technique, nous introduisons briĂšvement les RPCs dans Tezos Ă travers un exemple simple montrant comment le client Tezos interagit avec le noeud lors dâune instruction de transfert. Les RPCs de Tezos sont des requĂȘtes HTTP (GET ou POST) auxquelles les noeuds Tezos rĂ©pondent da... [(Lire plus)](https://ocamlpro.com/fr/blog/2018_11_20_fr_introduction_aux_rpcs_dans_tezos_exemple_dun_portefeuille_wallet_simple)
***
### [An Introduction to Tezos RPCs: a Basic Wallet](https://ocamlpro.com/fr/blog/2018_11_15_an-introduction_to_tezos_rpcs_a_basic_wallet)
 Auteurs: [Fabrice Le Fessant](https://ocamlpro.com/fr/blog/authors/fabrice_le_fessant)
 Date: 2018-11-15
 Catégorie: [Blockchains](https://ocamlpro.com/fr/blog/category/blockchains)
 Tags: [blockchains](https://ocamlpro.com/fr/blog/tag/blockchains), [tezos](https://ocamlpro.com/fr/blog/tag/tezos)
In this technical blog post, we will briefly introduce Tezos RPCs through a simple example: we will show how the tezos-client program interacts with the tezos-node during a transfer command. Tezos RPCs are HTTP queries (GET or POST) to which tezos-node replies in JSON format. They are the only way f... [(Lire plus)](https://ocamlpro.com/fr/blog/2018_11_15_an-introduction_to_tezos_rpcs_a_basic_wallet)
***
### [First Open-Source Release of TzScan](https://ocamlpro.com/fr/blog/2018_11_08_first_open_source_release_of_tzscan)
 Auteurs: [Fabrice Le Fessant](https://ocamlpro.com/fr/blog/authors/fabrice_le_fessant)
 Date: 2018-11-08
 Catégorie: [Blockchains](https://ocamlpro.com/fr/blog/category/blockchains)
 Tags: [blockchains](https://ocamlpro.com/fr/blog/tag/blockchains), [tezos](https://ocamlpro.com/fr/blog/tag/tezos), [tzscan](https://ocamlpro.com/fr/blog/tag/tzscan)
In October 2017, after the Tezos ICO, OCamlPro started to work on a block explorer for Tezos. For us, it was the most important software that we could contribute to the community, after the node itself, of course. We used it internally to monitor the Tezos alphanet, until its official public release... [(Lire plus)](https://ocamlpro.com/fr/blog/2018_11_08_first_open_source_release_of_tzscan)
***
### [Liquidity Tutorial: A Game with an Oracle for Random Numbers](https://ocamlpro.com/fr/blog/2018_11_06_liquidity_tutorial_a_game_with_an_oracle_for_random_numbers)
 Auteurs: [Alain Mebsout](https://ocamlpro.com/fr/blog/authors/alain_mebsout)
 Date: 2018-11-06
 Catégorie: [Blockchains](https://ocamlpro.com/fr/blog/category/blockchains)
 Tags: [liquidity](https://ocamlpro.com/fr/blog/tag/liquidity), [game](https://ocamlpro.com/fr/blog/tag/game)
A Game with an oracle In this small tutorial, we will see how to write a chance game on the Tezos blockchain with Liquidity and a small external oracle which provides random numbers. Principle of the game Rules of the game are handled by a smart contract on the Tezos blockchain. When a player decide... [(Lire plus)](https://ocamlpro.com/fr/blog/2018_11_06_liquidity_tutorial_a_game_with_an_oracle_for_random_numbers)
***
### [opam 2.0.1 is out\!](https://ocamlpro.com/fr/blog/2018_10_24_opam_2.0.1_is_out)
 Auteurs: [Raja Boujbel](https://ocamlpro.com/fr/blog/authors/raja_boujbel), [Louis Gesbert](https://ocamlpro.com/fr/blog/authors/louis_gesbert)
 Date: 2018-10-24
 Catégorie: [Tooling](https://ocamlpro.com/fr/blog/category/tooling)
 Tags: [opam](https://ocamlpro.com/fr/blog/tag/opam)
We are pleased to announce the release of opam 2.0.1. This new version contains mainly backported fixes, some platform-specific: Cold boot for MacOS/CentOS/Alpine Install checksum validation on MacOS Archive extraction for OpenBSD now defaults to using gtar Fix compilation of mccs on MacOS and Nix p... [(Lire plus)](https://ocamlpro.com/fr/blog/2018_10_24_opam_2.0.1_is_out)
***
### [OCamlProâs TzScan grant proposal accepted by the Tezos Foundation â joint press release](https://ocamlpro.com/fr/blog/2018_10_17_ocamlpros_tzscan_grant_proposal_accepted_by_the_tezos_foundation_joint_press_release)
 Auteurs: [Muriel](https://ocamlpro.com/fr/blog/authors/muriel)
 Date: 2018-10-17
 Catégorie: [Blockchains](https://ocamlpro.com/fr/blog/category/blockchains)
 Tags: [tezos](https://ocamlpro.com/fr/blog/tag/tezos), [tzscan](https://ocamlpro.com/fr/blog/tag/tzscan), [liquidity](https://ocamlpro.com/fr/blog/tag/liquidity)
Tezos Foundation and OCamlPro joint press release - October 17, 2018 We are pleased to announce that the Tezos Foundation has issued a grant to OCamlPro to support its work on TzScan, a block explorer for the Tezos blockchain that will be made open-source. OCamlPro is a French company and R\&D lab, f... [(Lire plus)](https://ocamlpro.com/fr/blog/2018_10_17_ocamlpros_tzscan_grant_proposal_accepted_by_the_tezos_foundation_joint_press_release)
***
### [opam 2.0.0 release and repository upgrade](https://ocamlpro.com/fr/blog/2018_09_19_opam_2.0.0_release_and_repository_upgrade)
 Auteurs: [Raja Boujbel](https://ocamlpro.com/fr/blog/authors/raja_boujbel), [Louis Gesbert](https://ocamlpro.com/fr/blog/authors/louis_gesbert)
 Date: 2018-09-19
 Catégorie: [Tooling](https://ocamlpro.com/fr/blog/category/tooling)
 Tags: [opam](https://ocamlpro.com/fr/blog/tag/opam)
We are happy to announce the final release of opam 2.0.0. A few weeks ago, we released a last release candidate to be later promoted to 2.0.0, synchronised with the opam package repository upgrade. You are encouraged to update as soon as you see fit, to continue to get package updates: opam 2.0.0 su... [(Lire plus)](https://ocamlpro.com/fr/blog/2018_09_19_opam_2.0.0_release_and_repository_upgrade)
***
### [Last stretch! Repository upgrade and opam 2.0.0 roadmap](https://ocamlpro.com/fr/blog/2018_08_02_last_stretch_repository_upgrade_and_opam_2.0.0_roadmap)
 Auteurs: [Raja Boujbel](https://ocamlpro.com/fr/blog/authors/raja_boujbel), [Louis Gesbert](https://ocamlpro.com/fr/blog/authors/louis_gesbert)
 Date: 2018-08-02
 Catégorie: [Tooling](https://ocamlpro.com/fr/blog/category/tooling)
 Tags: [opam](https://ocamlpro.com/fr/blog/tag/opam)
A few days ago, we released opam 2.0.0~rc4, and explained that this final release candidate was expected be promoted to 2.0.0, in sync with an upgrade to the opam package repository. So here are the details about this! If you are an opam user, and don't maintain opam packages You are encouraged to u... [(Lire plus)](https://ocamlpro.com/fr/blog/2018_08_02_last_stretch_repository_upgrade_and_opam_2.0.0_roadmap)
***
### [opam 2.0.0 RC4-final is out\!](https://ocamlpro.com/fr/blog/2018_07_26_opam_2.0.0_rc4_final_is_out)
 Auteurs: [Raja Boujbel](https://ocamlpro.com/fr/blog/authors/raja_boujbel), [Louis Gesbert](https://ocamlpro.com/fr/blog/authors/louis_gesbert)
 Date: 2018-07-26
 Catégorie: [Tooling](https://ocamlpro.com/fr/blog/category/tooling)
 Tags: [opam](https://ocamlpro.com/fr/blog/tag/opam)
We are happy to announce the opam 2.0.0 final release candidate! đŸ This release features a few bugfixes over Release Candidate 3. It will be promoted to 2.0.0 proper within a few weeks, when the official repository format switches from 1.2.0 to 2.0.0. After that date, updates to the 1.2.0 reposit... [(Lire plus)](https://ocamlpro.com/fr/blog/2018_07_26_opam_2.0.0_rc4_final_is_out)
***
### [OCamlProâs Tezos block explorer TzScanâs last updates](https://ocamlpro.com/fr/blog/2018_07_20_new_updates_on_tzscan_2)
 Auteurs: [Ăagdas Bozman](https://ocamlpro.com/fr/blog/authors/cagdas_bozman)
 Date: 2018-07-20
 Catégorie: [Blockchains](https://ocamlpro.com/fr/blog/category/blockchains)
 Tags: [tzscan](https://ocamlpro.com/fr/blog/tag/tzscan), [block](https://ocamlpro.com/fr/blog/tag/block), [explorer](https://ocamlpro.com/fr/blog/tag/explorer)
OCamlPro is pleased to announce the latest update of TZScan (https://tzscan.io), its Tezos block explorer to ease the use of the Tezos network. TzScan is now ready for the protocol update scheduled for tomorrow. In addition to some minor bugfixes, the main novelties are: Displaying of obtained and e... [(Lire plus)](https://ocamlpro.com/fr/blog/2018_07_20_new_updates_on_tzscan_2)
***
### [opam 2.0.0 Release Candidate 3 is out\!](https://ocamlpro.com/fr/blog/2018_06_22_opam_2.0.0_release_candidate_3_is_out)
 Auteurs: [Raja Boujbel](https://ocamlpro.com/fr/blog/authors/raja_boujbel), [Louis Gesbert](https://ocamlpro.com/fr/blog/authors/louis_gesbert)
 Date: 2018-06-22
 Catégorie: [Tooling](https://ocamlpro.com/fr/blog/category/tooling)
 Tags: [opam](https://ocamlpro.com/fr/blog/tag/opam)
We are pleased to announce the release of a third release candidate for opam 2.0.0. This one is expected to be the last before 2.0.0 comes out. Changes since the 2.0.0~rc2 are, as expected, mostly fixes. We deemed it useful, however, to bring in the following: a new command opam switch link that all... [(Lire plus)](https://ocamlpro.com/fr/blog/2018_06_22_opam_2.0.0_release_candidate_3_is_out)
***
### [opam 2.0.0 Release Candidate 2 is out\!](https://ocamlpro.com/fr/blog/2018_05_22_opam_2.0.0_release_candidate_2_is_out)
 Auteurs: [Louis Gesbert](https://ocamlpro.com/fr/blog/authors/louis_gesbert)
 Date: 2018-05-22
 Catégorie: [Tooling](https://ocamlpro.com/fr/blog/category/tooling)
 Tags: [opam](https://ocamlpro.com/fr/blog/tag/opam)
We are pleased to announce the release of a second release candidate for opam 2.0.0. This new version brings us very close to a final 2.0.0 release, and in addition to many fixes, features big performance enhancements over the RC1. Among the new features, we have squeezed in full sandboxing of packa... [(Lire plus)](https://ocamlpro.com/fr/blog/2018_05_22_opam_2.0.0_release_candidate_2_is_out)
***
### [Release of Alt-Ergo 2.2.0](https://ocamlpro.com/fr/blog/2018_04_23_release_of_alt_ergo_2_2_0)
 Auteurs: [Mohamed Iguernlala](https://ocamlpro.com/fr/blog/authors/mohamed_iguernlala)
 Date: 2018-04-23
 Catégorie: [Formal Methods](https://ocamlpro.com/fr/blog/category/formal_methods)
 Tags: [alt-ergo](https://ocamlpro.com/fr/blog/tag/altergo)
A new release of Alt-Ergo (version 2.2.0) is available. You can get it from Alt-Ergo's website. An OPAM package for it will be published in the next few days. The major novelty of this release is a new experimental front-end that supports the SMT-LIB 2 language, extended prenex polymorphism. This ex... [(Lire plus)](https://ocamlpro.com/fr/blog/2018_04_23_release_of_alt_ergo_2_2_0)
***
### [Taskforce on the Tezos Protocol, and TzScan evolution](https://ocamlpro.com/fr/blog/2018_04_13_taskforce_on_the_tezos_protocol_and_tzscan_evolution)
 Auteurs: [Michael Laporte](https://ocamlpro.com/fr/blog/authors/michael_laporte)
 Date: 2018-04-13
 Catégorie: [Blockchains](https://ocamlpro.com/fr/blog/category/blockchains)
 Tags: [tzscan](https://ocamlpro.com/fr/blog/tag/tzscan), [block](https://ocamlpro.com/fr/blog/tag/block), [explorer](https://ocamlpro.com/fr/blog/tag/explorer), [evolution](https://ocamlpro.com/fr/blog/tag/evolution)
As we are preparing to work on the Tezos Protocol, we're still actively keeping the pace on the block explorer TZScan.io, adding cool information for baking accounts. We'd like to allow people to see who is contributing to the network and to understand the distribution of rolls, rights, etc. For sta... [(Lire plus)](https://ocamlpro.com/fr/blog/2018_04_13_taskforce_on_the_tezos_protocol_and_tzscan_evolution)
***
### [OCaml JTRT](https://ocamlpro.com/fr/blog/2018_04_01_ocaml_jtrt)
 Auteurs: [chambart](https://ocamlpro.com/fr/blog/authors/chambart)
 Date: 2018-04-01
 Catégorie: [OCaml](https://ocamlpro.com/fr/blog/category/ocaml)
 Tags: [OCaml](https://ocamlpro.com/fr/blog/tag/ocaml)
This time of the year is, just like Christmas time, a time for laughs and magic... although the magic we are talking about, in the OCaml community, is not exactly nice, nor beautiful. Let's say that we are somehow akin to many religions: we know magic does exist , but that it is satanic and shouldn'... [(Lire plus)](https://ocamlpro.com/fr/blog/2018_04_01_ocaml_jtrt)
***
### [Release of Alt-Ergo 2.1.0](https://ocamlpro.com/fr/blog/2018_03_15_release_of_alt_ergo_2_1_0)
 Auteurs: [Mohamed Iguernlala](https://ocamlpro.com/fr/blog/authors/mohamed_iguernlala)
 Date: 2018-03-15
 Catégorie: [Formal Methods](https://ocamlpro.com/fr/blog/category/formal_methods)
 Tags: [alt-ergo](https://ocamlpro.com/fr/blog/tag/altergo)
A new release of Alt-Ergo (version 2.1.0) is available on Alt-Ergo's website: https://alt-ergo.ocamlpro.com/\#releases. An OPAM package for it will be published soon. In this release, we mainly improved the CDCL-based SAT solver to get performances similar to/better than the old Tableaux-like SAT. Th... [(Lire plus)](https://ocamlpro.com/fr/blog/2018_03_15_release_of_alt_ergo_2_1_0)
***
### [New updates on TzScan](https://ocamlpro.com/fr/blog/2018_03_14_new_updates_on_tzscan)
 Auteurs: [Ăagdas Bozman](https://ocamlpro.com/fr/blog/authors/cagdas_bozman)
 Date: 2018-03-14
 Catégorie: [Blockchains](https://ocamlpro.com/fr/blog/category/blockchains)
 Tags: [tzscan](https://ocamlpro.com/fr/blog/tag/tzscan), [block](https://ocamlpro.com/fr/blog/tag/block), [explorer](https://ocamlpro.com/fr/blog/tag/explorer)
Update - TZScan.io can now work on top of the zeronet (zeronet.tzscan.io), we hope it can help the developers community monitor the network. You can now switch between the alphanet & zeronet networks! OCamlPro is pleased to announce an update of TzScan (https://tzscan.io), its Tezos block explorer t... [(Lire plus)](https://ocamlpro.com/fr/blog/2018_03_14_new_updates_on_tzscan)
***
### [Release of a first version of TzScan, a Tezos block explorer](https://ocamlpro.com/fr/blog/2018_02_14_release_of_a_first_version_of_tzscan_io_a_tezos_block_explorer)
 Auteurs: [Ăagdas Bozman](https://ocamlpro.com/fr/blog/authors/cagdas_bozman%09)
 Date: 2018-02-14
 Catégorie: [Blockchains](https://ocamlpro.com/fr/blog/category/blockchains)
 Tags: [tzscan](https://ocamlpro.com/fr/blog/tag/tzscan), [block](https://ocamlpro.com/fr/blog/tag/block), [explorer](https://ocamlpro.com/fr/blog/tag/explorer)
OCamlPro is proud to release a first version of TzScan, its Tezos block explorer to ease the use of the Tezos network. What TzScan can do for you : Several charts on blocks, operations, network, volumes, fees, and more, Marketcap and Futures/IOU prices from coinmarket.com, Blocks, operations, accoun... [(Lire plus)](https://ocamlpro.com/fr/blog/2018_02_14_release_of_a_first_version_of_tzscan_io_a_tezos_block_explorer)
***
### [OCamlProâs Liquidity-lang demo at JFLA2018 â a smart-contract design language](https://ocamlpro.com/fr/blog/2018_02_08_liquidity_smart_contract_deploy_live_demo_on_tezos_alphanet_jfla2018)
 Auteurs: [Ăagdas Bozman](https://ocamlpro.com/fr/blog/authors/cagdas_bozman)
 Date: 2018-02-08
 Catégorie: [Blockchains](https://ocamlpro.com/fr/blog/category/blockchains)
 Tags: [JFLA](https://ocamlpro.com/fr/blog/tag/jfla), [Liquidity](https://ocamlpro.com/fr/blog/tag/liquidity), [smart-contract](https://ocamlpro.com/fr/blog/tag/smartcontract), [Tezos](https://ocamlpro.com/fr/blog/tag/tezos)
As a tradition, we took part in this year's Journées Francophones des Langages Applicatifs (JFLA 2018) that was chaired by LRI's Sylvie Boldo and hosted in Banyuls the last week of January. That was a nice opportunity to present a live demo of a multisignature smart-contract entirely written in th... [(Lire plus)](https://ocamlpro.com/fr/blog/2018_02_08_liquidity_smart_contract_deploy_live_demo_on_tezos_alphanet_jfla2018)
***
### [opam 2.0.0 Release Candidate 1 is out\!](https://ocamlpro.com/fr/blog/2018_02_02_opam_2.0.0_release_candidate_1_is_out)
 Auteurs: [Louis Gesbert](https://ocamlpro.com/fr/blog/authors/louis_gesbert)
 Date: 2018-02-02
 Catégorie: [Tooling](https://ocamlpro.com/fr/blog/category/tooling)
 Tags: [opam](https://ocamlpro.com/fr/blog/tag/opam)
We are pleased to announce a first release candidate for the long-awaited opam 2.0.0. A lot of polishing has been done since the last beta, including tweaks to the built-in solver, allowing in-source package definitions to be gathered in an opam/ directory, and much more. With all of the 2.0.0 featu... [(Lire plus)](https://ocamlpro.com/fr/blog/2018_02_02_opam_2.0.0_release_candidate_1_is_out)
***
### [2017 at OCamlPro](https://ocamlpro.com/fr/blog/2018_01_15_2017_at_ocamlpro)
 Auteurs: [Muriel](https://ocamlpro.com/fr/blog/authors/muriel)
 Date: 2018-01-15
 Catégorie: [OCamlPro](https://ocamlpro.com/fr/blog/category/ocamlpro)
 Tags: [OCamlPro](https://ocamlpro.com/fr/blog/tag/ocamlpro), [alt-ergo](https://ocamlpro.com/fr/blog/tag/altergo), [Flambda2](https://ocamlpro.com/fr/blog/tag/flambda2), [Liquidity](https://ocamlpro.com/fr/blog/tag/liquidity), [opam](https://ocamlpro.com/fr/blog/tag/opam), [Tezos](https://ocamlpro.com/fr/blog/tag/tezos)
Since 2017 is just over, now is probably the best time to review what happened during this hectic year at OCamlPro⊠Here are our big 2017 achievements, in the world of blockchains (the Liquidity smart contract language, Tezos and the Tezos ICO etc.), of OCaml (with OPAM 2, flambda 2 etc.), and of ... [(Lire plus)](https://ocamlpro.com/fr/blog/2018_01_15_2017_at_ocamlpro)
***
### [opam 2.0 Beta5 is out\!](https://ocamlpro.com/fr/blog/2017_11_27_opam_2.0_beta5_is_out)
 Auteurs: [Louis Gesbert](https://ocamlpro.com/fr/blog/authors/louis_gesbert)
 Date: 2017-11-27
 Catégorie: [Tooling](https://ocamlpro.com/fr/blog/category/tooling)
 Tags: [opam](https://ocamlpro.com/fr/blog/tag/opam)
After a few more months brewing, we are pleased to announce a new beta release of opam. With this new milestone, opam is reaching feature-freeze, with an expected 2.0.0 by the beginning of next year. This version brings many new features, stability fixes, and big improvements to the local developmen... [(Lire plus)](https://ocamlpro.com/fr/blog/2017_11_27_opam_2.0_beta5_is_out)
***
### [new opam features: more expressive dependencies](https://ocamlpro.com/fr/blog/2017_05_11_new_opam_features_more_expressive_dependencies)
 Auteurs: [Louis Gesbert](https://ocamlpro.com/fr/blog/authors/louis_gesbert)
 Date: 2017-05-11
 Catégorie: [Tooling](https://ocamlpro.com/fr/blog/category/tooling)
 Tags: [opam](https://ocamlpro.com/fr/blog/tag/opam)
This blog will cover yet another aspect of the improvements opam 2.0 has over opam 1.2. I may be a little more technical than previous issues, as it covers a feature directed specifically at packagers and repository maintainers, and regarding the package definition format. Specifying dependencies in... [(Lire plus)](https://ocamlpro.com/fr/blog/2017_05_11_new_opam_features_more_expressive_dependencies)
***
### [new opam features: "opam install DIR"](https://ocamlpro.com/fr/blog/2017_05_04_new_opam_features_opam_install_dir)
 Auteurs: [Louis Gesbert](https://ocamlpro.com/fr/blog/authors/louis_gesbert)
 Date: 2017-05-04
 Catégorie: [Tooling](https://ocamlpro.com/fr/blog/category/tooling)
 Tags: [opam](https://ocamlpro.com/fr/blog/tag/opam)
After the opam build feature was announced followed a lot of discussions, mainly having to do with its interface, and misleading name. The base features it offered, though, were still widely asked for: a way to work directly with the project in the current directory, assuming it contains definitions... [(Lire plus)](https://ocamlpro.com/fr/blog/2017_05_04_new_opam_features_opam_install_dir)
***
### [new opam features: local switches](https://ocamlpro.com/fr/blog/2017_04_27_new_opam_features_local_switches)
 Auteurs: [Louis Gesbert](https://ocamlpro.com/fr/blog/authors/louis_gesbert)
 Date: 2017-04-27
 Catégorie: [Tooling](https://ocamlpro.com/fr/blog/category/tooling)
 Tags: [opam](https://ocamlpro.com/fr/blog/tag/opam)
Among the areas we wanted to improve on for opam 2.0 was the handling of switches. In opam 1.2, they are simply accessed by a name (the OCaml version by default), and are always stored into ~/.opam/. This is fine, but can get a bit cumbersome when many switches are in presence, as there is no ... [(Lire plus)](https://ocamlpro.com/fr/blog/2017_04_27_new_opam_features_local_switches)
***
### [EzSudoku](https://ocamlpro.com/fr/blog/2017_04_01_ezsudoku)
 Auteurs: [chambart](https://ocamlpro.com/fr/blog/authors/chambart)
 Date: 2017-04-01
 Catégorie: [OCaml](https://ocamlpro.com/fr/blog/category/ocaml)
 Tags: [OCaml](https://ocamlpro.com/fr/blog/tag/ocaml)
As you may have noticed, on the begining of April I have some urge to write something technical about some deeply specific point of OCaml. This time I'd like to tackle that through sudoku. It appeard that Sudoku is of great importance considering the number of posts explaining how to write a solver.... [(Lire plus)](https://ocamlpro.com/fr/blog/2017_04_01_ezsudoku)
***
### [new opam features: "opam build"](https://ocamlpro.com/fr/blog/2017_03_16_new_opam_features_opam_build)
 Auteurs: [Louis Gesbert](https://ocamlpro.com/fr/blog/authors/louis_gesbert)
 Date: 2017-03-16
 Catégorie: [Tooling](https://ocamlpro.com/fr/blog/category/tooling)
 Tags: [opam](https://ocamlpro.com/fr/blog/tag/opam)
UPDATE: after discussions following this post, this feature was abandoned with the interface presented below. See this post for the details and the new interface! The new opam 2.0 release, currently in beta, introduces several new features. This post gets into some detail on the new opam build comma... [(Lire plus)](https://ocamlpro.com/fr/blog/2017_03_16_new_opam_features_opam_build)
***
### [opam 2.0 Beta is out\!](https://ocamlpro.com/fr/blog/2017_02_09_opam_2.0_beta_is_out)
 Auteurs: [Louis Gesbert](https://ocamlpro.com/fr/blog/authors/louis_gesbert)
 Date: 2017-02-09
 Catégorie: [Tooling](https://ocamlpro.com/fr/blog/category/tooling)
 Tags: [opam](https://ocamlpro.com/fr/blog/tag/opam)
UPDATE (2017-02-14): A beta2 is online, which fixes issues and performance of the opam build command. Get the new binaries, or recompile the opam-devel package and replace the previous binary. We are pleased to announce that the beta release of opam 2.0 is now live! You can try it already, bootstrap... [(Lire plus)](https://ocamlpro.com/fr/blog/2017_02_09_opam_2.0_beta_is_out)
***
### [Release of Alt-Ergo 1.30 with experimental support for models generation](https://ocamlpro.com/fr/blog/2016_11_21_release_of_alt_ergo_1_30_with_experimental_support_for_models_generation)
 Auteurs: [Mohamed Iguernlala](https://ocamlpro.com/fr/blog/authors/mohamed_iguernlala)
 Date: 2016-11-21
 Catégorie: [Formal Methods](https://ocamlpro.com/fr/blog/category/formal_methods)
 Tags: [alt-ergo](https://ocamlpro.com/fr/blog/tag/altergo)
We have recently released a new (public up-to-date) version of Alt-Ergo. We focus in this article on its main new feature: experimental support for models generation. This work has been done with Frédéric Lang, an intern at OCamlPro from February to July 2016. The idea behind models generation The... [(Lire plus)](https://ocamlpro.com/fr/blog/2016_11_21_release_of_alt_ergo_1_30_with_experimental_support_for_models_generation)
***
### [opam-lib 1.3 available](https://ocamlpro.com/fr/blog/2016_11_20_opam_lib_1.3_available)
 Auteurs: [Louis Gesbert](https://ocamlpro.com/fr/blog/authors/louis_gesbert)
 Date: 2016-11-20
 Catégorie: [Tooling](https://ocamlpro.com/fr/blog/category/tooling)
 Tags: [opam](https://ocamlpro.com/fr/blog/tag/opam)
opam-lib 1.3 The package for opam-lib version 1.3 has just been released in the official opam repository. There is no release of opam with version 1.3, but this is an intermediate version of the library that retains compatibility of the file formats with 1.2.2. The purpose of this release is twofold... [(Lire plus)](https://ocamlpro.com/fr/blog/2016_11_20_opam_lib_1.3_available)
***
### [opam 2.0 preview release\!](https://ocamlpro.com/fr/blog/2016_09_20_opam_2.0_preview_release)
 Auteurs: [Louis Gesbert](https://ocamlpro.com/fr/blog/authors/louis_gesbert)
 Date: 2016-09-20
 Catégorie: [Tooling](https://ocamlpro.com/fr/blog/category/tooling)
 Tags: [opam](https://ocamlpro.com/fr/blog/tag/opam)
We are pleased to announce a preview release for opam 2.0, with over 700 patches since 1.2.2. Version 2.0~alpha4 has just been released, and is ready to be more widely tested. This version brings many new features and changes, the most notable one being that OCaml compiler packages are no longer spe... [(Lire plus)](https://ocamlpro.com/fr/blog/2016_09_20_opam_2.0_preview_release)
***
### [ASM.OCaml](https://ocamlpro.com/fr/blog/2016_04_01_asm_ocaml)
 Auteurs: [chambart](https://ocamlpro.com/fr/blog/authors/chambart)
 Date: 2016-04-01
 Catégorie: [OCaml](https://ocamlpro.com/fr/blog/category/ocaml)
 Tags: [OCaml](https://ocamlpro.com/fr/blog/tag/ocaml)
As you may know, there is a subset of Javascript that compiles efficiently to assembly used as backend of various compilers including a C compiler like emscripten. We'd like to present you in the same spirit how never to allocate in OCaml. Before starting to write anything, we must know how to find ... [(Lire plus)](https://ocamlpro.com/fr/blog/2016_04_01_asm_ocaml)
***
### [Signing the OPAM repository](https://ocamlpro.com/fr/blog/2015_06_05_signing_the_opam_repository)
 Auteurs: [Louis Gesbert](https://ocamlpro.com/fr/blog/authors/louis_gesbert), [Hannes Mehnert](https://ocamlpro.com/fr/blog/authors/hannes_mehnert)
 Date: 2015-06-05
 Catégorie: [Tooling](https://ocamlpro.com/fr/blog/category/tooling)
 Tags: [opam](https://ocamlpro.com/fr/blog/tag/opam)
NOTE (September 2016): updated proposal from OCaml 2016 workshop is available, including links to prototype implementation. This is an initial proposal on signing the OPAM repository. Comments and discussion are expected on the platform mailing-list. The purpose of this proposal is to enable a secur... [(Lire plus)](https://ocamlpro.com/fr/blog/2015_06_05_signing_the_opam_repository)
***
### [Reduced Memory Allocations with ocp-memprof](https://ocamlpro.com/fr/blog/2015_05_18_reduced_memory_allocations_with_ocp_memprof)
 Auteurs: [Ăagdas Bozman](https://ocamlpro.com/fr/blog/authors/cagdas_bozman)
 Date: 2015-05-18
 Catégorie: [Tooling](https://ocamlpro.com/fr/blog/category/tooling)
 Tags: [memory](https://ocamlpro.com/fr/blog/tag/memory), [memprof](https://ocamlpro.com/fr/blog/tag/memprof), [optimization](https://ocamlpro.com/fr/blog/tag/optimization), [profiler](https://ocamlpro.com/fr/blog/tag/profiler)
In this blog post, we explain how ocp-memprof helped us identify a piece of code in Alt-Ergo that needed to be improved. Simply put, a function that merges two maps was performing a lot of unnecessary allocations, negatively impacting the garbage collector's activity. A simple patch allowed us to pr... [(Lire plus)](https://ocamlpro.com/fr/blog/2015_05_18_reduced_memory_allocations_with_ocp_memprof)
***
### [OPAM 1.2.2 Released](https://ocamlpro.com/fr/blog/2015_05_07_opam_1.2.2_released)
 Auteurs: [Louis Gesbert](https://ocamlpro.com/fr/blog/authors/louis_gesbert)
 Date: 2015-05-07
 Catégorie: [Tooling](https://ocamlpro.com/fr/blog/category/tooling)
 Tags: [opam](https://ocamlpro.com/fr/blog/tag/opam)
OPAM 1.2.2 has just been released. This fixes a few issues over 1.2.1 and brings a couple of improvements, in particular better use of the solver to keep the installation as up-to-date as possible even when the latest version of a package can not be installed. Upgrade from 1.2.1 (or earlier) See the... [(Lire plus)](https://ocamlpro.com/fr/blog/2015_05_07_opam_1.2.2_released)
***
### [wxOCaml, camlidl and Class Modules](https://ocamlpro.com/fr/blog/2015_04_13_yes_ocp_memprof_scanf)
 Auteurs: [Ăagdas Bozman](https://ocamlpro.com/fr/blog/authors/cagdas_bozman)
 Date: 2015-04-13
 Catégorie: [Tooling](https://ocamlpro.com/fr/blog/category/tooling)
 Tags: [Memory](https://ocamlpro.com/fr/blog/tag/memory), [memprof](https://ocamlpro.com/fr/blog/tag/memprof), [OCamlPro](https://ocamlpro.com/fr/blog/tag/ocamlpro), [ocp-memprof](https://ocamlpro.com/fr/blog/tag/ocpmemprof), [Profiler](https://ocamlpro.com/fr/blog/tag/profiler), [scanf](https://ocamlpro.com/fr/blog/tag/scanf), [OCaml](https://ocamlpro.com/fr/blog/tag/ocaml)
A few months ago, a memory leak in the Scanf.fscanf function of OCamlâs standard library has been reported on the OCaml mailing list. The following âminimalâ example reproduces this misbehavior: Let us see how to identify the origin of the leak and fix it with our OCaml memory profiler. Instal... [(Lire plus)](https://ocamlpro.com/fr/blog/2015_04_13_yes_ocp_memprof_scanf)
***
### [OPAM 1.2.1 Released](https://ocamlpro.com/fr/blog/2015_03_18_opam_1.2.1_released)
 Auteurs: [Louis Gesbert](https://ocamlpro.com/fr/blog/authors/louis_gesbert)
 Date: 2015-03-18
 Catégorie: [Tooling](https://ocamlpro.com/fr/blog/category/tooling)
 Tags: [opam](https://ocamlpro.com/fr/blog/tag/opam)
OPAM 1.2.1 has just been released. This patch version brings a number of fixes and improvements over 1.2.0, without breaking compatibility. Upgrade from 1.2.0 (or earlier) See the normal installation instructions: you should generally pick up the packages from the same origin as you did for the last... [(Lire plus)](https://ocamlpro.com/fr/blog/2015_03_18_opam_1.2.1_released)
***
### [Cumulus and ocp-memprof, a love story](https://ocamlpro.com/fr/blog/2015_03_04_cumulus_and_ocp_memprof_a_love_story)
 Auteurs: [Ăagdas Bozman](https://ocamlpro.com/fr/blog/authors/cagdas_bozman)
 Date: 2015-03-04
 Catégorie: [Tooling](https://ocamlpro.com/fr/blog/category/tooling)
 Tags: [memprof](https://ocamlpro.com/fr/blog/tag/memprof), [cumulus](https://ocamlpro.com/fr/blog/tag/cumulus), [memory](https://ocamlpro.com/fr/blog/tag/memory), [profiler](https://ocamlpro.com/fr/blog/tag/profiler), [ocsigen](https://ocamlpro.com/fr/blog/tag/ocsigen)
In this blog post, we went on the hunt of memory leaks in Cumulus by using our memory profiler: ocp-memprof. Cumulus is a feed aggregator based on Eliom, a framework for programming web sites and client/server web applications, part of the Ocsigen Project. First, run and get the memory snapshots To ... [(Lire plus)](https://ocamlpro.com/fr/blog/2015_03_04_cumulus_and_ocp_memprof_a_love_story)
***
### [Private Release of Alt-Ergo 1.00](https://ocamlpro.com/fr/blog/2015_01_29_private_release_of_alt_ergo_1_00)
 Auteurs: [Mohamed Iguernlala](https://ocamlpro.com/fr/blog/authors/mohamed_iguernlala)
 Date: 2015-01-29
 Catégorie: [Formal Methods](https://ocamlpro.com/fr/blog/category/formal_methods)
 Tags: [alt-ergo](https://ocamlpro.com/fr/blog/tag/altergo), [private](https://ocamlpro.com/fr/blog/tag/private), [release](https://ocamlpro.com/fr/blog/tag/release), [1\.00](https://ocamlpro.com/fr/blog/tag/1.00)
altergo logo After the public release of Alt-Ergo 0.99.1 last December, it's time to announce a new major private version (1.00) of our SMT solver. As usual: we freely provide a JavaScript version on Alt-Ergo's website we provide a private access to our internal repositories for academia users and o... [(Lire plus)](https://ocamlpro.com/fr/blog/2015_01_29_private_release_of_alt_ergo_1_00)
***
### [OPAM 1.2 and Travis CI](https://ocamlpro.com/fr/blog/2014_12_18_opam_1.2_and_travis_ci)
 Auteurs: [Thomas Gazagnaire](https://ocamlpro.com/fr/blog/authors/thomas_gazagnaire)
 Date: 2014-12-18
 Catégorie: [Tooling](https://ocamlpro.com/fr/blog/category/tooling)
 Tags: [opam](https://ocamlpro.com/fr/blog/tag/opam)
The new pinning feature of OPAM 1.2 enables new interesting workflows for your day-to-day development in OCaml projects. I will briefly describe one of them here: simplifying continuous testing with Travis CI and GitHub. Creating an opam file As explained in the previous post, adding an opam file at... [(Lire plus)](https://ocamlpro.com/fr/blog/2014_12_18_opam_1.2_and_travis_ci)
***
### [OPAM 1.2.0 Released](https://ocamlpro.com/fr/blog/2014_10_23_opam_1.2.0_released)
 Auteurs: [Louis Gesbert](https://ocamlpro.com/fr/blog/authors/louis_gesbert)
 Date: 2014-10-23
 Catégorie: [Tooling](https://ocamlpro.com/fr/blog/category/tooling)
 Tags: [opam](https://ocamlpro.com/fr/blog/tag/opam)
We are very proud to announce the availability of OPAM 1.2.0. Upgrade from 1.1 Simply follow the usual instructions, using your preferred method (package from your distribution, binary, source, etc.) as documented on the homepage. NOTE: There are small changes to the internal repository format (~/.o... [(Lire plus)](https://ocamlpro.com/fr/blog/2014_10_23_opam_1.2.0_released)
***
### [OPAM 1.2: Repository Pinning](https://ocamlpro.com/fr/blog/2014_08_19_opam_1.2_repository_pinning)
 Auteurs: [Louis Gesbert](https://ocamlpro.com/fr/blog/authors/louis_gesbert)
 Date: 2014-08-19
 Catégorie: [Tooling](https://ocamlpro.com/fr/blog/category/tooling)
 Tags: [opam](https://ocamlpro.com/fr/blog/tag/opam)
Most package managers support some pin functionality to ensure that a given package remains at a particular version without being upgraded. The stable OPAM 1.1 already supported this by allowing any existing package to be pinned to a target, which could be a specific released version, a local filesy... [(Lire plus)](https://ocamlpro.com/fr/blog/2014_08_19_opam_1.2_repository_pinning)
***
### [OPAM 1.2.0 public beta released](https://ocamlpro.com/fr/blog/2014_08_14_opam_1.2.0_public_beta_released)
 Auteurs: [OCaml Platform Team](https://ocamlpro.com/fr/blog/authors/ocaml_platform_team)
 Date: 2014-08-14
 Catégorie: [Tooling](https://ocamlpro.com/fr/blog/category/tooling)
 Tags: [opam](https://ocamlpro.com/fr/blog/tag/opam)
It has only been 18 months since the first release of OPAM, but it is already difficult to remember a time when we did OCaml development without it. OPAM has helped bring together much of the open-source code in the OCaml community under a single umbrella, making it easier to discover, depend on, a... [(Lire plus)](https://ocamlpro.com/fr/blog/2014_08_14_opam_1.2.0_public_beta_released)
***
### [OCamlPro Highlights: May-June 2014](https://ocamlpro.com/fr/blog/2014_07_16_ocamlpro_highlights_may_june_2014)
 Auteurs: [Ăagdas Bozman](https://ocamlpro.com/fr/blog/authors/cagdas_bozman)
 Date: 2014-07-16
 Catégorie: [OCamlPro](https://ocamlpro.com/fr/blog/category/ocamlpro)
 Tags: [altergo](https://ocamlpro.com/fr/blog/tag/altergo), [backward compatibility](https://ocamlpro.com/fr/blog/tag/backwardcompatibility), [compiler](https://ocamlpro.com/fr/blog/tag/compiler), [hacking sessions](https://ocamlpro.com/fr/blog/tag/hackingsessions), [opam](https://ocamlpro.com/fr/blog/tag/opam)
Here is a short report on some of our public activities in May and June 2014. Towards OPAM 1.2 After a lot of discussions and work on OPAM itself, we are now getting to a clear workflow for OCaml developpers and packagers: the preliminary document for OPAM 1.2 is available here. The idea is that you... [(Lire plus)](https://ocamlpro.com/fr/blog/2014_07_16_ocamlpro_highlights_may_june_2014)
***
### [Try Alt-Ergo in Your Browser](https://ocamlpro.com/fr/blog/2014_07_15_try_alt_ergo_in_your_browser)
 Auteurs: [Mohamed Iguernlala](https://ocamlpro.com/fr/blog/authors/mohamed_iguernlala)
 Date: 2014-07-15
 Catégorie: [Formal Methods](https://ocamlpro.com/fr/blog/category/formal_methods)
 Tags: [alt-ergo](https://ocamlpro.com/fr/blog/tag/altergo), [browser](https://ocamlpro.com/fr/blog/tag/browser), [Try-Altergo](https://ocamlpro.com/fr/blog/tag/tryaltergo), [JavaScript](https://ocamlpro.com/fr/blog/tag/javascript)
Recently, we worked on an online Javascript-based serverless version of the Alt-Ergo SMT solver. In what follows, we will explain the principle of this version of Alt-Ergo, show how it can be used on a realistic example and compare its performances with bytecode and native binaries of Alt-Ergo. Comp... [(Lire plus)](https://ocamlpro.com/fr/blog/2014_07_15_try_alt_ergo_in_your_browser)
***
### [OCamlPro Highlights: April 2014](https://ocamlpro.com/fr/blog/2014_05_20_ocamlpro_highlights_april_2014)
 Auteurs: [Ăagdas Bozman](https://ocamlpro.com/fr/blog/authors/cagdas_bozman)
 Date: 2014-05-20
 Catégorie: [OCamlPro](https://ocamlpro.com/fr/blog/category/ocamlpro)
 Tags: [highlights](https://ocamlpro.com/fr/blog/tag/highlights), [namespaces](https://ocamlpro.com/fr/blog/tag/namespaces), [weather](https://ocamlpro.com/fr/blog/tag/weather), [source code](https://ocamlpro.com/fr/blog/tag/sourcecode)
Here is a short report on some of our activities in April 2014, and a short analysis of OCaml evolution since its first release. OPAM Improvements We're still working on release 1.2. It was decided to include quite a few new features in this release, which delayed it a little bit since we want to be... [(Lire plus)](https://ocamlpro.com/fr/blog/2014_05_20_ocamlpro_highlights_april_2014)
***
### [The Generic Syntax Extension](https://ocamlpro.com/fr/blog/2014_04_01_the_generic_syntax_extension)
 Auteurs: [Ăagdas Bozman](https://ocamlpro.com/fr/blog/authors/cagdas_bozman)
 Date: 2014-04-01
 Catégorie: [OCaml](https://ocamlpro.com/fr/blog/category/ocaml)
 Tags:
OCaml 4.01 with its new feature to disambiguate constructors allows to do a nice trick: a simple and generic syntax extension that allows to define your own syntax without having to write complicated parsetree transformers. We propose an implementation in the form of a ppx rewriter. it does only a s... [(Lire plus)](https://ocamlpro.com/fr/blog/2014_04_01_the_generic_syntax_extension)
***
### [OCamlPro Highlights: Feb 2014](https://ocamlpro.com/fr/blog/2014_03_05_ocamlpro_highlights_feb_2014)
 Auteurs: [Ăagdas Bozman](https://ocamlpro.com/fr/blog/authors/cagdas_bozman%09)
 Date: 2014-03-05
 Catégorie: [OCamlPro](https://ocamlpro.com/fr/blog/category/ocamlpro)
 Tags: [highlights](https://ocamlpro.com/fr/blog/tag/highlights), [memprof](https://ocamlpro.com/fr/blog/tag/memprof), [ocp-manager](https://ocamlpro.com/fr/blog/tag/ocpmanager)
Here is a short report of some of our activities in February 2014 ! Displaying what OPAM is doing After releasing version 1.1.1, we have been very busy preparing the next big things for OPAM. We have also steadily been improving stability and usability, with a focus on friendly messages: for example... [(Lire plus)](https://ocamlpro.com/fr/blog/2014_03_05_ocamlpro_highlights_feb_2014)
***
### [OCamlPro Highlights: Dec 2013 & Jan 2014](https://ocamlpro.com/fr/blog/2014_02_05_ocamlpro_highlights_dec_2013_jan_2014)
 Auteurs: [Ăagdas Bozman](https://ocamlpro.com/fr/blog/authors/cagdas_bozman)
 Date: 2014-02-05
 Catégorie: [OCamlPro](https://ocamlpro.com/fr/blog/category/ocamlpro)
 Tags: [highlights](https://ocamlpro.com/fr/blog/tag/highlights), [intel](https://ocamlpro.com/fr/blog/tag/intel), [optimisations](https://ocamlpro.com/fr/blog/tag/optimisations)
Here is a short report of some of our activities in last December and January ! A New Intel Backend for ocamlopt With the support of LexiFi, we started working on a new Intel backend for the ocamlopt native code compiler. Currently, there are four Intel backends in ocamlopt: amd64/emit.mlp, amd64/em... [(Lire plus)](https://ocamlpro.com/fr/blog/2014_02_05_ocamlpro_highlights_dec_2013_jan_2014)
***
### [OPAM 1.1.1 released](https://ocamlpro.com/fr/blog/2014_01_29_opam_1.1.1_released)
 Auteurs: [Louis Gesbert](https://ocamlpro.com/fr/blog/authors/louis_gesbert)
 Date: 2014-01-29
 Catégorie: [Tooling](https://ocamlpro.com/fr/blog/category/tooling)
 Tags: [opam](https://ocamlpro.com/fr/blog/tag/opam)
We are proud to announce that OPAM 1.1.1 has just been released. This minor release features mostly stability and UI/doc improvements over OPAM 1.1.0, but also focuses on improving the API and tools to be a better base for the platform (functions for opam-doc, interface with tools like opamfu and op... [(Lire plus)](https://ocamlpro.com/fr/blog/2014_01_29_opam_1.1.1_released)
***
### [OCamlPro Highlights: November 2013](https://ocamlpro.com/fr/blog/2013_12_02_ocamlpro_highlights_november_2013)
 Auteurs: [Fabrice Le Fessant](https://ocamlpro.com/fr/blog/authors/fabrice_le_fessant)
 Date: 2013-12-03
 Catégorie: [OCaml](https://ocamlpro.com/fr/blog/category/ocaml)
 Tags: [ocaml](https://ocamlpro.com/fr/blog/tag/ocaml), [tooling](https://ocamlpro.com/fr/blog/tag/tooling)
New Team Members We are pleased to welcome three new members in our OCamlPro team since the beginning of November: Benjamin Canou started working at OCamlPro on the Richelieu project, an effort to bring better safety and performance to the Scilab language. He is in charge of a type inference algorit... [(Lire plus)](https://ocamlpro.com/fr/blog/2013_12_02_ocamlpro_highlights_november_2013)
***
### [OPAM 1.1.0 released](https://ocamlpro.com/fr/blog/2013_11_08_opam_1.1.0_released)
 Auteurs: [Thomas Gazagnaire](https://ocamlpro.com/fr/blog/authors/thomas_gazagnaire)
 Date: 2013-11-08
 Catégorie: [Tooling](https://ocamlpro.com/fr/blog/category/tooling)
 Tags: [opam](https://ocamlpro.com/fr/blog/tag/opam)
After a while staged as RC, we are proud to announce the final release of OPAM 1.1.0! Thanks again to those who have helped testing and fixing the last few issues. Important note The repository format has been improved with incompatible new features; to account for this, the new repository is now ho... [(Lire plus)](https://ocamlpro.com/fr/blog/2013_11_08_opam_1.1.0_released)
***
### [OCamlPro Highlights, Sept-Oct 2013](https://ocamlpro.com/fr/blog/2013_11_01_ocamlpro_highlights_sept_oct_2013)
 Auteurs: [Ăagdas Bozman](https://ocamlpro.com/fr/blog/authors/cagdas_bozman)
 Date: 2013-11-01
 Catégorie: [OCamlPro](https://ocamlpro.com/fr/blog/category/ocamlpro)
 Tags: [highlights](https://ocamlpro.com/fr/blog/tag/highlights)
Here is a short report of our activities in September-October 2013. OCamlPro at OCamlâ2013 in Boston We were very happy to participate to OCamlâ2013, in Boston. The event was a great success, with a lot of interesting talks and many participants. It was a nice opportunity for us to present some ... [(Lire plus)](https://ocamlpro.com/fr/blog/2013_11_01_ocamlpro_highlights_sept_oct_2013)
***
### [OPAM 1.1.0 release candidate out](https://ocamlpro.com/fr/blog/2013_10_14_opam_1.1.0_release_candidate_out)
 Auteurs: [Louis Gesbert](https://ocamlpro.com/fr/blog/authors/louis_gesbert)
 Date: 2013-10-14
 Catégorie: [Tooling](https://ocamlpro.com/fr/blog/category/tooling)
 Tags: [opam](https://ocamlpro.com/fr/blog/tag/opam)
OPAM 1.1.0 is ready, and we are shipping a release candidate for packagers and all interested to try it out. This version features several bug-fixes over the September beta release, and quite a few stability and usability improvements. Thanks to all beta-testers who have taken the time to file repor... [(Lire plus)](https://ocamlpro.com/fr/blog/2013_10_14_opam_1.1.0_release_candidate_out)
***
### [Alt-Ergo @ OCamlPro: Two months later](https://ocamlpro.com/fr/blog/2013_10_02_alt_ergo_ocamlpro_two_months_later)
 Auteurs: [Mohamed Iguernlala](https://ocamlpro.com/fr/blog/authors/mohamed_iguernlala)
 Date: 2013-10-02
 Catégorie: [Formal Methods](https://ocamlpro.com/fr/blog/category/formal_methods)
 Tags: [alt-ergo](https://ocamlpro.com/fr/blog/tag/altergo)
As announced in a previous post, I joined OCamlPro at the beginning of September and I started working on Alt-Ergo. Here is a report presenting the tool and the work we have done during the two last months. Alt-Ergo at a Glance Alt-Ergo is an open source automatic theorem prover based on SMT technol... [(Lire plus)](https://ocamlpro.com/fr/blog/2013_10_02_alt_ergo_ocamlpro_two_months_later)
***
### [OPAM 1.1.0 beta released](https://ocamlpro.com/fr/blog/2013_09_20_opam_1.1.0_beta_released)
 Auteurs: [Thomas Gazagnaire](https://ocamlpro.com/fr/blog/authors/thomas_gazagnaire)
 Date: 2013-09-20
 Catégorie: [Tooling](https://ocamlpro.com/fr/blog/category/tooling)
 Tags: [opam](https://ocamlpro.com/fr/blog/tag/opam)
We are very happy to announce the beta release of OPAM version 1.1.0! OPAM is a source-based package manager for OCaml. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow which. OPAM is edited and maintained by OCamlPro, wi... [(Lire plus)](https://ocamlpro.com/fr/blog/2013_09_20_opam_1.1.0_beta_released)
***
### [OCamlPro Highlights, August 2013](https://ocamlpro.com/fr/blog/2013_09_04_ocamlpro_highlights_august_2013)
 Auteurs: [Ăagdas Bozman](https://ocamlpro.com/fr/blog/authors/cagdas_bozman)
 Date: 2013-09-04
 Catégorie: [OCamlPro](https://ocamlpro.com/fr/blog/category/ocamlpro)
 Tags: [highlights](https://ocamlpro.com/fr/blog/tag/highlights)
Here is a short report on the different projects we have been working on in August. News from OCamlPro Compiler Optimizations After our reports on better inlining have raised big expectations, we have been working hard on fixing the few remaining bugs. An enhanced alias/constant analysis was added, ... [(Lire plus)](https://ocamlpro.com/fr/blog/2013_09_04_ocamlpro_highlights_august_2013)
***
### [News from July](https://ocamlpro.com/fr/blog/2013_08_05_news_from_july)
 Auteurs: [Ăagdas Bozman](https://ocamlpro.com/fr/blog/authors/cagdas_bozman)
 Date: 2013-08-05
 Catégorie: [OCamlPro](https://ocamlpro.com/fr/blog/category/ocamlpro)
 Tags: [editor](https://ocamlpro.com/fr/blog/tag/editor), [OCaml](https://ocamlpro.com/fr/blog/tag/ocaml), [OCamlPro](https://ocamlpro.com/fr/blog/tag/ocamlpro), [OCamlTop](https://ocamlpro.com/fr/blog/tag/ocamltop)
Once again, here is the summary of our activities for last month. The highlight this month is the release of ocaml-top, an interactive editor for education which works well under Windows and that we hope professors all around the world will use to teach OCaml to their students. We are also continuyi... [(Lire plus)](https://ocamlpro.com/fr/blog/2013_08_05_news_from_july)
***
### [Better Inlining: Progress Report](https://ocamlpro.com/fr/blog/2013_07_11_better_inlining_progress_report)
 Auteurs: [Chambart](https://ocamlpro.com/fr/blog/authors/chambart)
 Date: 2013-07-11
 Catégorie: [OCaml](https://ocamlpro.com/fr/blog/category/ocaml)
 Tags: [OCaml](https://ocamlpro.com/fr/blog/tag/ocaml), [inlining](https://ocamlpro.com/fr/blog/tag/inlining), [flambda](https://ocamlpro.com/fr/blog/tag/flambda)
As announced some time ago, I am working on a new intermediate language within the OCaml compiler to improve its inlining strategy. After some time of bug squashing, I prepared a testable version of the patchset, available either on Github (branch flambda\_experiments), or through OPAM, in the follow... [(Lire plus)](https://ocamlpro.com/fr/blog/2013_07_11_better_inlining_progress_report)
***
### [News from May and June](https://ocamlpro.com/fr/blog/2013_07_01_news_from_may_and_june)
 Auteurs: [Ăagdas Bozman](https://ocamlpro.com/fr/blog/authors/cagdas_bozman)
 Date: 2013-07-01
 Catégorie: [OCamlPro](https://ocamlpro.com/fr/blog/category/ocamlpro)
 Tags: [Compiler](https://ocamlpro.com/fr/blog/tag/compiler), [Development Tools](https://ocamlpro.com/fr/blog/tag/developmenttools), [OCaml](https://ocamlpro.com/fr/blog/tag/ocaml), [OCamlPro](https://ocamlpro.com/fr/blog/tag/ocamlpro), [wxocaml](https://ocamlpro.com/fr/blog/tag/wxocaml)
It is time to give a brief summary of our recent activities. As usual, our contributions were focused on three main objectives: make the OCaml compiler faster and easier to use; make the OCaml developers more efficient by releasing new development tools and improving editor supports; organize and pa... [(Lire plus)](https://ocamlpro.com/fr/blog/2013_07_01_news_from_may_and_june)
***
### [Optimisations you shouldnât do](https://ocamlpro.com/fr/blog/2013_05_24_optimisations_you_shouldnt_do)
 Auteurs: [chambart](https://ocamlpro.com/fr/blog/authors/chambart)
 Date: 2013-05-24
 Catégorie: [OCaml](https://ocamlpro.com/fr/blog/category/ocaml)
 Tags: [OCaml](https://ocamlpro.com/fr/blog/tag/ocaml), [inlining](https://ocamlpro.com/fr/blog/tag/inlining), [flambda](https://ocamlpro.com/fr/blog/tag/flambda)
Doing the compiler's work Working at OCamlPro may have some drawbacks. I spend a lot of time hacking the OCaml compiler. Hence when I write some code, I have a good glimpse of what the generated assembly will look like. This is nice when I want to write performance sensitive code, but as I usually w... [(Lire plus)](https://ocamlpro.com/fr/blog/2013_05_24_optimisations_you_shouldnt_do)
***
### [April Monthly Report](https://ocamlpro.com/fr/blog/2013_04_22_april_monthly_report)
 Auteurs: [Ăagdas Bozman](https://ocamlpro.com/fr/blog/authors/cagdas_bozman)
 Date: 2013-04-22
 Catégorie: [OCamlPro](https://ocamlpro.com/fr/blog/category/ocamlpro)
 Tags: [Memory](https://ocamlpro.com/fr/blog/tag/memory), [OCaml](https://ocamlpro.com/fr/blog/tag/ocaml), [OCamlPro](https://ocamlpro.com/fr/blog/tag/ocamlpro), [ocp-indent](https://ocamlpro.com/fr/blog/tag/ocpindent), [Profiling](https://ocamlpro.com/fr/blog/tag/profiling), [Tools](https://ocamlpro.com/fr/blog/tag/tools)
This post aims at summarizing the activities of OCamlPro for the past month. As usual, we worked in three main areas: the OCaml toolchain, development tools for OCaml and R\&D projects. The toolchain Our multi-runtime implementation of OCaml had gained stability. Luca fixed a lot of low-level bugs in... [(Lire plus)](https://ocamlpro.com/fr/blog/2013_04_22_april_monthly_report)
***
### [wxOCaml, camlidl and Class Modules](https://ocamlpro.com/fr/blog/2013_04_02_wxocaml_camlidl_and_class_modules)
 Auteurs: [Ăagdas Bozman](https://ocamlpro.com/fr/blog/authors/cagdas_bozman)
 Date: 2013-04-02
 Catégorie: [Tooling](https://ocamlpro.com/fr/blog/category/tooling)
 Tags: [OCamlPro](https://ocamlpro.com/fr/blog/tag/ocamlpro), [wxocaml](https://ocamlpro.com/fr/blog/tag/wxocaml), [OCaml](https://ocamlpro.com/fr/blog/tag/ocaml)
Last week, I was bored doing some paperwork, so I decided to hack a little to relieve my mind... Looking for a GUI Framework for OCaml Beginners Some time ago, at OCamlPro, we had discussed the fact that OCaml was lacking more GUI frameworks. Lablgtk is powerful, but I donât like it (and I expect ... [(Lire plus)](https://ocamlpro.com/fr/blog/2013_04_02_wxocaml_camlidl_and_class_modules)
***
### [An Indentation Engine for OCaml](https://ocamlpro.com/fr/blog/2013_03_18_an_indentation_engine_for_ocaml)
 Auteurs: [Louis Gesbert](https://ocamlpro.com/fr/blog/authors/louis_gesbert)
 Date: 2013-03-18
 Catégorie: [Tooling](https://ocamlpro.com/fr/blog/category/tooling)
 Tags: [indentation](https://ocamlpro.com/fr/blog/tag/indentation), [ocp-indent](https://ocamlpro.com/fr/blog/tag/ocpindent)
Since our last activity report we have released the first stable versions of two projects: OPAM, an installation manager for OCaml source packages, and ocp-indent, an indentation tool. We have already described the basics of OPAM in two precedent blog posts, so today we will focus on the release of ... [(Lire plus)](https://ocamlpro.com/fr/blog/2013_03_18_an_indentation_engine_for_ocaml)
***
### [OPAM 1.0.0 released](https://ocamlpro.com/fr/blog/2013_03_15_opam_1.0.0_released)
 Auteurs: [Thomas Gazagnaire](https://ocamlpro.com/fr/blog/authors/thomas_gazagnaire)
 Date: 2013-03-15
 Catégorie: [Tooling](https://ocamlpro.com/fr/blog/category/tooling)
 Tags: [opam](https://ocamlpro.com/fr/blog/tag/opam)
I am very happy to announce the first official release of OPAM! Many of you already know and use OPAM so I won't be long. Please read beta-release-of-opam for a longer description. 1.0.0 fixes many bugs and add few new features to the previously announced beta-release. The most visible new feature, ... [(Lire plus)](https://ocamlpro.com/fr/blog/2013_03_15_opam_1.0.0_released)
***
### [An Overview of our Current Activities](https://ocamlpro.com/fr/blog/2013_02_18_overview_of_current_activities)
 Auteurs: [Ăagdas Bozman](https://ocamlpro.com/fr/blog/authors/cagdas_bozman)
 Date: 2013-02-18
 Catégorie: [OCamlPro](https://ocamlpro.com/fr/blog/category/ocamlpro)
 Tags: [OCamlPro](https://ocamlpro.com/fr/blog/tag/ocamlpro), [OCaml](https://ocamlpro.com/fr/blog/tag/ocaml)
From the early days of OCamlPro, people have been curious about our plans; they were asking how we worked at OCamlPro and what we were doing exactly. Now that we have started releasing projects more regularly, these questions come again. They are very reasonable questions, and have resolved to be mo... [(Lire plus)](https://ocamlpro.com/fr/blog/2013_02_18_overview_of_current_activities)
***
### [Beta Release of OPAM](https://ocamlpro.com/fr/blog/2013_01_17_beta_release_of_opam)
 Auteurs: [Louis Gesbert](https://ocamlpro.com/fr/blog/authors/louis_gesbert)
 Date: 2013-01-17
 Catégorie: [Tooling](https://ocamlpro.com/fr/blog/category/tooling)
 Tags: [beta](https://ocamlpro.com/fr/blog/tag/beta), [release](https://ocamlpro.com/fr/blog/tag/release)
OPAM is a source-based package manager for OCaml. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow. I have recently announced the beta-release of OPAM on the caml-list, and this blog post introduces the basics to new OPAM... [(Lire plus)](https://ocamlpro.com/fr/blog/2013_01_17_beta_release_of_opam)
***
### [OCamlProâs Contributions to OCaml 4.00.0](https://ocamlpro.com/fr/blog/2012_08_20_ocamlpro_contributions_to_400)
 Auteurs: [Fabrice Le Fessant](https://ocamlpro.com/fr/blog/authors/fabrice_le_fessant)
 Date: 2012-08-20
 Catégorie: [OCaml](https://ocamlpro.com/fr/blog/category/ocaml)
 Tags: [ocaml](https://ocamlpro.com/fr/blog/tag/ocaml), [tooling](https://ocamlpro.com/fr/blog/tag/tooling)
OCaml 4.00.0 has been released on July 27, 2012. For the first time, the new OCaml includes some of the work we have been doing during the last year. In this article, I will present our main contributions, mostly funded by Jane Street and Lexifi. Binary Annotations for Advanced Development Tools OCa... [(Lire plus)](https://ocamlpro.com/fr/blog/2012_08_20_ocamlpro_contributions_to_400)
***
### [Profiling OCaml amd64 code under Linux](https://ocamlpro.com/fr/blog/2012_08_08_profiling_ocaml_amd64_code_under_linux)
 Auteurs: [Ăagdas Bozman](https://ocamlpro.com/fr/blog/authors/cagdas_bozman)
 Date: 2012-08-08
 Catégorie: [OCaml](https://ocamlpro.com/fr/blog/category/ocaml)
 Tags: [ocaml](https://ocamlpro.com/fr/blog/tag/ocaml), [tooling](https://ocamlpro.com/fr/blog/tag/tooling)
We have recently worked on modifying the OCaml system to be able to profile OCaml code on Linux amd64 systems, using the processor performance counters now supported by stable kernels. This page presents this work, funded by Jane Street. The patch is provided for OCaml version 4.00.0. If you need it... [(Lire plus)](https://ocamlpro.com/fr/blog/2012_08_08_profiling_ocaml_amd64_code_under_linux)
***
### [Packing and Functors](https://ocamlpro.com/fr/blog/2011_08_10_packing_and_functors)
 Auteurs: [Fabrice Le Fessant](https://ocamlpro.com/fr/blog/authors/fabrice_le_fessant)
 Date: 2011-08-10
 Catégorie: [OCaml](https://ocamlpro.com/fr/blog/category/ocaml)
 Tags: [ocaml](https://ocamlpro.com/fr/blog/tag/ocaml), [tooling](https://ocamlpro.com/fr/blog/tag/tooling)
We have recently worked on modifying the OCaml system to be able to pack a set of modules within a functor, parameterized on some signatures. This page presents this work, funded by Jane Street. All the patches on this page are provided for OCaml version 3.12.1. Packing Functors Installation of the ... [(Lire plus)](https://ocamlpro.com/fr/blog/2011_08_10_packing_and_functors)
***
### [OCaml and Windows](https://ocamlpro.com/fr/blog/2011_06_23_ocaml_and_windows)
 Auteurs: [Fabrice Le Fessant](https://ocamlpro.com/fr/blog/authors/fabrice_le_fessant)
 Date: 2011-06-23
 Catégorie: [Tooling](https://ocamlpro.com/fr/blog/category/tooling)
 Tags: [OCamlPro](https://ocamlpro.com/fr/blog/tag/ocamlpro), [Windows](https://ocamlpro.com/fr/blog/tag/windows), [OCaml](https://ocamlpro.com/fr/blog/tag/ocaml)
Recently, I have been experimenting wiht OCaml / MSVC running on Windows 7 64bit. I have mainly followed what the OCamlâs README.win32 was saying and I learned some NSIS tricks. The result of this experiment is the following two (rather big) windows binaries : ocaml-trunk-64-installer.exe (92 MB) ... [(Lire plus)](https://ocamlpro.com/fr/blog/2011_06_23_ocaml_and_windows)
***
### [OCaml Cheat Sheets](https://ocamlpro.com/fr/blog/2011_06_03_ocaml_cheat_sheets)
 Auteurs: [Fabrice Le Fessant](https://ocamlpro.com/fr/blog/authors/fabrice_le_fessant)
 Date: 2011-06-03
 Catégorie: [Tooling](https://ocamlpro.com/fr/blog/category/tooling)
 Tags: [OCamlPro](https://ocamlpro.com/fr/blog/tag/ocamlpro), [String](https://ocamlpro.com/fr/blog/tag/string), [OCaml](https://ocamlpro.com/fr/blog/tag/ocaml)
When you are beginning in a new programming language, it is sometimes helpful to have an overview of the documentation, that you can pin on your wall and easily have a look at it while you are programming. Since we couldnât find such Cheat Sheets, we decided to start writting our own cheat sheets ... [(Lire plus)](https://ocamlpro.com/fr/blog/2011_06_03_ocaml_cheat_sheets)
***
### [OCaml 32bits longval](https://ocamlpro.com/fr/blog/2011_05_06_ocaml_32bits_longval)
 Auteurs: [Fabrice Le Fessant](https://ocamlpro.com/fr/blog/authors/fabrice_le_fessant)
 Date: 2011-05-06
 Catégorie: [Tooling](https://ocamlpro.com/fr/blog/category/tooling)
 Tags: [OCamlPro](https://ocamlpro.com/fr/blog/tag/ocamlpro), [String](https://ocamlpro.com/fr/blog/tag/string), [OCaml](https://ocamlpro.com/fr/blog/tag/ocaml)
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 ... [(Lire plus)](https://ocamlpro.com/fr/blog/2011_05_06_ocaml_32bits_longval)
#### Archives
2026 (1)
- [Opam 104: Sharing Your Code](https://ocamlpro.com/fr/blog/2026_01_08_opam_104_sharing_your_code)
2025 (4)
- [OCaml Onboarding: Introduction to the Dune build system](https://ocamlpro.com/fr/blog/2025_07_29_ocaml_onboarding_introduction_to_dune)
- [opam 2.4 release](https://ocamlpro.com/fr/blog/2025_07_23_opam_2_4_release)
- [Opam 103: Bootstrapping a New OCaml Project with opam](https://ocamlpro.com/fr/blog/2025_04_29_opam_103_starting_new_project)
- [Flambda2 Ep. 4: How to write a purely functional compiler](https://ocamlpro.com/fr/blog/2025_02_19_the_flambda2_snippets_4)
2024 (13)
- [opam 2.3.0 release\!](https://ocamlpro.com/fr/blog/2024_11_13_opam_2_3_0_releases)
- [Optimisation de Geneweb, 1er logiciel français de Généalogie depuis prÚs de 30 ans](https://ocamlpro.com/fr/blog/2024_11_06_short_news_archeologie_de_la_genealogie)
- [Alt-Ergo 2.6 is Out\!](https://ocamlpro.com/fr/blog/2024_09_01_alt_ergo_2_6_0_released)
- [Flambda2 Ep. 3: Speculative Inlining](https://ocamlpro.com/fr/blog/2024_08_09_the_flambda2_snippets_3)
- [opam 2.2.0 release\!](https://ocamlpro.com/fr/blog/2024_07_01_opam_2_2_0_releases)
- [Flambda2 Ep. 2: Loopifying Tail-Recursive Functions](https://ocamlpro.com/fr/blog/2024_05_07_the_flambda2_snippets_2)
- [Fixing and Optimizing the GnuCOBOL Preprocessor](https://ocamlpro.com/fr/blog/2024_04_30_fixing_and_optimizing_gnucobol)
- [OCaml Backtraces on Uncaught Exceptions](https://ocamlpro.com/fr/blog/2024_04_25_ocaml_backtraces_on_uncaught_exceptions)
- [Opam 102: Pinning Packages](https://ocamlpro.com/fr/blog/2024_03_25_opam_102_pinning_packages)
- [Flambda2 Ep. 1: Foundational Design Decisions](https://ocamlpro.com/fr/blog/2024_03_19_the_flambda2_snippets_1)
- [Behind the Scenes of the OCaml Optimising Compiler Flambda2: Introduction and Roadmap](https://ocamlpro.com/fr/blog/2024_03_18_the_flambda2_snippets_0)
- [Lean 4: When Sound Programs become a Choice](https://ocamlpro.com/fr/blog/2024_03_07_lean4_when_sound_programs_become_a_choice)
- [Opam 101: The First Steps](https://ocamlpro.com/fr/blog/2024_01_23_opam_101_the_first_steps)
2023 (8)
- [Maturing Learn-OCaml to version 1.0: Gateway to the OCaml World](https://ocamlpro.com/fr/blog/2023_12_13_learn_ocaml_gateway_to_the_ocaml_world)
- [The latest release of Alt-Ergo version 2.5.1 is out, with improved SMT-LIB and bitvector support\!](https://ocamlpro.com/fr/blog/2023_09_18_release_of_alt_ergo_2_5_1)
- [2022 at OCamlPro](https://ocamlpro.com/fr/blog/2023_06_30_2022_at_ocamlpro)
- [Autofonce, GNU Autotests Revisited](https://ocamlpro.com/fr/blog/2023_03_18_autofonce)
- [Sub-single-instruction Peano to machine integer conversion](https://ocamlpro.com/fr/blog/2023_01_23_Pea_No_Op)
- [Statically guaranteeing security properties on Java bytecode: Paper presentation at VMCAI 23](https://ocamlpro.com/fr/blog/2023_01_12_vmcai_popl)
- [Release of ocplib-simplex, version 0.5](https://ocamlpro.com/fr/blog/2022_11_25_ocplib-simplex-0.5)
- [The Growth of the OCaml Distribution](https://ocamlpro.com/fr/blog/2023_01_02_ocaml_distribution)
2022 (6)
- [WebAssembly/Wasm and OCaml](https://ocamlpro.com/fr/blog/2022_12_14_wasm_and_ocaml)
- [Alt-Ergo: the SMT solver with model generation](https://ocamlpro.com/fr/blog/2022_11_16_alt-ergo-models)
- [Let's Encrypt Wildcard Certificates Made Easy with Agnos](https://ocamlpro.com/fr/blog/2022_10_05_agnos_0.1.0-beta)
- [opam 2.1.3 is released\!](https://ocamlpro.com/fr/blog/2022_08_12_opam_2.1.3_release)
- [OCamlPro at the JFLA2022 Conference](https://ocamlpro.com/fr/blog/2022_07_12_ocamlpro_at_the_jfla2022)
- [2021 at OCamlPro](https://ocamlpro.com/fr/blog/2022_01_31_2021_at_ocamlpro)
2021 (14)
- [Verification for Dummies: SMT and Induction](https://ocamlpro.com/fr/blog/2021_10_14_verification_for_dummies_smt_and_induction)
- [Generating static and portable executables with OCaml](https://ocamlpro.com/fr/blog/2021_09_02_generating_static_and_portable_executables_with_ocaml)
- [opam 2.1.0 is released\!](https://ocamlpro.com/fr/blog/2021_08_04_opam_2.1.0_is_released)
- [opam 2.0.9 release](https://ocamlpro.com/fr/blog/2021_08_03_opam_2.0.9_release)
- [Detecting identity functions in Flambda](https://ocamlpro.com/fr/blog/2021_07_16_detecting_identity_functions_in_flambda)
- [DĂ©tection de fonctions dâidentitĂ© dans Flambda](https://ocamlpro.com/fr/blog/2021_07_15_fr_detection_de_fonctions_didentite_dans_flambda)
- [opam 2.1.0~rc2 released](https://ocamlpro.com/fr/blog/2021_06_23_opam_2.1.0_rc2_released)
- [Tutorial: Format Module of OCaml](https://ocamlpro.com/fr/blog/2021_05_06_tutorial_format_module_of_ocaml)
- [RĂ©union annuelle du Club des utilisateurs dâAlt-Ergo 2021](https://ocamlpro.com/fr/blog/2021_04_29_reunion_annuelle_du_club_des_utilisateurs_dalt_ergo_2021)
- [New Try-Alt-Ergo](https://ocamlpro.com/fr/blog/2021_03_29_new_try_alt_ergo)
- [opam 2.0.8 release](https://ocamlpro.com/fr/blog/2021_02_08_opam_2.0.8_release)
- [2020 at OCamlPro](https://ocamlpro.com/fr/blog/2021_02_02_2020_at_ocamlpro)
- [Release of Alt-Ergo 2.4.0](https://ocamlpro.com/fr/blog/2021_01_22_release_of_alt_ergo_2_4_0)
- [opam 2.1.0~beta4 released](https://ocamlpro.com/fr/blog/2021_01_13_opam_2.1.0_beta4_released)
2020 (18)
- [Memthol: exploring program profiling](https://ocamlpro.com/fr/blog/2020_12_01_memthol_exploring_program_profiling)
- [Rehabilitating Packs using Functors and Recursivity, part 2.](https://ocamlpro.com/fr/blog/2020_09_30_rehabilitating_packs_using_functors_and_recursivity_part_2)
- [Rehabilitating Packs using Functors and Recursivity, part 1.](https://ocamlpro.com/fr/blog/2020_09_24_rehabilitating_packs_using_functors_and_recursivity_part_1)
- [A Dune Love story: From Liquidity to Love](https://ocamlpro.com/fr/blog/2020_06_09_a_dune_love_story_from_liquidity_to_love)
- [\[Interview\] Sylvain Conchon joins OCamlPro](https://ocamlpro.com/fr/blog/2020_06_06_interview_sylvain_conchon_joins_ocamlpro)
- [\[Interview\] Sylvain Conchon rejoint OCamlPro](https://ocamlpro.com/fr/blog/2020_06_05_fr_interview_sylvain_conchon_rejoint_ocamlpro)
- [Tutoriel Format](https://ocamlpro.com/fr/blog/2020_06_01_fr_tutoriel_format)
- [A Solidity parser in OCaml with Menhir](https://ocamlpro.com/fr/blog/2020_05_19_ocaml_solidity_parser_with_menhir)
- [opam 2.1.0 alpha is here\!](https://ocamlpro.com/fr/blog/2020_04_22_opam_2.1.0_alpha_is_here)
- [opam 2.0.7 release](https://ocamlpro.com/fr/blog/2020_04_21_opam_2.0.7_release)
- [Le nouveau GC dâOCaml 4.10 : premier aperçu de la stratĂ©gie best-fit](https://ocamlpro.com/fr/blog/2020_03_24_fr_le_nouveau_gc_docaml_4.10_premier_apercu_de_la_strategie_best_fit)
- [An in-depth Look at OCamlâs new âBest-fitâ Garbage Collector Strategy](https://ocamlpro.com/fr/blog/2020_03_23_in_depth_look_at_best_fit_gc)
- [New version of TryOCaml in beta\!](https://ocamlpro.com/fr/blog/2020_03_16_new_version_of_try_ocaml_in_beta)
- [RĂ©union annuelle du Club des utilisateurs dâAlt-Ergo](https://ocamlpro.com/fr/blog/2020_03_03_reunion_annuelle_du_club_des_utilisateurs_dalt_ergo)
- [2019 chez OCamlPro](https://ocamlpro.com/fr/blog/2020_02_05_fr_2019_chez_ocamlpro)
- [2019 at OCamlPro](https://ocamlpro.com/fr/blog/2020_02_04_2019_at_ocamlpro)
- [opam 2.0.6 release](https://ocamlpro.com/fr/blog/2020_01_16_opam_2.0.6_release)
- [The Opam 2.0 cheatsheet, with a new theme\!](https://ocamlpro.com/fr/blog/2020_01_10_opam_2.0_cheat_sheet)
2019 (27)
- [Des nouvelles de la part de l'équipe compilateur d'OCamlPro](https://ocamlpro.com/fr/blog/2019_09_30_fr_travaux_sur_le_compilateur_ocaml_dernieres_nouvelles)
- [Formations OCaml par OCamlPro : 5-6 et 7-8 novembre 2019](https://ocamlpro.com/fr/blog/2019_09_26_fr_formations_ocaml_par_ocamlpro_5_6_et_7_8_novembre_2019)
- [OCaml expert and beginner training by OCamlPro (in French): Nov. 5-6 & 7-8](https://ocamlpro.com/fr/blog/2019_09_25_ocaml_expert_and_beginner_training_by_ocamlpro_in_french_nov_5_6_7_8)
- [A look back on OCaml since 2011](https://ocamlpro.com/fr/blog/2019_09_20_look_back_ocaml_since_2011)
- [Mise Ă jour des Cheat Sheets : OCaml Language et OCaml Standard Library](https://ocamlpro.com/fr/blog/2019_09_14_fr_mise_a_jour_des_cheat_sheets_ocaml_language_et_ocaml_standard_library)
- [Updated Cheat Sheets: OCaml Language and OCaml Standard Library](https://ocamlpro.com/fr/blog/2019_09_13_updated_cheat_sheets_language_stdlib_2)
- [OCamlProâs compiler team work update](https://ocamlpro.com/fr/blog/2019_08_30_ocamlpros_compiler_team_work_update)
- [Release dâopam 2.0.5](https://ocamlpro.com/fr/blog/2019_07_23_fr_release_dopam_2.0.5)
- [opam 2.0.5 release](https://ocamlpro.com/fr/blog/2019_07_11_opam_2.0.5_release)
- [Résultats de la SMT-Comp 2019 pour Alt-Ergo](https://ocamlpro.com/fr/blog/2019_07_10_results_smt_comp_2019)
- [The Alt-Ergo SMT Solverâs results in the SMT-COMP 2019](https://ocamlpro.com/fr/blog/2019_07_09_alt_ergo_participation_to_the_smt_comp_2019)
- [Blockchains @ OCamlPro: an Overview](https://ocamlpro.com/fr/blog/2019_04_29_blockchains_at_ocamlpro_an_overview)
- [opam 2.0.4 release](https://ocamlpro.com/fr/blog/2019_04_10_opam_2.0.4_release)
- [opam 2.0 tips](https://ocamlpro.com/fr/blog/2019_03_12_opam_2.0_tips)
- [Release : Liquidity version 1.0 \!](https://ocamlpro.com/fr/blog/2019_03_09_release_liquidity_v1_smart_contracts_language)
- [Announcing Liquidity version 1.0](https://ocamlpro.com/fr/blog/2019_03_08_announcing_liquidity_version_1_0)
- [Release de Techelson, moteur de tests pour Michelson et Liquidity](https://ocamlpro.com/fr/blog/2019_03_07_fr_release_de_techelson_moteur_de_tests_pour_michelson_et_liquidity)
- [Techelson, a test execution engine for Michelson](https://ocamlpro.com/fr/blog/2019_03_06_techelson_a_test_execution_engine_for_michelson)
- [Signing Data for Smart Contracts](https://ocamlpro.com/fr/blog/2019_03_05_signing_data_for_smart_contracts)
- [What's new for Alt-Ergo in 2018? Here is a recap\!](https://ocamlpro.com/fr/blog/2019_02_11_whats_new_for_alt_ergo_in_2018_here_is_a_recap)
- [Optimisation du stockage dans Tezos : une branche de test sur Gitlab](https://ocamlpro.com/fr/blog/2019_02_05_fr_optimisation_du_stockage_dans_tezos_une_branche_de_test_sur_gitlab)
- [Improving Tezos Storage : Gitlab branch for testers](https://ocamlpro.com/fr/blog/2019_02_04_improving_tezos_storage_gitlab_branch_for_testers)
- [Tezos et OCamlPro](https://ocamlpro.com/fr/blog/2019_01_31_fr_tezos_et_ocamlpro)
- [Improving Tezos Storage : update and beta-testing](https://ocamlpro.com/fr/blog/2019_01_30_improving_tezos_storage_update_and_beta_testing)
- [Tezos and OCamlPro](https://ocamlpro.com/fr/blog/2019_01_29_tezos_and_ocamlpro)
- [opam 2.0.3 release](https://ocamlpro.com/fr/blog/2019_01_28_opam_2.0.3_release)
- [Improving Tezos Storage](https://ocamlpro.com/fr/blog/2019_01_15_improving_tezos_storage)
2018 (23)
- [opam 2.0.2 release](https://ocamlpro.com/fr/blog/2018_12_12_opam_2.0.2_release)
- [An Introduction to Tezos RPCs: Signing Operations](https://ocamlpro.com/fr/blog/2018_11_21_an_introduction_to_tezos_rpcs_signing_operations)
- [Introduction aux RPCs dans Tezos : exemple dâun portefeuille (wallet) simple](https://ocamlpro.com/fr/blog/2018_11_20_fr_introduction_aux_rpcs_dans_tezos_exemple_dun_portefeuille_wallet_simple)
- [An Introduction to Tezos RPCs: a Basic Wallet](https://ocamlpro.com/fr/blog/2018_11_15_an-introduction_to_tezos_rpcs_a_basic_wallet)
- [First Open-Source Release of TzScan](https://ocamlpro.com/fr/blog/2018_11_08_first_open_source_release_of_tzscan)
- [Liquidity Tutorial: A Game with an Oracle for Random Numbers](https://ocamlpro.com/fr/blog/2018_11_06_liquidity_tutorial_a_game_with_an_oracle_for_random_numbers)
- [opam 2.0.1 is out\!](https://ocamlpro.com/fr/blog/2018_10_24_opam_2.0.1_is_out)
- [OCamlProâs TzScan grant proposal accepted by the Tezos Foundation â joint press release](https://ocamlpro.com/fr/blog/2018_10_17_ocamlpros_tzscan_grant_proposal_accepted_by_the_tezos_foundation_joint_press_release)
- [opam 2.0.0 release and repository upgrade](https://ocamlpro.com/fr/blog/2018_09_19_opam_2.0.0_release_and_repository_upgrade)
- [Last stretch! Repository upgrade and opam 2.0.0 roadmap](https://ocamlpro.com/fr/blog/2018_08_02_last_stretch_repository_upgrade_and_opam_2.0.0_roadmap)
- [opam 2.0.0 RC4-final is out\!](https://ocamlpro.com/fr/blog/2018_07_26_opam_2.0.0_rc4_final_is_out)
- [OCamlProâs Tezos block explorer TzScanâs last updates](https://ocamlpro.com/fr/blog/2018_07_20_new_updates_on_tzscan_2)
- [opam 2.0.0 Release Candidate 3 is out\!](https://ocamlpro.com/fr/blog/2018_06_22_opam_2.0.0_release_candidate_3_is_out)
- [opam 2.0.0 Release Candidate 2 is out\!](https://ocamlpro.com/fr/blog/2018_05_22_opam_2.0.0_release_candidate_2_is_out)
- [Release of Alt-Ergo 2.2.0](https://ocamlpro.com/fr/blog/2018_04_23_release_of_alt_ergo_2_2_0)
- [Taskforce on the Tezos Protocol, and TzScan evolution](https://ocamlpro.com/fr/blog/2018_04_13_taskforce_on_the_tezos_protocol_and_tzscan_evolution)
- [OCaml JTRT](https://ocamlpro.com/fr/blog/2018_04_01_ocaml_jtrt)
- [Release of Alt-Ergo 2.1.0](https://ocamlpro.com/fr/blog/2018_03_15_release_of_alt_ergo_2_1_0)
- [New updates on TzScan](https://ocamlpro.com/fr/blog/2018_03_14_new_updates_on_tzscan)
- [Release of a first version of TzScan, a Tezos block explorer](https://ocamlpro.com/fr/blog/2018_02_14_release_of_a_first_version_of_tzscan_io_a_tezos_block_explorer)
- [OCamlProâs Liquidity-lang demo at JFLA2018 â a smart-contract design language](https://ocamlpro.com/fr/blog/2018_02_08_liquidity_smart_contract_deploy_live_demo_on_tezos_alphanet_jfla2018)
- [opam 2.0.0 Release Candidate 1 is out\!](https://ocamlpro.com/fr/blog/2018_02_02_opam_2.0.0_release_candidate_1_is_out)
- [2017 at OCamlPro](https://ocamlpro.com/fr/blog/2018_01_15_2017_at_ocamlpro)
2017 (7)
- [opam 2.0 Beta5 is out\!](https://ocamlpro.com/fr/blog/2017_11_27_opam_2.0_beta5_is_out)
- [new opam features: more expressive dependencies](https://ocamlpro.com/fr/blog/2017_05_11_new_opam_features_more_expressive_dependencies)
- [new opam features: "opam install DIR"](https://ocamlpro.com/fr/blog/2017_05_04_new_opam_features_opam_install_dir)
- [new opam features: local switches](https://ocamlpro.com/fr/blog/2017_04_27_new_opam_features_local_switches)
- [EzSudoku](https://ocamlpro.com/fr/blog/2017_04_01_ezsudoku)
- [new opam features: "opam build"](https://ocamlpro.com/fr/blog/2017_03_16_new_opam_features_opam_build)
- [opam 2.0 Beta is out\!](https://ocamlpro.com/fr/blog/2017_02_09_opam_2.0_beta_is_out)
2016 (4)
- [Release of Alt-Ergo 1.30 with experimental support for models generation](https://ocamlpro.com/fr/blog/2016_11_21_release_of_alt_ergo_1_30_with_experimental_support_for_models_generation)
- [opam-lib 1.3 available](https://ocamlpro.com/fr/blog/2016_11_20_opam_lib_1.3_available)
- [opam 2.0 preview release\!](https://ocamlpro.com/fr/blog/2016_09_20_opam_2.0_preview_release)
- [ASM.OCaml](https://ocamlpro.com/fr/blog/2016_04_01_asm_ocaml)
2015 (7)
- [Signing the OPAM repository](https://ocamlpro.com/fr/blog/2015_06_05_signing_the_opam_repository)
- [Reduced Memory Allocations with ocp-memprof](https://ocamlpro.com/fr/blog/2015_05_18_reduced_memory_allocations_with_ocp_memprof)
- [OPAM 1.2.2 Released](https://ocamlpro.com/fr/blog/2015_05_07_opam_1.2.2_released)
- [wxOCaml, camlidl and Class Modules](https://ocamlpro.com/fr/blog/2015_04_13_yes_ocp_memprof_scanf)
- [OPAM 1.2.1 Released](https://ocamlpro.com/fr/blog/2015_03_18_opam_1.2.1_released)
- [Cumulus and ocp-memprof, a love story](https://ocamlpro.com/fr/blog/2015_03_04_cumulus_and_ocp_memprof_a_love_story)
- [Private Release of Alt-Ergo 1.00](https://ocamlpro.com/fr/blog/2015_01_29_private_release_of_alt_ergo_1_00)
2014 (11)
- [OPAM 1.2 and Travis CI](https://ocamlpro.com/fr/blog/2014_12_18_opam_1.2_and_travis_ci)
- [OPAM 1.2.0 Released](https://ocamlpro.com/fr/blog/2014_10_23_opam_1.2.0_released)
- [OPAM 1.2: Repository Pinning](https://ocamlpro.com/fr/blog/2014_08_19_opam_1.2_repository_pinning)
- [OPAM 1.2.0 public beta released](https://ocamlpro.com/fr/blog/2014_08_14_opam_1.2.0_public_beta_released)
- [OCamlPro Highlights: May-June 2014](https://ocamlpro.com/fr/blog/2014_07_16_ocamlpro_highlights_may_june_2014)
- [Try Alt-Ergo in Your Browser](https://ocamlpro.com/fr/blog/2014_07_15_try_alt_ergo_in_your_browser)
- [OCamlPro Highlights: April 2014](https://ocamlpro.com/fr/blog/2014_05_20_ocamlpro_highlights_april_2014)
- [The Generic Syntax Extension](https://ocamlpro.com/fr/blog/2014_04_01_the_generic_syntax_extension)
- [OCamlPro Highlights: Feb 2014](https://ocamlpro.com/fr/blog/2014_03_05_ocamlpro_highlights_feb_2014)
- [OCamlPro Highlights: Dec 2013 & Jan 2014](https://ocamlpro.com/fr/blog/2014_02_05_ocamlpro_highlights_dec_2013_jan_2014)
- [OPAM 1.1.1 released](https://ocamlpro.com/fr/blog/2014_01_29_opam_1.1.1_released)
2013 (17)
- [OCamlPro Highlights: November 2013](https://ocamlpro.com/fr/blog/2013_12_02_ocamlpro_highlights_november_2013)
- [OPAM 1.1.0 released](https://ocamlpro.com/fr/blog/2013_11_08_opam_1.1.0_released)
- [OCamlPro Highlights, Sept-Oct 2013](https://ocamlpro.com/fr/blog/2013_11_01_ocamlpro_highlights_sept_oct_2013)
- [OPAM 1.1.0 release candidate out](https://ocamlpro.com/fr/blog/2013_10_14_opam_1.1.0_release_candidate_out)
- [Alt-Ergo @ OCamlPro: Two months later](https://ocamlpro.com/fr/blog/2013_10_02_alt_ergo_ocamlpro_two_months_later)
- [OPAM 1.1.0 beta released](https://ocamlpro.com/fr/blog/2013_09_20_opam_1.1.0_beta_released)
- [OCamlPro Highlights, August 2013](https://ocamlpro.com/fr/blog/2013_09_04_ocamlpro_highlights_august_2013)
- [News from July](https://ocamlpro.com/fr/blog/2013_08_05_news_from_july)
- [Better Inlining: Progress Report](https://ocamlpro.com/fr/blog/2013_07_11_better_inlining_progress_report)
- [News from May and June](https://ocamlpro.com/fr/blog/2013_07_01_news_from_may_and_june)
- [Optimisations you shouldnât do](https://ocamlpro.com/fr/blog/2013_05_24_optimisations_you_shouldnt_do)
- [April Monthly Report](https://ocamlpro.com/fr/blog/2013_04_22_april_monthly_report)
- [wxOCaml, camlidl and Class Modules](https://ocamlpro.com/fr/blog/2013_04_02_wxocaml_camlidl_and_class_modules)
- [An Indentation Engine for OCaml](https://ocamlpro.com/fr/blog/2013_03_18_an_indentation_engine_for_ocaml)
- [OPAM 1.0.0 released](https://ocamlpro.com/fr/blog/2013_03_15_opam_1.0.0_released)
- [An Overview of our Current Activities](https://ocamlpro.com/fr/blog/2013_02_18_overview_of_current_activities)
- [Beta Release of OPAM](https://ocamlpro.com/fr/blog/2013_01_17_beta_release_of_opam)
2012 (2)
- [OCamlProâs Contributions to OCaml 4.00.0](https://ocamlpro.com/fr/blog/2012_08_20_ocamlpro_contributions_to_400)
- [Profiling OCaml amd64 code under Linux](https://ocamlpro.com/fr/blog/2012_08_08_profiling_ocaml_amd64_code_under_linux)
2011 (4)
- [Packing and Functors](https://ocamlpro.com/fr/blog/2011_08_10_packing_and_functors)
- [OCaml and Windows](https://ocamlpro.com/fr/blog/2011_06_23_ocaml_and_windows)
- [OCaml Cheat Sheets](https://ocamlpro.com/fr/blog/2011_06_03_ocaml_cheat_sheets)
- [OCaml 32bits longval](https://ocamlpro.com/fr/blog/2011_05_06_ocaml_32bits_longval)
[ S'abonner via RSS](https://ocamlpro.com/blog/feed)
***
© 2011â2025 OCamlPro · [Twitter](https://twitter.com/ocamlpro) · [LinkedIn](https://www.linkedin.com/company/2152404/) · [Email](mailto:contact@ocamlpro.com) · [Tel](tel:+33184800481) · [21 rue de ChĂątillon, 75014 Paris, France](https://www.openstreetmap.org/node/2996094140) · [Notice LĂ©gale](https://ocamlpro.com/legal-notice) · [](https://ocamlpro.com/blog/feed) |
| Readable Markdown | null |
| Shard | 145 (laksa) |
| Root Hash | 7605753165184659145 |
| Unparsed URL | com,ocamlpro!/fr/blog/all/ s443 |