6 Commits

Author	SHA1	Message	Date
Robin Mueller	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
Robin Mueller	148fc29b95	update syn to v2.0, large update	2023-07-03 00:42:20 +02:00
Robin Mueller	def176bed8	large update	2023-07-02 20:49:45 +02:00
Robin Mueller	6a488f77db	run cargo fmt	2022-11-27 22:32:10 +01:00
Robin Mueller	fd59f25fea	this structure is a lot better	2022-11-27 22:30:38 +01:00
Robin Mueller	489686c8ce	trying to internalize mib codegen	2022-11-27 22:13:15 +01:00