sat-rs

Author	SHA1	Message	Date
Robin Mueller	ce23e798f1	fix all tests Some checks failed Rust/sat-rs/pipeline/pr-main There was a failure building this commit Details	2024-02-12 15:12:54 +01:00
Robin Mueller	3ea3a7acb6	restructure the crate Some checks are pending Rust/sat-rs/pipeline/head Build started... Details - Add new shared subcrate satrs-shared to split off some shared components not expected to change very often. - Renmame `satrs-core` to `satrs`. It is expected that sat-rs will remain the primary crate, so the core information is superfluous, and core also implies stability, which will not be the case for some time.	2024-02-12 14:27:22 +01:00
Robin Mueller	148fc29b95	update syn to v2.0, large update	2023-07-03 00:42:20 +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