2019-02-21 |
Eddie Hung | Merge remote-tracking branch 'origin/master' into xaig |
tree | commitdiff |
2019-02-21 |
Eddie Hung | abc9 to only disconnect output ports of AND and NOT... |
tree | commitdiff |
2019-02-21 |
Clifford Wolf | Hotfix for 4c82ddf |
tree | commitdiff |
2019-02-21 |
Clifford Wolf | Merge pull request #822 from litghost/expand_setundef |
tree | commitdiff |
2019-02-21 |
Keith Rothman | Add -params mode to force undef parameters in selected... |
tree | commitdiff |
2019-02-21 |
Clifford Wolf | Merge pull request #818 from YosysHQ/clifford/dffsrfix |
tree | commitdiff |
2019-02-21 |
Clifford Wolf | Merge pull request #786 from YosysHQ/pmgen |
tree | commitdiff |
2019-02-21 |
Clifford Wolf | Fix typo in passes/pmgen/README.md |
tree | commitdiff |
2019-02-21 |
Eddie Hung | Merge branch 'clifford/dffsrfix' of https://github... |
tree | commitdiff |
2019-02-21 |
Clifford Wolf | Fix opt_rmdff handling of $_DFFSR_???_ and $_DLATCHSR_... |
tree | commitdiff |
2019-02-21 |
Clifford Wolf | Bugfix in ice40_dsp |
tree | commitdiff |
2019-02-21 |
Eddie Hung | ABC -> ABC9 |
tree | commitdiff |
2019-02-21 |
Eddie Hung | abc9 to disconnect mapped_mods POs correctly, and do... |
tree | commitdiff |
2019-02-21 |
Eddie Hung | lut/not/and suffix to be ${lut,not,and} |
tree | commitdiff |
2019-02-20 |
Eddie Hung | abc9 to cope with multiple modules |
tree | commitdiff |
2019-02-20 |
Eddie Hung | abc9 to use & syntax for -fast, and name fixes |
tree | commitdiff |
2019-02-20 |
Clifford Wolf | Add "synth_ice40 -dsp" |
tree | commitdiff |
2019-02-20 |
Clifford Wolf | Add FF support to wreduce |
tree | commitdiff |
2019-02-20 |
Clifford Wolf | Detect and reject cases that do not map well to iCE40... |
tree | commitdiff |
2019-02-20 |
Eddie Hung | abc9 to cope with indexed wires when creating $lut... |
tree | commitdiff |
2019-02-19 |
Eddie Hung | Merge branch 'master' into xaig |
tree | commitdiff |
2019-02-19 |
Eddie Hung | abc9 to replace $_NOT_ with $lut |
tree | commitdiff |
2019-02-17 |
Eddie Hung | Merge https://github.com/YosysHQ/yosys into dff_init |
tree | commitdiff |
2019-02-17 |
Clifford Wolf | Add actual DSP inference to ice40_dsp pass |
tree | commitdiff |
2019-02-17 |
Clifford Wolf | Merge branch 'master' of github.com:YosysHQ/yosys into... |
tree | commitdiff |
2019-02-17 |
Eddie Hung | Get rid of debugging stuff in abc9 |
tree | commitdiff |
2019-02-17 |
Eddie Hung | abc9 to write_aiger with -O option, and ignore dummy... |
tree | commitdiff |
2019-02-16 |
Eddie Hung | abc9 to handle comb loops, cope with constant outputs... |
tree | commitdiff |
2019-02-16 |
Eddie Hung | expose command to not skip 'internal' wires beginning... |
tree | commitdiff |
2019-02-16 |
Eddie Hung | abc9 to cope with non-wideports, count cells properly |
tree | commitdiff |
2019-02-15 |
Eddie Hung | Move lookup inside if |
tree | commitdiff |
2019-02-15 |
Eddie Hung | Refactor |
tree | commitdiff |
2019-02-15 |
Eddie Hung | Cope with width != 1 when re-mapping cells |
tree | commitdiff |
2019-02-15 |
Eddie Hung | abc9 to stitch results with CI/CO properly |
tree | commitdiff |
2019-02-14 |
Eddie Hung | Fix stitching |
tree | commitdiff |
2019-02-13 |
Eddie Hung | Merge remote-tracking branch 'origin/read_aiger' into... |
tree | commitdiff |
2019-02-13 |
Eddie Hung | Merge https://github.com/YosysHQ/yosys into xaig |
tree | commitdiff |
2019-02-13 |
Eddie Hung | Rip out some more stuff |
tree | commitdiff |
2019-02-13 |
Eddie Hung | Rip out unused functions in abc9 |
tree | commitdiff |
2019-02-12 |
Eddie Hung | WIP for ABC with aiger |
tree | commitdiff |
2019-02-12 |
Eddie Hung | Missing headers for Xcode? |
tree | commitdiff |
2019-02-12 |
Clifford Wolf | Merge pull request #802 from whitequark/write_verilog_a... |
tree | commitdiff |
2019-02-12 |
Clifford Wolf | Merge pull request #806 from daveshah1/fsm_opt_no_reset |
tree | commitdiff |
2019-02-08 |
Eddie Hung | Compile abc9 |
tree | commitdiff |
2019-02-08 |
Eddie Hung | Copy abc.cc to abc9.cc |
tree | commitdiff |
2019-02-07 |
David Shah | fsm_opt: Fix runtime error for FSMs without a reset... |
tree | commitdiff |
2019-01-27 |
Clifford Wolf | Merge pull request #798 from mmicko/master |
tree | commitdiff |
2019-01-25 |
David Shah | Merge pull request #796 from whitequark/proc_clean_typo |
tree | commitdiff |
2019-01-23 |
whitequark | proc_clean: fix critical typo. |
tree | commitdiff |
2019-01-19 |
Clifford Wolf | Merge pull request #793 from whitequark/proc_clean_fix_... |
tree | commitdiff |
2019-01-18 |
whitequark | proc_clean: fix fully def check to consider compare... |
tree | commitdiff |
2019-01-15 |
Clifford Wolf | Progress in pmgen |
tree | commitdiff |
2019-01-15 |
Clifford Wolf | Progress in pmgen, add pmgen README |
tree | commitdiff |
2019-01-15 |
Clifford Wolf | Fix pmgen "reject" statement |
tree | commitdiff |
2019-01-15 |
Clifford Wolf | Progress in pmgen |
tree | commitdiff |
2019-01-15 |
Clifford Wolf | Progress in pmgen |
tree | commitdiff |
2019-01-15 |
Clifford Wolf | Progress in pmgen |
tree | commitdiff |
2019-01-15 |
Clifford Wolf | Add mockup .pmg (pattern matcher generator) file |
tree | commitdiff |
2019-01-15 |
Clifford Wolf | Merge pull request #788 from whitequark/master |
tree | commitdiff |
2019-01-15 |
Clifford Wolf | Merge pull request #787 from whitequark/flowmap_relax |
tree | commitdiff |
2019-01-08 |
whitequark | flowmap: clean up terminology. |
tree | commitdiff |
2019-01-08 |
whitequark | flowmap: implement depth relaxation. |
tree | commitdiff |
2019-01-07 |
Clifford Wolf | Bugfix in $memrd sharing |
tree | commitdiff |
2019-01-07 |
Clifford Wolf | Merge pull request #782 from whitequark/flowmap_dfs |
tree | commitdiff |
2019-01-07 |
Clifford Wolf | Switch "bugpoint" from system() to run_command() |
tree | commitdiff |
2019-01-07 |
Clifford Wolf | Merge pull request #783 from whitequark/bugpoint |
tree | commitdiff |
2019-01-07 |
whitequark | bugpoint: new pass. |
tree | commitdiff |
2019-01-06 |
whitequark | flowmap: construct a max-volume max-flow min-cut, not... |
tree | commitdiff |
2019-01-06 |
Clifford Wolf | Merge pull request #780 from phire/rename_from_wire |
tree | commitdiff |
2019-01-06 |
Scott Mansell | Rename cells based on the wires they drive. |
tree | commitdiff |
2019-01-04 |
whitequark | flowmap: add -minlut option, to allow postprocessing... |
tree | commitdiff |
2019-01-04 |
whitequark | flowmap: cleanup for clarity. NFCI. |
tree | commitdiff |
2019-01-04 |
whitequark | flowmap: improve debug graph output. NFC. |
tree | commitdiff |
2019-01-04 |
whitequark | flowmap: add link to longer version of paper. NFC. |
tree | commitdiff |
2019-01-03 |
Clifford Wolf | Merge pull request #775 from whitequark/opt_flowmap |
tree | commitdiff |
2019-01-03 |
whitequark | flowmap: new techmap pass. |
tree | commitdiff |
2019-01-02 |
Clifford Wolf | Merge pull request #770 from whitequark/opt_expr_cmp |
tree | commitdiff |
2019-01-02 |
whitequark | opt_expr: improve simplification of comparisons with... |
tree | commitdiff |
2019-01-02 |
Clifford Wolf | Merge pull request #755 from Icenowy/anlogic-dram-init |
tree | commitdiff |
2019-01-02 |
Clifford Wolf | Merge branch 'master' of github.com:YosysHQ/yosys |
tree | commitdiff |
2019-01-02 |
Clifford Wolf | Merge pull request #750 from Icenowy/anlogic-ff-init |
tree | commitdiff |
2019-01-02 |
Clifford Wolf | Merge pull request #773 from whitequark/opt_lut_elim_fixes |
tree | commitdiff |
2019-01-02 |
Clifford Wolf | Merge pull request #772 from whitequark/synth_lut |
tree | commitdiff |
2019-01-02 |
Clifford Wolf | Merge pull request #771 from whitequark/techmap_cmp2lut |
tree | commitdiff |
2019-01-02 |
Clifford Wolf | Merge pull request #769 from whitequark/typos |
tree | commitdiff |
2019-01-02 |
whitequark | Fix typographical and grammatical errors and inconsiste... |
tree | commitdiff |
2019-01-02 |
whitequark | opt_lut: reflect changes in sigmap. |
tree | commitdiff |
2019-01-02 |
whitequark | opt_lut: use a worklist, and revisit cells affected... |
tree | commitdiff |
2019-01-02 |
whitequark | opt_lut: count eliminated cells, and set opt.did_someth... |
tree | commitdiff |
2019-01-02 |
whitequark | opt_expr: refactor simplification of unsigned X<onehot... |
tree | commitdiff |
2019-01-02 |
whitequark | opt_expr: refactor simplification of signed X>=0 and... |
tree | commitdiff |
2019-01-02 |
whitequark | opt_expr: simplify any unsigned comparisons with all... |
tree | commitdiff |
2019-01-01 |
Clifford Wolf | Merge pull request #768 from whitequark/opt_lut_elim |
tree | commitdiff |
2018-12-31 |
whitequark | opt_lut: eliminate LUTs evaluating to constants or... |
tree | commitdiff |
2018-12-31 |
Clifford Wolf | Fix handling of (* keep *) wires in wreduce |
tree | commitdiff |
2018-12-31 |
Clifford Wolf | Merge pull request #766 from Icenowy/anlogic-latches |
tree | commitdiff |
2018-12-23 |
Clifford Wolf | Merge pull request #761 from whitequark/proc_clean_partial |
tree | commitdiff |
2018-12-23 |
Clifford Wolf | Merge branch 'master' of github.com:YosysHQ/yosys |
tree | commitdiff |
2018-12-23 |
whitequark | proc_clean: remove any empty cases if all cases use... |
tree | commitdiff |
2018-12-22 |
Clifford Wolf | Merge pull request #757 from whitequark/manual_mem |
tree | commitdiff |
next |