Skip to content

Issues: robsimmons/dusa

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

19 Open 8 Closed
19 Open 8 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

Don't allow #builtin relations to be asserted or queried bug Something isn't working
#75 opened Nov 25, 2024 by robsimmons
Add NAT_PLUS as a fully reversible relation
#73 opened Nov 24, 2024 by robsimmons
Open docs in new tab sketchzone-frontend
#71 opened Nov 24, 2024 by robsimmons
Multiply-declared definitions are not checked directly bug Something isn't working
#58 opened Nov 13, 2024 by robsimmons
Or-patterns
#56 opened Oct 21, 2024 by robsimmons
Operations on sequences
#38 opened Jun 13, 2024 by robsimmons
Incorporate EDB input JSON in the web editor sketchzone-frontend
#31 opened Jun 7, 2024 by robsimmons
Support integer division and modulus buildins feature:misc-builtin
#30 opened Jun 7, 2024 by robsimmons
Tab indentation in the editor sketchzone-frontend
#25 opened Jun 6, 2024 by robsimmons
Implement demand/magic sets transformation language-frontend
#24 opened Jun 6, 2024 by robsimmons
4
Optimize rules with shared prefixes compiler-optimization perf
#21 opened Jun 5, 2024 by robsimmons
Allow rules to have multiple conclusions language-frontend
#20 opened Jun 5, 2024 by robsimmons
Avoid duplicate calculation within a single rule compiler-optimization perf
#19 opened Jun 5, 2024 by robsimmons
Autocomplete builtins after you write #builtin feature:misc-builtin sketchzone-frontend
#18 opened Jun 5, 2024 by robsimmons
Conditional #demand cross-cutting-language
#17 opened Jun 3, 2024 by robsimmons
Create lower-level client that gives access to the abstract machine state cross-cutting-language
#15 opened Jun 3, 2024 by robsimmons
Reconsider and document modes for built-in functions cross-cutting-language feature:misc-builtin
#14 opened Jun 3, 2024 by robsimmons
List notation for sequences cross-cutting-language feature:sequences
#13 opened Jun 3, 2024 by robsimmons
Add sequences cross-cutting-language feature:sequences
#12 opened Jun 3, 2024 by robsimmons
ProTip! Exclude everything labeled bug with -label:bug.