4 commits

Author	SHA1	Message	Date
Copilot	b8ac856bd3	qf-s-benchmark: debug build + seq tracing + seq-fast/nseq-slow trace analysis (#8988) ... * Initial plan * Update qf-s-benchmark: debug build, seq tracing, trace analysis Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com> --------- Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com> Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>	2026-03-14 12:21:42 -07:00
copilot-swe-agent[bot]	d4d72767d9	add ZIPT solver to QF_S benchmark workflow ... Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>	2026-03-12 17:36:48 +00:00
copilot-swe-agent[bot]	ea4ee11117	Rename Qf S Benchmark to ZIPT Benchmark in workflow files ... Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>	2026-03-06 00:05:35 +00:00
Nikolaj Bjorner	e8bfa10d29	test c3 ... Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>	2026-03-05 16:00:55 -08:00