Skip to content

Issues: katamaran-project/sail-backend

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

20 Open 30 Closed
20 Open 30 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

Order of tupple pattern in a scattered function definition
#59 opened Mar 8, 2025 by skeuchel
Tuple and multiparamater scattered function confusion
#58 opened Mar 7, 2025 by skeuchel
Wrong use of ty.unit for failures
#57 opened Mar 7, 2025 by skeuchel
Tuple and pair confusion
#56 opened Mar 7, 2025 by skeuchel
Skip derivation of NoConfusionHom and EqDec instances for registers
#55 opened Mar 7, 2025 by skeuchel
Refactoring needed for translate_bitvector_update_subrange and translate_bitvector_slicing
#54 opened Mar 6, 2025 by capt-hb
Bitvector pattern matching compilation
#53 opened Feb 25, 2025 by skeuchel
Add support for foreign functions
#52 opened Feb 25, 2025 by skeuchel
fix ConfigLib.bool and related configuration settings
#48 opened Feb 4, 2025 by fvogels
deal with itself(x)
#42 opened Feb 3, 2025 by fvogels
update original msp430 code with fixes for latest sail version
#41 opened Feb 3, 2025 by fvogels
create tests that check if the no-gap check is still useful
#39 opened Feb 2, 2025 by fvogels
create library of failing tests indicating which features are lacking
#37 opened Feb 1, 2025 by fvogels
remove duplicate matching logic from Function module once it's implemented in Match
#36 opened Feb 1, 2025 by fvogels
make normalization binder-aware
#34 opened Feb 1, 2025 by fvogels
possible source of bugs: generate_unique_identifier
#29 opened Jan 31, 2025 by fvogels
reduce number of html annotations
#21 opened Jan 31, 2025 by fvogels
Unable to run tests
#20 opened Nov 13, 2024 by capt-hb
Replace Base by self-written code so as to reduce dependencies
#13 opened Jan 30, 2024 by fvogels
Add support for bitvectors
#8 opened Jan 30, 2024 by fvogels
ProTip! no:milestone will show everything without a milestone.