issues
search
zetzit
/
zz
πΊπ ZetZ a zymbolic verifier and tranzpiler to bare metal C
MIT License
1.6k
stars
52
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Bump thread_local from 1.0.1 to 1.1.4
#169
dependabot[bot]
opened
2 years ago
0
Bump smallvec from 1.4.0 to 1.8.0
#168
dependabot[bot]
opened
2 years ago
0
Bump crossbeam-queue from 0.2.1 to 0.2.3
#167
dependabot[bot]
opened
2 years ago
0
Bump generic-array from 0.12.3 to 0.12.4
#166
dependabot[bot]
opened
2 years ago
0
Bump crossbeam-deque from 0.7.3 to 0.7.4
#165
dependabot[bot]
opened
2 years ago
0
bump rsmt2
#164
dm9pZCAq
closed
2 years ago
0
`zz` leaves zombie process of `z3`
#163
dm9pZCAq
closed
2 years ago
7
use `rsmt2` from crates.io instead of from `git`
#162
dm9pZCAq
closed
2 years ago
1
Fix warnings
#161
interwhy
closed
3 years ago
1
avoid writing to modules that have no repos anyway
#158
aep
closed
3 years ago
0
zz shouldn't try to create an index in read only directory
#157
sternenseemann
closed
3 years ago
3
make module search path a vec
#156
aep
closed
3 years ago
2
Module search is not predictable
#155
sternenseemann
closed
3 years ago
5
changing syntax of member functions
#154
aep
opened
3 years ago
3
Fix syntax errors and obvious compile errors in README
#153
sternenseemann
opened
3 years ago
0
closures can't be assigned to local variables
#152
sternenseemann
opened
3 years ago
3
catch bad project name
#151
aep
closed
3 years ago
0
Trying to run any example gives me "expected file" error
#150
GoldsteinE
closed
3 years ago
13
Remove all compiler warnings
#149
acatton
closed
3 years ago
1
Improve u128/i128 compiler compatibility
#145
jam1garner
closed
3 years ago
2
Move vim support to separate repository
#144
jam1garner
closed
3 years ago
2
discord vs zulip
#143
aep
closed
3 years ago
2
Fix binary literal warning/error in non-GNU compilers
#142
jam1garner
closed
3 years ago
7
Rewrite integer parser
#141
jam1garner
closed
3 years ago
2
Fix hex literal parsing
#140
jam1garner
closed
3 years ago
1
cast of function pointer should not be allowed
#139
mb64
opened
3 years ago
1
Pointers to locals can escape, allowing UB
#138
mb64
opened
3 years ago
1
RFC: io
#137
aep
opened
3 years ago
2
refactor: add size/length defaults to 'hex::*' functions
#136
jwerle
closed
3 years ago
0
introduce 'slice::slice::read{u,i}{8,16,32,64}{be,le}()' API
#135
jwerle
closed
3 years ago
6
ast: parse array_init
#134
aep
closed
3 years ago
0
actually abs attached expressions
#133
aep
closed
3 years ago
0
rename vec::push_b to vec::put
#132
aep
closed
3 years ago
0
add 'map::clear()', 'map::has()', 'map::insert()', 'map::set()' convenience methods
#131
jwerle
closed
3 years ago
4
feat: introduce 'weakmap' module in std
#130
jwerle
closed
3 years ago
6
CI: use yices2
#129
aep
closed
3 years ago
0
BREAKING new constructor now uses uninitialized memory
#128
aep
closed
3 years ago
0
WIP json rewrite
#127
aep
closed
3 years ago
0
Mixing callsite assign and callsite source
#126
jwerle
opened
3 years ago
1
only store tail needed in containers
#125
aep
opened
3 years ago
1
callsite assign
#124
aep
closed
3 years ago
2
new constructor from instance method
#123
aep
opened
3 years ago
6
WIP attached types
#122
aep
closed
3 years ago
0
attached type parameters
#121
aep
opened
3 years ago
4
WIP: json serdes macro
#120
aep
closed
3 years ago
2
BREAKING fix macro string parsing
#119
aep
closed
3 years ago
2
adding a generic linked list
#118
aep
closed
3 years ago
0
do not convert string to rust String
#117
aep
closed
3 years ago
0
macros: do not emit incomplete c
#116
aep
closed
3 years ago
0
async on windows
#115
peirick
closed
3 years ago
5
Next