News
2021
-
On March 4, 2021,
FreeSpec packages
(
coq-freespec-core.0.3
, coq-freespec-ffi.0.3
and
coq-freespec-exec.0.3
) have finally been released.
-
On March 1st, 2021,
coq-coqffi.1.0.0~beta5
has been released.
-
On February 24, 2021,
coq-coqffi.1.0.0~beta4
has been released.
-
On January 27, 2021,
FreeSpec has been
relicensed under the terms of the
Mozilla Public
License version 2.
-
On January 24, 2021,
coq-coqffi.1.0.0~beta3
has been released.
2020
-
On December 16, 2020, FreeSpec packages have been
published to the
extra-dev
repository of the Opam Coq
archive.
-
On December 10, 2020,
coq-coqffi.1.0.0~beta2
has been published to the Opam Coq archive.
-
On December 7, 2020,
coq-coqffi.dev
and coq-coqffi.1.0.0~beta1
have been published to the
Opam Coq archive.
-
On November 16, 2020, we have been notified that
our tool paper on
coqffi
has been accepted
to JFLA'21! You
can find the paper (2 pages, in
French) here!
-
On October 8, 2020,
coqffi
has officially been
published as
a coq-community
’s
project.
-
On April 17, 2020, my first contribution to
Dune has been merged
to
master
.
-
On April 2, 2020, I started using the rewriting of
cleopatra
to build this website.
-
On April 1, 2020, my first contribution ever to
Coq has been merged
to
master
.
-
On February 23, 2020,
cleopatra
has been completely
bootstrapped, in that it generates itself!
-
On February 15, 2020, I have tagged and
released
colorless-themes-0.2
,
nordless-theme-0.2
,
and lavenderless-theme-0.2
.
Learn more.