aboutsummaryrefslogtreecommitdiffstats
path: root/frontends/aiger
Commit message (Expand)AuthorAgeFilesLines
* Rename abc_* names/attributes to more precisely be abc9_*Eddie Hung2019-10-041-4/+4
* 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
| |\
* | | 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
* | 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-162-42/+33
|\|
| * 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-072-24/+10
| |/
| * 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
* | Fix spacingEddie Hung2019-07-011-1/+1
* | Merge remote-tracking branch 'origin/master' into xaig_dffEddie Hung2019-07-011-55/+80
|\|
| * Replace log_assert() with meaningful log_error()Eddie Hung2019-06-281-1/+5
| * Refactor for one "abc_carry" attribute on moduleEddie Hung2019-06-271-31/+37
| * Remove unneeded includeEddie Hung2019-06-271-3/+0
| * Reduce log_debug spam in parse_xaiger()Eddie Hung2019-06-211-16/+19
| * Workaround issues exposed by gcc-4.8Eddie Hung2019-06-211-0/+7
| * Fix broken abc9.v test due to inout being 1'bxEddie Hung2019-06-201-3/+10
| * Fix issue with part of PI being 1'bxEddie Hung2019-06-201-4/+6
| * CleanupEddie Hung2019-06-161-20/+1
* | CleanupEddie Hung2019-06-161-23/+18
* | Read init from outputsEddie Hung2019-06-151-0/+4
* | Fix debug messageEddie Hung2019-06-151-0/+1
* | Fix log_debug messagesEddie Hung2019-06-151-17/+23
* | Missing close bracketEddie Hung2019-06-151-1/+1
* | read_aiger to not require clk_name for latches, plus debugEddie Hung2019-06-151-21/+37
|/
* Cover __APPLE__ too for little to big endianEddie Hung2019-06-141-4/+7
* Further cleanup based on @daveshah1Eddie Hung2019-06-141-10/+20
* Resolve comments from @daveshah1Eddie Hung2019-06-141-2/+2
* CleanupEddie Hung2019-06-141-7/+3