[Interview] Sylvain Conchon rejoint OCamlPro

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 le co-créateur d’Alt-Ergo. Recherche et industrie Sylvain, tu fréquentes de longue date le [Interview] Sylvain Conchon rejoint OCamlPro

Le nouveau GC d’OCaml 4.10 : premier aperçu de la stratégie best-fit

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 nouvelle stratégie apparue dans le changelog, signée de Damien Doligez. Dans cet article nous commençons à explorer la nouvelle stratégie baptisée best-fit du Le nouveau GC d’OCaml 4.10 : premier aperçu de la stratégie best-fit

Réunion annuelle du Club des utilisateurs d’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 recevoir nos partenaires pour discuter de la feuille de route concernant les développements et Réunion annuelle du Club des utilisateurs d’Alt-Ergo

2019 chez 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éalisations impressionnant, d’abord dans le monde OCaml (flambda2 & optimisations du compilateur, 2019 chez OCamlPro

Formations OCaml par OCamlPro : 5-6 et 7-8 novembre 2019

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 (7-8 novembre). La formation expert sera l’occasion pour des programmeurs OCaml Formations OCaml par OCamlPro : 5-6 et 7-8 novembre 2019

Mise à jour des Cheat Sheets : OCaml Language et OCaml Standard Library

Les mémentos (cheat-sheets) OCaml lang et OCaml stdlib partagés par OCamlPro en 2011 ont été mis à jour pour OCaml 4.08. – OCaml Language (lang) (PDF)– OCaml Standard Library (stdlib) (PDF) Si vous souhaitez contribuer des améliorations: sources sur GitHub. En savoir plus : Updated Cheat Sheets: OCaml Language and OCaml Standard Library

Travaux sur le compilateur OCaml : dernières nouvelles

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 nous espérons qu’il corrigera certains défauts apparus dans Flambda. En parallèle, l’équipe a Travaux sur le compilateur OCaml : dernières nouvelles

Release d’opam 2.0.5

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

Résultats de la SMT-Comp 2019 pour Alt-Ergo

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 maintenu et distribué par OCamlPro, et financé entre autres grâce à Résultats de la SMT-Comp 2019 pour Alt-Ergo

Tezos et OCamlPro

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é un rôle particulièrement important. C’est en effet en son sein que des ingénieurs-chercheurs Tezos et OCamlPro

Introduction aux RPCs dans Tezos : exemple d’un portefeuille (wallet) simple

An Introduction to Tezos RPCs: a Basic Wallet Publié le 15/11/2018 par Fabrice Le Fessant 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 Introduction aux RPCs dans Tezos : exemple d’un portefeuille (wallet) simple

OCamlPro met à jour son block explorer TZScan pour Tezos !

OCamlPro is pleased to announce the latest update of TZScan (http://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 expected rewards Adding of internal transactions of OCamlPro met à jour son block explorer TZScan pour Tezos !

Une première version de notre explorateur de blocs TzScan

OCamlPro is proud to release a first version of TzScan (http://tzscan.io), 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, accounts and contracts detail pages, Public API to Une première version de notre explorateur de blocs TzScan

Notre démo live de déploiement d’un smart-contrat multisignature écrit en Liquidity sur l’alphanet de Tezos (JFLA2018)

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 the #Liquidity language designed at OCamlPro, Notre démo live de déploiement d’un smart-contrat multisignature écrit en Liquidity sur l’alphanet de Tezos (JFLA2018)