feat(serial): Robust environment extension pickling #216

Merged

aniva merged 6 commits from serial/env-extensions into dev

2025-06-24 13:41:06 -07:00

Author	SHA1	Message	Date
Leni Aniva	6323c02f47	test: Fix pickle state name	2025-06-20 12:25:40 -07:00
Leni Aniva	dfa491a5c2	test: Pickling of aux lemma	2025-06-20 12:10:31 -07:00
Leni Aniva	9d9f5dee88	test: Use synthetic tactic to generate aux lemmas	2025-06-20 12:00:25 -07:00
Leni Aniva	b3f88f5d54	Merge branch 'dev' into serial/env-extensions	2025-06-20 10:50:29 -07:00
Leni Aniva	771f8ad266	chore: Formatting	2025-06-20 10:20:33 -07:00
Leni Aniva	1b2a2d5c8d	test: Intentionally generate aux lemmas	2025-06-20 10:19:42 -07:00