We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see ourdocumentation.
install setup tools for python packagingSigned-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
bump timeout for jobsSigned-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
reduce hash table lookups in expr_abstract in half
add _0 to platform tag for pypiSigned-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
update version number and release notes
add download of Arm64 to python packagingSigned-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
enable release publishSigned-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
update release scripts and notesSigned-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
add release notesSigned-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
update release notesSigned-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>