Frédéric Boulanger's repositories
docker-ubuntu_22-04-novnc
Ubuntu 22.04 in a docker container with display in your web browser
docker-framac
Frama-C, Why3 and some SMT solvers in a multi architecture docker image
MiniARM-feature
An Xtext feature providing an editor and an assembler for the MiniARM processor used in the Software Science 3rd year major at CentraleSupélec
Docker-TESL
Docker image with Eclipse and the TESL feature installed
Language:Dockerfile000
docker-ubuntunovnc-3asem
Docker image for teaching in the "Software Science" 3rd year at CentraleSupélec
Language:Shell000
TESL
Isabelle/HOL theory for the Tagged Events Specification Language (TESL). See https://wdi.centralesupelec.fr/software/TESL/
Language:TeX000
TESL_Denotational5
Another version of the denotational semantics of TESL
why3-isa2021-fix
Fix for the use of Isabelle 2021 with Why3 1.4.0