Skip to content

Issues: lurk-lab/lurk-rs

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.

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

Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
Assignee
Filter by who’s assigned
Sort

Issues list

Nightly run failed automated issue Reported by a bot nightly Something is wrong with our exhaustive nightly job
#1233 opened Mar 26, 2024 by github-actions bot
Chain server pt2
#1229 opened Mar 22, 2024 by arthurpaulino
2 tasks
Avoid dangling symbols
#1191 opened Mar 4, 2024 by arthurpaulino
expose minimal bit operations
#1177 opened Feb 27, 2024 by porcuquine
arithmetic with carry CO-Compilers Compilers track
#1162 opened Feb 21, 2024 by porcuquine
Printed model
#1155 opened Feb 20, 2024 by arthurpaulino
2 tasks
ci: M1 Mac job fails perpetually once a PR is dequeued CI Related to our CI pipelines
#1153 opened Feb 19, 2024 by samuelburnham
Remove LEM's global context
#1151 opened Feb 19, 2024 by arthurpaulino
Lurk debugger B-3 Lurk usability & testing enhancement New feature or request
#1129 opened Feb 14, 2024 by arthurpaulino
Faster drop of steps enhancement New feature or request
#1126 opened Feb 14, 2024 by arthurpaulino
[LUR-36] Support Arecibo's ppsnark/batched ppsnark help wanted Extra attention is needed
#1112 opened Feb 9, 2024 by huitseeker
env must be readable bug Something isn't working
#1077 opened Jan 24, 2024 by porcuquine
ci: Check that tests compile on Wasm CI Related to our CI pipelines
#1054 opened Jan 16, 2024 by samuelburnham
ProTip! Mix and match filters to narrow down what you’re looking for.