mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-20 07:36:38 +00:00
Code Activity
19591 commits 23 branches 48 tags 157 MiB
Commit graph

9 commits

Author SHA1 Message Date
Nikolaj Bjorner bcb61ee12c v0 of edit distance repair 2024-12-05 14:14:27 -08:00
Nikolaj Bjorner b4e768cfb0 adding plugin for local search strings 2024-11-22 13:56:03 -08:00
Nikolaj Bjorner 8ca023d541 expose propagate created 2021-12-17 16:12:47 -08:00
CEisenhofer 47fdd6c060
Added 16 bit string-encoding (#5540) 2021-09-09 11:35:16 +02:00
Nuno Lopes 34e8a2f0f6 simplify 2021-05-23 12:01:04 +01:00
Nikolaj Bjorner 20a67e47ca remove symbol -> zstring -> symbol round-trips 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-05-22 13:12:49 -07:00
Nikolaj Bjorner 5cb0bac41d patch 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-05-22 12:26:54 -07:00
Nikolaj Bjorner a10de2e975 #5140 2021-05-22 10:15:06 -07:00
Nikolaj Bjorner 20332c6d3e adding char decl plugin for separate theory treatment 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-01-26 16:28:44 -08:00