projects / yosys.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Add "make coverage"
[yosys.git] / tests /
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-08-15 Clifford WolfMerge pull request #590 from hzeller/remaining-file... tree | commitdiff
2018-08-15 Clifford WolfMerge pull request #576 from cr1901/no-resource tree | commitdiff
2018-08-15 Clifford WolfMerge pull request #592 from japm48/master tree | commitdiff
2018-08-15 Clifford WolfMerge pull request #513 from udif/pr_reg_wire_error tree | commitdiff
2018-07-04 Aman GoelMerge branch 'YosysHQ-master' tree | commitdiff
2018-07-04 Aman GoelMerging with official repo tree | commitdiff
2018-06-06 Clifford WolfMerge pull request #561 from udif/pr_skip_typo tree | commitdiff
2018-06-05 Udi FinkelsteinFixed typo (sikp -> skip) tree | commitdiff
2018-06-05 Udi FinkelsteinModified errors into warnings tree | commitdiff
2018-06-05 Udi Finkelsteinreg_wire_error test needs the -sv flag so it is run... tree | commitdiff
2018-05-13 Clifford WolfMerge pull request #505 from thefallenidealist/FreeBSD_... tree | commitdiff
2018-05-06 Johnny Sorocilautotest.sh: Change from /bin/bash to /usr/bin/env... tree | commitdiff
2018-03-27 Clifford WolfFix tests/simple/specify.v tree | commitdiff
2018-03-27 Udi FinkelsteinFirst draft of Verilog parser support for specify block... tree | commitdiff
2018-03-11 Udi FinkelsteinThis PR should be the base for discussion, do not merge... tree | commitdiff
2018-02-28 Clifford WolfMerge branch 'verificsva-ng' tree | commitdiff
2018-02-27 Clifford WolfMajor redesign of Verific SVA importer tree | commitdiff
2018-02-21 Clifford WolfAdd support for SVA throughout via Verific tree | commitdiff
2018-02-18 Clifford WolfAdd support for SVA sequence concatenation ranges via... tree | commitdiff
2018-02-18 Clifford WolfAdd support for SVA until statements via Verific tree | commitdiff
2018-02-16 Clifford WolfMerge branch 'master' of github.com:cliffordwolf/yosys tree | commitdiff
2018-02-15 Clifford WolfFix verific PRIM_SVA_AT handling in properties with... tree | commitdiff
2017-11-09 dh73Merge https://github.com/cliffordwolf/yosys tree | commitdiff
2017-10-20 Clifford WolfRemove PSL example from tests/sva/ tree | commitdiff
2017-09-29 Clifford WolfAllow $size and $bits in verilog mode, actually check... tree | commitdiff
2017-09-29 Clifford WolfMerge 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 FinkelsteinAdded $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 FinkelsteinAdd $size() function. At the moment it works only on... tree | commitdiff
2017-07-28 Clifford WolfAdd simple VHDL+PSL example tree | commitdiff
2017-07-27 Clifford WolfImprove Verific SVA importer tree | commitdiff
2017-07-27 Clifford WolfAdd counter.sv SVA test tree | commitdiff
2017-07-27 Clifford WolfImprove SVA tests, add Makefile and scripts tree | commitdiff
2017-07-22 Clifford WolfAdd more SVA test cases for future Verific work tree | commitdiff
2017-07-22 Clifford WolfAdd some simple SVA test cases for future Verific work tree | commitdiff
2017-04-12 Larry DoolittleSquelch trailing whitespace tree | commitdiff
2017-01-05 Andrew ZonenbergMerge https://github.com/cliffordwolf/yosys tree | commitdiff
2017-01-04 Clifford WolfFixed typo in tests/simple/arraycells.v tree | commitdiff
2016-12-23 Andrew ZonenbergMerge pull request #1 from azonenberg-hk/master tree | commitdiff
2016-12-12 Andrew ZonenbergMerge https://github.com/cliffordwolf/yosys tree | commitdiff
2016-12-11 Clifford WolfMerge branch 'LSS-USP-unit-test-structure' tree | commitdiff
2016-12-11 Clifford WolfBuild hotfix in tests/unit/Makefile tree | commitdiff
2016-12-10 rodrigosiqueiraImproved unit test structure tree | commitdiff
2016-12-04 rodrigosiqueiraAdded required structure to implement unit tests tree | commitdiff
2016-11-15 Clifford WolfAdded support for hierarchical defparams tree | commitdiff
2016-11-01 Clifford WolfAdded support for (single-clock) transparent memories... tree | commitdiff
2016-10-11 Clifford WolfFixed "make test" for git head of iverilog tree | commitdiff
2016-09-23 Clifford WolfMerge branch 'master' of https://github.com/brouhaha... tree | commitdiff
2016-09-22 Eric SmithAdd optional SEED=n command line option to Makefile... tree | commitdiff
2016-09-20 Clifford WolfAdded autotest.sh -I tree | commitdiff
2016-09-13 Clifford WolfMerge pull request #228 from Kmanfi/test tree | commitdiff
2016-09-13 Kaj TuomiFix for modules with big interfaces. tree | commitdiff
2016-08-22 Clifford WolfFixed bug with memories that do not have a down-to... tree | commitdiff
2016-08-21 Clifford WolfAdded another mem2reg test case tree | commitdiff
2016-08-21 Clifford WolfAnother bugfix in mem2reg code tree | commitdiff
2016-08-06 Clifford WolfAdded "test_autotb -seed" (and "autotest.sh -S") tree | commitdiff
2016-07-08 Clifford WolfFixed mem assignment in left-hand-side concatenation tree | commitdiff
2016-07-08 Clifford WolfMerge branch 'yosys-0.5-vtr' of https://github.com... tree | commitdiff
2016-07-02 Clifford WolfFixed autotest.sh handling of `timescale tree | commitdiff
2016-06-17 Clifford WolfFixed init issue in mem2reg_test2 test case tree | commitdiff
2016-05-29 Clifford WolfAdded opt_expr support for div/mod by power-of-two tree | commitdiff
2016-05-20 Clifford WolfSome fixes in tests/asicworld/*_tb.v tree | commitdiff
2016-05-20 Clifford WolfImprovements and fixes in autotest.sh script and test_a... tree | commitdiff
2016-05-20 Clifford WolfMerge branch 'master' of https://github.com/Kmanfi... tree | commitdiff
2016-05-19 Kaj TuomiFix for Modelsim transcript line warp issue #164 tree | commitdiff
2016-04-23 Andrew ZonenbergMerge https://github.com/cliffordwolf/yosys tree | commitdiff
2016-04-21 Clifford WolfBugfix and improvements in memory_share tree | commitdiff
2016-03-25 Clifford WolfMerge pull request #136 from ravenexp/master tree | commitdiff
2016-03-25 Sergey KvachonokOptionally use ${CC} when compiling test utils. tree | commitdiff
2015-12-07 Clifford WolfMerge pull request #108 from cseed/master tree | commitdiff
2015-11-30 Clifford WolfAdded tests/simple/graphtest.v tree | commitdiff
2015-11-12 Clifford WolfMore bugfixes in handling of parameters in tasks and... tree | commitdiff
2015-11-11 Clifford WolfFixed handling of parameters and localparams in functions tree | commitdiff
2015-10-31 Clifford WolfBugfix in memory_dff tree | commitdiff
2015-10-31 Clifford WolfImprovements in wreduce tree | commitdiff
2015-09-25 Clifford WolfAdded read-enable to memory model tree | commitdiff
2015-08-22 Clifford WolfSwitched to Python 3 tree | commitdiff
2015-08-14 Larry DoolittleAnother block of spelling fixes tree | commitdiff
2015-08-14 Clifford WolfSpell check (by Larry Doolittle) tree | commitdiff
2015-08-13 Clifford WolfMerge branch 'master' of github.com:cliffordwolf/yosys tree | commitdiff
2015-08-13 Clifford WolfFixed CRLF line endings tree | commitdiff
2015-08-13 Clifford WolfSome ASCII encoding fixes (comments and docs) by Larry... tree | commitdiff
2015-07-02 Clifford WolfFixed trailing whitespaces tree | commitdiff
2015-06-19 Clifford WolfProgress in SMV back-end tree | commitdiff
2015-06-18 Clifford WolfProgress 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 whittleseyBug fix in $mem verilog backend + changed tests/bram... tree | commitdiff
2015-05-18 Clifford Wolfbugfix in blif front-end tree | commitdiff
2015-05-17 Clifford Wolfadded vloghtb test_febe.sh tree | commitdiff
2015-05-11 Clifford Wolfchanged file() to open() in python scripts tree | commitdiff
2015-04-07 Clifford WolfAdded "pmuxtree" command tree | commitdiff
2015-04-03 Ahmed IrfanMerge branch 'master' of https://github.com/cliffordwol... tree | commitdiff
2015-03-20 Clifford WolfMerge branch 'master' of github.com:cliffordwolf/yosys tree | commitdiff
2015-03-20 Clifford Wolffix for python 2.6.6 tree | commitdiff
2015-02-14 Clifford WolfVarious fixes for memories with offsets tree | commitdiff
next