Skip to content

Issues: GaloisInc/daedalus

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

102 Open 84 Closed
102 Open 84 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

Defined but not used warnings from TH build
#372 opened Aug 12, 2024 by kquick
Impoverished error reporting for TH-generated haskell
#371 opened Aug 12, 2024 by kquick
Add Foldable instance for vm-hs-data Daedalus.RTS.Vector
#370 opened Aug 12, 2024 by kquick
html display is unstable for the hover-over field.
#369 opened Jul 18, 2024 by kquick
html code point range error
#368 opened Jul 17, 2024 by kquick
1
Mis-spelling in error message for "predicate"
#367 opened Jul 10, 2024 by kquick
README needs to be updated review Issues found during a dry-run of the tutorial
#363 opened Nov 30, 2023 by zutshi
@zutshi
Inconsistency between Github Readme and Tutorial - GHC and Cabal versions review Issues found during a dry-run of the tutorial
#360 opened Nov 30, 2023 by zutshi
Failure to build Docker image using the Dockerfile bug Something isn't working review Issues found during a dry-run of the tutorial
#359 opened Nov 30, 2023 by zutshi
Mis-located type errors
#358 opened Nov 29, 2023 by sauclovian-g
Crash using as? in a boolean expression in a pure function
#357 opened Nov 29, 2023 by sauclovian-g
HTTP/1.1 field-name rule too restrictive
#350 opened Oct 12, 2023 by kenballus
Improve performance of TH generated Haskell
#349 opened Oct 5, 2023 by yav
Reject bit operations on signed numbers in type checker
#348 opened Oct 4, 2023 by yav
Feature Request: Support parsing HTTP/1.1 request sequences
#339 opened Jul 27, 2023 by kenballus
3
Calls to non-failing parsers need not check if the parser succeeded
#338 opened Jul 20, 2023 by yav
Write a type checker for the VM syntax
#337 opened Jul 19, 2023 by yav
1
Eliminate redundant copies
#326 opened Jul 5, 2023 by yav
1
Better support for dictionaries talos Issues relating to Talos
#322 opened Apr 12, 2023 by simonjwinwood
2 tasks
Enhancements related to loops talos Issues relating to Talos
#321 opened Apr 10, 2023 by simonjwinwood
9 tasks
Handle element-pooling for concat, emit, and builders talos Issues relating to Talos
#317 opened Mar 31, 2023 by simonjwinwood
Support explicit type on bitdata enhancement New feature or request
#315 opened Mar 21, 2023 by jtdaugherty
Add disjunctive slicing for sequenct nil/non-nil talos Issues relating to Talos
#313 opened Mar 17, 2023 by simonjwinwood
@simonjwinwood
Haskell code generation results in unbuildable source for certain input DDL filenames bug Something isn't working
#312 opened Mar 16, 2023 by jtdaugherty
pathsymb coverage metric is naive talos Issues relating to Talos
#310 opened Mar 9, 2023 by simonjwinwood
@danmatichuk
ProTip! Find all open issues with in progress development work with linked:pr.