2 Commits

Author	SHA1	Message	Date
Dominik Maier	5df130188a	Fixing CI from #559 (#580) ... * updated ref * update symcc * updated symcc * CI for symcc * updated symcc * enabling git * add runtime deps to makefile * only linux Co-authored-by: tokatoka <tokazerkje@outlook.com>	2022-03-29 14:57:38 +02:00
julihoh	7581885d52	prepare concolic support crates for publishing to crates.io (#250) ... * prepare concolic support crates for publishing to crates.io * provide some bare-bones READMEs	2021-08-06 17:49:57 +02:00