Articles liés
2022
2021
- Verification for Dummies: SMT and Induction
- Generating static and portable executables with OCaml
- opam 2.1.0 is released!
- opam 2.0.9 release
- Detecting identity functions in Flambda
- Détection de fonctions d’identité dans Flambda
- opam 2.1.0~rc2 released
- Tutorial: Format Module of OCaml
- Réunion annuelle du Club des utilisateurs d’Alt-Ergo 2021
- New Try-Alt-Ergo
- opam 2.1.0~beta4 released
- opam 2.0.8 release
- 2020 at OCamlPro
- Release of Alt-Ergo 2.4.0
2020
- Memthol: exploring program profiling
- Rehabilitating Packs using Functors and Recursivity, part 2.
- Rehabilitating Packs using Functors and Recursivity, part 1.
- A Dune Love story: From Liquidity to Love
- [Interview] Sylvain Conchon joins OCamlPro
- [Interview] Sylvain Conchon rejoint OCamlPro
- Tutoriel Format
- A Solidity parser in OCaml with Menhir
- opam 2.1.0 alpha is here!
- opam 2.0.7 release
- An in-depth Look at OCaml’s new “Best-fit” Garbage Collector Strategy
- Le nouveau GC d’OCaml 4.10 : premier aperçu de la stratégie best-fit
- New version of TryOCaml in beta!
- Réunion annuelle du Club des utilisateurs d’Alt-Ergo
- 2019 chez OCamlPro
- 2019 at OCamlPro
- opam 2.0.6 release
- The Opam 2.0 cheatsheet, with a new theme!
2019
- OCaml expert and beginner training by OCamlPro (in French): Nov. 5-6 & 7-8
- Formations OCaml par OCamlPro : 5-6 et 7-8 novembre 2019
- A look back on OCaml since 2011
- Updated Cheat Sheets: OCaml Language and OCaml Standard Library
- Mise à jour des Cheat Sheets : OCaml Language et OCaml Standard Library
- OCamlPro’s compiler team work update
- OCamlPro’s compiler team work update
- Release d’opam 2.0.5
- opam 2.0.5 release
- Résultats de la SMT-Comp 2019 pour Alt-Ergo
- Résultats de la SMT-Comp 2019 pour Alt-Ergo
- The Alt-Ergo SMT Solver’s results in the SMT-COMP 2019
- Blockchains @ OCamlPro: an Overview
- opam 2.0.4 release
- opam 2.0 tips
- Release : Liquidity version 1.0 !
- Announcing Liquidity version 1.0
- Techelson, a test execution engine for Michelson
- Signing Data for Smart Contracts
- Release de Techelson, moteur de tests pour Michelson et Liquidity
- What's new for Alt-Ergo in 2018? Here is a recap!
- Improving Tezos Storage : Gitlab branch for testers
- Optimisation du stockage dans Tezos : une branche de test sur Gitlab
- Tezos et OCamlPro
- Improving Tezos Storage : update and beta-testing
- Tezos and OCamlPro
- opam 2.0.3 release
- Improving Tezos Storage
2018
- opam 2.0.2 release
- An Introduction to Tezos RPCs: Signing Operations
- Introduction aux RPCs dans Tezos : exemple d’un portefeuille (wallet) simple
- An Introduction to Tezos RPCs: a Basic Wallet
- First Open-Source Release of TzScan
- Liquidity Tutorial: A Game with an Oracle for Random Numbers
- opam 2.0.1 is out!
- OCamlPro’s TzScan grant proposal accepted by the Tezos Foundation – joint press release
- opam 2.0.0 release and repository upgrade
- Last stretch! Repository upgrade and opam 2.0.0 roadmap
- opam 2.0.0 RC4-final is out!
- OCamlPro’s Tezos block explorer TzScan’s last updates
- opam 2.0.0 Release Candidate 3 is out!
- opam 2.0.0 Release Candidate 2 is out!
- Release of Alt-Ergo 2.2.0
- Taskforce on the Tezos Protocol, and TzScan evolution
- OCaml JTRT
- Release of Alt-Ergo 2.1.0
- New updates on TzScan
- Release of a first version of TzScan, a Tezos block explorer
- OCamlPro’s Liquidity-lang demo at JFLA2018 – a smart-contract design language
- opam 2.0.0 Release Candidate 1 is out!
- 2017 at OCamlPro
2017
2016
2015
2014
- OPAM 1.2 and Travis CI
- OPAM 1.2.0 Released
- OPAM 1.2: Repository Pinning
- OPAM 1.2.0 public beta released
- OCamlPro Highlights: May-June 2014
- Try Alt-Ergo in Your Browser
- OCamlPro Highlights: April 2014
- The Generic Syntax Extension
- OCamlPro Highlights: Feb 2014
- OCamlPro Highlights: Dec 2013 & Jan 2014
- OPAM 1.1.1 released
2013
- OCamlPro Highlights: November 2013
- OPAM 1.1.0 released
- OCamlPro Highlights, Sept-Oct 2013
- OPAM 1.1.0 release candidate out
- Alt-Ergo @ OCamlPro: Two months later
- OPAM 1.1.0 beta released
- OCamlPro Highlights, August 2013
- News from July
- Better Inlining: Progress Report
- News from May and June
- Optimisations you shouldn’t do
- April Monthly Report
- wxOCaml, camlidl and Class Modules
- An Indentation Engine for OCaml
- OPAM 1.0.0 released
- An Overview of our Current Activities
- Beta Release of OPAM
Le blog d'OCamlPro
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)
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)
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)
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)
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)
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)
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)
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)
The Format module of OCaml is an extremely powerful but unfortunately often poorly used module. It combines two distinct elements: pretty-print boxes semantic tags This tutorial aims to demystify much of this module and explain the range of things that you can do with it. Read more (i... (Lire plus)
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)
%[tr:Related Articles]
2022
2021
- Verification for Dummies: SMT and Induction
- Generating static and portable executables with OCaml
- opam 2.1.0 is released!
- opam 2.0.9 release
- Detecting identity functions in Flambda
- Détection de fonctions d’identité dans Flambda
- opam 2.1.0~rc2 released
- Tutorial: Format Module of OCaml
- Réunion annuelle du Club des utilisateurs d’Alt-Ergo 2021
- New Try-Alt-Ergo
- opam 2.1.0~beta4 released
- opam 2.0.8 release
- 2020 at OCamlPro
- Release of Alt-Ergo 2.4.0
2020
- Memthol: exploring program profiling
- Rehabilitating Packs using Functors and Recursivity, part 2.
- Rehabilitating Packs using Functors and Recursivity, part 1.
- A Dune Love story: From Liquidity to Love
- [Interview] Sylvain Conchon joins OCamlPro
- [Interview] Sylvain Conchon rejoint OCamlPro
- Tutoriel Format
- A Solidity parser in OCaml with Menhir
- opam 2.1.0 alpha is here!
- opam 2.0.7 release
- An in-depth Look at OCaml’s new “Best-fit” Garbage Collector Strategy
- Le nouveau GC d’OCaml 4.10 : premier aperçu de la stratégie best-fit
- New version of TryOCaml in beta!
- Réunion annuelle du Club des utilisateurs d’Alt-Ergo
- 2019 chez OCamlPro
- 2019 at OCamlPro
- opam 2.0.6 release
- The Opam 2.0 cheatsheet, with a new theme!
2019
- OCaml expert and beginner training by OCamlPro (in French): Nov. 5-6 & 7-8
- Formations OCaml par OCamlPro : 5-6 et 7-8 novembre 2019
- A look back on OCaml since 2011
- Updated Cheat Sheets: OCaml Language and OCaml Standard Library
- Mise à jour des Cheat Sheets : OCaml Language et OCaml Standard Library
- OCamlPro’s compiler team work update
- OCamlPro’s compiler team work update
- Release d’opam 2.0.5
- opam 2.0.5 release
- Résultats de la SMT-Comp 2019 pour Alt-Ergo
- Résultats de la SMT-Comp 2019 pour Alt-Ergo
- The Alt-Ergo SMT Solver’s results in the SMT-COMP 2019
- Blockchains @ OCamlPro: an Overview
- opam 2.0.4 release
- opam 2.0 tips
- Release : Liquidity version 1.0 !
- Announcing Liquidity version 1.0
- Techelson, a test execution engine for Michelson
- Signing Data for Smart Contracts
- Release de Techelson, moteur de tests pour Michelson et Liquidity
- What's new for Alt-Ergo in 2018? Here is a recap!
- Improving Tezos Storage : Gitlab branch for testers
- Optimisation du stockage dans Tezos : une branche de test sur Gitlab
- Tezos et OCamlPro
- Improving Tezos Storage : update and beta-testing
- Tezos and OCamlPro
- opam 2.0.3 release
- Improving Tezos Storage
2018
- opam 2.0.2 release
- An Introduction to Tezos RPCs: Signing Operations
- Introduction aux RPCs dans Tezos : exemple d’un portefeuille (wallet) simple
- An Introduction to Tezos RPCs: a Basic Wallet
- First Open-Source Release of TzScan
- Liquidity Tutorial: A Game with an Oracle for Random Numbers
- opam 2.0.1 is out!
- OCamlPro’s TzScan grant proposal accepted by the Tezos Foundation – joint press release
- opam 2.0.0 release and repository upgrade
- Last stretch! Repository upgrade and opam 2.0.0 roadmap
- opam 2.0.0 RC4-final is out!
- OCamlPro’s Tezos block explorer TzScan’s last updates
- opam 2.0.0 Release Candidate 3 is out!
- opam 2.0.0 Release Candidate 2 is out!
- Release of Alt-Ergo 2.2.0
- Taskforce on the Tezos Protocol, and TzScan evolution
- OCaml JTRT
- Release of Alt-Ergo 2.1.0
- New updates on TzScan
- Release of a first version of TzScan, a Tezos block explorer
- OCamlPro’s Liquidity-lang demo at JFLA2018 – a smart-contract design language
- opam 2.0.0 Release Candidate 1 is out!
- 2017 at OCamlPro
2017
2016
2015
2014
- OPAM 1.2 and Travis CI
- OPAM 1.2.0 Released
- OPAM 1.2: Repository Pinning
- OPAM 1.2.0 public beta released
- OCamlPro Highlights: May-June 2014
- Try Alt-Ergo in Your Browser
- OCamlPro Highlights: April 2014
- The Generic Syntax Extension
- OCamlPro Highlights: Feb 2014
- OCamlPro Highlights: Dec 2013 & Jan 2014
- OPAM 1.1.1 released
2013
- OCamlPro Highlights: November 2013
- OPAM 1.1.0 released
- OCamlPro Highlights, Sept-Oct 2013
- OPAM 1.1.0 release candidate out
- Alt-Ergo @ OCamlPro: Two months later
- OPAM 1.1.0 beta released
- OCamlPro Highlights, August 2013
- News from July
- Better Inlining: Progress Report
- News from May and June
- Optimisations you shouldn’t do
- April Monthly Report
- wxOCaml, camlidl and Class Modules
- An Indentation Engine for OCaml
- OPAM 1.0.0 released
- An Overview of our Current Activities
- Beta Release of OPAM
Articles les plus récents
2022
2021
- Verification for Dummies: SMT and Induction
- Generating static and portable executables with OCaml
- opam 2.1.0 is released!
- opam 2.0.9 release
- Detecting identity functions in Flambda
- Détection de fonctions d’identité dans Flambda
- opam 2.1.0~rc2 released
- Tutorial: Format Module of OCaml
- Réunion annuelle du Club des utilisateurs d’Alt-Ergo 2021
- New Try-Alt-Ergo
- opam 2.1.0~beta4 released
- opam 2.0.8 release
- 2020 at OCamlPro
- Release of Alt-Ergo 2.4.0
2020