projects
/
yosys.git
/ shortlog
commit
grep
author
committer
pickaxe
?
search:
re
summary
| shortlog |
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
yosys.git
2016-11-16
Clifford Wolf
Cleanups and fixed in write_verilog regarding reg init
commit
|
commitdiff
|
tree
2016-11-15
Clifford Wolf
Added support for hierarchical defparams
commit
|
commitdiff
|
tree
2016-11-15
Clifford Wolf
Remember global declarations and defines accross read_v...
commit
|
commitdiff
|
tree
2016-11-13
Clifford Wolf
Merge pull request #268 from AlexDaniel/master
commit
|
commitdiff
|
tree
2016-11-12
Aleks-Daniel...
Markdownify README
commit
|
commitdiff
|
tree
2016-11-09
Clifford Wolf
Minor bugfix in submod
commit
|
commitdiff
|
tree
2016-11-08
Clifford Wolf
Progress in examples/gowin/
commit
|
commitdiff
|
tree
2016-11-08
Clifford Wolf
Indenting fixes in gowin sim cell lib
commit
|
commitdiff
|
tree
2016-11-08
Clifford Wolf
Bugfix in "setundef" pass
commit
|
commitdiff
|
tree
2016-11-07
Clifford Wolf
Added examples/gowin/
commit
|
commitdiff
|
tree
2016-11-05
Clifford Wolf
Implemented "scc -set_attr"
commit
|
commitdiff
|
tree
2016-11-05
Clifford Wolf
Bugfix in "scc" command
commit
|
commitdiff
|
tree
2016-11-04
Clifford Wolf
Fixed anonymous genblock object names
commit
|
commitdiff
|
tree
2016-11-03
Clifford Wolf
Added hex constant support to write_verilog
commit
|
commitdiff
|
tree
2016-11-03
Clifford Wolf
We are now in 0.7+ development
commit
|
commitdiff
|
tree
2016-11-03
Clifford Wolf
Yosys 0.7
yosys-0.7
commit
|
commitdiff
|
tree
2016-11-02
Clifford Wolf
Bugfix in "hierarchy -check"
commit
|
commitdiff
|
tree
2016-11-02
Clifford Wolf
Updated command reference in manual
commit
|
commitdiff
|
tree
2016-11-02
Clifford Wolf
Changelog for Yosys 0.7
commit
|
commitdiff
|
tree
2016-11-02
Clifford Wolf
Added support for fsm_encoding="user"
commit
|
commitdiff
|
tree
2016-11-02
Clifford Wolf
Added "fsm_expand -full"
commit
|
commitdiff
|
tree
2016-11-01
Clifford Wolf
Some fixes in handling of signed arrays
commit
|
commitdiff
|
tree
2016-11-01
Clifford Wolf
iCE40 flow is not experimental anymore
commit
|
commitdiff
|
tree
2016-11-01
Clifford Wolf
Added initial version of "synth_gowin"
commit
|
commitdiff
|
tree
2016-11-01
Clifford Wolf
Adde "write_verilog -renameprefix -v"
commit
|
commitdiff
|
tree
2016-11-01
Clifford Wolf
Added support for (single-clock) transparent memories...
commit
|
commitdiff
|
tree
2016-10-25
Clifford Wolf
Bugfix in fsm_map for FSMs without reset state
commit
|
commitdiff
|
tree
2016-10-22
Clifford Wolf
Added avail params to ilang format, check module params...
commit
|
commitdiff
|
tree
2016-10-19
Clifford Wolf
Added "setparam -type"
commit
|
commitdiff
|
tree
2016-10-19
Clifford Wolf
No limit for length of lines in BLIF front-end
commit
|
commitdiff
|
tree
2016-10-19
Clifford Wolf
Merge pull request #250 from azonenberg/master
commit
|
commitdiff
|
tree
2016-10-19
Andrew Zonenberg
Fixed typo in last commit
commit
|
commitdiff
|
tree
2016-10-19
Andrew Zonenberg
greenpak4: Added GP_PGEN cell definition
commit
|
commitdiff
|
tree
2016-10-19
Andrew Zonenberg
Added GLITCH_FILTER parameter to GP_DELAY
commit
|
commitdiff
|
tree
2016-10-19
Andrew Zonenberg
greenpak4: added model for GP_EDGEDET block
commit
|
commitdiff
|
tree
2016-10-19
Andrew Zonenberg
Merge https://github.com/cliffordwolf/yosys
commit
|
commitdiff
|
tree
2016-10-18
Clifford Wolf
Ignore L_pi nets in "yosys-smtbmc --cex"
commit
|
commitdiff
|
tree
2016-10-18
Clifford Wolf
Use init value "2" for all uninitialized FFs in BLIF...
commit
|
commitdiff
|
tree
2016-10-17
Clifford Wolf
Added "yosys-smtbmc --cex <filename>"
commit
|
commitdiff
|
tree
2016-10-17
Clifford Wolf
Bugfix in "miter -assert" handling of assumptions
commit
|
commitdiff
|
tree
2016-10-17
Clifford Wolf
Added clk2fflogic support for $dffsr and $dlatch
commit
|
commitdiff
|
tree
2016-10-17
Andrew Zonenberg
greenpak4: Changed parameters for GP_SYSRESET
commit
|
commitdiff
|
tree
2016-10-16
Clifford Wolf
Improvements and bugfixes in clk2fflogic
commit
|
commitdiff
|
tree
2016-10-16
Clifford Wolf
cleanup in write_smt2 log messages (-bv and -mem are...
commit
|
commitdiff
|
tree
2016-10-16
Clifford Wolf
Build fixes for VS 2015
commit
|
commitdiff
|
tree
2016-10-14
Clifford Wolf
Some minor build fixes for Visual C
commit
|
commitdiff
|
tree
2016-10-14
Clifford Wolf
Avoid using strcasecmp()
commit
|
commitdiff
|
tree
2016-10-14
Clifford Wolf
Fixed version string for out-of-tree builds
commit
|
commitdiff
|
tree
2016-10-14
Clifford Wolf
Added notes about some formal features to README
commit
|
commitdiff
|
tree
2016-10-14
Clifford Wolf
Added $anyseq cell type
commit
|
commitdiff
|
tree
2016-10-14
Clifford Wolf
Added clk2fflogic
commit
|
commitdiff
|
tree
2016-10-14
Clifford Wolf
Added opt_rmdff support for $ff cells
commit
|
commitdiff
|
tree
2016-10-14
Clifford Wolf
Added $global_clock verilog syntax support for creating...
commit
|
commitdiff
|
tree
2016-10-14
Clifford Wolf
Added MEMID handling to "flatten" pass
commit
|
commitdiff
|
tree
2016-10-14
Clifford Wolf
Merge branch 'master' of github.com:cliffordwolf/yosys
commit
|
commitdiff
|
tree
2016-10-14
Clifford Wolf
Merge pull request #246 from set-soft/abc_external_ovr
commit
|
commitdiff
|
tree
2016-10-14
Clifford Wolf
Added YOSYS_VER_STR make variable
commit
|
commitdiff
|
tree
2016-10-13
Salvador E...
Ugh! extra patches got here, reverting
commit
|
commitdiff
|
tree
2016-10-13
Salvador E...
Allow to overwrite ABCEXTERNAL from the environment.
commit
|
commitdiff
|
tree
2016-10-13
Salvador E...
Modified test target name (to test-all)
commit
|
commitdiff
|
tree
2016-10-13
Salvador E...
Added a new configuration variable GIT_REV_WHERE
commit
|
commitdiff
|
tree
2016-10-12
Clifford Wolf
Added "zinit" pass
commit
|
commitdiff
|
tree
2016-10-11
Clifford Wolf
Added $ff and $_FF_ cell types
commit
|
commitdiff
|
tree
2016-10-11
Clifford Wolf
Fixed "make test" for git head of iverilog
commit
|
commitdiff
|
tree
2016-10-11
Clifford Wolf
define PATH_MAX if not defined by limits.h
commit
|
commitdiff
|
tree
2016-10-11
Clifford Wolf
Merge branch 'master' of github.com:cliffordwolf/yosys
commit
|
commitdiff
|
tree
2016-10-08
Clifford Wolf
Added smtc support for top-level state with [], [N...
commit
|
commitdiff
|
tree
2016-10-03
Clifford Wolf
Bugfix in yosys-smtbmc --noincr
commit
|
commitdiff
|
tree
2016-10-03
Clifford Wolf
yosys-smtbmc: ABC is a QF_BV solver
commit
|
commitdiff
|
tree
2016-10-03
Clifford Wolf
Added "yosys-smtbmc --noincr"
commit
|
commitdiff
|
tree
2016-10-02
Clifford Wolf
Update ABV to hg rev eb6eca6807cc
commit
|
commitdiff
|
tree
2016-10-02
Clifford Wolf
yosys-smtbmc: added smtc [...] support for cells
commit
|
commitdiff
|
tree
2016-10-01
Clifford Wolf
Added "yosys-smtbmc -s abc"
commit
|
commitdiff
|
tree
2016-10-01
Clifford Wolf
Updated ABV to hg rev 6b74de13c57f
commit
|
commitdiff
|
tree
2016-09-30
Clifford Wolf
Added "prep -nokeepdc"
commit
|
commitdiff
|
tree
2016-09-30
Clifford Wolf
Added "opt_rmdff -keepdc"
commit
|
commitdiff
|
tree
2016-09-30
Clifford Wolf
Updated ABV to hg rev 2bc57cc30593
commit
|
commitdiff
|
tree
2016-09-24
Clifford Wolf
Minor improvements in yosys-smtbmc
commit
|
commitdiff
|
tree
2016-09-23
Clifford Wolf
Added liberty parser support for types within cell...
commit
|
commitdiff
|
tree
2016-09-23
Clifford Wolf
Merge branch 'master' of https://github.com/brouhaha...
commit
|
commitdiff
|
tree
2016-09-22
Eric Smith
Add optional SEED=n command line option to Makefile...
commit
|
commitdiff
|
tree
2016-09-20
Clifford Wolf
Added autotest.sh -I
commit
|
commitdiff
|
tree
2016-09-19
Clifford Wolf
Cosmetic fix in test_autotb.cc
commit
|
commitdiff
|
tree
2016-09-19
Clifford Wolf
Added yosys-smtbmc --noinfo and --dummy
commit
|
commitdiff
|
tree
2016-09-19
Clifford Wolf
Avoid creating very long strings in test_autotb
commit
|
commitdiff
|
tree
2016-09-18
Clifford Wolf
Added $past, $stable, $rose, $fell SVA functions
commit
|
commitdiff
|
tree
2016-09-18
Clifford Wolf
Improved handling of SMT2 logics in yosys-smtbmc
commit
|
commitdiff
|
tree
2016-09-18
Clifford Wolf
Added support for bus interfaces to "read_liberty ...
commit
|
commitdiff
|
tree
2016-09-17
Clifford Wolf
Merge branch 'master' of github.com:cliffordwolf/yosys
commit
|
commitdiff
|
tree
2016-09-17
Clifford Wolf
yosys-smtbmc: added -i support smtc files
commit
|
commitdiff
|
tree
2016-09-14
Clifford Wolf
Bugfix in techmap parameter handling
commit
|
commitdiff
|
tree
2016-09-13
Clifford Wolf
Work-around for boolector bug
commit
|
commitdiff
|
tree
2016-09-13
Clifford Wolf
Merge pull request #228 from Kmanfi/test
commit
|
commitdiff
|
tree
2016-09-13
Kaj Tuomi
Fix for modules with big interfaces.
commit
|
commitdiff
|
tree
2016-09-11
Clifford Wolf
Added missing :produce-models setting to smtio.py
commit
|
commitdiff
|
tree
2016-09-10
Clifford Wolf
Minor improvements to smtio.py vcd writer
commit
|
commitdiff
|
tree
2016-09-10
Clifford Wolf
fixed write_smt2 for (non-combinatorial) loops through...
commit
|
commitdiff
|
tree
2016-09-08
Clifford Wolf
smt2 mem init bugfix
commit
|
commitdiff
|
tree
2016-09-08
Clifford Wolf
Merge branch 'master' of github.com:cliffordwolf/yosys
commit
|
commitdiff
|
tree
2016-09-08
Clifford Wolf
yosys-smtbmc meminit support
commit
|
commitdiff
|
tree
next