summaryrefslogtreecommitdiffstats
path: root/src/aig/gia/giaStg.c
Commit message (Expand)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