7 Commits

Include renames

Author	SHA1	Message	Date
muellerr	d2e896fc92	more cleaning and restructuring	2023-07-05 11:25:23 +02:00
muellerr	46c47a3a0f	Merge branch 'large-update' of https://egit.irs.uni-stuttgart.de/rust/sat-rs into large-update	2023-07-03 00:43:56 +02:00
muellerr	148fc29b95	update syn to v2.0, large update	2023-07-03 00:42:20 +02:00
muellerr	def176bed8	large update	2023-07-02 20:49:45 +02:00
muellerr	6a488f77db	run cargo fmt	2022-11-27 22:32:10 +01:00
muellerr	fd59f25fea	this structure is a lot better	2022-11-27 22:30:38 +01:00
muellerr	489686c8ce	trying to internalize mib codegen	2022-11-27 22:13:15 +01:00