GaloisInc/what4
1
1
Fork 0
mirror of https://github.com/GaloisInc/what4.git synced 2024-10-05 16:08:03 +03:00
Code Issues Projects Releases Wiki Activity
1,221 Commits 61 Branches 12 Tags 8.1 MiB

Default Branch

master

038e948817 · Merge pull request #274 from GaloisInc/prepare-1.6.2-release · Updated 2024-09-23 17:06:00 +03:00
 ZIP  TAR.GZ

Branches

lb/concretize

4068bb90ee · Further simplify concretization code · Updated 2024-06-13 20:09:39 +03:00
23
4
 ZIP  TAR.GZ
T251-variants

80231d4fa1 · Draft: BaseVariantType · Updated 2024-01-29 17:45:35 +03:00
50
1
 ZIP  TAR.GZ
sygus-old

7cfdcbde28 · wip · Updated 2024-01-10 08:30:06 +03:00
71
9
 ZIP  TAR.GZ
lb/ann-nonce-app

bfb4b66cac · what4: Don't annotate {Nonce,}AppExprs · Updated 2023-12-06 20:09:29 +03:00
52
1
 ZIP  TAR.GZ
cachix-testing

80f8150aca · Testing new api key · Updated 2023-09-13 17:24:36 +03:00
59
3
 ZIP  TAR.GZ
fuzz2

dafe075033 · Add fuzz evaluation and simplification. · Updated 2023-07-18 02:59:48 +03:00
69
11
 ZIP  TAR.GZ
fuzz

c65e7f5e13 · wip · Updated 2023-06-20 19:27:14 +03:00
70
4
 ZIP  TAR.GZ
ghc-9.4-experiment

e1c2fb3a2f · Revert "Simplify bvult by extracting sum common when sound. (#232)" · Updated 2023-04-19 15:59:15 +03:00
70
1
 ZIP  TAR.GZ
horn

27e6b65575 · wip · Updated 2022-09-29 06:41:43 +03:00
86
1
 ZIP  TAR.GZ
abduct-cfg

ebe4c24a85 · Partially finished formula to cfg function implemented · Updated 2022-08-10 22:14:50 +03:00
93
21
 ZIP  TAR.GZ
sb/transitionsystem-inputs

4722827c8d · Support inputs in what4-transition-system · Updated 2022-06-06 07:47:51 +03:00
103
1
 ZIP  TAR.GZ
rgs/cvc5

3b2196cfaf · Draft: Support CVC5 · Updated 2022-05-15 16:22:26 +03:00
100
1
 ZIP  TAR.GZ
rgs/bitwuzla

fe4868b68c · Make Bitwuzla treatment mirror Boolector's, test suite updates · Updated 2022-01-24 20:31:22 +03:00
148
2
 ZIP  TAR.GZ
ci_nixver_fix

685fc5155d · CI: add some overall descriptive comments. · Updated 2021-11-27 06:47:47 +03:00
208
0
 Included
 ZIP  TAR.GZ
PR163-fixup

f611f5aee7 · Minor fixes to Atan2, Pow handling in realSpecialFunction · Updated 2021-10-29 19:52:56 +03:00
214
1
 ZIP  TAR.GZ
special-functions

c7ff6350e2 · Pipe through "tan" and "tanh" in the SMTWriter. They are not · Updated 2021-09-28 04:06:45 +03:00
221
0
 Included
 ZIP  TAR.GZ
strings2-z3ver

59c8978c43 · [CI] Add Z3 matrix version to job name. · Updated 2021-08-09 08:16:01 +03:00
231
6
 ZIP  TAR.GZ
boolector-fix

40532757f2 · Update supported solver versions in the README · Updated 2021-08-04 23:28:35 +03:00
233
0
 Included
 ZIP  TAR.GZ
strings2

f942fa117d · Ignore STP tests when not avalaible. · Updated 2021-08-03 22:29:52 +03:00
231
0
 Included
 ZIP  TAR.GZ
uninterp-feat

514fced86b · Add ProblemFeature values for tracking the use of · Updated 2021-07-31 02:47:26 +03:00
240
0
 Included
 ZIP  TAR.GZ