3 Commits

Include renames

Author	SHA1	Message	Date
Francesco Cozzuto	1331cd1ae3	cleaned up some documentation	2023-01-25 00:51:57 +01:00
Francesco Cozzuto	f7a2cb0611	more tests for the runtime	2023-01-23 01:06:29 +01:00
Francesco Cozzuto	1780826a97	new testing infrastructure	2023-01-22 02:22:44 +01:00