3 Commits

Include renames

Author	SHA1	Message	Date
Robert Wartenberg	a64314edbd	fix varaibles and cleanup dump on boogie	2023-10-04 09:42:29 +02:00
Robert Wartenberg	6da6e5d296	amend last commit	2023-10-04 08:24:18 +02:00
Robert Wartenberg	17494e3afb	add first draft boogie backup scripts	2023-10-04 08:03:44 +02:00