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

173 Open 215 Closed
173 Open 215 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

sail-to-lean: explore floating point support Lean Issues with Sail to Lean translation
#1034 opened Feb 19, 2025 by tobiasgrosser
Compilation process not ending after pulling the latest version from the repo
#1005 opened Feb 14, 2025 by fahadausaf
2
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
Lean: compile prelude.sail Lean Issues with Sail to Lean translation
#988 opened Feb 13, 2025 by ineol
2 of 5 tasks
@ineol @benjaminselfridge
1
Support complex initial register state in prover backends
#981 opened Feb 12, 2025 by bacam
@bacam
Restrict undefined_vector further enhancement New feature or request
#977 opened Feb 11, 2025 by Alasdair
sail-to-lean: Deal with non-matching indices to bitvector and vector Lean Issues with Sail to Lean translation
#974 opened Feb 11, 2025 by javra
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
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
sail-to-lean: iterate over imports enhancement New feature or request Lean Issues with Sail to Lean translation
#839 opened Dec 17, 2024 by tobiasgrosser
@javra
2
ProTip! Updated in the last three days: updated:>2025-02-17.