C++14 library for LTL, ω-automata manipulation, and model checking.

Online application for rewriting LTL formula or translating them into automata.

Builds the docker image that runs on spot-sandbox.lrde.epita.fr.

Dockerfiles for constructing build environments for Spot

Conan packaging recipe for google benchmark library

Emacs support for features related to Spot.

Conan packaging of freeimage project

Metaprogramming toolbox to do blackmagic in c++17

Add macro to detect whether an expression is compile-time.

Mirror of freeimage library. It enables us pulling sources from git instead of a random failing tarball on sourceforge when packaging it with conan.