aboutsummaryrefslogtreecommitdiffstats
path: root/backends/aiger
Commit message (Expand)AuthorAgeFilesLines
* Merge remote-tracking branch 'origin/master' into xaig_dffEddie Hung2019-08-191-1/+1
|\
| * Fix various NDEBUG compiler warnings, closes #1255Clifford Wolf2019-08-131-1/+1
* | Use %dEddie Hung2019-08-191-1/+1
* | Merge branch 'eddie/abc9_refactor' into xaig_dffEddie Hung2019-08-161-62/+25
|\ \
| * | Compute abc_scc_break and move CI/CO outside of each abc9Eddie Hung2019-08-161-42/+0
| |/
| * Merge pull request #1258 from YosysHQ/eddie/cleanupClifford Wolf2019-08-101-5/+5
| |\
| | * RTLIL::S{0,1} -> State::S{0,1}Eddie Hung2019-08-061-5/+5
| * | Run "clean -purge" on holes_module in its own designEddie Hung2019-08-071-6/+11
| |/
| * Merge pull request #1238 from mmicko/vsbuild_fixClifford Wolf2019-08-021-1/+1
| |\
| | * Visual Studio build fixMiodrag Milanovic2019-07-311-1/+1
| * | Fix formatting for msys2 mingw build using GetSizeMiodrag Milanovic2019-08-011-6/+6
| |/
* | abc_flop to also get topologically sortedEddie Hung2019-07-101-11/+10
* | Fix clk_pol for FD*_1Eddie Hung2019-07-101-1/+0
* | Fix spacingEddie Hung2019-07-101-1/+1
* | Change how to specify flops to ABC againEddie Hung2019-07-101-10/+20
* | Use split_tokens()Eddie Hung2019-07-101-17/+11
* | Merge remote-tracking branch 'origin/master' into xaig_dffEddie Hung2019-07-101-10/+20
|\|
| * Rename __builtin_bswap32 -> bswap32Eddie Hung2019-07-091-4/+6
| * write_xaiger to treat unknown cell connections as keep-sEddie Hung2019-07-021-6/+14
* | Safe side: all flops have different mergeability classEddie Hung2019-07-021-1/+1
* | Refactor and cope with new abc_flop formatEddie Hung2019-07-011-16/+38
* | Merge remote-tracking branch 'origin/master' into xaig_dffEddie Hung2019-07-012-98/+160
|\|
| * Add generic __builtin_bswap32 functionEddie Hung2019-06-281-0/+15
| * Also fix write_aiger for UBEddie Hung2019-06-281-26/+26
| * Fix more potential for undefined behaviour due to container invalidationEddie Hung2019-06-281-6/+10
| * Refactor for one "abc_carry" attribute on moduleEddie Hung2019-06-271-42/+40
| * Improve debugging message for comb loopsEddie Hung2019-06-261-4/+6
| * Carry in/out box ordering now move to end, not swap with endEddie Hung2019-06-221-26/+34
| * Replace assert with error messageEddie Hung2019-06-211-1/+2
| * Add log_push()/log_pop() inside write_xaigerEddie Hung2019-06-211-0/+4
| * One more workaround for gcc-4.8Eddie Hung2019-06-211-3/+4
| * No point logging constant bitEddie Hung2019-06-211-1/+1
| * Move commentEddie Hung2019-06-211-2/+3
| * Fix spacingEddie Hung2019-06-201-1/+1
| * Refactor bit2aig for less lookupsEddie Hung2019-06-201-24/+27
| * Fix gcc invalidation behaviour for write_aigerEddie Hung2019-06-201-1/+2
| * Fix gcc error, due to dict invalidation during recursionEddie Hung2019-06-201-2/+3
| * write_xaiger to flatten 1'bx/1'bz to 1'b0 againEddie Hung2019-06-201-2/+4
| * Fix different abc9 testEddie Hung2019-06-201-2/+3
| * Fix broken abc9.v test due to inout being 1'bxEddie Hung2019-06-201-2/+11
| * Merge remote-tracking branch 'origin/master' into xaigEddie Hung2019-06-201-0/+1
| |\
| | * Support filename rewrite in backendsBen Widawsky2019-06-181-0/+1
| * | Handle COs driven by 1'bxEddie Hung2019-06-201-3/+9
| * | write_xaiger to skip POs driven by 1'bxEddie Hung2019-06-201-3/+7
| * | CleanupEddie Hung2019-06-161-228/+25
* | | CleanupEddie Hung2019-06-161-39/+30
* | | Cleanup write_xaigerEddie Hung2019-06-151-15/+10
* | | Preserve init of flops, and write into XAIGEddie Hung2019-06-151-5/+30
* | | Do not treat $__ABC_FF_ as a user cellEddie Hung2019-06-151-9/+9
* | | Update commentEddie Hung2019-06-151-1/+1