Skip to content

Issues: rems-project/sail

New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

178 Open 222 Closed
178 Open 222 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: "failed to synthesize HPow Nat Int Int" Lean Issues with Sail to Lean translation
#1082 opened Feb 27, 2025 by tobiasgrosser
Lean using nat subtraction where int needed Lean Issues with Sail to Lean translation
#1075 opened Feb 25, 2025 by Alasdair
1
@javra
9
Lean: Matches on heterogeneous bitvector lengths Lean Issues with Sail to Lean translation
#1070 opened Feb 25, 2025 by javra
1
@javra
sail-to-lean: error 'redundant alternative' Lean Issues with Sail to Lean translation
#1054 opened Feb 23, 2025 by tobiasgrosser
1
Does sail support c function return 2 args.
#1052 opened Feb 22, 2025 by rez5427
3
Lean: Slow performance for constructor247 test Lean Issues with Sail to Lean translation
#1049 opened Feb 21, 2025 by Alasdair
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
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
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
ProTip! Find all open issues with in progress development work with linked:pr.