aboutsummaryrefslogtreecommitdiffstats
path: root/frontends/aiger/aigerparse.cc
Commit message (Expand)AuthorAgeFilesLines
* read_aiger fixesEddie Hung2020-01-071-5/+5
* read_aiger: do not process box connections, work standaloneEddie Hung2020-01-071-115/+46
* read_aiger: consistency between ascii and binaryEddie Hung2020-01-071-13/+7
* read_aiger: add -xaiger optionEddie Hung2020-01-061-7/+17
* parse_xaiger to not take box_lookupEddie Hung2019-12-311-17/+19
* parse_xaiger to reorder ports tooEddie Hung2019-12-311-41/+26
* aiger frontend to user shorter, $-prefixed, namesEddie Hung2019-12-171-14/+14
* Cleanup xaiger, remove unnecessary complexity with inoutEddie Hung2019-12-171-23/+4
* read_xaiger to cope with optional '\n' after 'c'Eddie Hung2019-12-171-2/+2
* Name inputs/outputs of aiger 'i%d' and 'o%d'Eddie Hung2019-12-131-13/+6
* Call abc9 with "&write -n", and parse_xaiger() to copeEddie Hung2019-12-061-92/+85
* Do not connect undriven POs to 1'bxEddie Hung2019-12-061-8/+3
* Consistent log message, ignore 's' extensionEddie Hung2019-11-201-2/+3
* Fix merge issuesEddie Hung2019-10-041-1/+1
* Merge remote-tracking branch 'origin/eddie/abc_to_abc9' into xaig_dffEddie Hung2019-10-041-4/+4
|\
| * Rename abc_* names/attributes to more precisely be abc9_*Eddie Hung2019-10-041-4/+4
* | Cleanup $currQ from aigerparseEddie Hung2019-09-301-2/+0
* | Merge remote-tracking branch 'origin/master' into xaig_dffEddie Hung2019-09-301-2/+6
|\|
| * Merge pull request #1416 from YosysHQ/mmicko/frontend_binary_inMiodrag Milanović2019-09-301-2/+6
| |\
| | * Fix reading aig files on windowsMiodrag Milanovic2019-09-291-1/+5
| | * Open aig frontend as binary fileMiodrag Milanovic2019-09-291-1/+1
| | * Merge pull request #1355 from YosysHQ/eddie/peepopt_dffmuxextEddie Hung2019-09-181-1/+1
| | |\
* | | | Merge remote-tracking branch 'origin/master' into xaig_dffEddie Hung2019-09-291-2/+2
|\| | |
| * | | Force $inout.out ports to begin with '$' to indicate internalEddie Hung2019-09-231-2/+2
| * | | Merge remote-tracking branch 'origin/eddie/peepopt_dffmuxext' into xc7dspEddie Hung2019-09-051-1/+1
| |\ \ \ | | |/ / | |/| / | | |/
| | * Revert "parse_xaiger() to do "clean -purge""Eddie Hung2019-09-041-1/+1
| * | Merge remote-tracking branch 'origin/master' into xaig_arrivalEddie Hung2019-08-301-1/+1
| |\|
| | * parse_xaiger() to do "clean -purge"Eddie Hung2019-08-291-1/+1
| | * Fix typoEddie Hung2019-08-191-1/+1
* | | Big rework; flop info now mostly in cells_sim.vEddie Hung2019-09-281-6/+13
* | | Revert "Remove sequential extension"Eddie Hung2019-08-201-2/+33
|/ /
* | Remove sequential extensionEddie Hung2019-08-201-33/+2
* | Use abc_{map,unmap,model}.vEddie Hung2019-08-201-31/+10
* | Merge remote-tracking branch 'origin/master' into xaig_dffEddie Hung2019-08-191-12/+9
|\|
| * Remove unused variableEddie Hung2019-08-161-5/+0
| * Fix various NDEBUG compiler warnings, closes #1255Clifford Wolf2019-08-131-9/+11
* | Set abc_flop and use it in toposortEddie Hung2019-08-191-0/+1
* | Merge branch 'eddie/abc9_refactor' into xaig_dffEddie Hung2019-08-161-41/+32
|\|
| * Merge pull request #1258 from YosysHQ/eddie/cleanupClifford Wolf2019-08-101-16/+16
| |\
| | * RTLIL::S{0,1} -> State::S{0,1}Eddie Hung2019-08-061-16/+16
| * | Add __STDC_FORMAT_MACROS before <inttypes.h> as per @mithroEddie Hung2019-08-091-0/+1
| * | Run "clean" on mapped_mod in its own designEddie Hung2019-08-071-23/+9
| |/
| * Fix formatting for msys2 mingw build using GetSizeMiodrag Milanovic2019-08-011-0/+4
| * Fix missing semicolon in Windows-specific code in aigerparse.cc.William D. Jones2019-07-141-2/+2
* | Short out async boxEddie Hung2019-07-111-0/+14
* | Missing debug messageEddie Hung2019-07-111-0/+1
* | Small optEddie Hung2019-07-101-2/+1
* | Change how to specify flops to ABC againEddie Hung2019-07-101-10/+6
* | Use split_tokens()Eddie Hung2019-07-101-8/+8
* | Refactor and cope with new abc_flop formatEddie Hung2019-07-011-9/+21