4 Commits

Author	SHA1	Message	Date
kdee	c3fa1de914	included features from SPAWC 2026 branch	2026-03-31 21:18:02 -07:00
kdee	03fae7077c	'	2026-01-28 15:42:52 -08:00
kdee	7883d436a4	improved objective function generation	2026-01-28 15:42:52 -08:00
kdee	bcb3bc3da3	lots of cleanup and simplification in test case construction	2026-01-13 21:17:35 -08:00