4 commits

Author	SHA1	Message	Date
Nikolaj Bjorner	82b34e319b	update a3-python to fix issues ... Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>	2026-02-18 08:16:56 -08:00
Nikolaj Bjorner	a91c5c58bd	v2 workflow ... Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>	2026-02-10 19:52:07 -08:00
Nikolaj Bjorner	f6a1d87e32	Update a3-rust verifier documentation: correct artifact references and descriptions	2026-02-06 19:45:05 +00:00
Nikolaj Bjorner	0f30ae2f90	na ... Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>	2026-02-06 11:24:39 -08:00