summaryrefslogtreecommitdiffstats
path: root/src/aig/gia/giaStg.c
Commit message (Collapse)AuthorAgeFilesLines
* New random FSM generation command 'genfsm'.Alan Mishchenko2013-06-221-9/+15
|
* K-hot STG encoding.Alan Mishchenko2013-02-231-9/+71
|
* K-hot STG encoding.Alan Mishchenko2013-02-231-1/+178
|
* Compiler warnings.Alan Mishchenko2013-02-211-1/+1
|
* Adding STG generation (&era -d) and STG encoding (&read_stg <file>).Alan Mishchenko2013-02-201-18/+54
|
* Adding STG generation (&era -d) and STG encoding (&read_stg <file>).Alan Mishchenko2013-02-191-0/+247