projects / yosys.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Merge remote-tracking branch 'origin/master' into xaig
[yosys.git] / backends / aiger /
2019-06-22 Eddie HungMerge remote-tracking branch 'origin/master' into xaig tree | commitdiff
2019-06-22 Eddie HungReplace assert with error message tree | commitdiff
2019-06-22 Eddie HungAdd log_push()/log_pop() inside write_xaiger tree | commitdiff
2019-06-22 Eddie HungMerge pull request #1108 from YosysHQ/clifford/fix1091 tree | commitdiff
2019-06-21 Eddie HungOne more workaround for gcc-4.8 tree | commitdiff
2019-06-21 Eddie HungNo point logging constant bit tree | commitdiff
2019-06-21 Eddie HungMove comment tree | commitdiff
2019-06-21 Eddie HungMerge pull request #1085 from YosysHQ/eddie/shregmap_im... tree | commitdiff
2019-06-21 Clifford WolfMerge pull request #1117 from bwidawsk/more-home tree | commitdiff
2019-06-21 Clifford WolfMerge pull request #1119 from YosysHQ/eddie/fix1118 tree | commitdiff
2019-06-21 Clifford WolfMerge pull request #1116 from YosysHQ/eddie/fix1115 tree | commitdiff
2019-06-21 Eddie HungFix spacing tree | commitdiff
2019-06-21 Eddie HungRefactor bit2aig for less lookups tree | commitdiff
2019-06-21 Eddie HungFix gcc invalidation behaviour for write_aiger tree | commitdiff
2019-06-21 Eddie HungFix gcc error, due to dict invalidation during recursion tree | commitdiff
2019-06-21 Eddie HungFix gcc invalidation behaviour for write_aiger tree | commitdiff
2019-06-21 Eddie Hungwrite_xaiger to flatten 1'bx/1'bz to 1'b0 again tree | commitdiff
2019-06-21 Eddie HungFix different abc9 test tree | commitdiff
2019-06-21 Eddie HungFix broken abc9.v test due to inout being 1'bx tree | commitdiff
2019-06-21 Eddie HungMerge remote-tracking branch 'origin/master' into xaig tree | commitdiff
2019-06-21 Eddie HungHandle COs driven by 1'bx tree | commitdiff
2019-06-21 Eddie Hungwrite_xaiger to skip POs driven by 1'bx tree | commitdiff
2019-06-20 Clifford WolfMerge branch 'unpacked_arrays' of https://github.com... tree | commitdiff
2019-06-19 Clifford WolfMerge pull request #1100 from bwidawsk/home tree | commitdiff
2019-06-18 Ben WidawskySupport filename rewrite in backends tree | commitdiff
2019-06-16 Eddie HungCleanup tree | commitdiff
2019-06-14 Eddie HungLeave breadcrumb behind tree | commitdiff
2019-06-14 Eddie HungRemove redundant condition tree | commitdiff
2019-06-14 Eddie HungRevert "Cleanup/optimise toposort in write_xaiger" tree | commitdiff
2019-06-14 Eddie HungUpdate comment tree | commitdiff
2019-06-14 Eddie HungCheck that whiteboxes are synthesisable tree | commitdiff
2019-06-14 Eddie HungGet rid of compiler warnings tree | commitdiff
2019-06-14 Eddie HungCover __APPLE__ too for little to big endian tree | commitdiff
2019-06-14 Eddie HungFurther cleanup based on @daveshah1 tree | commitdiff
2019-06-14 Eddie HungResolve comments from @daveshah1 tree | commitdiff
2019-06-14 Eddie HungRemove WIP ABC9 flop support tree | commitdiff
2019-06-14 Eddie HungMerge remote-tracking branch 'origin/master' into xaig tree | commitdiff
2019-06-14 Eddie HungCleanup tree | commitdiff
2019-06-14 Eddie HungMerge branch 'xaig' of github.com:YosysHQ/yosys into... tree | commitdiff
2019-06-14 Eddie HungMerge pull request #1097 from YosysHQ/dave/xaig_ecp5 tree | commitdiff
2019-06-14 Eddie HungCleanup/optimise toposort in write_xaiger tree | commitdiff
2019-06-14 David Shahecp5: Add abc9 option tree | commitdiff
2019-06-12 Eddie HungRemove unnecessary undriven_bits.insert tree | commitdiff
2019-06-12 Eddie Hungwrite_xaiger to preserve POs even if driven by constant tree | commitdiff
2019-06-12 Eddie HungAdd a couple more tests tree | commitdiff
2019-06-12 Eddie HungMore write_xaiger cleanup tree | commitdiff
2019-06-12 Eddie HungCleanup write_xaiger tree | commitdiff
2019-06-12 Eddie HungConsistency tree | commitdiff
2019-06-12 Eddie HungMerge remote-tracking branch 'origin/xc7mux' into xaig tree | commitdiff
2019-06-12 Eddie HungMerge remote-tracking branch 'origin/master' into xaig tree | commitdiff
2019-06-11 Eddie HungMerge remote-tracking branch 'origin/eddie/shregmap_imp... tree | commitdiff
2019-06-10 Eddie HungMerge remote-tracking branch 'origin/eddie/shregmap_imp... tree | commitdiff
2019-06-10 Eddie HungMerge remote-tracking branch 'origin/master' into xc7mux tree | commitdiff
2019-06-07 Eddie HungMerge remote-tracking branch 'origin/master' into xc7mux tree | commitdiff
2019-06-06 Eddie HungMerge remote-tracking branch 'origin/eddie/muxpack... tree | commitdiff
2019-06-06 Eddie HungMerge remote-tracking branch 'origin/eddie/muxpack... tree | commitdiff
2019-06-05 Eddie HungMerge remote-tracking branch 'origin/master' into xc7mux tree | commitdiff
2019-06-05 Eddie HungMerge remote-tracking branch 'origin/clifford/fix1065... tree | commitdiff
2019-06-04 Eddie HungAdd log_assert to ensure no loops tree | commitdiff
2019-06-04 Eddie HungOnly toposort builtin and abc types tree | commitdiff
2019-06-04 Eddie HungMerge remote-tracking branch 'origin/master' into xc7mux tree | commitdiff
2019-06-03 Eddie HungWhen creating new holes cell, inherit parameters too tree | commitdiff
2019-05-31 Eddie HungABC9 to understand flops tree | commitdiff
2019-05-31 Eddie HungMerge branch 'xaig' into xc7mux tree | commitdiff
2019-05-30 Eddie HungFix issue where keep signal became PI, but also box... tree | commitdiff
2019-05-30 Eddie HungDo not re-sort box_module ports tree | commitdiff
2019-05-30 Eddie HungCarry in/out to be the last input/output for chains... tree | commitdiff
2019-05-29 Eddie HungFix abc_test024 tree | commitdiff
2019-05-28 Eddie HungFix for abc9_test022 tree | commitdiff
2019-05-28 Eddie HungSmall improvement tree | commitdiff
2019-05-28 Eddie HungMerge remote-tracking branch 'origin/master' into xc7mux tree | commitdiff
2019-05-28 Eddie HungMap file to include boxes not CI/CO tree | commitdiff
2019-05-27 Eddie HungInstantiate cell type (from sym file) otherwise 'clean... tree | commitdiff
2019-05-27 Eddie HungAdd 'cinput' and 'coutput' to symbols file for boxes tree | commitdiff
2019-05-26 Eddie HungFix "a" connectivity tree | commitdiff
2019-05-26 Eddie HungFix padding, remove CIs from undriven_bits before erasi... tree | commitdiff
2019-05-26 Eddie HungFix "a" extension tree | commitdiff
2019-05-26 Eddie HungFix "write_xaiger", and to write each box contents... tree | commitdiff
2019-05-26 Eddie HungMerge remote-tracking branch 'origin/master' into xc7mux tree | commitdiff
2019-05-23 Eddie HungMerge remote-tracking branch 'origin/master' into xc7mux tree | commitdiff
2019-05-23 Eddie HungMerge remote-tracking branch 'origin/eddie/opt_rmdff... tree | commitdiff
2019-05-21 Eddie HungPad all boxes so that all input/output connections... tree | commitdiff
2019-05-21 Eddie HungMerge remote-tracking branch 'origin/master' into xc7mux tree | commitdiff
2019-05-02 Eddie HungMerge remote-tracking branch 'origin/clifford/pmgenstuf... tree | commitdiff
2019-05-02 Eddie HungMerge remote-tracking branch 'origin/master' into xc7mux tree | commitdiff
2019-04-26 Eddie HungMerge remote-tracking branch 'origin/master' into xc7mux tree | commitdiff
2019-04-26 Eddie HungMerge remote-tracking branch 'origin/eddie/split_shiftx... tree | commitdiff
2019-04-26 Eddie HungMerge branch 'eddie/split_shiftx' into xc7mux tree | commitdiff
2019-04-25 Eddie HungRemove topo sort no-loop assertion, with test tree | commitdiff
2019-04-23 Eddie HungFix abc9 with (* keep *) wires tree | commitdiff
2019-04-23 Eddie HungFix abc9 with (* keep *) wires tree | commitdiff
2019-04-23 Eddie HungMerge branch 'xaig' of github.com:YosysHQ/yosys into... tree | commitdiff
2019-04-23 Eddie HungMerge remote-tracking branch 'origin/master' into xaig tree | commitdiff
2019-04-23 Eddie HungRevert "Temporarily remove 'r' extension" tree | commitdiff
2019-04-22 Eddie HungMerge branch 'xaig' into xc7mux tree | commitdiff
2019-04-22 Eddie HungTemporarily remove 'r' extension tree | commitdiff
2019-04-22 Eddie HungMerge remote-tracking branch 'origin/xc7srl' into xc7mux tree | commitdiff
2019-04-22 Eddie HungAllow POs to be PIs in XAIG tree | commitdiff
2019-04-22 Eddie HungMerge remote-tracking branch 'origin/master' into xaig tree | commitdiff
2019-04-22 Eddie HungMerge remote-tracking branch 'origin/clifford/libwb... tree | commitdiff
next