IRILL - Research and Innovation on Free Software

About
- Philosophy
- Access
- Guest Information
- Organization
- SAB
- Founders
Events
Activities
News
Video

2024-04

Smt.ml - A Multi Back-end Front-end for SMT Solvers in OCaml

Smt.ml - A Multi Back-end Front-end for SMT Solvers in OCaml

Symbolic execution for all with Owi and Wasm

Symbolic execution for all with Owi and Wasm

Recent Posts
Upcoming Events
- Paris Rust Meetup (#76) Apr 2025
  
  29 April at 18:15
  
  IRILL, Paris

© 2025 · Powered by pelican-bootstrap3, Pelican, Bootstrap

"IRILL - Research and Innovation on Free Software" by is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License, except where indicated otherwise.