Skip to content

Issues: lurk-lab/lurk

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

33 Open 51 Closed
33 Open 51 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

Report proof sizes
#389 opened Nov 13, 2024 by adr1anh
microchain-get-log meta command
#388 opened Nov 13, 2024 by arthurpaulino
!(inspect) should print in current package.
#386 opened Nov 12, 2024 by porcuquine
unbound var error should report the name of the unbound var
#382 opened Nov 9, 2024 by porcuquine
support destructuring Funs
#378 opened Nov 8, 2024 by porcuquine
add proof-manipulation to Lurk CLI
#377 opened Nov 8, 2024 by porcuquine
1
print commitments with uniform width
#376 opened Nov 8, 2024 by porcuquine
escape quotes in strings and characters bug Something isn't working
#364 opened Nov 5, 2024 by porcuquine
apply should not explicitly evaluate the arguments to be applied bug Something isn't working
#358 opened Nov 1, 2024 by porcuquine
@wwared
Eliminate eqq
#344 opened Oct 24, 2024 by arthurpaulino
Fix = behavior
#343 opened Oct 24, 2024 by arthurpaulino
Minor parser corner cases
#342 opened Oct 24, 2024 by wwared
Multiple preloaded files good first issue Good for newcomers
#340 opened Oct 21, 2024 by arthurpaulino
Unwanted memoization effect
#323 opened Oct 2, 2024 by arthurpaulino
Update env variables when possible
#319 opened Oct 1, 2024 by arthurpaulino
Trace generation and Lair code generation for Loam backend
#304 opened Sep 18, 2024 by winston-h-zhang
2 tasks
Utf8 panic when interning non-utf8 chars
#277 opened Sep 2, 2024 by wwared
Add test with >1 shards for lurk proof
#259 opened Aug 28, 2024 by wwared
1
@wwared
env must be readable bug Something isn't working
#222 opened Aug 16, 2024 by porcuquine
function printing
#215 opened Aug 15, 2024 by porcuquine
Benchmarking wishlist
#200 opened Aug 12, 2024 by adr1anh
cleanup: Replace into_word with Borrow<Word<T>>
#166 opened Jul 24, 2024 by wwared
Thorough tests for eval
#141 opened Jul 12, 2024 by wwared
3 tasks
Compute memory widths on compilation
#128 opened Jul 5, 2024 by arthurpaulino
Changes to support loam
#124 opened Jul 4, 2024 by wwared
4 tasks
6
ProTip! Updated in the last three days: updated:>2024-12-08.