Skip to content

Issues: rems-project/sail

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

174 Open 230 Closed
174 Open 230 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

Lean: List Int to Nat conversion Lean Issues with Sail to Lean translation
#1091 opened Feb 28, 2025 by Alasdair
@javra
2
Does sail support c function return 2 args.
#1052 opened Feb 22, 2025 by rez5427
4
Lean: Slow performance for constructor247 test Lean Issues with Sail to Lean translation
#1049 opened Feb 21, 2025 by Alasdair
1
support hex_str and hex_str_upper Lean Issues with Sail to Lean translation
#1044 opened Feb 20, 2025 by benjaminselfridge
@benjaminselfridge
Compilation process not ending after pulling the latest version from the repo
#1005 opened Feb 14, 2025 by fahadausaf
3
The remove_e_assign rewrite doesn't handle non-monadic code Lean Issues with Sail to Lean translation
#1003 opened Feb 14, 2025 by bacam
7
Support complex initial register state in prover backends
#981 opened Feb 12, 2025 by bacam
@bacam
2
Restrict undefined_vector further enhancement New feature or request
#977 opened Feb 11, 2025 by Alasdair
Cannot perform conversion from %vec(%bv64) to %fvec(31, %bv64)
#971 opened Feb 11, 2025 by fahadausaf
3
sail-to-lean: Properly deal with int valued bitvector lengths Lean Issues with Sail to Lean translation
#956 opened Feb 4, 2025 by javra
Support for unit tests enhancement New feature or request
#919 opened Jan 29, 2025 by Timmmm
@Alasdair
2
Order kind acts differently from other kinds, why?
#910 opened Jan 26, 2025 by martinberger
4
Type syntax not stable under bracketing?
#909 opened Jan 26, 2025 by martinberger
5
Relation range and set types.
#908 opened Jan 25, 2025 by martinberger
2
Cannot translate literal to SMT: undefined : %bv
#906 opened Jan 24, 2025 by fahadausaf
Allow empty bitfield?
#899 opened Jan 21, 2025 by trdthg
1
4
Pre-compile libsail_coverage.a in the binary release
#893 opened Jan 17, 2025 by Timmmm
1
Issue with the reverse_endianness() function
#884 opened Jan 15, 2025 by fahadausaf
2
Incomplete pattern match for future clause when using scattered match
#883 opened Jan 15, 2025 by jordancarlin
2
Option --sv-no-strings can cause invalid code to be generated
#874 opened Jan 13, 2025 by lexbailey
Invalid assignments in SV backend
#867 opened Jan 9, 2025 by lexbailey
3
Document $property and $counterexample
#857 opened Jan 7, 2025 by Timmmm
Convenient syntax to destructure newtypes
#854 opened Jan 6, 2025 by Timmmm
2
sail-to-lean: annotate data type annotations (including quantifiers) Lean Issues with Sail to Lean translation
#841 opened Dec 17, 2024 by tobiasgrosser
@jprider63 @benjaminselfridge
8
sail-to-lean: write a lean-based formatter for our output enhancement New feature or request Lean Issues with Sail to Lean translation
#840 opened Dec 17, 2024 by tobiasgrosser
ProTip! Add no:assignee to see everything that’s not assigned.