Skip to content

Issues: opencompl/ssa

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

32 Open 35 Closed
32 Open 35 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
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

project: Floating point mechanization for arith potential-projects Projects that are well-scoped, suitable for writing a single paper or thesis on.
#394 opened Jun 8, 2024 by bollu
add nice FHE syntax camera-ready-ltp
#388 opened Jun 7, 2024 by tobiasgrosser
chore: mark div/rem instructions as .impure, with Id monad camera-ready-ltp
#383 opened Jun 6, 2024 by tobiasgrosser
@bollu
Split alive auto generated into individual files
#374 opened Jun 5, 2024 by goens
@goens
Why is simp! needed in simp_alive_meta
#349 opened May 27, 2024 by tobiasgrosser
the guard_msg in SSA/Project/InstCombine/Test are broken as eval yields a sequence of ,,
#338 opened May 23, 2024 by tobiasgrosser
Set the full paper into context camera-ready-ltp
#321 opened May 21, 2024 by tobiasgrosser
deanonymize tool name camera-ready-ltp
#320 opened May 21, 2024 by tobiasgrosser
ub-semantics & compare with alive camera-ready-ltp
#318 opened May 21, 2024 by tobiasgrosser
@alexkeizer
docker camera-ready-ltp
#317 opened May 21, 2024 by tobiasgrosser
@bollu
readme camera-ready-ltp
#316 opened May 21, 2024 by tobiasgrosser
@bollu
llvm: BitVec.xor_neg_one will enable ring_nf to be more powerful llvm
#308 opened May 15, 2024 by tobiasgrosser
@eurquhart1
2
llvm: BitVec.or_sub_xor_eq_and llvm
#307 opened May 15, 2024 by tobiasgrosser
Audit all warnings in the build.
#278 opened May 7, 2024 by bollu
Add typeclass for the refinement relation
#273 opened May 7, 2024 by bollu
Not-irrelevant proofs?
#253 opened Apr 23, 2024 by goens
1
Fix p2 : PeepholeRewrite example in purity-annotation
#251 opened Apr 22, 2024 by bollu
Add default arguments to OpSignature to make Id default
#250 opened Apr 22, 2024 by bollu
7
Cleanup *_com elaborator meta-code
#232 opened Apr 16, 2024 by alexkeizer
1
Be more consistent with the name of the LLVM/Alive/InstCombine dialect
#219 opened Apr 9, 2024 by alexkeizer
artifact: check equivalence of scf?
#181 opened Feb 13, 2024 by bollu
artifact: write down text of tensor1D, tensor2D ~ linalg equivalence.
#180 opened Feb 13, 2024 by bollu
artifact: try to run the FHE dialect
#179 opened Feb 13, 2024 by bollu
Executeable semantics for parametrized tests
#174 opened Feb 4, 2024 by goens
"llvm.mlir.constant" ignores the output type annotation backlog Issues that we should solve at some point, but don't have immediate priority
#170 opened Jan 26, 2024 by alexkeizer
ProTip! Exclude everything labeled bug with -label:bug.