aboutsummaryrefslogtreecommitdiffstats
path: root/frontends/aiger
Commit message (Expand)AuthorAgeFilesLines
...
| | * 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-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
* Add TODO to parse_xaigerEddie Hung2019-06-141-0/+1
* Optimise some moreEddie Hung2019-06-131-58/+53
* Move ConstEvalAig to aigerparse.ccEddie Hung2019-06-131-3/+161
* Add ConstEvalAig specialised for AIGsEddie Hung2019-06-131-3/+2
* parse_xaiger to cope with inoutsEddie Hung2019-06-121-6/+0