summaryrefslogtreecommitdiffstats
path: root/src/aig/gia/giaStg.c
Commit message (Expand)AuthorAgeFilesLines
* Fixing some warnings by adding cast from 'int' to 'size_t' in memset, memcpy,...Alan Mishchenko2019-03-051-1/+1
* 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