projects / yosys.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Fix "write_xaiger", and to write each box contents into holes
[yosys.git] / backends /
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-25 Clifford WolfMerge pull request #1041 from YosysHQ/clifford/fix1040 tree | commitdiff
2019-05-25 Clifford WolfFix handling of offset and upto module ports in write_b... tree | commitdiff
2019-05-24 Clifford WolfAdd proper error message for btor recursion_guard 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-23 Clifford WolfMerge pull request #1031 from mdaiter/optimizeLookupTab... tree | commitdiff
2019-05-22 Clifford WolfMerge pull request #1019 from YosysHQ/clifford/fix1016 tree | commitdiff
2019-05-22 Clifford WolfMerge pull request #1021 from ucb-bar/fixfirrtl_shr,neg 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-21 Jim LawsonFix static shift operands, neg result type, minor forma... tree | commitdiff
2019-05-21 Jim LawsonMerge remote-tracking branch 'upstream/master' tree | commitdiff
2019-05-08 Clifford WolfMerge 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 WolfMerge pull request #998 from mdaiter/get_bool_attribute... tree | commitdiff
2019-05-07 Clifford WolfFix handling of partial init attributes in write_verilo... tree | commitdiff
2019-05-06 Clifford WolfMerge pull request #946 from YosysHQ/clifford/specify tree | commitdiff
2019-05-06 Clifford WolfMerge branch 'master' of github.com:YosysHQ/yosys into... tree | commitdiff
2019-05-06 Clifford WolfAdd "real" keyword to ilang format tree | commitdiff
2019-05-06 Clifford WolfMerge branch 'master' of github.com:YosysHQ/yosys into... tree | commitdiff
2019-05-04 Clifford WolfImprove write_verilog specify support tree | commitdiff
2019-05-03 Eddie HungMerge remote-tracking branch 'origin/master' into cliff... tree | commitdiff
2019-05-03 Clifford WolfMerge pull request #969 from YosysHQ/clifford/pmgenstuff tree | commitdiff
2019-05-03 Clifford WolfMerge pull request #976 from YosysHQ/clifford/fix974 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-05-02 Jim LawsonMerge remote-tracking branch 'upstream/master' tree | commitdiff
2019-05-02 Clifford WolfMerge pull request #963 from YosysHQ/eddie/synth_xilinx... tree | commitdiff
2019-05-02 Eddie HungMerge pull request #978 from ucb-bar/fmtfirrtl tree | commitdiff
2019-05-02 Eddie HungMerge remote-tracking branch 'origin/master' into eddie... tree | commitdiff
2019-05-01 Eddie HungMerge branch 'master' of github.com:YosysHQ/yosys tree | commitdiff
2019-05-01 Jim LawsonRe-indent firrtl.cc:struct memory - no functional change. tree | commitdiff
2019-05-01 Jim LawsonMerge remote-tracking branch 'upstream/master' tree | commitdiff
2019-05-01 Clifford WolfMerge pull request #977 from ucb-bar/fixfirrtlmem tree | commitdiff
2019-05-01 Jim LawsonFix #938 - Crash occurs in case when use write_firrtl... tree | commitdiff
2019-04-30 Jim LawsonMerge remote-tracking branch 'upstream/master' tree | commitdiff
2019-04-30 Benedikt TutzerMerge branch 'master' of https://github.com/YosysHQ... 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 Clifford WolfRename T_{RISE,FALL}_AVG to T_{RISE,FALL}_TYP to better... tree | commitdiff
2019-04-23 Clifford WolfAdd $specify2/$specify3 support to write_verilog tree | commitdiff
2019-04-23 Clifford WolfAdd support for $assert/$assume/$cover to write_verilog tree | commitdiff
2019-04-22 Eddie HungMerge pull request #914 from YosysHQ/xc7srl 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 Clifford WolfMerge pull request #952 from YosysHQ/clifford/fix370 tree | commitdiff
2019-04-22 Clifford WolfMerge pull request #951 from YosysHQ/clifford/logdebug tree | commitdiff
2019-04-22 Clifford WolfMerge pull request #949 from YosysHQ/clifford/pmux2shim... tree | commitdiff
2019-04-22 Clifford WolfMerge pull request #953 from YosysHQ/clifford/fix948 tree | commitdiff
2019-04-22 Clifford WolfAdd support for zero-width signals to Verilog back... tree | commitdiff
2019-04-22 Clifford WolfMerge pull request #905 from christian-krieg/feature... tree | commitdiff
2019-04-22 Clifford WolfMerge pull request #941 from Wren6991/sim_lib_io_clke tree | commitdiff
2019-04-22 Clifford WolfMerge branch 'master' of https://github.com/dh73/yosys_... tree | commitdiff
2019-04-22 Clifford WolfMerge pull request #911 from mmicko/gowin-nobram tree | commitdiff
2019-04-22 Clifford WolfMerge pull request #909 from zachjs/master tree | commitdiff
2019-04-22 Clifford WolfMerge pull request #944 from YosysHQ/clifford/pmux2shiftx tree | commitdiff
2019-04-22 Eddie HungMerge remote-tracking branch 'origin/clifford/libwb... tree | commitdiff
2019-04-21 Eddie HungMerge remote-tracking branch 'origin/clifford/libwb... tree | commitdiff
2019-04-21 Eddie HungMerge branch 'master' into map_cells_before_map_luts tree | commitdiff
2019-04-21 Eddie HungMerge remote-tracking branch 'origin/clifford/pmux2shif... tree | commitdiff
2019-04-21 Eddie HungMerge remote-tracking branch 'origin/master' into xc7srl tree | commitdiff
2019-04-20 Eddie HungMerge remote-tracking branch 'origin/master' into xaig tree | commitdiff
2019-04-20 Clifford WolfMerge pull request #943 from YosysHQ/clifford/whitebox tree | commitdiff
2019-04-20 Eddie HungMerge remote-tracking branch 'origin/pmux2shiftx' into... tree | commitdiff
2019-04-20 Eddie HungMerge remote-tracking branch 'origin' into xc7srl tree | commitdiff
2019-04-20 Clifford WolfMerge pull request #942 from YosysHQ/clifford/fix931 tree | commitdiff
2019-04-19 Eddie HungFixes for simple_abc9 tests tree | commitdiff
2019-04-19 Clifford WolfChange "ne" to "neq" in btor2 output tree | commitdiff
2019-04-19 Eddie HungDo not assume inst_module is always present tree | commitdiff
2019-04-19 Eddie Hungignore_boxes -> holes_mode tree | commitdiff
2019-04-19 Eddie HungRevert "write_json to not write contents (cells/wires... tree | commitdiff
2019-04-19 Eddie HungAdd flop support for write_xaiger tree | commitdiff
2019-04-19 Eddie HungSpelling tree | commitdiff
2019-04-18 Eddie HungUse new -wb flag for ABC flow tree | commitdiff
2019-04-18 Eddie Hungwrite_json to not write contents (cells/wires) of white... tree | commitdiff
2019-04-18 Eddie Hungwrite_json to not write contents (cells/wires) of white... tree | commitdiff
2019-04-18 Eddie HungMerge remote-tracking branch 'origin/clifford/whitebox... tree | commitdiff
2019-04-18 Clifford WolfAdd "whitebox" attribute, add "read_verilog -wb" tree | commitdiff
2019-04-17 Eddie HungFix $anyseq warning and cleanup tree | commitdiff
2019-04-17 Eddie HungCope with inout ports tree | commitdiff
2019-04-17 Eddie HungStop topological sort at abc_flop_q tree | commitdiff
2019-04-17 Eddie HungRemove init* from xaiger, also topo-sort cells for... tree | commitdiff
2019-04-17 Eddie HungMerge remote-tracking branch 'origin/master' into xaig tree | commitdiff
2019-04-17 Eddie HungOptimise tree | commitdiff
2019-04-16 Eddie HungCIs before PIs; also sort each cell's connections befor... tree | commitdiff
2019-04-16 Eddie HungMerge remote-tracking branch 'origin/master' into xaig tree | commitdiff
2019-04-16 Eddie HungPort from xc7mux branch tree | commitdiff
2019-04-16 Eddie HungFix wire numbering tree | commitdiff
2019-04-16 Eddie HungDo not put constants into output_bits tree | commitdiff
2019-04-16 Eddie HungRemove write_verilog call tree | commitdiff
2019-04-16 Eddie HungFix spacing tree | commitdiff
2019-04-16 Eddie HungMerge branch 'xaig' into xc7mux tree | commitdiff
next