2019-06-12 |
Eddie Hung | write_xaiger to preserve POs even if driven by constant |
tree | commitdiff |
2019-06-12 |
Eddie Hung | Add a couple more tests |
tree | commitdiff |
2019-06-12 |
Eddie Hung | More write_xaiger cleanup |
tree | commitdiff |
2019-06-12 |
Eddie Hung | Cleanup write_xaiger |
tree | commitdiff |
2019-06-12 |
Eddie Hung | Consistency |
tree | commitdiff |
2019-06-12 |
Eddie Hung | Merge remote-tracking branch 'origin/xc7mux' into xaig |
tree | commitdiff |
2019-06-12 |
Eddie Hung | Merge remote-tracking branch 'origin/master' into xaig |
tree | commitdiff |
2019-06-11 |
Eddie Hung | Merge remote-tracking branch 'origin/eddie/shregmap_imp... |
tree | commitdiff |
2019-06-10 |
Eddie Hung | Merge remote-tracking branch 'origin/eddie/shregmap_imp... |
tree | commitdiff |
2019-06-10 |
Eddie Hung | Merge remote-tracking branch 'origin/master' into xc7mux |
tree | commitdiff |
2019-06-07 |
Eddie Hung | Merge remote-tracking branch 'origin/master' into xc7mux |
tree | commitdiff |
2019-06-07 |
Clifford Wolf | Merge branch 'pr_elab_sys_tasks' of https://github... |
tree | commitdiff |
2019-06-06 |
Eddie Hung | Merge remote-tracking branch 'origin/eddie/muxpack... |
tree | commitdiff |
2019-06-06 |
Eddie Hung | Merge remote-tracking branch 'origin/eddie/muxpack... |
tree | commitdiff |
2019-06-06 |
David Shah | Merge pull request #1073 from whitequark/ecp5-diamond-iob |
tree | commitdiff |
2019-06-05 |
Eddie Hung | Merge remote-tracking branch 'origin/master' into xc7mux |
tree | commitdiff |
2019-06-05 |
Eddie Hung | Merge remote-tracking branch 'origin/clifford/fix1065... |
tree | commitdiff |
2019-06-05 |
Clifford Wolf | Merge pull request #999 from jakobwenzel/setundefInitFix |
tree | commitdiff |
2019-06-04 |
Eddie Hung | Add log_assert to ensure no loops |
tree | commitdiff |
2019-06-04 |
Eddie Hung | Only toposort builtin and abc types |
tree | commitdiff |
2019-06-04 |
Eddie Hung | Merge remote-tracking branch 'origin/master' into xc7mux |
tree | commitdiff |
2019-06-03 |
Eddie Hung | When creating new holes cell, inherit parameters too |
tree | commitdiff |
2019-05-31 |
Eddie Hung | ABC9 to understand flops |
tree | commitdiff |
2019-05-31 |
Eddie Hung | Merge branch 'xaig' into xc7mux |
tree | commitdiff |
2019-05-30 |
Eddie Hung | Fix issue where keep signal became PI, but also box... |
tree | commitdiff |
2019-05-30 |
Eddie Hung | Do not re-sort box_module ports |
tree | commitdiff |
2019-05-30 |
Eddie Hung | Carry in/out to be the last input/output for chains... |
tree | commitdiff |
2019-05-29 |
Eddie Hung | Fix abc_test024 |
tree | commitdiff |
2019-05-28 |
Eddie Hung | Fix for abc9_test022 |
tree | commitdiff |
2019-05-28 |
Eddie Hung | Small improvement |
tree | commitdiff |
2019-05-28 |
Eddie Hung | Update from master |
tree | commitdiff |
2019-05-28 |
Eddie Hung | Merge remote-tracking branch 'origin/master' into xc7mux |
tree | commitdiff |
2019-05-28 |
Eddie Hung | Map file to include boxes not CI/CO |
tree | commitdiff |
2019-05-27 |
Eddie Hung | Instantiate cell type (from sym file) otherwise 'clean... |
tree | commitdiff |
2019-05-27 |
Eddie Hung | Add 'cinput' and 'coutput' to symbols file for boxes |
tree | commitdiff |
2019-05-27 |
Stefan Biereigel | Merge branch 'master' into wandwor |
tree | commitdiff |
2019-05-27 |
Clifford Wolf | Merge pull request #1026 from YosysHQ/clifford/fix1023 |
tree | commitdiff |
2019-05-27 |
Clifford Wolf | Merge pull request #1030 from Kmanfi/makefile_osx |
tree | commitdiff |
2019-05-26 |
Eddie Hung | Fix "a" connectivity |
tree | commitdiff |
2019-05-26 |
Eddie Hung | Fix padding, remove CIs from undriven_bits before erasi... |
tree | commitdiff |
2019-05-26 |
Eddie Hung | Fix "a" extension |
tree | commitdiff |
2019-05-26 |
Clifford Wolf | Merge pull request #1035 from YosysHQ/eddie/opt_rmdff |
tree | commitdiff |
2019-05-26 |
Eddie Hung | Fix "write_xaiger", and to write each box contents... |
tree | commitdiff |
2019-05-26 |
Eddie Hung | Merge remote-tracking branch 'origin/master' into xc7mux |
tree | commitdiff |
2019-05-25 |
Clifford Wolf | Merge pull request #1041 from YosysHQ/clifford/fix1040 |
tree | commitdiff |
2019-05-25 |
Clifford Wolf | Fix handling of offset and upto module ports in write_b... |
tree | commitdiff |
2019-05-24 |
Clifford Wolf | Add proper error message for btor recursion_guard |
tree | commitdiff |
2019-05-23 |
Eddie Hung | Merge remote-tracking branch 'origin/master' into xc7mux |
tree | commitdiff |
2019-05-23 |
Eddie Hung | Merge remote-tracking branch 'origin/eddie/opt_rmdff... |
tree | commitdiff |
2019-05-23 |
Clifford Wolf | Merge pull request #1031 from mdaiter/optimizeLookupTab... |
tree | commitdiff |
2019-05-22 |
Clifford Wolf | Merge pull request #1019 from YosysHQ/clifford/fix1016 |
tree | commitdiff |
2019-05-22 |
Clifford Wolf | Merge pull request #1021 from ucb-bar/fixfirrtl_shr,neg |
tree | commitdiff |
2019-05-21 |
Eddie Hung | Pad all boxes so that all input/output connections... |
tree | commitdiff |
2019-05-21 |
Eddie Hung | Merge remote-tracking branch 'origin/master' into xc7mux |
tree | commitdiff |
2019-05-21 |
Jim Lawson | Fix static shift operands, neg result type, minor forma... |
tree | commitdiff |
2019-05-21 |
Jim Lawson | Merge remote-tracking branch 'upstream/master' |
tree | commitdiff |
2019-05-08 |
Clifford Wolf | Merge pull request #991 from kristofferkoch/gcc9-warnings |
tree | commitdiff |
2019-05-08 |
Kristoffer Ellersg... | Fix all warnings that occurred when compiling with... |
tree | commitdiff |
2019-05-08 |
Clifford Wolf | Merge pull request #998 from mdaiter/get_bool_attribute... |
tree | commitdiff |
2019-05-07 |
Clifford Wolf | Fix handling of partial init attributes in write_verilo... |
tree | commitdiff |
2019-05-06 |
Clifford Wolf | Merge pull request #946 from YosysHQ/clifford/specify |
tree | commitdiff |
2019-05-06 |
Clifford Wolf | Merge branch 'master' of github.com:YosysHQ/yosys into... |
tree | commitdiff |
2019-05-06 |
Clifford Wolf | Add "real" keyword to ilang format |
tree | commitdiff |
2019-05-06 |
Clifford Wolf | Merge branch 'master' of github.com:YosysHQ/yosys into... |
tree | commitdiff |
2019-05-04 |
Clifford Wolf | Improve write_verilog specify support |
tree | commitdiff |
2019-05-03 |
Eddie Hung | Merge remote-tracking branch 'origin/master' into cliff... |
tree | commitdiff |
2019-05-03 |
Clifford Wolf | Merge pull request #969 from YosysHQ/clifford/pmgenstuff |
tree | commitdiff |
2019-05-03 |
Clifford Wolf | Merge pull request #976 from YosysHQ/clifford/fix974 |
tree | commitdiff |
2019-05-02 |
Eddie Hung | Merge remote-tracking branch 'origin/clifford/pmgenstuf... |
tree | commitdiff |
2019-05-02 |
Eddie Hung | Merge remote-tracking branch 'origin/master' into xc7mux |
tree | commitdiff |
2019-05-02 |
Jim Lawson | Merge remote-tracking branch 'upstream/master' |
tree | commitdiff |
2019-05-02 |
Clifford Wolf | Merge pull request #963 from YosysHQ/eddie/synth_xilinx... |
tree | commitdiff |
2019-05-02 |
Eddie Hung | Merge pull request #978 from ucb-bar/fmtfirrtl |
tree | commitdiff |
2019-05-02 |
Eddie Hung | Merge remote-tracking branch 'origin/master' into eddie... |
tree | commitdiff |
2019-05-01 |
Eddie Hung | Merge branch 'master' of github.com:YosysHQ/yosys |
tree | commitdiff |
2019-05-01 |
Jim Lawson | Re-indent firrtl.cc:struct memory - no functional change. |
tree | commitdiff |
2019-05-01 |
Jim Lawson | Merge remote-tracking branch 'upstream/master' |
tree | commitdiff |
2019-05-01 |
Clifford Wolf | Merge pull request #977 from ucb-bar/fixfirrtlmem |
tree | commitdiff |
2019-05-01 |
Jim Lawson | Fix #938 - Crash occurs in case when use write_firrtl... |
tree | commitdiff |
2019-04-30 |
Jim Lawson | Merge remote-tracking branch 'upstream/master' |
tree | commitdiff |
2019-04-30 |
Benedikt Tutzer | Merge branch 'master' of https://github.com/YosysHQ... |
tree | commitdiff |
2019-04-26 |
Eddie Hung | Merge remote-tracking branch 'origin/master' into xc7mux |
tree | commitdiff |
2019-04-26 |
Eddie Hung | Merge remote-tracking branch 'origin/eddie/split_shiftx... |
tree | commitdiff |
2019-04-26 |
Eddie Hung | Merge branch 'eddie/split_shiftx' into xc7mux |
tree | commitdiff |
2019-04-25 |
Eddie Hung | Remove topo sort no-loop assertion, with test |
tree | commitdiff |
2019-04-23 |
Eddie Hung | Fix abc9 with (* keep *) wires |
tree | commitdiff |
2019-04-23 |
Eddie Hung | Fix abc9 with (* keep *) wires |
tree | commitdiff |
2019-04-23 |
Clifford Wolf | Rename T_{RISE,FALL}_AVG to T_{RISE,FALL}_TYP to better... |
tree | commitdiff |
2019-04-23 |
Clifford Wolf | Add $specify2/$specify3 support to write_verilog |
tree | commitdiff |
2019-04-23 |
Clifford Wolf | Add support for $assert/$assume/$cover to write_verilog |
tree | commitdiff |
2019-04-23 |
Eddie Hung | Merge branch 'xaig' of github.com:YosysHQ/yosys into... |
tree | commitdiff |
2019-04-23 |
Eddie Hung | Merge remote-tracking branch 'origin/master' into xaig |
tree | commitdiff |
2019-04-23 |
Eddie Hung | Revert "Temporarily remove 'r' extension" |
tree | commitdiff |
2019-04-22 |
Eddie Hung | Merge pull request #914 from YosysHQ/xc7srl |
tree | commitdiff |
2019-04-22 |
Eddie Hung | Merge branch 'xaig' into xc7mux |
tree | commitdiff |
2019-04-22 |
Eddie Hung | Temporarily remove 'r' extension |
tree | commitdiff |
2019-04-22 |
Eddie Hung | Merge remote-tracking branch 'origin/xc7srl' into xc7mux |
tree | commitdiff |
2019-04-22 |
Eddie Hung | Allow POs to be PIs in XAIG |
tree | commitdiff |
2019-04-22 |
Eddie Hung | Merge remote-tracking branch 'origin/master' into xaig |
tree | commitdiff |
2019-04-22 |
Clifford Wolf | Merge pull request #952 from YosysHQ/clifford/fix370 |
tree | commitdiff |
next |