aboutsummaryrefslogtreecommitdiffstats
path: root/backends/aiger
Commit message (Collapse)AuthorAgeFilesLines
* Fix various NDEBUG compiler warnings, closes #1255Clifford Wolf2019-08-131-1/+1
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Merge pull request #1258 from YosysHQ/eddie/cleanupClifford Wolf2019-08-101-5/+5
|\ | | | | Cleanup a few barnacles across codebase
| * 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 fix
| * Visual Studio build fixMiodrag Milanovic2019-07-311-1/+1
| |
* | Fix formatting for msys2 mingw build using GetSizeMiodrag Milanovic2019-08-011-6/+6
|/
* Rename __builtin_bswap32 -> bswap32Eddie Hung2019-07-091-4/+6
|
* write_xaiger to treat unknown cell connections as keep-sEddie Hung2019-07-021-6/+14
|
* 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
| | | | | | | | Signed-off-by: Ben Widawsky <ben@bwidawsk.net>
* | 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
| |
* | Leave breadcrumb behindEddie Hung2019-06-141-0/+2
| |
* | Remove redundant conditionEddie Hung2019-06-141-1/+1
| |
* | Revert "Cleanup/optimise toposort in write_xaiger"Eddie Hung2019-06-141-44/+40
| | | | | | | | | | | | This reverts commit 1948e7c846ea318d003148974945d917701a4452. Restores old toposort with optimisations
* | Update commentEddie Hung2019-06-141-1/+2
| |
* | Check that whiteboxes are synthesisableEddie Hung2019-06-141-4/+8
| |
* | Get rid of compiler warningsEddie Hung2019-06-141-2/+2
| |
* | Cover __APPLE__ too for little to big endianEddie Hung2019-06-141-4/+9
| |
* | Further cleanup based on @daveshah1Eddie Hung2019-06-141-27/+21
| |
* | Resolve comments from @daveshah1Eddie Hung2019-06-141-14/+8
| |
* | Remove WIP ABC9 flop supportEddie Hung2019-06-141-33/+33
| |
* | CleanupEddie Hung2019-06-141-1/+0
| |
* | Merge branch 'xaig' of github.com:YosysHQ/yosys into xaigEddie Hung2019-06-141-2/+1
|\ \
| * | ecp5: Add abc9 optionDavid Shah2019-06-141-2/+1
| | | | | | | | | | | | Signed-off-by: David Shah <dave@ds0.me>
* | | Cleanup/optimise toposort in write_xaigerEddie Hung2019-06-141-54/+47
|/ /
* | Remove unnecessary undriven_bits.insertEddie Hung2019-06-121-4/+1
| |
* | write_xaiger to preserve POs even if driven by constantEddie Hung2019-06-121-7/+6
| |
* | Add a couple more testsEddie Hung2019-06-121-21/+18
| |
* | More write_xaiger cleanupEddie Hung2019-06-121-40/+12
| |