Commit Graph

4 Commits

Author SHA1 Message Date
Denis Merigoux
bbd50747d9
Big renaming and dir reorg 2021-06-21 11:39:06 +02:00
Denis Merigoux
5c64b330e8 Only look into src directory 2020-05-22 19:58:01 +02:00
Denis Merigoux
095f0a8de1 Code reorg 2019-09-04 10:32:33 +02:00
Denis Merigoux
82dcdbcfbc The backend name should be verifisc, since specifisc will be the name of the high-level language 2019-08-14 18:50:41 -07:00