Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / yosyshq/imctk issues and pull requests

#55 - Formal System: Egraphs

Issue - State: open - Opened by jix 21 days ago

#54 - Formal System: Pretty Printing

Issue - State: open - Opened by jix 28 days ago

#53 - Gap Analysis

Issue - State: closed - Opened by ShinyKate about 1 month ago - 1 comment

#52 - I/O: AIGER Import

Issue - State: open - Opened by ShinyKate about 1 month ago
Labels: needs work

#51 - I/O: BTOR2 Import

Issue - State: open - Opened by ShinyKate about 1 month ago
Labels: needs work

#50 - I/O: RTLIL Import

Issue - State: open - Opened by ShinyKate about 1 month ago
Labels: needs work

#49 - I/O: Formal System Serialization and Deserialization

Issue - State: open - Opened by ShinyKate about 1 month ago
Labels: needs work

#48 - I/O

Issue - State: open - Opened by ShinyKate about 1 month ago
Labels: needs work

#47 - Methods: Memory Abstraction and Refinement

Issue - State: open - Opened by ShinyKate about 1 month ago
Labels: needs work

#46 - Methods: PDR

Issue - State: open - Opened by ShinyKate about 1 month ago
Labels: needs work

#45 - Methods: BMC

Issue - State: open - Opened by ShinyKate about 1 month ago
Labels: needs work

#44 - Methods: SAT Solving

Issue - State: open - Opened by ShinyKate about 1 month ago
Labels: needs work

#43 - Methods: Simulation

Issue - State: open - Opened by ShinyKate about 1 month ago
Labels: needs work

#42 - Methods: Unrolling

Issue - State: open - Opened by ShinyKate about 1 month ago
Labels: needs work

#41 - Methods: Netlist Functional Extraction

Issue - State: open - Opened by ShinyKate about 1 month ago
Labels: needs work

#40 - Methods: Bit-Blasting

Issue - State: open - Opened by ShinyKate about 1 month ago
Labels: needs work

#39 - Methods

Issue - State: open - Opened by ShinyKate about 1 month ago
Labels: needs work

#38 - User API: Python Bindings

Issue - State: open - Opened by ShinyKate about 1 month ago
Labels: needs work

#37 - User API: Implementation

Issue - State: open - Opened by ShinyKate about 1 month ago
Labels: needs work

#36 - User API: Design

Issue - State: open - Opened by ShinyKate about 1 month ago
Labels: needs work

#35 - User API

Issue - State: open - Opened by ShinyKate about 1 month ago
Labels: needs work

#34 - Model Checker Context: Generic AST Egraph

Issue - State: open - Opened by ShinyKate about 1 month ago
Labels: needs work

#33 - Model Checker Context: Detailed Design

Issue - State: open - Opened by ShinyKate about 1 month ago
Labels: needs work

#32 - Model Checker Context

Issue - State: open - Opened by ShinyKate about 1 month ago
Labels: needs work

#31 - Formal System: RTLIL Netlist Encoding

Issue - State: open - Opened by ShinyKate about 1 month ago
Labels: needs work

#30 - Formal System: Transition System Encoding(s)

Issue - State: open - Opened by ShinyKate about 1 month ago

#29 - Formal System: Kernel

Issue - State: open - Opened by ShinyKate about 1 month ago
Labels: needs work

#28 - Formal System: AST Python Bindings

Issue - State: open - Opened by ShinyKate about 1 month ago
Labels: needs work

#27 - Formal System: AST Implementation

Issue - State: open - Opened by jix about 1 month ago

#26 - Formal System: AST API Design

Issue - State: open - Opened by jix about 1 month ago

#25 - Formal System: Usable Draft

Issue - State: open - Opened by jix about 1 month ago

#24 - Formal System

Issue - State: open - Opened by jix about 1 month ago

#23 - Compilation error

Issue - State: closed - Opened by Gy-Hu 4 months ago - 2 comments

#22 - Do not require abc

Issue - State: open - Opened by jix 4 months ago

#22 - Do not require abc

Issue - State: open - Opened by jix 4 months ago

#21 - Add paged storage

Pull Request - State: open - Opened by aiju 4 months ago

#21 - Add paged storage

Pull Request - State: open - Opened by aiju 4 months ago

#20 - Add contributing guidelines

Issue - State: open - Opened by jix 4 months ago
Labels: documentation

#20 - Add contributing guidelines

Issue - State: open - Opened by jix 4 months ago
Labels: documentation

#20 - Add contributing guidelines

Issue - State: open - Opened by jix 4 months ago
Labels: documentation

#19 - feat: add doc based on sphinx

Pull Request - State: closed - Opened by chenbo-again 4 months ago - 2 comments

#19 - feat: add doc based on sphinx

Pull Request - State: closed - Opened by chenbo-again 4 months ago - 2 comments

#19 - feat: add doc based on sphinx

Pull Request - State: closed - Opened by chenbo-again 4 months ago - 2 comments

#18 - Add dsf crates with union_find and tracked_union_find

Pull Request - State: closed - Opened by aiju 4 months ago

#18 - Add dsf crates with union_find and tracked_union_find

Pull Request - State: closed - Opened by aiju 4 months ago

#17 - Add stable_set crate

Pull Request - State: closed - Opened by aiju 4 months ago

#17 - Add stable_set crate

Pull Request - State: closed - Opened by aiju 4 months ago

#16 - abc-sys: silence warnings

Pull Request - State: closed - Opened by aiju 5 months ago

#16 - abc-sys: silence warnings

Pull Request - State: closed - Opened by aiju 5 months ago

#15 - Refactor of `Var`/`Lit`/`Pol` and move into separate `lit` crate

Pull Request - State: closed - Opened by jix 5 months ago

#15 - Refactor of `Var`/`Lit`/`Pol` and move into separate `lit` crate

Pull Request - State: closed - Opened by jix 5 months ago

#14 - MapSeq and entry API for TableSeq

Pull Request - State: closed - Opened by aiju 5 months ago

#13 - Various general cleanups and smaller additions to the collections

Pull Request - State: closed - Opened by jix 5 months ago

#12 - minor fixes in inc_refine crate

Pull Request - State: closed - Opened by aiju 5 months ago

#12 - minor fixes in inc_refine crate

Pull Request - State: closed - Opened by aiju 5 months ago

#11 - Horn Formula Utilities

Issue - State: open - Opened by jix 5 months ago

#11 - Horn Formula Utilities

Issue - State: open - Opened by jix 5 months ago

#10 - Improve comments and names in existing code

Issue - State: open - Opened by jix 5 months ago

#10 - Improve comments and names in existing code

Issue - State: open - Opened by jix 5 months ago

#9 - Utilities for dealing with CNF formulas

Issue - State: open - Opened by jix 5 months ago - 1 comment

#9 - Utilities for dealing with CNF formulas

Issue - State: open - Opened by jix 5 months ago - 1 comment

#8 - Improve and extend our custom collection types

Issue - State: open - Opened by jix 5 months ago - 3 comments

#8 - Improve and extend our custom collection types

Issue - State: open - Opened by jix 5 months ago - 3 comments

#7 - Traits for Boolean negation

Issue - State: closed - Opened by jix 5 months ago

#7 - Traits for Boolean negation

Issue - State: closed - Opened by jix 5 months ago

#6 - Revise the IR implementation

Issue - State: open - Opened by jix 5 months ago - 1 comment

#6 - Revise the IR implementation

Issue - State: open - Opened by jix 5 months ago - 1 comment

#3 - Make build for Windows working

Pull Request - State: closed - Opened by mmicko 5 months ago

#3 - Make build for Windows working

Pull Request - State: closed - Opened by mmicko 5 months ago

#2 - Add non-API documentation

Issue - State: open - Opened by jix 5 months ago - 2 comments
Labels: documentation

#1 - First version of the EQY engine

Pull Request - State: closed - Opened by jix 6 months ago