Articles liés

Articles écrits par Steven de Oliveira

Site

Catégories

Release of ocplib-simplex, version 0.5

Auteurs: Steven de Oliveira, Pierre Villemot, Hichem Rami Ait El Hara, Guillaume Bury
Date: 2023-01-05
Catégorie: Formal Methods
Tags: OCaml, alt-ergo, simplex, 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)

Alt-Ergo: the SMT solver with model generation

Auteurs: Steven de Oliveira, Pierre Villemot, Hichem Rami Ait El Hara, Guillaume Bury
Date: 2022-11-16
Catégorie: Formal Methods
Tags: OCaml, alt-ergo

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)

A Dune Love story: From Liquidity to Love

Auteurs: Steven De Oliveira
Date: 2020-06-09
Catégorie: Blockchains
Tags: blockchains, smart contracts, love, 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)