Eddie Hung
|
1e201a9b01
|
Merge remote-tracking branch 'origin/master' into xc7mux
|
2019-06-07 16:15:19 -07:00 |
Eddie Hung
|
a04521c6b7
|
Fix read_aiger -- create zero driver, fix init width, parse 'b'
|
2019-06-07 11:07:15 -07:00 |
Eddie Hung
|
e3d160a9ca
|
parse_xaiger to cope with flops
|
2019-05-31 18:06:36 -07:00 |
Eddie Hung
|
9d122d3c51
|
Refactor into AigerReader::post_process()
|
2019-04-23 15:06:19 -07:00 |
Eddie Hung
|
bca3cf6843
|
Merge branch 'master' into xaig
|
2019-04-08 16:31:59 -07:00 |
Eddie Hung
|
3e89cf68bd
|
Add author name
|
2019-03-19 08:52:06 -07:00 |
Eddie Hung
|
13bf036bd6
|
Use ConstEval to compute LUT masks
|
2019-02-13 17:00:00 -08:00 |
Eddie Hung
|
e9df9a466a
|
Add support for read_aiger -wideports
|
2019-02-12 12:58:10 -08:00 |
Eddie Hung
|
06ba81d41f
|
Add support for read_aiger -map
|
2019-02-12 12:16:37 -08:00 |
Eddie Hung
|
0124512f28
|
Add read_xaiger
|
2019-02-11 15:19:17 -08:00 |
Eddie Hung
|
fb8ad440a3
|
Allow module name to be determined by argument too
|
2019-02-08 12:40:43 -08:00 |
Eddie Hung
|
f1befe1b44
|
Refactor into AigerReader class
|
2019-02-08 12:04:26 -08:00 |
Eddie Hung
|
cc0b723484
|
WIP
|
2019-02-06 12:19:48 -08:00 |