mvcisback/py-aiger issues and pull requests

#136 - perf: Switch to using ids for hashing and eq check.

Pull Request - State: closed - Opened by mvcisback 2 months ago

#135 - Very slow AIG walking

Issue - State: closed - Opened by masinag 4 months ago - 22 comments

#134 - Remove dependency from toposort

Pull Request - State: closed - Opened by masinag about 1 year ago - 3 comments

#133 - Speed up topsort in parsing

Issue - State: closed - Opened by masinag about 1 year ago - 3 comments

#132 - Wrong results when using parallel compositions

Issue - State: open - Opened by MatCos over 1 year ago - 2 comments

#131 - Fix issue parsing aag file

Pull Request - State: closed - Opened by masinag about 2 years ago - 3 comments

#130 - Support loading *.aig files in binary format

Pull Request - State: closed - Opened by masinag about 2 years ago - 2 comments

#129 - Support for aig files

Issue - State: closed - Opened by masinag about 2 years ago - 2 comments

#128 - Issue parsing aag file

Issue - State: closed - Opened by masinag about 2 years ago - 4 comments

#127 - fixed outputs as an unsorted list

Pull Request - State: closed - Opened by osankur over 2 years ago - 2 comments

#126 - Multi-output AIG

Issue - State: closed - Opened by sventhijssen over 2 years ago - 2 comments

#125 - Error parsing .aag file

Issue - State: closed - Opened by arw12625 over 2 years ago - 5 comments

#124 - Parsing .aag files failed

Issue - State: closed - Opened by Acdimy over 2 years ago - 8 comments

#123 - Fix in Readme on latches

Pull Request - State: closed - Opened by sjunges over 3 years ago

#122 - Loading of aag file consumes massive memory resources and never ends

Issue - State: closed - Opened by Hemer911 almost 4 years ago - 6 comments

#121 - abc claims the aig is empty starting with version 6.1.7

Issue - State: closed - Opened by jbroot about 4 years ago - 14 comments

#120 - PLTL dependency prevents from running tests

Issue - State: closed - Opened by MarkusRabe over 4 years ago - 3 comments

#119 - Usage example for py-aiger: a simple formula generator

Pull Request - State: closed - Opened by MarkusRabe almost 5 years ago - 1 comment

#118 - Lazy Aiger

Pull Request - State: closed - Opened by mvcisback almost 5 years ago

#117 - Eval order

Pull Request - State: closed - Opened by mvcisback almost 5 years ago

#116 - The Eiger

Issue - State: closed - Opened by sjunges almost 5 years ago - 1 comment

#115 - Error loading '.aig' files: 'utf-8' codec can't decode byte

Issue - State: closed - Opened by allrtaken about 5 years ago - 7 comments

#114 - Loopback deprecates Feedback

Pull Request - State: closed - Opened by mvcisback about 5 years ago

#113 - Unexpected keyword argument.

Issue - State: closed - Opened by alexeyignatiev over 5 years ago - 1 comment

#112 - Scheduled monthly dependency update for July

Pull Request - State: closed - Opened by pyup-bot over 5 years ago - 1 comment

#111 - Scheduled monthly dependency update for June

Pull Request - State: closed - Opened by pyup-bot over 5 years ago - 1 comment

#110 - Scheduled monthly dependency update for May

Pull Request - State: closed - Opened by pyup-bot almost 6 years ago - 2 comments

#109 - Scheduled monthly dependency update for April

Pull Request - State: closed - Opened by pyup-bot almost 6 years ago - 1 comment

#108 - Speed up composition

Issue - State: open - Opened by mvcisback almost 6 years ago

#107 - hardcoded horizon=3 on accident in unrolling!

Pull Request - State: closed - Opened by mvcisback almost 6 years ago - 1 comment

#106 - Support only keeping last output during unrolling

Pull Request - State: closed - Opened by mvcisback almost 6 years ago

#105 - None atoms

Pull Request - State: closed - Opened by mvcisback almost 6 years ago

#104 - relax test load time

Pull Request - State: closed - Opened by mvcisback almost 6 years ago

#103 - version bump

Pull Request - State: closed - Opened by mvcisback almost 6 years ago

#102 - Implement ITE and add eval_order back to API

Pull Request - State: closed - Opened by mvcisback almost 6 years ago

#101 - Scheduled monthly dependency update for March

Pull Request - State: closed - Opened by pyup-bot almost 6 years ago - 1 comment

#100 - Update hypothesis to 4.6.1

Pull Request - State: closed - Opened by pyup-bot almost 6 years ago - 1 comment

#99 - Update pytest to 4.3.0

Pull Request - State: closed - Opened by pyup-bot almost 6 years ago - 1 comment

#98 - Update hypothesis to 4.6.0

Pull Request - State: closed - Opened by pyup-bot about 6 years ago - 2 comments

#97 - Update pytest to 4.2.1

Pull Request - State: closed - Opened by pyup-bot about 6 years ago - 2 comments

#96 - Update hypothesis to 4.5.11

Pull Request - State: closed - Opened by pyup-bot about 6 years ago - 1 comment

#95 - Update bidict to 0.18.0

Pull Request - State: closed - Opened by pyup-bot about 6 years ago - 1 comment

#94 - Update pytest-xdist to 1.26.1

Pull Request - State: closed - Opened by pyup-bot about 6 years ago - 1 comment

#93 - Update hypothesis to 4.5.8

Pull Request - State: closed - Opened by pyup-bot about 6 years ago - 2 comments

#92 - py-aiger-analysis is not clickable, nor is there a link. Also we want to rename it asap.

Issue - State: closed - Opened by MarkusRabe about 6 years ago

#91 - Update bidict to 0.17.5

Pull Request - State: closed - Opened by pyup-bot about 6 years ago - 1 comment

#90 - Update bidict to 0.17.4

Pull Request - State: closed - Opened by pyup-bot over 6 years ago - 2 comments

#89 - Update funcy to 1.11

Pull Request - State: closed - Opened by pyup-bot over 6 years ago - 1 comment

#88 - Update click to 7.0

Pull Request - State: closed - Opened by pyup-bot over 6 years ago - 1 comment

#87 - Update bidict to 0.17.3

Pull Request - State: closed - Opened by pyup-bot over 6 years ago - 2 comments

#86 - Update attrs to 18.2.0

Pull Request - State: closed - Opened by pyup-bot over 6 years ago - 1 comment

#85 - Support extended aiger headers

Issue - State: closed - Opened by mvcisback over 6 years ago - 1 comment
Labels: wontfix

#84 - Submit to JOSS

Issue - State: closed - Opened by mvcisback over 6 years ago

#83 - Use Attr to mirror aiger-bv

Pull Request - State: closed - Opened by mvcisback over 6 years ago - 1 comment

#82 - Use Attrs library instead of dataclasses or NamedTuples

Issue - State: closed - Opened by mvcisback over 6 years ago - 1 comment

#81 - Readme edits

Pull Request - State: closed - Opened by mvcisback over 6 years ago - 1 comment

#80 - Delete gridworld.py

Pull Request - State: closed - Opened by mvcisback over 6 years ago - 1 comment

#79 - Counting moved to py-aiger

Pull Request - State: closed - Opened by mvcisback over 6 years ago - 1 comment

#78 - Made description of feedback initialization more concrete

Pull Request - State: closed - Opened by MarkusRabe over 6 years ago - 2 comments

#77 - Problems reading large file

Issue - State: closed - Opened by MarkusRabe over 6 years ago - 3 comments

#76 - Minor improvement to Readme

Pull Request - State: closed - Opened by MarkusRabe over 6 years ago - 1 comment

#75 - Feedback should initialize latches to 0 to be consistent with aiger standard

Issue - State: closed - Opened by MarkusRabe over 6 years ago - 2 comments

#74 - Printing aig crashes because it hits recursion limit

Issue - State: closed - Opened by MarkusRabe over 6 years ago - 2 comments

#73 - Update README.md

Pull Request - State: closed - Opened by mvcisback over 6 years ago - 1 comment

#72 - bump version.

Pull Request - State: closed - Opened by mvcisback over 6 years ago - 1 comment

#71 - ignore hypothesis in pyup

Pull Request - State: closed - Opened by mvcisback over 6 years ago - 1 comment

#70 - move aag code to parser.py

Pull Request - State: closed - Opened by mvcisback over 6 years ago - 1 comment

#69 - Update hypothesis to 3.66.31

Pull Request - State: closed - Opened by pyup-bot over 6 years ago

#68 - default NamedTuple arguments

Pull Request - State: closed - Opened by mvcisback over 6 years ago - 1 comment

#67 - Upgrade to 3.7

Issue - State: closed - Opened by mvcisback over 6 years ago - 3 comments

#66 - Reimplement w.r.t _modify_leafs method

Pull Request - State: closed - Opened by mvcisback over 6 years ago - 1 comment

#65 - @fn.memoize may use up memory; switch to functools LRU cache

Issue - State: closed - Opened by MarkusRabe over 6 years ago - 1 comment

#64 - export BoolExpr

Pull Request - State: closed - Opened by mvcisback over 6 years ago - 1 comment

#63 - Update hypothesis to 3.66.30

Pull Request - State: closed - Opened by pyup-bot over 6 years ago - 1 comment

#62 - Write binary parser using Kaitai

Issue - State: closed - Opened by mvcisback over 6 years ago

#61 - Related projects

Pull Request - State: closed - Opened by mvcisback over 6 years ago - 2 comments

#60 - Update hypothesis to 3.66.29

Pull Request - State: closed - Opened by pyup-bot over 6 years ago - 1 comment

#59 - Update hypothesis to 3.66.28

Pull Request - State: closed - Opened by pyup-bot over 6 years ago - 2 comments

#58 - Update hypothesis to 3.66.27

Pull Request - State: closed - Opened by pyup-bot over 6 years ago - 1 comment

#57 - Update hypothesis to 3.66.26

Pull Request - State: closed - Opened by pyup-bot over 6 years ago - 2 comments

#56 - Small improvements to Readme

Pull Request - State: closed - Opened by MarkusRabe over 6 years ago - 1 comment

#55 - Update hypothesis to 3.66.25

Pull Request - State: closed - Opened by pyup-bot over 6 years ago - 2 comments

#54 - Remove counting code

Pull Request - State: closed - Opened by mvcisback over 6 years ago - 1 comment

#53 - Update README.md

Pull Request - State: closed - Opened by mvcisback over 6 years ago - 1 comment

#52 - First version of the analysis package; basic integration with py-sat

Pull Request - State: closed - Opened by MarkusRabe over 6 years ago - 6 comments

#51 - Memoize during AIG traversals

Pull Request - State: closed - Opened by mvcisback over 6 years ago - 1 comment

#50 - Update hypothesis to 3.66.24

Pull Request - State: closed - Opened by pyup-bot over 6 years ago - 1 comment

#49 - Update pytest to 3.7.1

Pull Request - State: closed - Opened by pyup-bot over 6 years ago

#48 - Update pytest-flake8 to 1.0.2

Pull Request - State: closed - Opened by pyup-bot over 6 years ago

#46 - Initial Update

Pull Request - State: closed - Opened by pyup-bot over 6 years ago

#45 - Move counting utilities out of py-aiger

Issue - State: closed - Opened by mvcisback over 6 years ago - 2 comments

#42 - Add images for each operation/gate to the readme

Issue - State: closed - Opened by MarkusRabe over 6 years ago

#39 - Use `FrozenDict` instead of `FrozenSet`

Issue - State: closed - Opened by mvcisback over 6 years ago - 2 comments

#34 - Handling of latches is unreasonably inefficient

Issue - State: closed - Opened by MarkusRabe over 6 years ago - 3 comments

#32 - Boolean Expression output target

Issue - State: closed - Opened by mvcisback over 6 years ago - 4 comments

#31 - Support outputting to Sat Solvers

Issue - State: closed - Opened by mvcisback over 6 years ago - 1 comment

#30 - Refactors to make feedback easier

Pull Request - State: closed - Opened by mvcisback over 6 years ago - 1 comment

#29 - Fix pylint issues.

Pull Request - State: closed - Opened by mvcisback over 6 years ago - 1 comment

#28 - bump version to 0.4.1

Pull Request - State: closed - Opened by mvcisback over 6 years ago - 1 comment

#27 - added codecov to reqs.txt + utils test

Pull Request - State: closed - Opened by mvcisback over 6 years ago - 1 comment

GitHub / mvcisback/py-aiger issues and pull requests