projects / yosys.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Add abc9_ops -check, -prep_times, -write_box for required times
[yosys.git] / passes / fsm /
2019-12-16 Eddie HungMerge pull request #1577 from gromero/for-yosys tree | commitdiff
2019-11-22 Eddie HungMerge branch 'master' of github.com:YosysHQ/yosys tree | commitdiff
2019-11-19 Eddie HungMerge remote-tracking branch 'origin/master' into xaig_dff tree | commitdiff
2019-11-16 Pepijn de VosMerge branch 'master' of https://github.com/YosysHQ... tree | commitdiff
2019-11-14 Clifford WolfMerge pull request #1444 from btut/feature/python_wrapp... tree | commitdiff
2019-11-14 Clifford WolfMerge pull request #1465 from YosysHQ/dave/ice40_timing_sim tree | commitdiff
2019-11-14 Clifford WolfMerge branch 'label-bads-btor' of https://github.com... tree | commitdiff
2019-11-13 whitequarkMerge pull request #1488 from whitequark/flowmap-fixes tree | commitdiff
2019-11-13 Clifford WolfMerge pull request #1486 from YosysHQ/clifford/fsmdetectfix tree | commitdiff
2019-11-12 Clifford WolfUpdate fsm_detect bugfix tree | commitdiff
2019-11-12 Clifford WolfBugfix in fsm_detect tree | commitdiff
2019-09-27 Aman GoelMerge pull request #7 from YosysHQ/master tree | commitdiff
2019-08-26 Clifford WolfMerge tag 'yosys-0.9' tree | commitdiff
2019-08-25 Clifford WolfMerge pull request #1112 from acw1251/pyosys_sigsig_issue tree | commitdiff
2019-08-22 Clifford WolfMerge pull request #1281 from mmicko/efinix tree | commitdiff
2019-08-20 Eddie HungMerge remote-tracking branch 'origin/master' into eddie... tree | commitdiff
2019-08-16 Eddie HungMerge branch 'eddie/abc9_refactor' into xaig_dff tree | commitdiff
2019-08-16 Eddie HungMerge pull request #1250 from bwidawsk/master tree | commitdiff
2019-08-16 Eddie HungMerge https://github.com/bogdanvuk/yosys into bogdanvuk... tree | commitdiff
2019-08-12 Eddie HungMerge remote-tracking branch 'origin/master' into xc7dsp tree | commitdiff
2019-08-12 Serge BazanskiMerge pull request #1152 from 1138-4EB/feat-docker tree | commitdiff
2019-08-12 Eddie HungMerge remote-tracking branch 'origin/master' into eddie... tree | commitdiff
2019-08-10 Clifford WolfMerge pull request #1258 from YosysHQ/eddie/cleanup tree | commitdiff
2019-08-07 Eddie HungRTLIL::S{0,1} -> State::S{0,1} tree | commitdiff
2019-08-07 Eddie HungMerge remote-tracking branch 'origin/master' into eddie... tree | commitdiff
2019-08-06 Eddie HungUse State::S{0,1} tree | commitdiff
2019-08-06 Eddie HungMake liberal use of IdString.in() tree | commitdiff
2019-03-28 Benedikt TutzerMerge remote-tracking branch 'origin/master' into featu... tree | commitdiff
2019-02-28 Clifford WolfMerge pull request #794 from daveshah1/ecp5improve tree | commitdiff
2019-02-22 Clifford WolfMerge pull request #740 from daveshah1/improve_dress tree | commitdiff
2019-02-19 Eddie HungMerge branch 'master' into read_aiger tree | commitdiff
2019-02-17 Eddie HungMerge https://github.com/YosysHQ/yosys into dff_init tree | commitdiff
2019-02-17 Eddie HungMerge https://github.com/YosysHQ/yosys into read_aiger tree | commitdiff
2019-02-17 Clifford WolfMerge branch 'master' of github.com:YosysHQ/yosys into... tree | commitdiff
2019-02-15 Jim LawsonMerge remote-tracking branch 'upstream/master' tree | commitdiff
2019-02-13 Eddie HungMerge remote-tracking branch 'origin/read_aiger' into... tree | commitdiff
2019-02-13 Eddie HungMerge https://github.com/YosysHQ/yosys into xaig tree | commitdiff
2019-02-12 Clifford WolfMerge pull request #802 from whitequark/write_verilog_a... tree | commitdiff
2019-02-12 Clifford WolfMerge pull request #806 from daveshah1/fsm_opt_no_reset tree | commitdiff
2019-02-11 Jim LawsonMerge remote-tracking branch 'upstream/master' tree | commitdiff
2019-02-07 David Shahfsm_opt: Fix runtime error for FSMs without a reset... tree | commitdiff
2019-01-02 Clifford WolfMerge pull request #770 from whitequark/opt_expr_cmp tree | commitdiff
2019-01-02 Clifford WolfMerge pull request #755 from Icenowy/anlogic-dram-init tree | commitdiff
2019-01-02 Clifford WolfMerge pull request #750 from Icenowy/anlogic-ff-init tree | commitdiff
2019-01-02 Clifford WolfMerge pull request #773 from whitequark/opt_lut_elim_fixes tree | commitdiff
2019-01-02 Clifford WolfMerge pull request #772 from whitequark/synth_lut tree | commitdiff
2019-01-02 Clifford WolfMerge pull request #771 from whitequark/techmap_cmp2lut tree | commitdiff
2019-01-02 Clifford WolfMerge pull request #769 from whitequark/typos tree | commitdiff
2019-01-02 whitequarkFix typographical and grammatical errors and inconsiste... tree | commitdiff
2018-09-17 Udi FinkelsteinMerge branch 'master' into pr_reg_wire_error tree | commitdiff
2018-08-22 Jim LawsonMerge pull request #1 from YosysHQ/master tree | commitdiff
2018-08-18 Aman GoelMerge pull request #3 from YosysHQ/master tree | commitdiff
2018-08-15 Clifford WolfMerge pull request #573 from cr1901/msys-64 tree | commitdiff
2018-08-15 Clifford WolfMerge pull request #591 from hzeller/virtual-override tree | commitdiff
2018-07-21 Henner ZellerConsistent use of 'override' for virtual methods in... tree | commitdiff
2017-08-21 Clifford WolfRemove some dead code from fsm_map tree | commitdiff
2017-04-12 Larry DoolittleSquelch trailing whitespace tree | commitdiff
2017-02-09 Andrew ZonenbergMerge https://github.com/cliffordwolf/yosys tree | commitdiff
2017-01-31 Clifford WolfMerge branch 'opt_compare_pr' of https://github.com... tree | commitdiff
2017-01-26 Clifford WolfBe more conservative with merging large cells into... tree | commitdiff
2017-01-26 Clifford WolfAdd warnings for quickly growing FSM table size in... tree | commitdiff
2016-11-02 Clifford WolfAdded support for fsm_encoding="user" tree | commitdiff
2016-11-02 Clifford WolfAdded "fsm_expand -full" tree | commitdiff
2016-10-25 Clifford WolfBugfix in fsm_map for FSMs without reset state tree | commitdiff
2016-07-13 Clifford WolfMerge pull request #191 from whitequark/json-module... tree | commitdiff
2016-07-12 Andrew ZonenbergMerge https://github.com/cliffordwolf/yosys tree | commitdiff
2016-07-12 Clifford WolfMinor bugfix in FSM reset state detection tree | commitdiff
2016-07-09 Clifford WolfFurther improved fsm_detect output, attempt to detect... tree | commitdiff
2016-07-09 Clifford WolfAdded printing of some warning messages to fsm_detect tree | commitdiff
2016-07-08 Clifford WolfMerge branch 'yosys-0.5-vtr' of https://github.com... tree | commitdiff
2016-04-23 Andrew ZonenbergMerge https://github.com/cliffordwolf/yosys tree | commitdiff
2016-04-21 Clifford WolfAdded "yosys -D" feature tree | commitdiff
2016-02-13 Clifford WolfMerge branch 'master' of github.com:cliffordwolf/yosys tree | commitdiff
2016-02-13 Clifford WolfAdded "int ceil_log2(int)" function tree | commitdiff
2015-12-07 Clifford WolfMerge pull request #108 from cseed/master tree | commitdiff
2015-10-25 Clifford WolfImport more std:: stuff into Yosys namespace tree | commitdiff
2015-10-24 Clifford Wolfrenamed SigSpec::to_single_sigbit() to SigSpec::as_bit... tree | commitdiff
2015-09-21 Clifford WolfDo not detect fsm state registers with init attribute tree | commitdiff
2015-09-18 Clifford WolfAdded $logic_not handling to fsm_detect tree | commitdiff
2015-08-18 Clifford WolfBugfix in fsm_detect for complex muxtrees tree | commitdiff
2015-08-14 Clifford WolfSpell check (by Larry Doolittle) tree | commitdiff
2015-07-03 Clifford WolfBugfix in fsm_extract tree | commitdiff
2015-07-02 Clifford WolfFixed trailing whitespaces tree | commitdiff
2015-04-29 Clifford WolfAdded $eq/$neq -> $logic_not/$reduce_bool optimization tree | commitdiff
2015-04-03 Ahmed IrfanMerge branch 'master' of https://github.com/cliffordwol... tree | commitdiff
2015-02-04 Clifford WolfAdded onehot attribute tree | commitdiff
2015-01-30 Clifford WolfAdded "fsm -encfile" tree | commitdiff
2014-12-26 Clifford WolfAdded Yosys::{dict,nodict,vector} container types tree | commitdiff
2014-12-24 Clifford WolfRenamed extend() to extend_xx(), changed most users... tree | commitdiff
2014-11-09 Clifford WolfAdded log_warning() API tree | commitdiff
2014-10-14 Clifford WolfMerge branch 'win32' tree | commitdiff
2014-10-14 William SpeirsChanged from "and" to "&&" tree | commitdiff
2014-10-11 Clifford WolfDo not the 'z' modifier in format string (another win32... tree | commitdiff
2014-10-10 Clifford WolfRenamed SIZE() to GetSize() because of name collision... tree | commitdiff
2014-09-27 Clifford Wolfnamespace Yosys tree | commitdiff
2014-09-22 Ahmed IrfanMerge branch 'master' of https://github.com/cliffordwol... tree | commitdiff
2014-09-06 Clifford WolfMerge branch 'master' of github.com:cliffordwolf/yosys tree | commitdiff
2014-09-06 Clifford WolfMerge pull request #38 from rubund/master tree | commitdiff
2014-09-06 Ruben UndheimCorrected spelling mistakes found by lintian tree | commitdiff
2014-08-30 Clifford WolfDon't change existing binary FSM encoding if it is... tree | commitdiff
next