projects
/
yosys.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
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 Hung
Merge pull request #1577 from gromero/for-yosys
tree
|
commitdiff
2019-11-22
Eddie Hung
Merge branch 'master' of github.com:YosysHQ/yosys
tree
|
commitdiff
2019-11-19
Eddie Hung
Merge remote-tracking branch 'origin/master' into xaig_dff
tree
|
commitdiff
2019-11-16
Pepijn de Vos
Merge branch 'master' of https://github.com/YosysHQ...
tree
|
commitdiff
2019-11-14
Clifford Wolf
Merge pull request #1444 from btut/feature/python_wrapp...
tree
|
commitdiff
2019-11-14
Clifford Wolf
Merge pull request #1465 from YosysHQ/dave/ice40_timing_sim
tree
|
commitdiff
2019-11-14
Clifford Wolf
Merge branch 'label-bads-btor' of https://github.com...
tree
|
commitdiff
2019-11-13
whitequark
Merge pull request #1488 from whitequark/flowmap-fixes
tree
|
commitdiff
2019-11-13
Clifford Wolf
Merge pull request #1486 from YosysHQ/clifford/fsmdetectfix
tree
|
commitdiff
2019-11-12
Clifford Wolf
Update fsm_detect bugfix
tree
|
commitdiff
2019-11-12
Clifford Wolf
Bugfix in fsm_detect
tree
|
commitdiff
2019-09-27
Aman Goel
Merge pull request #7 from YosysHQ/master
tree
|
commitdiff
2019-08-26
Clifford Wolf
Merge tag 'yosys-0.9'
tree
|
commitdiff
2019-08-25
Clifford Wolf
Merge pull request #1112 from acw1251/pyosys_sigsig_issue
tree
|
commitdiff
2019-08-22
Clifford Wolf
Merge pull request #1281 from mmicko/efinix
tree
|
commitdiff
2019-08-20
Eddie Hung
Merge remote-tracking branch 'origin/master' into eddie...
tree
|
commitdiff
2019-08-16
Eddie Hung
Merge branch 'eddie/abc9_refactor' into xaig_dff
tree
|
commitdiff
2019-08-16
Eddie Hung
Merge pull request #1250 from bwidawsk/master
tree
|
commitdiff
2019-08-16
Eddie Hung
Merge https://github.com/bogdanvuk/yosys into bogdanvuk...
tree
|
commitdiff
2019-08-12
Eddie Hung
Merge remote-tracking branch 'origin/master' into xc7dsp
tree
|
commitdiff
2019-08-12
Serge Bazanski
Merge pull request #1152 from 1138-4EB/feat-docker
tree
|
commitdiff
2019-08-12
Eddie Hung
Merge remote-tracking branch 'origin/master' into eddie...
tree
|
commitdiff
2019-08-10
Clifford Wolf
Merge pull request #1258 from YosysHQ/eddie/cleanup
tree
|
commitdiff
2019-08-07
Eddie Hung
RTLIL::S{0,1} -> State::S{0,1}
tree
|
commitdiff
2019-08-07
Eddie Hung
Merge remote-tracking branch 'origin/master' into eddie...
tree
|
commitdiff
2019-08-06
Eddie Hung
Use State::S{0,1}
tree
|
commitdiff
2019-08-06
Eddie Hung
Make liberal use of IdString.in()
tree
|
commitdiff
2019-03-28
Benedikt Tutzer
Merge remote-tracking branch 'origin/master' into featu...
tree
|
commitdiff
2019-02-28
Clifford Wolf
Merge pull request #794 from daveshah1/ecp5improve
tree
|
commitdiff
2019-02-22
Clifford Wolf
Merge pull request #740 from daveshah1/improve_dress
tree
|
commitdiff
2019-02-19
Eddie Hung
Merge branch 'master' into read_aiger
tree
|
commitdiff
2019-02-17
Eddie Hung
Merge https://github.com/YosysHQ/yosys into dff_init
tree
|
commitdiff
2019-02-17
Eddie Hung
Merge https://github.com/YosysHQ/yosys into read_aiger
tree
|
commitdiff
2019-02-17
Clifford Wolf
Merge branch 'master' of github.com:YosysHQ/yosys into...
tree
|
commitdiff
2019-02-15
Jim Lawson
Merge remote-tracking branch 'upstream/master'
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-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-11
Jim Lawson
Merge remote-tracking branch 'upstream/master'
tree
|
commitdiff
2019-02-07
David Shah
fsm_opt: Fix runtime error for FSMs without a reset...
tree
|
commitdiff
2019-01-02
Clifford Wolf
Merge pull request #770 from whitequark/opt_expr_cmp
tree
|
commitdiff
2019-01-02
Clifford Wolf
Merge pull request #755 from Icenowy/anlogic-dram-init
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
2018-09-17
Udi Finkelstein
Merge branch 'master' into pr_reg_wire_error
tree
|
commitdiff
2018-08-22
Jim Lawson
Merge pull request #1 from YosysHQ/master
tree
|
commitdiff
2018-08-18
Aman Goel
Merge pull request #3 from YosysHQ/master
tree
|
commitdiff
2018-08-15
Clifford Wolf
Merge pull request #573 from cr1901/msys-64
tree
|
commitdiff
2018-08-15
Clifford Wolf
Merge pull request #591 from hzeller/virtual-override
tree
|
commitdiff
2018-07-21
Henner Zeller
Consistent use of 'override' for virtual methods in...
tree
|
commitdiff
2017-08-21
Clifford Wolf
Remove some dead code from fsm_map
tree
|
commitdiff
2017-04-12
Larry Doolittle
Squelch trailing whitespace
tree
|
commitdiff
2017-02-09
Andrew Zonenberg
Merge https://github.com/cliffordwolf/yosys
tree
|
commitdiff
2017-01-31
Clifford Wolf
Merge branch 'opt_compare_pr' of https://github.com...
tree
|
commitdiff
2017-01-26
Clifford Wolf
Be more conservative with merging large cells into...
tree
|
commitdiff
2017-01-26
Clifford Wolf
Add warnings for quickly growing FSM table size in...
tree
|
commitdiff
2016-11-02
Clifford Wolf
Added support for fsm_encoding="user"
tree
|
commitdiff
2016-11-02
Clifford Wolf
Added "fsm_expand -full"
tree
|
commitdiff
2016-10-25
Clifford Wolf
Bugfix in fsm_map for FSMs without reset state
tree
|
commitdiff
2016-07-13
Clifford Wolf
Merge pull request #191 from whitequark/json-module...
tree
|
commitdiff
2016-07-12
Andrew Zonenberg
Merge https://github.com/cliffordwolf/yosys
tree
|
commitdiff
2016-07-12
Clifford Wolf
Minor bugfix in FSM reset state detection
tree
|
commitdiff
2016-07-09
Clifford Wolf
Further improved fsm_detect output, attempt to detect...
tree
|
commitdiff
2016-07-09
Clifford Wolf
Added printing of some warning messages to fsm_detect
tree
|
commitdiff
2016-07-08
Clifford Wolf
Merge branch 'yosys-0.5-vtr' of https://github.com...
tree
|
commitdiff
2016-04-23
Andrew Zonenberg
Merge https://github.com/cliffordwolf/yosys
tree
|
commitdiff
2016-04-21
Clifford Wolf
Added "yosys -D" feature
tree
|
commitdiff
2016-02-13
Clifford Wolf
Merge branch 'master' of github.com:cliffordwolf/yosys
tree
|
commitdiff
2016-02-13
Clifford Wolf
Added "int ceil_log2(int)" function
tree
|
commitdiff
2015-12-07
Clifford Wolf
Merge pull request #108 from cseed/master
tree
|
commitdiff
2015-10-25
Clifford Wolf
Import more std:: stuff into Yosys namespace
tree
|
commitdiff
2015-10-24
Clifford Wolf
renamed SigSpec::to_single_sigbit() to SigSpec::as_bit...
tree
|
commitdiff
2015-09-21
Clifford Wolf
Do not detect fsm state registers with init attribute
tree
|
commitdiff
2015-09-18
Clifford Wolf
Added $logic_not handling to fsm_detect
tree
|
commitdiff
2015-08-18
Clifford Wolf
Bugfix in fsm_detect for complex muxtrees
tree
|
commitdiff
2015-08-14
Clifford Wolf
Spell check (by Larry Doolittle)
tree
|
commitdiff
2015-07-03
Clifford Wolf
Bugfix in fsm_extract
tree
|
commitdiff
2015-07-02
Clifford Wolf
Fixed trailing whitespaces
tree
|
commitdiff
2015-04-29
Clifford Wolf
Added $eq/$neq -> $logic_not/$reduce_bool optimization
tree
|
commitdiff
2015-04-03
Ahmed Irfan
Merge branch 'master' of https://github.com/cliffordwol...
tree
|
commitdiff
2015-02-04
Clifford Wolf
Added onehot attribute
tree
|
commitdiff
2015-01-30
Clifford Wolf
Added "fsm -encfile"
tree
|
commitdiff
2014-12-26
Clifford Wolf
Added Yosys::{dict,nodict,vector} container types
tree
|
commitdiff
2014-12-24
Clifford Wolf
Renamed extend() to extend_xx(), changed most users...
tree
|
commitdiff
2014-11-09
Clifford Wolf
Added log_warning() API
tree
|
commitdiff
2014-10-14
Clifford Wolf
Merge branch 'win32'
tree
|
commitdiff
2014-10-14
William Speirs
Changed from "and" to "&&"
tree
|
commitdiff
2014-10-11
Clifford Wolf
Do not the 'z' modifier in format string (another win32...
tree
|
commitdiff
2014-10-10
Clifford Wolf
Renamed SIZE() to GetSize() because of name collision...
tree
|
commitdiff
2014-09-27
Clifford Wolf
namespace Yosys
tree
|
commitdiff
2014-09-22
Ahmed Irfan
Merge branch 'master' of https://github.com/cliffordwol...
tree
|
commitdiff
2014-09-06
Clifford Wolf
Merge branch 'master' of github.com:cliffordwolf/yosys
tree
|
commitdiff
2014-09-06
Clifford Wolf
Merge pull request #38 from rubund/master
tree
|
commitdiff
2014-09-06
Ruben Undheim
Corrected spelling mistakes found by lintian
tree
|
commitdiff
2014-08-30
Clifford Wolf
Don't change existing binary FSM encoding if it is...
tree
|
commitdiff
next