aboutsummaryrefslogtreecommitdiffstats
path: root/tests/tools/autotest.sh
Commit message (Expand)AuthorAgeFilesLines
* memory_dff: Remove now-useless write port handling.Marcelina Koƛcielnicka2021-03-081-1/+1
* Replace opt_rmdff with opt_dff.Marcelina Koƛcielnicka2020-08-071-3/+3
* autotest.sh to define _AUTOTB when test_autotbEddie Hung2019-06-281-1/+1
* tests: use optional ABCEXTERNAL when specifiedGabriel L. Somlo2019-06-271-2/+5
* Add defvalue test, minor autotest fixes for .sv filesClifford Wolf2019-06-191-14/+15
* Use ABC to convert from AIGER to VerilogEddie Hung2019-06-071-2/+3
* SystemVerilog support for implicit named port connectionstux32019-06-061-2/+13
* iverilog with simcells.v as wellEddie Hung2019-05-031-1/+2
* Fix testsClifford Wolf2019-04-211-2/+2
* Merge https://github.com/YosysHQ/yosys into read_aigerEddie Hung2019-03-191-7/+5
|\
| * Hotfix for "make test"Clifford Wolf2019-02-281-1/+1
| * Add "write_verilog -siminit"Clifford Wolf2019-02-281-1/+1
| * Fix FIRRTL to Verilog process instance subfield assignment.Jim Lawson2019-02-251-1/+1
| * Revert "Add -B option to autotest.sh to append to backend_opts"Eddie Hung2019-02-211-4/+2
| * Merge https://github.com/YosysHQ/yosys into dff_initEddie Hung2019-02-171-4/+39
| |\
* | | One more merge conflictEddie Hung2019-02-171-6/+1
* | | Merge https://github.com/YosysHQ/yosys into read_aigerEddie Hung2019-02-171-4/+43
|\ \ \ | | |/ | |/|
| * | Update cells supported for verilog to FIRRTL conversion.Jim Lawson2019-02-151-4/+39
* | | Support and differentiate between ASCII and binary AIG testingEddie Hung2019-02-081-1/+1
* | | Merge branch 'dff_init' of https://github.com/eddiehung/yosys into xaigEddie Hung2019-02-061-2/+4
|\ \ \ | | |/ | |/|
| * | Add -B option to autotest.sh to append to backend_optsEddie Hung2019-02-061-2/+4
| |/
* | Revert most of autotest.sh; for non *.v use Yosys to translateEddie Hung2019-02-061-7/+9
* | Add testsEddie Hung2019-02-041-8/+13
|/
* Fixed typo (sikp -> skip)Udi Finkelstein2018-06-051-1/+1
* autotest.sh: Change from /bin/bash to /usr/bin/env bashJohnny Sorocil2018-05-061-1/+1
* Added autotest.sh -IClifford Wolf2016-09-201-16/+19
* Added "test_autotb -seed" (and "autotest.sh -S")Clifford Wolf2016-08-061-2/+4
* Fixed autotest.sh handling of `timescaleClifford Wolf2016-07-021-14/+10
* Improvements and fixes in autotest.sh script and test_autotbClifford Wolf2016-05-201-6/+6
* Fix for Modelsim transcript line warp issue #164Kaj Tuomi2016-05-191-4/+4
* Optionally use ${CC} when compiling test utils.Sergey Kvachonok2016-03-251-1/+1
* Another block of spelling fixesLarry Doolittle2015-08-141-1/+1
* Some test related fixesClifford Wolf2015-02-121-1/+1
* Added "synth" commandClifford Wolf2014-09-141-2/+2
* Fixed autotest for non-basename argumentsClifford Wolf2014-09-061-0/+3
* Added autotest -e (do not use -noexpr on write_verilog)Clifford Wolf2014-08-301-2/+4
* Added "wreduce" to some of the standard test benchesClifford Wolf2014-08-031-1/+1
* Added "test_autotb -n <num_iter>" optionClifford Wolf2014-08-011-2/+5
* Added "make -j{N}" support to "make test"Clifford Wolf2014-07-301-6/+15
* Renamed "write_autotest" to "test_autotb" and moved to passes/tests/Clifford Wolf2014-07-291-1/+1
* Added "opt_const -fine" and "opt_reduce -fine"Clifford Wolf2014-07-211-1/+1
* Also simulate unmapped memories in "make test"Clifford Wolf2014-07-171-1/+1
* Added note to "make test": use git checkout of iverilogClifford Wolf2014-07-161-2/+11
* Progress in Verific bindingsClifford Wolf2014-03-171-1/+9
* Progress in Verific bindingsClifford Wolf2014-03-141-5/+9
* Added frontend (-f) option to autotest.shClifford Wolf2014-02-151-5/+8
* Updated ABC and some related changesClifford Wolf2014-02-131-2/+1
* Disabled "abc -dff" in "make test" for now (waiting for scorr bugfix in ABC)Clifford Wolf2014-02-121-1/+2
* Replaced isim with xsim in tests/tools/autotest.sh, removed xst supportClifford Wolf2014-02-031-50/+10
* Added autotest.sh -p optionClifford Wolf2014-01-021-3/+8