9 Commits

Author	SHA1	Message	Date
Denis Merigoux	0d54b39aa9	Logging in Python OK	2021-06-26 18:04:36 +02:00
Denis Merigoux	32c2e84a10	Improve Python library API	2021-06-26 17:12:15 +02:00
Denis Merigoux	03b44f5b15	Python backend debugged and tested	2021-06-25 00:47:12 +02:00
Denis Merigoux	e38dc4c728	Various bugfixing and improvements for the Python backend	2021-06-25 00:16:21 +02:00
Denis Merigoux	3f5027e5a5	Translation now typechecks	2021-06-24 22:55:27 +02:00
Denis Merigoux	0481181f92	Put mypy typing under CI	2021-06-24 18:18:25 +02:00
Denis Merigoux	488baa9c5e	Wrap up runtime	2021-06-21 17:33:29 +02:00
Denis Merigoux	8c30e059a7	Add functions to runtime, doc setup	2021-06-21 16:51:02 +02:00
Denis Merigoux	db026c6720	Start to implement Python runtime	2021-06-21 12:31:46 +02:00