đŸ•·ïž Crawler Inspector

URL Lookup

Direct Parameter Lookup

Raw Queries and Responses

1. Shard Calculation

Query:
Response:
Calculated Shard: 145 (from laksa083)

2. Crawled Status Check

Query:
Response:

3. Robots.txt Check

Query:
Response:

4. Spam/Ban Check

Query:
Response:

5. Seen Status Check

â„č Skipped - page is already crawled

📄
INDEXABLE
✅
CRAWLED
6 days ago
đŸ€–
ROBOTS ALLOWED

Page Info Filters

FilterStatusConditionDetails
HTTP statusPASSdownload_http_code = 200HTTP 200
Age cutoffPASSdownload_stamp > now() - 6 MONTH0.2 months ago
History dropPASSisNull(history_drop_reason)No drop reason
Spam/banPASSfh_dont_index != 1 AND ml_spam_score = 0ml_spam_score=0
CanonicalPASSmeta_canonical IS NULL OR = '' OR = src_unparsedNot set

Page Details

PropertyValue
URLhttps://ocamlpro.com/fr/blog/all/
Last Crawled2026-04-03 11:09:58 (6 days ago)
First Indexed2023-02-12 09:56:22 (3 years ago)
HTTP Status Code200
Meta TitleLe blog d'OCamlPro | OCamlPro
Meta DescriptionOCamlPro 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 Canonicalnull
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
[![OCamlPro](https://ocamlpro.com/assets/img/logo_ocamlpro.svg)](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/blog/assets/img/icon_home.svg)](https://ocamlpro.com/fr/blog) [![](https://ocamlpro.com/blog/assets/img/icon_atom_feed.svg)](https://ocamlpro.com/blog/feed) [CatĂ©gories ![](https://ocamlpro.com/blog/assets/img/icon_categories.svg)](https://ocamlpro.com/fr/blog/category) *** ### [Opam 104: Sharing Your Code](https://ocamlpro.com/fr/blog/2026_01_08_opam_104_sharing_your_code) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [Raja Boujbel](https://ocamlpro.com/fr/blog/authors/raja_boujbel), [Dario Pinto](https://ocamlpro.com/fr/blog/authors/dario_pinto) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2026-01-08 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [Trainings](https://ocamlpro.com/fr/blog/category/trainings) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [Raja Boujbel](https://ocamlpro.com/fr/blog/authors/raja_boujbel), [Dario Pinto](https://ocamlpro.com/fr/blog/authors/dario_pinto) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2025-07-29 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [Trainings](https://ocamlpro.com/fr/blog/category/trainings) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) 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\)) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2025-07-23 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [Tooling](https://ocamlpro.com/fr/blog/category/tooling) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) 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_) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2025-04-19 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [Trainings](https://ocamlpro.com/fr/blog/category/trainings) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2025-02-19 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [OCaml](https://ocamlpro.com/fr/blog/category/ocaml) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2024-11-13 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [Tooling](https://ocamlpro.com/fr/blog/category/tooling) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [Fabrice Le Fessant](https://ocamlpro.com/fr/blog/authors/fabrice_le_fessant) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2024-11-06 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [News](https://ocamlpro.com/fr/blog/category/news) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [Basile ClĂ©ment](https://ocamlpro.com/fr/blog/authors/basile_clement), [Pierre Villemot](https://ocamlpro.com/fr/blog/authors/_pierre_villemot) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2024-09-30 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [Formal Methods](https://ocamlpro.com/fr/blog/category/formal_methods) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2024-08-09 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [OCaml](https://ocamlpro.com/fr/blog/category/ocaml) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2024-07-01 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [Tooling](https://ocamlpro.com/fr/blog/category/tooling) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2024-05-07 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [OCaml](https://ocamlpro.com/fr/blog/category/ocaml) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [Fabrice Le Fessant](https://ocamlpro.com/fr/blog/authors/fabrice_le_fessant) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2024-04-30 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [GnuCOBOL](https://ocamlpro.com/fr/blog/category/gnucobol) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [Louis Gesbert](https://ocamlpro.com/fr/blog/authors/louis_gesbert) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2024-04-25 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [OCaml](https://ocamlpro.com/fr/blog/category/ocaml) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [Dario Pinto](https://ocamlpro.com/fr/blog/authors/dario_pinto), [Raja Boujbel](https://ocamlpro.com/fr/blog/authors/raja_boujbel) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2024-03-25 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [Trainings](https://ocamlpro.com/fr/blog/category/trainings) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2024-03-19 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [OCaml](https://ocamlpro.com/fr/blog/category/ocaml) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2024-03-18 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [OCaml](https://ocamlpro.com/fr/blog/category/ocaml) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [Adrien Champion](https://ocamlpro.com/fr/blog/authors/adrien_champion), [Dario Pinto](https://ocamlpro.com/fr/blog/authors/dario_pinto) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2024-03-07 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [Formal Methods](https://ocamlpro.com/fr/blog/category/formal_methods) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [Dario Pinto](https://ocamlpro.com/fr/blog/authors/dario_pinto), [Raja Boujbel](https://ocamlpro.com/fr/blog/authors/raja_boujbel) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2024-01-23 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [Trainings](https://ocamlpro.com/fr/blog/category/trainings) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [Dario Pinto](https://ocamlpro.com/fr/blog/authors/dario_pinto) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2023-12-13 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [Tooling](https://ocamlpro.com/fr/blog/category/tooling) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [Pierre Villemot](https://ocamlpro.com/fr/blog/authors/pierre_villemot) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2023-09-18 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [Formal Methods](https://ocamlpro.com/fr/blog/category/formal_methods) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [Dario Pinto](https://ocamlpro.com/fr/blog/authors/dario_pinto), [OCamlPro](https://ocamlpro.com/fr/blog/authors/ocamlpro) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2023-06-30 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [OCamlPro](https://ocamlpro.com/fr/blog/category/ocamlpro) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [Fabrice Le Fessant](https://ocamlpro.com/fr/blog/authors/fabrice_le_fessant) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2023-06-27 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [OCaml](https://ocamlpro.com/fr/blog/category/ocaml) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [Arthur Carcano](https://ocamlpro.com/fr/blog/authors/arthur_carcano) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2023-01-23 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [Rust](https://ocamlpro.com/fr/blog/category/rust) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [Nicolas Berthier](https://ocamlpro.com/fr/blog/authors/nicolas_berthier) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2023-01-12 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [Formal Methods](https://ocamlpro.com/fr/blog/category/formal_methods) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2023-01-05 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [Formal Methods](https://ocamlpro.com/fr/blog/category/formal_methods) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [Fabrice Le Fessant](https://ocamlpro.com/fr/blog/authors/fabrice_le_fessant) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2023-01-02 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [OCaml](https://ocamlpro.com/fr/blog/category/ocaml) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [LĂ©o AndrĂšs](https://ocamlpro.com/fr/blog/authors/leo_andres), [Pierre Chambart](https://ocamlpro.com/fr/blog/authors/pierre_chambart) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2022-12-14 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [OCaml](https://ocamlpro.com/fr/blog/category/ocaml) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2022-11-16 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [Formal Methods](https://ocamlpro.com/fr/blog/category/formal_methods) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [Arthur Carcano](https://ocamlpro.com/fr/blog/authors/arthur_carcano), [OCamlPro](https://ocamlpro.com/fr/blog/authors/ocamlpro) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2022-10-05 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [Rust](https://ocamlpro.com/fr/blog/category/rust) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [Raja Boujbel](https://ocamlpro.com/fr/blog/authors/raja_boujbel), [OCamlPro](https://ocamlpro.com/fr/blog/authors/ocamlpro) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2022-08-12 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [Tooling](https://ocamlpro.com/fr/blog/category/tooling) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [OCamlPro](https://ocamlpro.com/fr/blog/authors/ocamlpro), [Dario Pinto](https://ocamlpro.com/fr/blog/authors/dario_pinto) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2022-07-12 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [OCamlPro](https://ocamlpro.com/fr/blog/category/ocamlpro) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [Muriel](https://ocamlpro.com/fr/blog/authors/muriel), [OCamlPro](https://ocamlpro.com/fr/blog/authors/ocamlpro) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2022-01-31 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [OCamlPro](https://ocamlpro.com/fr/blog/category/ocamlpro) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [Adrien Champion](https://ocamlpro.com/fr/blog/authors/adrien_champion) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2021-10-14 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [Formal Methods](https://ocamlpro.com/fr/blog/category/formal_methods) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [Louis Gesbert](https://ocamlpro.com/fr/blog/authors/louis_gesbert) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2021-09-02 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [Tooling](https://ocamlpro.com/fr/blog/category/tooling) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2021-08-04 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [Tooling](https://ocamlpro.com/fr/blog/category/tooling) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [Raja Boujbel](https://ocamlpro.com/fr/blog/authors/raja_boujbel), [Louis Gesbert](https://ocamlpro.com/fr/blog/authors/louis_gesbert) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2021-08-03 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [Tooling](https://ocamlpro.com/fr/blog/category/tooling) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [Leo Boitel](https://ocamlpro.com/fr/blog/authors/leo_boitel) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2021-07-16 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [OCaml](https://ocamlpro.com/fr/blog/category/ocaml) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [Leo Boitel](https://ocamlpro.com/fr/blog/authors/leo_boitel) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2021-07-15 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [OCaml](https://ocamlpro.com/fr/blog/category/ocaml) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [David Allsopp (OCamlLabs)](https://ocamlpro.com/fr/blog/authors/david_allsopp_\(ocamllabs\)) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2021-06-23 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [Tooling](https://ocamlpro.com/fr/blog/category/tooling) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [OCamlPro](https://ocamlpro.com/fr/blog/authors/ocamlpro) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2021-05-06 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [Trainings](https://ocamlpro.com/fr/blog/category/trainings) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [OCamlPro](https://ocamlpro.com/fr/blog/authors/ocamlpro) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2021-04-29 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [Formal Methods](https://ocamlpro.com/fr/blog/category/formal_methods) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [Albin Coquereau](https://ocamlpro.com/fr/blog/authors/albin_coquereau) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2021-03-29 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [Formal Methods](https://ocamlpro.com/fr/blog/category/formal_methods) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [Raja Boujbel](https://ocamlpro.com/fr/blog/authors/raja_boujbel), [Louis Gesbert](https://ocamlpro.com/fr/blog/authors/louis_gesbert) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2021-02-08 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [Tooling](https://ocamlpro.com/fr/blog/category/tooling) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [Muriel](https://ocamlpro.com/fr/blog/authors/muriel), [OCamlPro](https://ocamlpro.com/fr/blog/authors/ocamlpro) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2021-02-02 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [OCamlPro](https://ocamlpro.com/fr/blog/category/ocamlpro) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [Albin Coquereau](https://ocamlpro.com/fr/blog/authors/albin_coquereau) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2021-01-22 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [Formal Methods](https://ocamlpro.com/fr/blog/category/formal_methods) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [David Allsopp (OCamlLabs)](https://ocamlpro.com/fr/blog/authors/david_allsopp_\(ocamllabs\)) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2021-01-13 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [Tooling](https://ocamlpro.com/fr/blog/category/tooling) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [Adrien Champion](https://ocamlpro.com/fr/blog/authors/adrien_champion) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2020-12-01 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [Rust](https://ocamlpro.com/fr/blog/category/rust) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [Pierrick Couderc](https://ocamlpro.com/fr/blog/authors/pierrick_couderc) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2020-09-30 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [OCaml](https://ocamlpro.com/fr/blog/category/ocaml) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [Pierrick Couderc](https://ocamlpro.com/fr/blog/authors/pierrick_couderc) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2020-09-24 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [OCaml](https://ocamlpro.com/fr/blog/category/ocaml) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [Steven De Oliveira](https://ocamlpro.com/fr/blog/authors/steven_de_oliveira) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2020-06-09 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [Blockchains](https://ocamlpro.com/fr/blog/category/blockchains) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [Aurore Dombry](https://ocamlpro.com/fr/blog/authors/aurore_dombry) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2020-06-06 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [OCamlPro](https://ocamlpro.com/fr/blog/category/ocamlpro) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [Aurore Dombry](https://ocamlpro.com/fr/blog/authors/aurore_dombry) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2020-06-05 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [OCamlPro](https://ocamlpro.com/fr/blog/category/ocamlpro) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [OCamlPro](https://ocamlpro.com/fr/blog/authors/ocamlpro) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2020-06-01 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [Trainings](https://ocamlpro.com/fr/blog/category/trainings) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [David Declerck](https://ocamlpro.com/fr/blog/authors/david_declerck) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2020-05-19 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [Blockchains](https://ocamlpro.com/fr/blog/category/blockchains) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [Raja Boujbel](https://ocamlpro.com/fr/blog/authors/raja_boujbel), [Louis Gesbert](https://ocamlpro.com/fr/blog/authors/louis_gesbert) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2020-04-22 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [Tooling](https://ocamlpro.com/fr/blog/category/tooling) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [Raja Boujbel](https://ocamlpro.com/fr/blog/authors/raja_boujbel), [Louis Gesbert](https://ocamlpro.com/fr/blog/authors/louis_gesbert) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2020-04-21 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [Tooling](https://ocamlpro.com/fr/blog/category/tooling) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [Thomas Blanc](https://ocamlpro.com/fr/blog/authors/thomas_blanc) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2020-03-24 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [OCaml](https://ocamlpro.com/fr/blog/category/ocaml) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [Thomas Blanc](https://ocamlpro.com/fr/blog/authors/thomas_blanc) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2020-03-23 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [OCaml](https://ocamlpro.com/fr/blog/category/ocaml) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [Louis Gesbert](https://ocamlpro.com/fr/blog/authors/louis_gesbert) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2020-03-16 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [Tooling](https://ocamlpro.com/fr/blog/category/tooling) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [Aurore Dromby](https://ocamlpro.com/fr/blog/authors/aurore_dromby) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2020-03-03 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [Formal Methods](https://ocamlpro.com/fr/blog/category/formal_methods) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [OCamlPro](https://ocamlpro.com/fr/blog/authors/ocamlpro) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2020-02-05 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [OCamlPro](https://ocamlpro.com/fr/blog/category/ocamlpro) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [Muriel](https://ocamlpro.com/fr/blog/authors/muriel), [OCamlPro](https://ocamlpro.com/fr/blog/authors/ocamlpro) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2020-02-04 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [OCamlPro](https://ocamlpro.com/fr/blog/category/ocamlpro) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [Raja Boujbel](https://ocamlpro.com/fr/blog/authors/raja_boujbel), [Louis Gesbert](https://ocamlpro.com/fr/blog/authors/louis_gesbert) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2020-01-16 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [Tooling](https://ocamlpro.com/fr/blog/category/tooling) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [Thomas Blanc](https://ocamlpro.com/fr/blog/authors/thomas_blanc) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2020-01-10 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [Tooling](https://ocamlpro.com/fr/blog/category/tooling) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [Vincent Laviron](https://ocamlpro.com/fr/blog/authors/vincent_laviron) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2019-09-30 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [OCaml](https://ocamlpro.com/fr/blog/category/ocaml) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [OCamlPro](https://ocamlpro.com/fr/blog/authors/ocamlpro) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2019-09-26 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [Trainings](https://ocamlpro.com/fr/blog/category/trainings) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [OCamlPro](https://ocamlpro.com/fr/blog/authors/ocamlpro) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2019-09-25 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [Trainings](https://ocamlpro.com/fr/blog/category/trainings) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [Thomas Blanc](https://ocamlpro.com/fr/blog/authors/thomas_blanc) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2019-09-20 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [OCaml](https://ocamlpro.com/fr/blog/category/ocaml) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [Thomas Blanc](https://ocamlpro.com/fr/blog/authors/thomas_blanc) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2019-09-14 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [OCaml](https://ocamlpro.com/fr/blog/category/ocaml) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [Thomas Blanc](https://ocamlpro.com/fr/blog/authors/thomas_blanc) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2019-09-13 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [OCaml](https://ocamlpro.com/fr/blog/category/ocaml) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [Vincent Laviron](https://ocamlpro.com/fr/blog/authors/vincent_laviron) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2019-08-30 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [OCaml](https://ocamlpro.com/fr/blog/category/ocaml) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [Raja Boujbel](https://ocamlpro.com/fr/blog/authors/raja_boujbel), [Louis Gesbert](https://ocamlpro.com/fr/blog/authors/louis_gesbert) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2019-07-23 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [Tooling](https://ocamlpro.com/fr/blog/category/tooling) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [Raja Boujbel](https://ocamlpro.com/fr/blog/authors/raja_boujbel), [Louis Gesbert](https://ocamlpro.com/fr/blog/authors/louis_gesbert) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2019-07-11 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [Tooling](https://ocamlpro.com/fr/blog/category/tooling) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [Albin Coquereau](https://ocamlpro.com/fr/blog/authors/albin_coquereau) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2019-07-10 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [Formal Methods](https://ocamlpro.com/fr/blog/category/formal_methods) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [Albin Coquereau](https://ocamlpro.com/fr/blog/authors/albin_coquereau) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2019-07-09 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [Formal Methods](https://ocamlpro.com/fr/blog/category/formal_methods) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [Fabrice Le Fessant](https://ocamlpro.com/fr/blog/authors/fabrice_le_fessant) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2019-04-29 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [Blockchains](https://ocamlpro.com/fr/blog/category/blockchains) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [Raja Boujbel](https://ocamlpro.com/fr/blog/authors/raja_boujbel), [Louis Gesbert](https://ocamlpro.com/fr/blog/authors/louis_gesbert) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2019-04-10 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [Tooling](https://ocamlpro.com/fr/blog/category/tooling) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [Louis Gesbert](https://ocamlpro.com/fr/blog/authors/louis_gesbert) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2019-03-12 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [Tooling](https://ocamlpro.com/fr/blog/category/tooling) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [Çagdas Bozman](https://ocamlpro.com/fr/blog/authors/cagdas_bozman) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2019-03-09 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [Blockchains](https://ocamlpro.com/fr/blog/category/blockchains) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [Alain Mebsout](https://ocamlpro.com/fr/blog/authors/alain_mebsout) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2019-03-08 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [Blockchains](https://ocamlpro.com/fr/blog/category/blockchains) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [Adrien Champion](https://ocamlpro.com/fr/blog/authors/adrien_champion) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2019-03-07 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [Blockchains](https://ocamlpro.com/fr/blog/category/blockchains) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [Adrien Champion](https://ocamlpro.com/fr/blog/authors/adrien_champion) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2019-03-06 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [Blockchains](https://ocamlpro.com/fr/blog/category/blockchains) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [Çagdas Bozman](https://ocamlpro.com/fr/blog/authors/cagdas_bozman) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2019-03-05 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [Blockchains](https://ocamlpro.com/fr/blog/category/blockchains) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [Mohamed Iguernlala](https://ocamlpro.com/fr/blog/authors/mohamed_iguernlala) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2019-02-11 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [Formal Methods](https://ocamlpro.com/fr/blog/category/formal_methods) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [Fabrice Le Fessant](https://ocamlpro.com/fr/blog/authors/fabrice_le_fessant) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2019-02-05 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [Blockchains](https://ocamlpro.com/fr/blog/category/blockchains) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [Fabrice Le Fessant](https://ocamlpro.com/fr/blog/authors/fabrice_le_fessant) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2019-02-04 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [Blockchains](https://ocamlpro.com/fr/blog/category/blockchains) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [Fabrice Le Fessant](https://ocamlpro.com/fr/blog/authors/fabrice_le_fessant) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2019-01-31 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [Blockchains](https://ocamlpro.com/fr/blog/category/blockchains) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [Fabrice Le Fessant](https://ocamlpro.com/fr/blog/authors/fabrice_le_fessant) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2019-01-30 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [Blockchains](https://ocamlpro.com/fr/blog/category/blockchains) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [Arthur Breitman](https://ocamlpro.com/fr/blog/authors/arthur_breitman) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2019-01-29 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [Blockchains](https://ocamlpro.com/fr/blog/category/blockchains) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [Raja Boujbel](https://ocamlpro.com/fr/blog/authors/raja_boujbel), [Louis Gesbert](https://ocamlpro.com/fr/blog/authors/louis_gesbert) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2019-01-28 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [Tooling](https://ocamlpro.com/fr/blog/category/tooling) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [Fabrice Le Fessant](https://ocamlpro.com/fr/blog/authors/fabrice_le_fessant) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2019-01-15 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [Blockchains](https://ocamlpro.com/fr/blog/category/blockchains) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [Raja Boujbel](https://ocamlpro.com/fr/blog/authors/raja_boujbel), [Louis Gesbert](https://ocamlpro.com/fr/blog/authors/louis_gesbert) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2018-12-12 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [Tooling](https://ocamlpro.com/fr/blog/category/tooling) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [Fabrice Le Fessant](https://ocamlpro.com/fr/blog/authors/fabrice_le_fessant) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2018-11-21 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [Blockchains](https://ocamlpro.com/fr/blog/category/blockchains) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [Fabrice Le Fessant](https://ocamlpro.com/fr/blog/authors/fabrice_le_fessant) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2018-11-20 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [Blockchains](https://ocamlpro.com/fr/blog/category/blockchains) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [Fabrice Le Fessant](https://ocamlpro.com/fr/blog/authors/fabrice_le_fessant) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2018-11-15 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [Blockchains](https://ocamlpro.com/fr/blog/category/blockchains) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [Fabrice Le Fessant](https://ocamlpro.com/fr/blog/authors/fabrice_le_fessant) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2018-11-08 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [Blockchains](https://ocamlpro.com/fr/blog/category/blockchains) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [Alain Mebsout](https://ocamlpro.com/fr/blog/authors/alain_mebsout) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2018-11-06 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [Blockchains](https://ocamlpro.com/fr/blog/category/blockchains) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [Raja Boujbel](https://ocamlpro.com/fr/blog/authors/raja_boujbel), [Louis Gesbert](https://ocamlpro.com/fr/blog/authors/louis_gesbert) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2018-10-24 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [Tooling](https://ocamlpro.com/fr/blog/category/tooling) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [Muriel](https://ocamlpro.com/fr/blog/authors/muriel) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2018-10-17 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [Blockchains](https://ocamlpro.com/fr/blog/category/blockchains) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [Raja Boujbel](https://ocamlpro.com/fr/blog/authors/raja_boujbel), [Louis Gesbert](https://ocamlpro.com/fr/blog/authors/louis_gesbert) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2018-09-19 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [Tooling](https://ocamlpro.com/fr/blog/category/tooling) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [Raja Boujbel](https://ocamlpro.com/fr/blog/authors/raja_boujbel), [Louis Gesbert](https://ocamlpro.com/fr/blog/authors/louis_gesbert) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2018-08-02 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [Tooling](https://ocamlpro.com/fr/blog/category/tooling) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [Raja Boujbel](https://ocamlpro.com/fr/blog/authors/raja_boujbel), [Louis Gesbert](https://ocamlpro.com/fr/blog/authors/louis_gesbert) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2018-07-26 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [Tooling](https://ocamlpro.com/fr/blog/category/tooling) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [Çagdas Bozman](https://ocamlpro.com/fr/blog/authors/cagdas_bozman) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2018-07-20 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [Blockchains](https://ocamlpro.com/fr/blog/category/blockchains) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [Raja Boujbel](https://ocamlpro.com/fr/blog/authors/raja_boujbel), [Louis Gesbert](https://ocamlpro.com/fr/blog/authors/louis_gesbert) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2018-06-22 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [Tooling](https://ocamlpro.com/fr/blog/category/tooling) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [Louis Gesbert](https://ocamlpro.com/fr/blog/authors/louis_gesbert) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2018-05-22 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [Tooling](https://ocamlpro.com/fr/blog/category/tooling) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [Mohamed Iguernlala](https://ocamlpro.com/fr/blog/authors/mohamed_iguernlala) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2018-04-23 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [Formal Methods](https://ocamlpro.com/fr/blog/category/formal_methods) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [Michael Laporte](https://ocamlpro.com/fr/blog/authors/michael_laporte) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2018-04-13 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [Blockchains](https://ocamlpro.com/fr/blog/category/blockchains) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [chambart](https://ocamlpro.com/fr/blog/authors/chambart) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2018-04-01 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [OCaml](https://ocamlpro.com/fr/blog/category/ocaml) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [Mohamed Iguernlala](https://ocamlpro.com/fr/blog/authors/mohamed_iguernlala) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2018-03-15 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [Formal Methods](https://ocamlpro.com/fr/blog/category/formal_methods) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [Çagdas Bozman](https://ocamlpro.com/fr/blog/authors/cagdas_bozman) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2018-03-14 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [Blockchains](https://ocamlpro.com/fr/blog/category/blockchains) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [Çagdas Bozman](https://ocamlpro.com/fr/blog/authors/cagdas_bozman%09) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2018-02-14 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [Blockchains](https://ocamlpro.com/fr/blog/category/blockchains) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [Çagdas Bozman](https://ocamlpro.com/fr/blog/authors/cagdas_bozman) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2018-02-08 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [Blockchains](https://ocamlpro.com/fr/blog/category/blockchains) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [Louis Gesbert](https://ocamlpro.com/fr/blog/authors/louis_gesbert) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2018-02-02 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [Tooling](https://ocamlpro.com/fr/blog/category/tooling) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [Muriel](https://ocamlpro.com/fr/blog/authors/muriel) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2018-01-15 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [OCamlPro](https://ocamlpro.com/fr/blog/category/ocamlpro) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [Louis Gesbert](https://ocamlpro.com/fr/blog/authors/louis_gesbert) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2017-11-27 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [Tooling](https://ocamlpro.com/fr/blog/category/tooling) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [Louis Gesbert](https://ocamlpro.com/fr/blog/authors/louis_gesbert) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2017-05-11 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [Tooling](https://ocamlpro.com/fr/blog/category/tooling) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [Louis Gesbert](https://ocamlpro.com/fr/blog/authors/louis_gesbert) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2017-05-04 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [Tooling](https://ocamlpro.com/fr/blog/category/tooling) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [Louis Gesbert](https://ocamlpro.com/fr/blog/authors/louis_gesbert) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2017-04-27 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [Tooling](https://ocamlpro.com/fr/blog/category/tooling) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [chambart](https://ocamlpro.com/fr/blog/authors/chambart) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2017-04-01 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [OCaml](https://ocamlpro.com/fr/blog/category/ocaml) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [Louis Gesbert](https://ocamlpro.com/fr/blog/authors/louis_gesbert) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2017-03-16 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [Tooling](https://ocamlpro.com/fr/blog/category/tooling) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [Louis Gesbert](https://ocamlpro.com/fr/blog/authors/louis_gesbert) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2017-02-09 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [Tooling](https://ocamlpro.com/fr/blog/category/tooling) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [Mohamed Iguernlala](https://ocamlpro.com/fr/blog/authors/mohamed_iguernlala) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2016-11-21 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [Formal Methods](https://ocamlpro.com/fr/blog/category/formal_methods) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [Louis Gesbert](https://ocamlpro.com/fr/blog/authors/louis_gesbert) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2016-11-20 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [Tooling](https://ocamlpro.com/fr/blog/category/tooling) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [Louis Gesbert](https://ocamlpro.com/fr/blog/authors/louis_gesbert) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2016-09-20 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [Tooling](https://ocamlpro.com/fr/blog/category/tooling) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [chambart](https://ocamlpro.com/fr/blog/authors/chambart) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2016-04-01 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [OCaml](https://ocamlpro.com/fr/blog/category/ocaml) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [Louis Gesbert](https://ocamlpro.com/fr/blog/authors/louis_gesbert), [Hannes Mehnert](https://ocamlpro.com/fr/blog/authors/hannes_mehnert) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2015-06-05 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [Tooling](https://ocamlpro.com/fr/blog/category/tooling) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [Çagdas Bozman](https://ocamlpro.com/fr/blog/authors/cagdas_bozman) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2015-05-18 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [Tooling](https://ocamlpro.com/fr/blog/category/tooling) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [Louis Gesbert](https://ocamlpro.com/fr/blog/authors/louis_gesbert) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2015-05-07 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [Tooling](https://ocamlpro.com/fr/blog/category/tooling) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [Çagdas Bozman](https://ocamlpro.com/fr/blog/authors/cagdas_bozman) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2015-04-13 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [Tooling](https://ocamlpro.com/fr/blog/category/tooling) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [Louis Gesbert](https://ocamlpro.com/fr/blog/authors/louis_gesbert) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2015-03-18 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [Tooling](https://ocamlpro.com/fr/blog/category/tooling) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [Çagdas Bozman](https://ocamlpro.com/fr/blog/authors/cagdas_bozman) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2015-03-04 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [Tooling](https://ocamlpro.com/fr/blog/category/tooling) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [Mohamed Iguernlala](https://ocamlpro.com/fr/blog/authors/mohamed_iguernlala) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2015-01-29 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [Formal Methods](https://ocamlpro.com/fr/blog/category/formal_methods) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [Thomas Gazagnaire](https://ocamlpro.com/fr/blog/authors/thomas_gazagnaire) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2014-12-18 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [Tooling](https://ocamlpro.com/fr/blog/category/tooling) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [Louis Gesbert](https://ocamlpro.com/fr/blog/authors/louis_gesbert) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2014-10-23 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [Tooling](https://ocamlpro.com/fr/blog/category/tooling) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [Louis Gesbert](https://ocamlpro.com/fr/blog/authors/louis_gesbert) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2014-08-19 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [Tooling](https://ocamlpro.com/fr/blog/category/tooling) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [OCaml Platform Team](https://ocamlpro.com/fr/blog/authors/ocaml_platform_team) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2014-08-14 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [Tooling](https://ocamlpro.com/fr/blog/category/tooling) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [Çagdas Bozman](https://ocamlpro.com/fr/blog/authors/cagdas_bozman) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2014-07-16 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [OCamlPro](https://ocamlpro.com/fr/blog/category/ocamlpro) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [Mohamed Iguernlala](https://ocamlpro.com/fr/blog/authors/mohamed_iguernlala) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2014-07-15 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [Formal Methods](https://ocamlpro.com/fr/blog/category/formal_methods) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [Çagdas Bozman](https://ocamlpro.com/fr/blog/authors/cagdas_bozman) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2014-05-20 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [OCamlPro](https://ocamlpro.com/fr/blog/category/ocamlpro) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [Çagdas Bozman](https://ocamlpro.com/fr/blog/authors/cagdas_bozman) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2014-04-01 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [OCaml](https://ocamlpro.com/fr/blog/category/ocaml) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [Çagdas Bozman](https://ocamlpro.com/fr/blog/authors/cagdas_bozman%09) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2014-03-05 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [OCamlPro](https://ocamlpro.com/fr/blog/category/ocamlpro) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [Çagdas Bozman](https://ocamlpro.com/fr/blog/authors/cagdas_bozman) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2014-02-05 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [OCamlPro](https://ocamlpro.com/fr/blog/category/ocamlpro) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [Louis Gesbert](https://ocamlpro.com/fr/blog/authors/louis_gesbert) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2014-01-29 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [Tooling](https://ocamlpro.com/fr/blog/category/tooling) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [Fabrice Le Fessant](https://ocamlpro.com/fr/blog/authors/fabrice_le_fessant) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2013-12-03 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [OCaml](https://ocamlpro.com/fr/blog/category/ocaml) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [Thomas Gazagnaire](https://ocamlpro.com/fr/blog/authors/thomas_gazagnaire) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2013-11-08 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [Tooling](https://ocamlpro.com/fr/blog/category/tooling) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [Çagdas Bozman](https://ocamlpro.com/fr/blog/authors/cagdas_bozman) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2013-11-01 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [OCamlPro](https://ocamlpro.com/fr/blog/category/ocamlpro) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [Louis Gesbert](https://ocamlpro.com/fr/blog/authors/louis_gesbert) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2013-10-14 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [Tooling](https://ocamlpro.com/fr/blog/category/tooling) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [Mohamed Iguernlala](https://ocamlpro.com/fr/blog/authors/mohamed_iguernlala) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2013-10-02 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [Formal Methods](https://ocamlpro.com/fr/blog/category/formal_methods) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [Thomas Gazagnaire](https://ocamlpro.com/fr/blog/authors/thomas_gazagnaire) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2013-09-20 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [Tooling](https://ocamlpro.com/fr/blog/category/tooling) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [Çagdas Bozman](https://ocamlpro.com/fr/blog/authors/cagdas_bozman) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2013-09-04 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [OCamlPro](https://ocamlpro.com/fr/blog/category/ocamlpro) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [Çagdas Bozman](https://ocamlpro.com/fr/blog/authors/cagdas_bozman) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2013-08-05 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [OCamlPro](https://ocamlpro.com/fr/blog/category/ocamlpro) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [Chambart](https://ocamlpro.com/fr/blog/authors/chambart) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2013-07-11 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [OCaml](https://ocamlpro.com/fr/blog/category/ocaml) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [Çagdas Bozman](https://ocamlpro.com/fr/blog/authors/cagdas_bozman) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2013-07-01 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [OCamlPro](https://ocamlpro.com/fr/blog/category/ocamlpro) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [chambart](https://ocamlpro.com/fr/blog/authors/chambart) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2013-05-24 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [OCaml](https://ocamlpro.com/fr/blog/category/ocaml) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [Çagdas Bozman](https://ocamlpro.com/fr/blog/authors/cagdas_bozman) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2013-04-22 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [OCamlPro](https://ocamlpro.com/fr/blog/category/ocamlpro) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [Çagdas Bozman](https://ocamlpro.com/fr/blog/authors/cagdas_bozman) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2013-04-02 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [Tooling](https://ocamlpro.com/fr/blog/category/tooling) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [Louis Gesbert](https://ocamlpro.com/fr/blog/authors/louis_gesbert) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2013-03-18 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [Tooling](https://ocamlpro.com/fr/blog/category/tooling) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [Thomas Gazagnaire](https://ocamlpro.com/fr/blog/authors/thomas_gazagnaire) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2013-03-15 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [Tooling](https://ocamlpro.com/fr/blog/category/tooling) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [Çagdas Bozman](https://ocamlpro.com/fr/blog/authors/cagdas_bozman) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2013-02-18 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [OCamlPro](https://ocamlpro.com/fr/blog/category/ocamlpro) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [Louis Gesbert](https://ocamlpro.com/fr/blog/authors/louis_gesbert) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2013-01-17 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [Tooling](https://ocamlpro.com/fr/blog/category/tooling) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [Fabrice Le Fessant](https://ocamlpro.com/fr/blog/authors/fabrice_le_fessant) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2012-08-20 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [OCaml](https://ocamlpro.com/fr/blog/category/ocaml) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [Çagdas Bozman](https://ocamlpro.com/fr/blog/authors/cagdas_bozman) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2012-08-08 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [OCaml](https://ocamlpro.com/fr/blog/category/ocaml) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [Fabrice Le Fessant](https://ocamlpro.com/fr/blog/authors/fabrice_le_fessant) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2011-08-10 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [OCaml](https://ocamlpro.com/fr/blog/category/ocaml) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [Fabrice Le Fessant](https://ocamlpro.com/fr/blog/authors/fabrice_le_fessant) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2011-06-23 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [Tooling](https://ocamlpro.com/fr/blog/category/tooling) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [Fabrice Le Fessant](https://ocamlpro.com/fr/blog/authors/fabrice_le_fessant) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2011-06-03 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [Tooling](https://ocamlpro.com/fr/blog/category/tooling) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) ![](https://ocamlpro.com/blog/assets/img/icon_person.svg) Auteurs: [Fabrice Le Fessant](https://ocamlpro.com/fr/blog/authors/fabrice_le_fessant) ![](https://ocamlpro.com/blog/assets/img/icon_calendar.svg) Date: 2011-05-06 ![](https://ocamlpro.com/blog/assets/img/icon_category.svg) CatĂ©gorie: [Tooling](https://ocamlpro.com/fr/blog/category/tooling) ![](https://ocamlpro.com/blog/assets/img/icon_tags.svg) 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) [![RSS](https://ocamlpro.com/blog/assets/img/icon_atom_feed.svg) 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/assets/img/icon_atom_feed.svg)](https://ocamlpro.com/blog/feed)
Readable Markdownnull
Shard145 (laksa)
Root Hash7605753165184659145
Unparsed URLcom,ocamlpro!/fr/blog/all/ s443