zetzit/zz issues and pull requests

#169 - Bump thread_local from 1.0.1 to 1.1.4

Pull Request - State: open - Opened by dependabot[bot] over 2 years ago
Labels: dependencies

#168 - Bump smallvec from 1.4.0 to 1.8.0

Pull Request - State: open - Opened by dependabot[bot] over 2 years ago
Labels: dependencies

#167 - Bump crossbeam-queue from 0.2.1 to 0.2.3

Pull Request - State: open - Opened by dependabot[bot] over 2 years ago
Labels: dependencies

#166 - Bump generic-array from 0.12.3 to 0.12.4

Pull Request - State: open - Opened by dependabot[bot] over 2 years ago
Labels: dependencies

#165 - Bump crossbeam-deque from 0.7.3 to 0.7.4

Pull Request - State: open - Opened by dependabot[bot] over 2 years ago
Labels: dependencies

#164 - bump rsmt2

Pull Request - State: closed - Opened by dm9pZCAq almost 3 years ago

#163 - `zz` leaves zombie process of `z3`

Issue - State: closed - Opened by dm9pZCAq almost 3 years ago - 7 comments
Labels: bug, help wanted

#162 - use `rsmt2` from crates.io instead of from `git`

Pull Request - State: closed - Opened by dm9pZCAq almost 3 years ago - 1 comment

#161 - Fix warnings

Pull Request - State: closed - Opened by interwhy over 3 years ago - 1 comment

#158 - avoid writing to modules that have no repos anyway

Pull Request - State: closed - Opened by aep over 3 years ago

#157 - zz shouldn't try to create an index in read only directory

Issue - State: closed - Opened by sternenseemann over 3 years ago - 3 comments
Labels: bug

#156 - make module search path a vec

Pull Request - State: closed - Opened by aep over 3 years ago - 2 comments

#155 - Module search is not predictable

Issue - State: closed - Opened by sternenseemann over 3 years ago - 5 comments
Labels: bug, good first issue

#154 - changing syntax of member functions

Issue - State: open - Opened by aep over 3 years ago - 3 comments

#153 - Fix syntax errors and obvious compile errors in README

Pull Request - State: open - Opened by sternenseemann over 3 years ago

#152 - closures can't be assigned to local variables

Issue - State: open - Opened by sternenseemann over 3 years ago - 3 comments
Labels: bug

#151 - catch bad project name

Issue - State: closed - Opened by aep over 3 years ago

#150 - Trying to run any example gives me "expected file" error

Issue - State: closed - Opened by GoldsteinE over 3 years ago - 13 comments
Labels: bug, question

#149 - Remove all compiler warnings

Pull Request - State: closed - Opened by acatton almost 4 years ago - 1 comment

#145 - Improve u128/i128 compiler compatibility

Pull Request - State: closed - Opened by jam1garner almost 4 years ago - 2 comments
Labels: enhancement, core

#144 - Move vim support to separate repository

Issue - State: closed - Opened by jam1garner almost 4 years ago - 2 comments
Labels: question

#143 - discord vs zulip

Issue - State: closed - Opened by aep almost 4 years ago - 2 comments
Labels: question

#142 - Fix binary literal warning/error in non-GNU compilers

Pull Request - State: closed - Opened by jam1garner almost 4 years ago - 7 comments

#141 - Rewrite integer parser

Pull Request - State: closed - Opened by jam1garner almost 4 years ago - 2 comments
Labels: enhancement, core

#140 - Fix hex literal parsing

Pull Request - State: closed - Opened by jam1garner almost 4 years ago - 1 comment

#139 - cast of function pointer should not be allowed

Issue - State: open - Opened by mb64 almost 4 years ago - 1 comment

#138 - Pointers to locals can escape, allowing UB

Issue - State: open - Opened by mb64 almost 4 years ago - 1 comment

#137 - RFC: io

Pull Request - State: open - Opened by aep about 4 years ago - 2 comments

#136 - refactor: add size/length defaults to 'hex::*' functions

Pull Request - State: closed - Opened by jwerle about 4 years ago
Labels: enhancement

#135 - introduce 'slice::slice::read{u,i}{8,16,32,64}{be,le}()' API

Pull Request - State: closed - Opened by jwerle about 4 years ago - 6 comments

#134 - ast: parse array_init

Pull Request - State: closed - Opened by aep about 4 years ago

#133 - actually abs attached expressions

Pull Request - State: closed - Opened by aep about 4 years ago

#132 - rename vec::push_b to vec::put

Pull Request - State: closed - Opened by aep about 4 years ago

#131 - add 'map::clear()', 'map::has()', 'map::insert()', 'map::set()' convenience methods

Pull Request - State: closed - Opened by jwerle about 4 years ago - 4 comments
Labels: enhancement

#130 - feat: introduce 'weakmap' module in std

Pull Request - State: closed - Opened by jwerle about 4 years ago - 6 comments
Labels: enhancement

#129 - CI: use yices2

Pull Request - State: closed - Opened by aep about 4 years ago

#128 - BREAKING new constructor now uses uninitialized memory

Pull Request - State: closed - Opened by aep about 4 years ago

#127 - WIP json rewrite

Pull Request - State: closed - Opened by aep about 4 years ago

#126 - Mixing callsite assign and callsite source

Issue - State: open - Opened by jwerle about 4 years ago - 1 comment
Labels: bug

#125 - only store tail needed in containers

Issue - State: open - Opened by aep about 4 years ago - 1 comment

#124 - callsite assign

Pull Request - State: closed - Opened by aep about 4 years ago - 2 comments

#123 - new constructor from instance method

Issue - State: open - Opened by aep about 4 years ago - 6 comments
Labels: enhancement

#122 - WIP attached types

Pull Request - State: closed - Opened by aep about 4 years ago

#121 - attached type parameters

Issue - State: open - Opened by aep about 4 years ago - 4 comments
Labels: need-realworld-feedback

#120 - WIP: json serdes macro

Pull Request - State: closed - Opened by aep about 4 years ago - 2 comments

#119 - BREAKING fix macro string parsing

Pull Request - State: closed - Opened by aep about 4 years ago - 2 comments

#118 - adding a generic linked list

Pull Request - State: closed - Opened by aep about 4 years ago

#117 - do not convert string to rust String

Pull Request - State: closed - Opened by aep about 4 years ago

#116 - macros: do not emit incomplete c

Pull Request - State: closed - Opened by aep about 4 years ago

#115 - async on windows

Pull Request - State: closed - Opened by peirick about 4 years ago - 5 comments
Labels: enhancement

#114 - uninterpreted theories don't check argument types

Issue - State: open - Opened by aep about 4 years ago

#113 - emit negative integer literals into ssa

Pull Request - State: closed - Opened by aep about 4 years ago - 1 comment

#112 - negative literals are unconstrained

Issue - State: closed - Opened by jacereda about 4 years ago - 3 comments

#111 - Taint example allows 2 opens

Issue - State: closed - Opened by jacereda about 4 years ago - 6 comments

#110 - Self hosting version

Issue - State: open - Opened by DanielMazurkiewicz about 4 years ago - 2 comments

#109 - slice: more string funcs

Pull Request - State: closed - Opened by aep about 4 years ago

#108 - msgpack

Pull Request - State: closed - Opened by aep about 4 years ago - 4 comments

#107 - hashmap

Pull Request - State: closed - Opened by aep about 4 years ago
Labels: enhancement

#106 - fix incorrect len("string") == strlen("string")

Pull Request - State: closed - Opened by aep about 4 years ago

#105 - allow tail of to void*

Pull Request - State: closed - Opened by aep about 4 years ago - 4 comments
Labels: enhancement

#104 - s3 uploader

Pull Request - State: closed - Opened by aep about 4 years ago

#103 - inline even into headers

Pull Request - State: closed - Opened by aep about 4 years ago - 1 comment

#102 - semi-amalgam cobjects

Pull Request - State: closed - Opened by aep about 4 years ago - 3 comments

#101 - use U struct in json parser and add pop

Pull Request - State: closed - Opened by aep about 4 years ago

#100 - execute macros relative to their source

Pull Request - State: closed - Opened by aep about 4 years ago

#99 - github actions

Pull Request - State: closed - Opened by aep about 4 years ago - 1 comment

#98 - implement async on win32

Issue - State: open - Opened by aep about 4 years ago
Labels: bounty

#97 - introducing compiler flags as language item

Pull Request - State: closed - Opened by aep about 4 years ago - 3 comments
Labels: enhancement

#96 - WIP async

Pull Request - State: open - Opened by aep about 4 years ago

#95 - Added editor support info

Pull Request - State: closed - Opened by damon-kwok about 4 years ago

#94 - replace borrow with theory expression

Pull Request - State: closed - Opened by aep about 4 years ago - 3 comments
Labels: enhancement

#93 - Looking forward to zulip chat room

Issue - State: closed - Opened by damon-kwok about 4 years ago - 4 comments
Labels: question

#92 - net module

Pull Request - State: closed - Opened by aep about 4 years ago - 4 comments

#91 - WIP: the all new shiny async

Pull Request - State: closed - Opened by aep about 4 years ago - 1 comment

#90 - support 'ast::Expression::Name' for macros

Pull Request - State: closed - Opened by jwerle about 4 years ago - 7 comments
Labels: enhancement

#89 - Reference to module root

Issue - State: closed - Opened by jwerle about 4 years ago - 4 comments
Labels: enhancement, question

#88 - basic support for c macro conditionals

Pull Request - State: closed - Opened by aep about 4 years ago

#87 - ifdef with c defines

Issue - State: closed - Opened by aep about 4 years ago - 7 comments
Labels: enhancement

#86 - implement 'string::from_cstr()'

Pull Request - State: closed - Opened by jwerle over 4 years ago
Labels: enhancement

#85 - implement 'string::from_slice(slice)'

Pull Request - State: closed - Opened by jwerle over 4 years ago
Labels: enhancement

#82 - book / structured documentation

Issue - State: open - Opened by jwerle over 4 years ago - 3 comments
Labels: documentation, bounty

#81 - Module Symbol Exports

Issue - State: closed - Opened by jwerle over 4 years ago - 4 comments
Labels: documentation, help wanted, question

#80 - Convert TravisCI to GitHub Actions

Issue - State: closed - Opened by jwerle over 4 years ago
Labels: enhancement, question, CI

#78 - macros in Build Scripts

Issue - State: open - Opened by jwerle over 4 years ago - 10 comments
Labels: enhancement, question

#66 - Inconsistent treatment of keywords in zz.pest

Issue - State: open - Opened by johnwcowan over 4 years ago
Labels: question

#64 - fixing tests: don't string replace things not strings

Pull Request - State: closed - Opened by aep over 4 years ago

#62 - Symbols

Pull Request - State: closed - Opened by aep over 4 years ago

#61 - emit tail sizeof as symbol and alloc accordingly in wrappers

Pull Request - State: closed - Opened by aep over 4 years ago

#60 - Is there a way to emit C source code only?

Issue - State: closed - Opened by xxuejie over 4 years ago - 8 comments

#59 - C Import convenience

Issue - State: closed - Opened by aep over 4 years ago - 1 comment

#55 - add repo support for 3rdparty modules

Pull Request - State: closed - Opened by aep over 4 years ago - 4 comments

#53 - Generics

Issue - State: closed - Opened by richardanaya over 4 years ago - 7 comments
Labels: question

#50 - Make hello example simpler

Issue - State: closed - Opened by richardanaya over 4 years ago - 10 comments
Labels: documentation

#49 - Yices does not work out of the box

Issue - State: closed - Opened by richardanaya over 4 years ago - 3 comments

#47 - Support for web assembly?

Issue - State: open - Opened by richardanaya over 4 years ago - 11 comments
Labels: question

#44 - Unicode support

Issue - State: open - Opened by benman1 over 4 years ago - 12 comments
Labels: enhancement, need-realworld-feedback

#39 - theory of pointers is inconsistent

Issue - State: open - Opened by DestyNova over 4 years ago - 9 comments

#32 - dont allow unitinialized access

Pull Request - State: closed - Opened by aep over 4 years ago - 3 comments

#30 - dont allow unitinialized access

Pull Request - State: closed - Opened by aep over 4 years ago

#10 - *p and p[0] are treated differently

Issue - State: open - Opened by ksqsf over 4 years ago - 5 comments
Labels: inconsistent, bitvec

GitHub / zetzit/zz issues and pull requests