projects
/
yosys.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Improve smt2 encodings of assert/assume/cover, better wire_smt2 help msg
[yosys.git]
/
tests
/
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
2015-03-20
Clifford Wolf
fix for python 2.6.6
tree
|
commitdiff
2015-02-14
Clifford Wolf
Various fixes for memories with offsets
tree
|
commitdiff
2015-02-14
Clifford Wolf
Added $meminit support to "memory" command
tree
|
commitdiff
2015-02-14
Clifford Wolf
Added $meminit test case
tree
|
commitdiff
2015-02-12
Clifford Wolf
Some test related fixes
tree
|
commitdiff
2015-01-27
Clifford Wolf
Bugfix in resource sharing test
tree
|
commitdiff
2015-01-18
Clifford Wolf
Merge branch 'master' of github.com:cliffordwolf/yosys
tree
|
commitdiff
2015-01-18
Clifford Wolf
Refactoring of memory_bram and xilinx brams
tree
|
commitdiff
2015-01-18
Clifford Wolf
improvements in muxtree/select_leaves test
tree
|
commitdiff
2015-01-18
Clifford Wolf
Improvements in opt_muxtree
tree
|
commitdiff
2015-01-13
Clifford Wolf
Tiny fix in vcdcd.pl
tree
|
commitdiff
2015-01-04
Clifford Wolf
Added memory_bram "shuffle_enable" feature
tree
|
commitdiff
2015-01-03
Clifford Wolf
Added "memory -bram"
tree
|
commitdiff
2015-01-03
Clifford Wolf
Added memory_bram 'or_next_if_better' feature
tree
|
commitdiff
2015-01-03
Clifford Wolf
memory_bram transp support
tree
|
commitdiff
2015-01-03
Clifford Wolf
Progress in memory_bram
tree
|
commitdiff
2015-01-02
Clifford Wolf
Added proper clkpol support to memory_bram
tree
|
commitdiff
2015-01-02
Clifford Wolf
Fixes and improvements in bram test
tree
|
commitdiff
2015-01-02
Clifford Wolf
Progress in bram testbench
tree
|
commitdiff
2015-01-02
Clifford Wolf
Progress in memory_bram
tree
|
commitdiff
2015-01-01
Clifford Wolf
Progress in memory_bram
tree
|
commitdiff
2015-01-01
Clifford Wolf
Progress in bram testbench
tree
|
commitdiff
2015-01-01
Clifford Wolf
Bram testbench (incomplete)
tree
|
commitdiff
2014-11-09
Clifford Wolf
Added "yosys -qq" to also quiet warning messages
tree
|
commitdiff
2014-10-27
Clifford Wolf
Added support for task and function args in parentheses
tree
|
commitdiff
2014-09-22
Ahmed Irfan
Merge branch 'master' of https://github.com/cliffordwol...
tree
|
commitdiff
2014-09-14
Clifford Wolf
Added "synth" command
tree
|
commitdiff
2014-09-06
Clifford Wolf
Fixed autotest for non-basename arguments
tree
|
commitdiff
2014-09-06
Clifford Wolf
Merge branch 'master' of github.com:cliffordwolf/yosys
tree
|
commitdiff
2014-09-04
Clifford Wolf
Added tests/various/constmsk_test.ys
tree
|
commitdiff
2014-08-30
Clifford Wolf
Added autotest -e (do not use -noexpr on write_verilog)
tree
|
commitdiff
2014-08-21
Clifford Wolf
Cosmetic changes to FSM tests
tree
|
commitdiff
2014-08-14
Clifford Wolf
Some improvements in FSM mapping and recoding
tree
|
commitdiff
2014-08-12
Clifford Wolf
Added test_verific mode to tests/fsm/generate.py
tree
|
commitdiff
2014-08-12
Clifford Wolf
Added multi-dim memory test (requires iverilog git...
tree
|
commitdiff
2014-08-10
Clifford Wolf
Fixed FSM mapping for multiple reset-like signals
tree
|
commitdiff
2014-08-09
Clifford Wolf
Some improvements in fsm_opt and fsm_map for FSM with...
tree
|
commitdiff
2014-08-08
Clifford Wolf
Improved FSM tests
tree
|
commitdiff
2014-08-08
Clifford Wolf
Added FSM test bench
tree
|
commitdiff
2014-08-05
Clifford Wolf
Improved scope resolution of local regs in Verilog...
tree
|
commitdiff
2014-08-05
Clifford Wolf
Fixed AST handling of variables declared inside a funct...
tree
|
commitdiff
2014-08-03
Clifford Wolf
Added "wreduce" to some of the standard test benches
tree
|
commitdiff
2014-08-01
Clifford Wolf
Consolidated hana test benches into fewer files
tree
|
commitdiff
next