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

18998 commits

This branch
This branch
All branches
Author SHA1 Message Date
Nikolaj Bjorner a8a50695c9
Update README.md 2024-11-18 13:29:06 -08:00
Nikolaj Bjorner 15f954ec3b add picture of z3guide 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-11-18 13:21:35 -08:00
Nikolaj Bjorner 24dfc17920
Update README.md 2024-11-18 11:54:34 -08:00
Nikolaj Bjorner 4b72e517b7 SLS: log clause , allow more frequent export of SLS state to SMT 2024-11-17 20:13:02 -08:00
Nikolaj Bjorner 84447b7031 remove incremental mode from EUF, include statistics about restart vs propagation calls to sls 2024-11-17 16:58:18 -08:00
Nikolaj Bjorner c7ea4964f2 bug fixes to sls 2024-11-17 13:07:38 -08:00
Nikolaj Bjorner e380903d61
Update README.md 2024-11-16 19:20:04 -08:00
Nikolaj Bjorner 2310514e02 fix #7454 2024-11-16 18:20:06 -08:00
Nikolaj Bjorner 5fd1231ec0 incorporate ls during propagation 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-11-16 15:28:28 -08:00
Nikolaj Bjorner 836802ed71
Update pyodide.yml 
add back build flags in script
 2024-11-16 13:36:38 -08:00
Nikolaj Bjorner cdc483374c
Update pyodide.yml 
remove z3num doctest, add artifact upload
 2024-11-16 13:01:03 -08:00
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