mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-08 18:31:49 +00:00
Code Activity
18987 commits 23 branches 48 tags 156 MiB
Commit graph

18987 commits

This branch
This branch
All branches
Author SHA1 Message Date
Nikolaj Bjorner 00c5600b09
Update pyodide.yml 
tidy, remove build flags as they are now in setup.py
 2024-11-16 12:36:53 -08:00
Nikolaj Bjorner 750dd68a14 enable par_then and par_or even if single threaded - fall back to sequential mode 2024-11-16 12:29:22 -08:00
Nikolaj Bjorner f64d077d2a fix re-entrancy bug during flip in arith_base 2024-11-16 12:29:03 -08:00
Nikolaj Bjorner e4e5735620 update to set single threaded 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-11-16 09:12:32 -08:00
Nikolaj Bjorner b929996941 update to set single threaded 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-11-16 09:11:44 -08:00
Nikolaj Bjorner f39198d9a8 move build-env setting to correct place 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-11-16 08:32:47 -08:00
Nikolaj Bjorner 197951cad4 fixes to sls 2024-11-16 08:28:24 -08:00
Nikolaj Bjorner 7c5ff7c623 moving compile time flags to setup for pyodide 2024-11-16 08:28:24 -08:00
Nikolaj Bjorner 8bfe403dd3
Update pyodide.yml 2024-11-16 08:11:36 -08:00
Nikolaj Bjorner 60b14f3675
Update pyodide.yml 2024-11-16 08:05:17 -08:00
Nikolaj Bjorner e7d083304b
Update pyodide.yml 2024-11-15 19:29:28 -08:00
Nikolaj Bjorner bd5f8b17d6
Update pyodide.yml 2024-11-15 19:26:24 -08:00
Nikolaj Bjorner 751d666e16
Update pyodide.yml 2024-11-15 19:16:54 -08:00
Nikolaj Bjorner 24f9a86539
Update pyodide.yml 2024-11-15 18:49:51 -08:00
Nikolaj Bjorner dba167472e
Update pyodide.yml 2024-11-15 18:43:51 -08:00
Nikolaj Bjorner 704278caa9
Update pyodide.yml 2024-11-15 18:40:17 -08:00
Nikolaj Bjorner 231248d610
Update pyodide.yml 2024-11-15 18:36:13 -08:00
Nikolaj Bjorner 329e1ddb10
Update pyodide.yml 2024-11-15 18:30:41 -08:00
Nikolaj Bjorner aab6c1e909
Update pyodide.yml 
Add flags from src\api\js\scripts\build-wasm.ts
 2024-11-15 16:57:11 -08:00
Nikolaj Bjorner ccbe6c33ae fixes 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-11-15 09:29:30 -08:00
Nikolaj Bjorner 88048901f0
Update pyodide.yml 2024-11-15 08:45:51 -08:00
Nikolaj Bjorner ea590def47 remove breaking experiment 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-11-15 08:03:57 -08:00
Nikolaj Bjorner 1d8a904e99 build fixes 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-11-14 22:10:59 -08:00
Nikolaj Bjorner 77eacef2ae build fixes 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-11-14 22:08:13 -08:00
Nikolaj Bjorner 3f407982f3 build fixes 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-11-14 21:55:44 -08:00
Nikolaj Bjorner ca6ec0d9e4 fixes to pyodide action 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-11-14 21:45:47 -08:00
Nikolaj Bjorner 8e3b9f6686 add sequential option for SLS, fixes to import/export methods SLS<->SMT 2024-11-14 21:43:40 -08:00
Nikolaj Bjorner 6a9d5910cb add method for resetting limit 2024-11-14 21:43:40 -08:00
Nikolaj Bjorner 6eae3f0863 add cases for unconstrained sequences and strings 2024-11-14 21:43:40 -08:00
Nikolaj Bjorner 62db7642ec refine rewriting depth for lt constraints 2024-11-14 21:43:40 -08:00
Audrey Dutcher 3fed840233 update pyodide.yml 2024-11-14 22:15:57 -07:00
Nikolaj Bjorner eab49da274
Update pyodide.yml 
switch to ubuntu 24
 2024-11-14 20:49:33 -08:00
Nikolaj Bjorner 75d0dd891b
Update pyodide.yml 
fix typo emv -> env
 2024-11-14 20:12:30 -08:00
Nikolaj Bjorner e53ea005a0
Update pyodide.yml 2024-11-14 19:26:03 -08:00
Nikolaj Bjorner 4cdc3d6b1a
Update pyodide.yml 2024-11-14 18:59:53 -08:00
Nikolaj Bjorner 4d0394e33f
Update pyodide.yml 
trying to understand paths
 2024-11-14 18:54:23 -08:00
Nikolaj Bjorner 0dc4c5e58b
Create pyodide.yml 2024-11-14 18:47:43 -08:00
Linus d3009dabfc
Proposed fix for #7451 (#7452) 2024-11-13 09:11:40 -08:00
Nikolaj Bjorner c0e748a51a fix #7446, by adding rewrite simplification 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-11-11 19:16:11 -08:00
Nikolaj Bjorner 1cc808c58d fix #7446, by adding rewrite simplification 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-11-11 19:08:11 -08:00
Nikolaj Bjorner 30ad22a4ef fix #7449 2024-11-11 15:45:18 -08:00
Nikolaj Bjorner 879bb4b1f0 avoid circular dependencies in justifications that get updated. fixes #7443 2024-11-10 19:35:01 -08:00
Nikolaj Bjorner 1856ab72d9 fix #7448 2024-11-10 14:40:28 -08:00
Nikolaj Bjorner 4f060dd2b1 fix #7445 2024-11-10 14:40:04 -08:00
Nikolaj Bjorner abd16740ce inherit more exceptions from std::exception 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-11-04 13:52:14 -08:00
Nikolaj Bjorner a38bf3e22f port to inherit from std::exception 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-11-04 13:25:14 -08:00
Nikolaj Bjorner 407bad3693 add noexcept 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-11-04 11:21:55 -08:00
Nikolaj Bjorner 42894f729a add noexcept for signature compatibility 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-11-04 11:13:49 -08:00
Audrey Dutcher 75e46778fa
Make build process work with pyodide (#7442) 2024-11-04 11:09:51 -08:00
Nikolaj Bjorner 92065462b4 use std::exception as base class to z3_exception 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-11-04 11:08:15 -08:00