Skip to content
This repository was archived by the owner on Jun 17, 2022. It is now read-only.

Issues: zetzit/zz

Clear current search query, filters, and sorts
24 Open 45 Closed
24 Open 45 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

implement struct as bitvec bitvec type should be raw memory as bitvec
#31 opened Mar 16, 2020 by aep updated Mar 16, 2020
Mutation isn't checked properly bug Something isn't working inconsistent prover doesn't match C behaviour
#19 opened Feb 7, 2020 by gmorenz updated Mar 16, 2020
6
Uninitialized access succeeds inconsistent prover doesn't match C behaviour need-realworld-feedback feedback from users needed on how the decision would affect real world use
#13 opened Feb 6, 2020 by jacereda updated Mar 16, 2020 0.1
2
5
More explicitly explain guarantees and limitations in Readme documentation Improvements or additions to documentation
#52 opened Apr 1, 2020 by richardanaya updated Apr 1, 2020
Theory behind ZZ documentation Improvements or additions to documentation question Further information is requested
#12 opened Feb 6, 2020 by suhr updated Apr 1, 2020
8
external c functions incorrectly accepted as safe inconsistent prover doesn't match C behaviour need-realworld-feedback feedback from users needed on how the decision would affect real world use
#22 opened Feb 11, 2020 by bitwave updated May 27, 2020 0.1
8
implement async on win32 bounty sponsorship by devguard available
#98 opened Jul 22, 2020 by aep updated Jul 22, 2020
book / structured documentation bounty sponsorship by devguard available documentation Improvements or additions to documentation
#82 opened Jun 25, 2020 by jwerle updated Jul 22, 2020
@jwerle
3
Support for web assembly? question Further information is requested
#47 opened Apr 1, 2020 by richardanaya updated Jul 25, 2020
11
Inconsistent treatment of keywords in zz.pest question Further information is requested
#66 opened May 14, 2020 by johnwcowan updated Jul 25, 2020
theory of pointers is inconsistent
#39 opened Mar 25, 2020 by DestyNova updated Jul 25, 2020
9
uninterpreted theories don't check argument types
#114 opened Aug 19, 2020 by aep updated Aug 19, 2020
attached type parameters need-realworld-feedback feedback from users needed on how the decision would affect real world use
#121 opened Sep 10, 2020 by aep updated Sep 11, 2020
@jwerle
4
new constructor from instance method enhancement New feature or request
#123 opened Sep 15, 2020 by aep updated Sep 16, 2020
6
only store tail needed in containers
#125 opened Sep 17, 2020 by aep updated Sep 18, 2020
1
Mixing callsite assign and callsite source bug Something isn't working
#126 opened Sep 20, 2020 by jwerle updated Sep 20, 2020
1
Pointers to locals can escape, allowing UB
#138 opened Oct 13, 2020 by mb64 updated Oct 13, 2020
1
cast of function pointer should not be allowed
#139 opened Oct 13, 2020 by mb64 updated Oct 13, 2020
1
*p and p[0] are treated differently bitvec type should be raw memory as bitvec inconsistent prover doesn't match C behaviour
#10 opened Feb 5, 2020 by ksqsf updated Oct 13, 2020
5
Unicode support enhancement New feature or request need-realworld-feedback feedback from users needed on how the decision would affect real world use
#44 opened Mar 30, 2020 by benman1 updated Jan 25, 2021
12
changing syntax of member functions
#154 opened Feb 13, 2021 by aep updated Feb 13, 2021
3
macros in Build Scripts enhancement New feature or request question Further information is requested
#78 opened Jun 22, 2020 by jwerle updated Feb 13, 2021 Build Scripts
1
@aep @jwerle
10
Self hosting version
#110 opened Aug 16, 2020 by DanielMazurkiewicz updated Feb 13, 2021
2
closures can't be assigned to local variables bug Something isn't working
#152 opened Jan 25, 2021 by sternenseemann updated May 4, 2021
3
ProTip! Adding no:label will show everything without a label.