Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / agurfinkel/btor2mlir issues and pull requests
#40 - Btor2-to-MLIR translation failed due to segmentation fault
Issue -
State: closed - Opened by Po-Chun-Chien 9 months ago
- 3 comments
#39 - MLIR-to-LLVM-IR translation failed due to unregistered dialect
Issue -
State: closed - Opened by Po-Chun-Chien 9 months ago
- 2 comments
#38 - MLIR-to-LLVM-IR translation failed because 'btor.nd_state' is unknown
Issue -
State: closed - Opened by Po-Chun-Chien 9 months ago
- 1 comment
#37 - MLIR-to-LLVM-IR translation failed because 'btor.input' is unknown
Issue -
State: closed - Opened by Po-Chun-Chien 9 months ago
- 6 comments
#36 - feat: use vector types for ops
Pull Request -
State: closed - Opened by jetafese over 2 years ago
- 2 comments
#35 - Benchmarks from HWMCC20
Pull Request -
State: closed - Opened by jetafese over 2 years ago
#34 - Introduce Array ops
Pull Request -
State: closed - Opened by jetafese over 2 years ago
- 1 comment
#33 - Btor2 array operations
Pull Request -
State: closed - Opened by jetafese over 2 years ago
#32 - Btor Constraint Op
Pull Request -
State: closed - Opened by jetafese over 2 years ago
#31 - feat: create lowering for btor constraints to llvm
Pull Request -
State: closed - Opened by jetafese over 2 years ago
#30 - Upgrade Btor Dialect to llvm 15
Pull Request -
State: closed - Opened by jetafese over 2 years ago
#29 - Introducing Array ops
Pull Request -
State: closed - Opened by jetafese about 3 years ago
- 1 comment
#28 - Convert UndefOp and Reduction operations
Pull Request -
State: closed - Opened by jetafese about 3 years ago
#27 - feat: use verifier.error() for seahorn
Pull Request -
State: closed - Opened by jetafese about 3 years ago
#26 - feat: Add a function that returns OwningModuleRef
Pull Request -
State: closed - Opened by jetafese about 3 years ago
#25 - Introduce the Crab dialect
Pull Request -
State: closed - Opened by jetafese about 3 years ago
- 1 comment
#24 - feat: __VERIFIER_error func for seahorn
Pull Request -
State: closed - Opened by jetafese about 3 years ago
#23 - feat: inline init and next into main function
Pull Request -
State: closed - Opened by jetafese about 3 years ago
- 1 comment
#22 - feat: add main function during translation
Pull Request -
State: closed - Opened by jetafese about 3 years ago
#21 - fix: default return of unary ops should be same as operand
Pull Request -
State: closed - Opened by jetafese about 3 years ago
#20 - Create SMT dialect
Pull Request -
State: closed - Opened by jetafese over 3 years ago
- 2 comments
#19 - feat: pipleline for translating btor2 to btor-mlir
Pull Request -
State: closed - Opened by jetafese over 3 years ago
- 4 comments
#18 - feat: add init and input
Pull Request -
State: closed - Opened by jetafese over 3 years ago
#17 - feat: add assume and assert
Pull Request -
State: closed - Opened by jetafese over 3 years ago
#16 - Add Slice, Concat, SMod, SDivO Ops
Pull Request -
State: closed - Opened by jetafese over 3 years ago
#15 - Implement lowering patterns
Pull Request -
State: closed - Opened by jetafese over 3 years ago
#14 - feat: introduce btor-to-llvm pass
Pull Request -
State: closed - Opened by jetafese over 3 years ago
#13 - Convert btor ir to llvm ir
Pull Request -
State: closed - Opened by jetafese over 3 years ago
#12 - Adding more btor ops
Pull Request -
State: closed - Opened by jetafese over 3 years ago
#11 - Lower btor.not Operation
Pull Request -
State: closed - Opened by jetafese over 3 years ago
- 2 comments
#10 - Replace btor.eq with btor.cmp
Pull Request -
State: closed - Opened by jetafese over 3 years ago
#9 - Fix assert op
Pull Request -
State: closed - Opened by jetafese over 3 years ago
- 6 comments
#8 - BtorOps: Add btor.mul, btor.and, btor.eq and btor.bad
Pull Request -
State: closed - Opened by jetafese over 3 years ago
- 1 comment
#7 - BtorToStd: Add conversion pass from btor.addOp to std.addIOp
Pull Request -
State: closed - Opened by jetafese over 3 years ago
#6 - BtorToStd: Add empty conversion pass
Pull Request -
State: closed - Opened by jetafese over 3 years ago
#5 - Introduce a BtorToStandard Lowering Pass
Pull Request -
State: closed - Opened by jetafese over 3 years ago
- 2 comments
#4 - Feat: AddIOp operation from StandardOps
Pull Request -
State: closed - Opened by jetafese over 3 years ago
#3 - Feat: AddIOp operation from StandardOps
Pull Request -
State: closed - Opened by jetafese over 3 years ago
- 2 comments
#2 - Replicate previous results
Pull Request -
State: closed - Opened by jetafese over 3 years ago
#1 - Add Joseph as contributor
Pull Request -
State: closed - Opened by jetafese over 3 years ago