From a21d272a83e329deb0049836f143c85023262dad Mon Sep 17 00:00:00 2001 From: zapashcanon Date: Sat, 1 Feb 2025 10:46:30 +0100 Subject: [PATCH 1/2] fix typo in c++ example --- example/cpp/README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/example/cpp/README.md b/example/cpp/README.md index 114513e5..0ddbba8a 100644 --- a/example/cpp/README.md +++ b/example/cpp/README.md @@ -33,7 +33,7 @@ int main() { We are defining one symbolic variable `x` using the function `owi_i32(void)`. Then we build a polynomial `poly` equal to $x^3 - 7x^2 + 14x - 8$. -Then we use `owi_assert(poly != 0)`. Which should fail as this polynomial has multiple roots. Let's see what owi says about it: +Then we use `owi_assert(p.getPoly() != 0)`. Which should fail as this polynomial has multiple roots. Let's see what owi says about it: ```sh $ owi c++ ./poly.cpp -w1 --no-assert-failure-expression-printing From 677b55768a8af300e589bcd1e6ce528179ae1061 Mon Sep 17 00:00:00 2001 From: zapashcanon Date: Sat, 1 Feb 2025 10:49:14 +0100 Subject: [PATCH 2/2] add JFLA talk --- README.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/README.md b/README.md index e98f4cc1..bd7e1420 100644 --- a/README.md +++ b/README.md @@ -117,6 +117,7 @@ We only list proposals that reached phase 3 at least. - april 2024: [OUPS (OCaml UserS in Paris)] - [november 2024]: [LVP working group] day of the [GdR GPL] - [december 2024]: Léo Andrès' PhD defense +- january 2025: [JFLA 2025] ### Spelling and pronunciation @@ -172,6 +173,7 @@ This project was partly funded through the [NGI0 Core] Fund, a fund established [december 2024]: https://www.zapashcanon.fr/phd#:~:text=after%20the%20defense.-,Defense,My%20slides%20are%20available%20here.,-%F0%9F%94%9D%20%7C%20nothing%20to%20hide [documentation]: https://ocamlpro.github.io/owi/api/owi [Exécution symbolique pour tous ou Compilation d'OCaml vers WebAssembly]: https://fs.zapashcanon.fr/pdf/manuscrit_these_leo_andres.pdf +[JFLA 2025]: https://jfla.inria.fr/jfla2025.html [GdR GPL]: https://gdr-gpl.cnrs.fr/ [how to install opam]: https://opam.ocaml.org/doc/Install.html [ICFP OCaml track]: https://icfp23.sigplan.org/home/ocaml-2023