5 commits

Author	SHA1	Message	Date
Nikolaj Bjorner	f8beeab517	na ... Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>	2026-02-18 20:57:02 -08:00
Nikolaj Bjorner	a5aef2c4d0	make build directory configurable ... Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>	2026-02-18 20:57:02 -08:00
Kevin Phoenix	1a9990a92f	Use sys.getdefaultencoding() instead of sys.stdout.encoding (#6612)	2023-02-28 11:46:10 -08:00
Nikolaj Bjorner	0eea021dc3	include global parameters and fixup for HTML meta-characters	2022-08-22 14:25:18 -07:00
Nikolaj Bjorner	21033790be	add parameter documentation to nightly	2022-08-16 15:07:19 -07:00