Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
Conan packaging of freeimage project
-
C++14 library for LTL, ω-automata manipulation, and model checking. Comes with Python bindings.
-
Conan packaging recipe for google benchmark library
-
-
-
-
-
Dockerfiles for constructing build environments for Spot
-
-
-
-
-
-
-
Vcsn is a finite state machine manipulation platform, consisting of a templated C++ library, a dynamic C++ API, and Python GUI.
-
-
-
Web server for Spot
-
Online application for rewriting LTL formula or translating them into automata.
-
Builds the docker image that runs on spot-sandbox.lrde.epita.fr.