aboutsummaryrefslogtreecommitdiffstats
path: root/tests/fsm
Commit message (Collapse)AuthorAgeFilesLines
* Add optional SEED=n command line option to Makefile, and -S n command line ↵Eric Smith2016-09-222-2/+24
| | | | option to test scripts, for deterministic regression tests.
* Switched to Python 3Clifford Wolf2015-08-222-5/+2
|
* Fixed trailing whitespacesClifford Wolf2015-07-021-1/+1
|
* changed file() to open() in python scriptsClifford Wolf2015-05-111-2/+2
|
* fix for python 2.6.6Clifford Wolf2015-03-201-72/+74
|
* Cosmetic changes to FSM testsClifford Wolf2014-08-211-1/+1
|
* Some improvements in FSM mapping and recodingClifford Wolf2014-08-141-1/+2
|
* Added test_verific mode to tests/fsm/generate.pyClifford Wolf2014-08-121-7/+17
|
* Fixed FSM mapping for multiple reset-like signalsClifford Wolf2014-08-101-7/+22
|
* Some improvements in fsm_opt and fsm_map for FSM with unreachable statesClifford Wolf2014-08-091-1/+2
|
* Improved FSM testsClifford Wolf2014-08-083-2/+4
|
* Added FSM test benchClifford Wolf2014-08-082-0/+113