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