projects
/
yosys.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Merge branch 'master' into pr_reg_wire_error
[yosys.git]
/
tests
/
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-08-15
Clifford Wolf
Merge pull request #590 from hzeller/remaining-file...
tree
|
commitdiff
2018-08-15
Clifford Wolf
Merge pull request #576 from cr1901/no-resource
tree
|
commitdiff
2018-08-15
Clifford Wolf
Merge pull request #592 from japm48/master
tree
|
commitdiff
2018-08-15
Clifford Wolf
Merge pull request #513 from udif/pr_reg_wire_error
tree
|
commitdiff
2018-07-04
Aman Goel
Merge branch 'YosysHQ-master'
tree
|
commitdiff
2018-07-04
Aman Goel
Merging with official repo
tree
|
commitdiff
2018-06-06
Clifford Wolf
Merge pull request #561 from udif/pr_skip_typo
tree
|
commitdiff
2018-06-05
Udi Finkelstein
Fixed typo (sikp -> skip)
tree
|
commitdiff
2018-06-05
Udi Finkelstein
Modified errors into warnings
tree
|
commitdiff
2018-06-05
Udi Finkelstein
reg_wire_error test needs the -sv flag so it is run...
tree
|
commitdiff
2018-05-13
Clifford Wolf
Merge pull request #505 from thefallenidealist/FreeBSD_...
tree
|
commitdiff
2018-05-06
Johnny Sorocil
autotest.sh: Change from /bin/bash to /usr/bin/env...
tree
|
commitdiff
2018-03-27
Clifford Wolf
Fix tests/simple/specify.v
tree
|
commitdiff
2018-03-27
Udi Finkelstein
First draft of Verilog parser support for specify block...
tree
|
commitdiff
2018-03-11
Udi Finkelstein
This PR should be the base for discussion, do not merge...
tree
|
commitdiff
2018-02-28
Clifford Wolf
Merge branch 'verificsva-ng'
tree
|
commitdiff
2018-02-27
Clifford Wolf
Major redesign of Verific SVA importer
tree
|
commitdiff
2018-02-21
Clifford Wolf
Add support for SVA throughout via Verific
tree
|
commitdiff
2018-02-18
Clifford Wolf
Add support for SVA sequence concatenation ranges via...
tree
|
commitdiff
2018-02-18
Clifford Wolf
Add support for SVA until statements via Verific
tree
|
commitdiff
2018-02-16
Clifford Wolf
Merge branch 'master' of github.com:cliffordwolf/yosys
tree
|
commitdiff
2018-02-15
Clifford Wolf
Fix verific PRIM_SVA_AT handling in properties with...
tree
|
commitdiff
2017-11-09
dh73
Merge https://github.com/cliffordwolf/yosys
tree
|
commitdiff
2017-10-20
Clifford Wolf
Remove PSL example from tests/sva/
tree
|
commitdiff
2017-09-29
Clifford Wolf
Allow $size and $bits in verilog mode, actually check...
tree
|
commitdiff
2017-09-29
Clifford Wolf
Merge pull request #425 from udif/udif_dollar_bits
tree
|
commitdiff
2017-09-26
Udi Finkelstein
$size() now works correctly for all cases!
tree
|
commitdiff
2017-09-26
Udi Finkelstein
$size() seems to work now with or without the optional...
tree
|
commitdiff
2017-09-26
Udi Finkelstein
Added $bits() for memories as well.
tree
|
commitdiff
2017-09-26
Udi Finkelstein
$size() now works with memories as well!
tree
|
commitdiff
2017-09-26
Udi Finkelstein
Add $size() function. At the moment it works only on...
tree
|
commitdiff
2017-07-28
Clifford Wolf
Add simple VHDL+PSL example
tree
|
commitdiff
2017-07-27
Clifford Wolf
Improve Verific SVA importer
tree
|
commitdiff
2017-07-27
Clifford Wolf
Add counter.sv SVA test
tree
|
commitdiff
2017-07-27
Clifford Wolf
Improve SVA tests, add Makefile and scripts
tree
|
commitdiff
2017-07-22
Clifford Wolf
Add more SVA test cases for future Verific work
tree
|
commitdiff
2017-07-22
Clifford Wolf
Add some simple SVA test cases for future Verific work
tree
|
commitdiff
2017-04-12
Larry Doolittle
Squelch trailing whitespace
tree
|
commitdiff
2017-01-05
Andrew Zonenberg
Merge https://github.com/cliffordwolf/yosys
tree
|
commitdiff
2017-01-04
Clifford Wolf
Fixed typo in tests/simple/arraycells.v
tree
|
commitdiff
2016-12-23
Andrew Zonenberg
Merge pull request #1 from azonenberg-hk/master
tree
|
commitdiff
2016-12-12
Andrew Zonenberg
Merge https://github.com/cliffordwolf/yosys
tree
|
commitdiff
2016-12-11
Clifford Wolf
Merge branch 'LSS-USP-unit-test-structure'
tree
|
commitdiff
2016-12-11
Clifford Wolf
Build hotfix in tests/unit/Makefile
tree
|
commitdiff
2016-12-10
rodrigosiqueira
Improved unit test structure
tree
|
commitdiff
2016-12-04
rodrigosiqueira
Added required structure to implement unit tests
tree
|
commitdiff
2016-11-15
Clifford Wolf
Added support for hierarchical defparams
tree
|
commitdiff
2016-11-01
Clifford Wolf
Added support for (single-clock) transparent memories...
tree
|
commitdiff
2016-10-11
Clifford Wolf
Fixed "make test" for git head of iverilog
tree
|
commitdiff
2016-09-23
Clifford Wolf
Merge branch 'master' of https://github.com/brouhaha...
tree
|
commitdiff
2016-09-22
Eric Smith
Add optional SEED=n command line option to Makefile...
tree
|
commitdiff
2016-09-20
Clifford Wolf
Added autotest.sh -I
tree
|
commitdiff
2016-09-13
Clifford Wolf
Merge pull request #228 from Kmanfi/test
tree
|
commitdiff
2016-09-13
Kaj Tuomi
Fix for modules with big interfaces.
tree
|
commitdiff
2016-08-22
Clifford Wolf
Fixed bug with memories that do not have a down-to...
tree
|
commitdiff
2016-08-21
Clifford Wolf
Added another mem2reg test case
tree
|
commitdiff
2016-08-21
Clifford Wolf
Another bugfix in mem2reg code
tree
|
commitdiff
2016-08-06
Clifford Wolf
Added "test_autotb -seed" (and "autotest.sh -S")
tree
|
commitdiff
2016-07-08
Clifford Wolf
Fixed mem assignment in left-hand-side concatenation
tree
|
commitdiff
2016-07-08
Clifford Wolf
Merge branch 'yosys-0.5-vtr' of https://github.com...
tree
|
commitdiff
2016-07-02
Clifford Wolf
Fixed autotest.sh handling of `timescale
tree
|
commitdiff
2016-06-17
Clifford Wolf
Fixed init issue in mem2reg_test2 test case
tree
|
commitdiff
2016-05-29
Clifford Wolf
Added opt_expr support for div/mod by power-of-two
tree
|
commitdiff
2016-05-20
Clifford Wolf
Some fixes in tests/asicworld/*_tb.v
tree
|
commitdiff
2016-05-20
Clifford Wolf
Improvements and fixes in autotest.sh script and test_a...
tree
|
commitdiff
2016-05-20
Clifford Wolf
Merge branch 'master' of https://github.com/Kmanfi...
tree
|
commitdiff
2016-05-19
Kaj Tuomi
Fix for Modelsim transcript line warp issue #164
tree
|
commitdiff
2016-04-23
Andrew Zonenberg
Merge https://github.com/cliffordwolf/yosys
tree
|
commitdiff
2016-04-21
Clifford Wolf
Bugfix and improvements in memory_share
tree
|
commitdiff
2016-03-25
Clifford Wolf
Merge pull request #136 from ravenexp/master
tree
|
commitdiff
2016-03-25
Sergey Kvachonok
Optionally use ${CC} when compiling test utils.
tree
|
commitdiff
2015-12-07
Clifford Wolf
Merge pull request #108 from cseed/master
tree
|
commitdiff
2015-11-30
Clifford Wolf
Added tests/simple/graphtest.v
tree
|
commitdiff
2015-11-12
Clifford Wolf
More bugfixes in handling of parameters in tasks and...
tree
|
commitdiff
2015-11-11
Clifford Wolf
Fixed handling of parameters and localparams in functions
tree
|
commitdiff
2015-10-31
Clifford Wolf
Bugfix in memory_dff
tree
|
commitdiff
2015-10-31
Clifford Wolf
Improvements in wreduce
tree
|
commitdiff
2015-09-25
Clifford Wolf
Added read-enable to memory model
tree
|
commitdiff
2015-08-22
Clifford Wolf
Switched to Python 3
tree
|
commitdiff
2015-08-14
Larry Doolittle
Another block of spelling fixes
tree
|
commitdiff
2015-08-14
Clifford Wolf
Spell check (by Larry Doolittle)
tree
|
commitdiff
2015-08-13
Clifford Wolf
Merge branch 'master' of github.com:cliffordwolf/yosys
tree
|
commitdiff
2015-08-13
Clifford Wolf
Fixed CRLF line endings
tree
|
commitdiff
2015-08-13
Clifford Wolf
Some ASCII encoding fixes (comments and docs) by Larry...
tree
|
commitdiff
2015-07-02
Clifford Wolf
Fixed trailing whitespaces
tree
|
commitdiff
2015-06-19
Clifford Wolf
Progress in SMV back-end
tree
|
commitdiff
2015-06-18
Clifford Wolf
Progress in SMV back-end
tree
|
commitdiff
2015-06-08
luke whittlesey
$mem cell in verilog backend : grouped writes by clock
tree
|
commitdiff
2015-06-04
luke whittlesey
Bug fix in $mem verilog backend + changed tests/bram...
tree
|
commitdiff
2015-05-18
Clifford Wolf
bugfix in blif front-end
tree
|
commitdiff
2015-05-17
Clifford Wolf
added vloghtb test_febe.sh
tree
|
commitdiff
2015-05-11
Clifford Wolf
changed file() to open() in python scripts
tree
|
commitdiff
2015-04-07
Clifford Wolf
Added "pmuxtree" command
tree
|
commitdiff
2015-04-03
Ahmed Irfan
Merge branch 'master' of https://github.com/cliffordwol...
tree
|
commitdiff
2015-03-20
Clifford Wolf
Merge branch 'master' of github.com:cliffordwolf/yosys
tree
|
commitdiff
next