stable_1.0

Benoit Barbot

@barbot

b1b9b2a7 · fix Makefile · Mar 19, 2021

Commit corresponding to the submission to ATVA as a tool paper.