-
Notifications
You must be signed in to change notification settings - Fork 2
/
yinyang_bugs.html
88 lines (86 loc) · 9.22 KB
/
yinyang_bugs.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
---
sidebar:
nav: "yinyangnav"
---
<body style="font-size: 20px;">
<h2>Bug findings with Semantic Fusion</h2>
<h2 id="cvc4">========= CVC4 =========</h2>
<a href="https://github.com/CVC4/CVC4/issues/4758#issuecomment-782028728">https://github.com/CVC4/CVC4/issues/4758#issuecomment-782028728</a> Confirmed <br />
<a href="https://github.com/CVC4/CVC4/issues/4333">https://github.com/CVC4/CVC4/issues/4333</a> Confirmed <br />
<a href="https://github.com/CVC4/CVC4/issues/3441">https://github.com/CVC4/CVC4/issues/3441</a> Dup <br />
<a href="https://github.com/CVC4/CVC4/issues/3440">https://github.com/CVC4/CVC4/issues/3440</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/3430">https://github.com/CVC4/CVC4/issues/3430</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/3412">https://github.com/CVC4/CVC4/issues/3412</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/3375">https://github.com/CVC4/CVC4/issues/3375</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/3357">https://github.com/CVC4/CVC4/issues/3357</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/3286">https://github.com/CVC4/CVC4/issues/3286</a> Won't fix <br />
<a href="https://github.com/CVC4/CVC4/issues/3272">https://github.com/CVC4/CVC4/issues/3272</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/3247">https://github.com/CVC4/CVC4/issues/3247</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/3217">https://github.com/CVC4/CVC4/issues/3217</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/3203">https://github.com/CVC4/CVC4/issues/3203</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/3106">https://github.com/CVC4/CVC4/issues/3106</a> Confirmed <br />
<h2 id="z3">========= Z3 =========</h2>
<a href="https://github.com/Z3Prover/z3/issues/5036#issuecomment-787601706">https://github.com/Z3Prover/z3/issues/5036#issuecomment-787601706</a> Dup <br />
<a href="https://github.com/Z3Prover/z3/issues/4804#issuecomment-782707242">https://github.com/Z3Prover/z3/issues/4804#issuecomment-782707242</a> Reported <br />
<a href="https://github.com/Z3Prover/z3/issues/5036">https://github.com/Z3Prover/z3/issues/5036</a> Dup <br />
<a href="https://github.com/Z3Prover/z3/issues/5029">https://github.com/Z3Prover/z3/issues/5029</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4866#issuecomment-778775322">https://github.com/Z3Prover/z3/issues/4866#issuecomment-778775322</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4866#issuecomment-778721073">https://github.com/Z3Prover/z3/issues/4866#issuecomment-778721073</a> Confirmed <br />
<a href="https://github.com/Z3Prover/z3/issues/4613">https://github.com/Z3Prover/z3/issues/4613</a> Reported <br />
<a href="https://github.com/Z3Prover/z3/issues/4866#issuecomment-764465183">https://github.com/Z3Prover/z3/issues/4866#issuecomment-764465183</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4940#issuecomment-761021367">https://github.com/Z3Prover/z3/issues/4940#issuecomment-761021367</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4940#issuecomment-760607059">https://github.com/Z3Prover/z3/issues/4940#issuecomment-760607059</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4940#issuecomment-760305625">https://github.com/Z3Prover/z3/issues/4940#issuecomment-760305625</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4866#issuecomment-759984367">https://github.com/Z3Prover/z3/issues/4866#issuecomment-759984367</a> Confirmed <br />
<a href="https://github.com/Z3Prover/z3/issues/4940#issuecomment-759171224">https://github.com/Z3Prover/z3/issues/4940#issuecomment-759171224</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4532">https://github.com/Z3Prover/z3/issues/4532</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4532#issuecomment-648048990">https://github.com/Z3Prover/z3/issues/4532#issuecomment-648048990</a> Reported <br />
<a href="https://github.com/Z3Prover/z3/issues/4532#issuecomment-646721686">https://github.com/Z3Prover/z3/issues/4532#issuecomment-646721686</a> Reported <br />
<a href="https://github.com/Z3Prover/z3/issues/4518#issue-638850637">https://github.com/Z3Prover/z3/issues/4518#issue-638850637</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4153">https://github.com/Z3Prover/z3/issues/4153</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3926">https://github.com/Z3Prover/z3/issues/3926</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3072">https://github.com/Z3Prover/z3/issues/3072</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/2926">https://github.com/Z3Prover/z3/issues/2926</a> Won't fix <br />
<a href="https://github.com/Z3Prover/z3/issues/2924">https://github.com/Z3Prover/z3/issues/2924</a> Dup <br />
<a href="https://github.com/Z3Prover/z3/issues/2673">https://github.com/Z3Prover/z3/issues/2673</a> Confirmed <br />
<a href="https://github.com/Z3Prover/z3/issues/2672">https://github.com/Z3Prover/z3/issues/2672</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/2671">https://github.com/Z3Prover/z3/issues/2671</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/2668">https://github.com/Z3Prover/z3/issues/2668</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/2632">https://github.com/Z3Prover/z3/issues/2632</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/2618">https://github.com/Z3Prover/z3/issues/2618</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/2615">https://github.com/Z3Prover/z3/issues/2615</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/2613">https://github.com/Z3Prover/z3/issues/2613</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/2612">https://github.com/Z3Prover/z3/issues/2612</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/2580">https://github.com/Z3Prover/z3/issues/2580</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/2578">https://github.com/Z3Prover/z3/issues/2578</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/2573">https://github.com/Z3Prover/z3/issues/2573</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/2567">https://github.com/Z3Prover/z3/issues/2567</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/2566">https://github.com/Z3Prover/z3/issues/2566</a> Dup <br />
<a href="https://github.com/Z3Prover/z3/issues/2563">https://github.com/Z3Prover/z3/issues/2563</a> Dup <br />
<a href="https://github.com/Z3Prover/z3/issues/2562">https://github.com/Z3Prover/z3/issues/2562</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/2557">https://github.com/Z3Prover/z3/issues/2557</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/2556">https://github.com/Z3Prover/z3/issues/2556</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/2548">https://github.com/Z3Prover/z3/issues/2548</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/2546">https://github.com/Z3Prover/z3/issues/2546</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/2533">https://github.com/Z3Prover/z3/issues/2533</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/2531">https://github.com/Z3Prover/z3/issues/2531</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/2530">https://github.com/Z3Prover/z3/issues/2530</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/2516">https://github.com/Z3Prover/z3/issues/2516</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/2514">https://github.com/Z3Prover/z3/issues/2514</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/2513">https://github.com/Z3Prover/z3/issues/2513</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/2509">https://github.com/Z3Prover/z3/issues/2509</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/2483">https://github.com/Z3Prover/z3/issues/2483</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/2478">https://github.com/Z3Prover/z3/issues/2478</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/2450">https://github.com/Z3Prover/z3/issues/2450</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/2449">https://github.com/Z3Prover/z3/issues/2449</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/2422">https://github.com/Z3Prover/z3/issues/2422</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/2396">https://github.com/Z3Prover/z3/issues/2396</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/2397">https://github.com/Z3Prover/z3/issues/2397</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/2391">https://github.com/Z3Prover/z3/issues/2391</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/2390">https://github.com/Z3Prover/z3/issues/2390</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/2376">https://github.com/Z3Prover/z3/issues/2376</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/2375">https://github.com/Z3Prover/z3/issues/2375</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/2372">https://github.com/Z3Prover/z3/issues/2372</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/2366">https://github.com/Z3Prover/z3/issues/2366</a> Fixed <br />
</body>
<style>#footer {display: none} </style>