8 commits

Author	SHA1	Message	Date
Yorick Barbanneau	0bbf6ffde1	finish Frama-C homework	2023-05-09 21:57:24 +02:00
Yorick Barbanneau	97a81f159a	Going forward, but gently...	2023-05-09 21:57:24 +02:00
Yorick Barbanneau	4a30965654	WIP, part one Done and part 2 most done	2023-05-09 21:57:24 +02:00
Yorick Barbanneau	f295671946	First part of TD	2023-05-09 21:57:24 +02:00
Yorick Barbanneau	522bdb0218	Create a (very imperfect) container to run framac ... Work woth Makefile	2023-05-09 21:57:24 +02:00
Yorick Barbanneau	83b5a97914	Add Makefile for FramaC DM	2023-05-09 21:57:24 +02:00
Yorick Barbanneau	dde1c4a854	Add 1b and 1c responses	2023-05-09 21:57:24 +02:00
Yorick Barbanneau	56e86b4b20	Add FramaC TDM	2023-05-09 21:57:24 +02:00