aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
...
* | | | | | | | parse_xaiger() to cope with multi bit inoutsEddie Hung2019-02-261-0/+11
* | | | | | | | abc9 cleanupEddie Hung2019-02-251-6/+4
* | | | | | | | parse_xaiger() to untransform $inout.out output portsEddie Hung2019-02-251-5/+20
* | | | | | | | write_xaiger duplicate inout port into out port with $inout.out suffixEddie Hung2019-02-251-3/+26
* | | | | | | | read_aiger to accept empty string for clk_name, passable only if no latchesEddie Hung2019-02-252-2/+3
* | | | | | | | abc9 not to clean after aigmapEddie Hung2019-02-251-1/+1
* | | | | | | | Cleanup abc9 codeEddie Hung2019-02-251-13/+8
* | | | | | | | Add broken testcasesEddie Hung2019-02-251-0/+46
* | | | | | | | abc9 to call "clean" once at the end of all abc9_module() callsEddie Hung2019-02-251-4/+4
* | | | | | | | abc9 to use AIGER symbol table, as opposed to map fileEddie Hung2019-02-211-5/+16
* | | | | | | | write_xaiger to write __dummy_o__ for -symbols tooEddie Hung2019-02-211-12/+11
* | | | | | | | read_aiger to work with symbol tableEddie Hung2019-02-211-8/+47
* | | | | | | | Revert "abc9 to write_xaiger -symbols, not -map"Eddie Hung2019-02-211-2/+3
* | | | | | | | Remove irrelevant citationsEddie Hung2019-02-211-8/+0
* | | | | | | | Add attributionEddie Hung2019-02-213-1/+3
* | | | | | | | abc9 to not select anything extra, and pop selection after final cleanEddie Hung2019-02-211-14/+2
* | | | | | | | abc9 to write_xaiger -symbols, not -mapEddie Hung2019-02-211-3/+2
* | | | | | | | Merge branch 'read_aiger' into xaigEddie Hung2019-02-213-4/+8
|\ \ \ \ \ \ \ \
| * \ \ \ \ \ \ \ Merge branch 'read_aiger' of https://github.com/eddiehung/yosys into read_aigerEddie Hung2019-02-212-13/+12
| |\ \ \ \ \ \ \ \ | | | |_|_|_|_|/ / | | |/| | | | | |
| | * | | | | | | Add aiger tests to make testsEddie Hung2019-02-191-0/+1
| | * | | | | | | Merge branch 'master' into read_aigerEddie Hung2019-02-190-0/+0
| | |\ \ \ \ \ \ \
| | * | | | | | | | Fix for using POSIX basenameEddie Hung2019-02-191-2/+4
| | * | | | | | | | Missing OSX headers?Eddie Hung2019-02-171-0/+5
| | * | | | | | | | Revert "Missing headers for Xcode?"Eddie Hung2019-02-171-2/+0
| | * | | | | | | | Merge branch 'dff_init' into read_aigerEddie Hung2019-02-173-104/+56
| | |\ \ \ \ \ \ \ \
| | * | | | | | | | | read_aiger to ignore line after ands for ascii, not binaryEddie Hung2019-02-171-2/+1
| | * | | | | | | | | One more merge conflictEddie Hung2019-02-171-6/+1
| | * | | | | | | | | Merge branch 'dff_init' into read_aigerEddie Hung2019-02-170-0/+0
| | |\ \ \ \ \ \ \ \ \
| | * \ \ \ \ \ \ \ \ \ Merge https://github.com/YosysHQ/yosys into read_aigerEddie Hung2019-02-179-100/+349
| | |\ \ \ \ \ \ \ \ \ \
* | | | | | | | | | | | | Merge branch 'read_aiger' into xaigEddie Hung2019-02-210-0/+0
|\| | | | | | | | | | | |
| * | | | | | | | | | | | Merge branch 'master' into read_aigerEddie Hung2019-02-1911-204/+400
| |\ \ \ \ \ \ \ \ \ \ \ \ | | | |_|_|_|/ / / / / / / | | |/| | | | | | | | | |
* | | | | | | | | | | | | abc9 to use &mfsEddie Hung2019-02-211-1/+2
* | | | | | | | | | | | | Revert "tests/simple to also do LUT synth"Eddie Hung2019-02-211-1/+0
* | | | | | | | | | | | | Merge remote-tracking branch 'origin/master' into xaigEddie Hung2019-02-2116-63/+1874
|\ \ \ \ \ \ \ \ \ \ \ \ \ | | |_|_|_|_|_|/ / / / / / | |/| | | | | | | | | | |
| * | | | | | | | | | | | Hotfix for 4c82ddfClifford Wolf2019-02-211-11/+2
| * | | | | | | | | | | | Merge pull request #822 from litghost/expand_setundefClifford Wolf2019-02-211-0/+29
| |\ \ \ \ \ \ \ \ \ \ \ \
| | * | | | | | | | | | | | Add -params mode to force undef parameters in selected cells.Keith Rothman2019-02-211-0/+29
| |/ / / / / / / / / / / /
| * | | | | | | | | | | | Merge pull request #818 from YosysHQ/clifford/dffsrfixClifford Wolf2019-02-211-6/+7
| |\ \ \ \ \ \ \ \ \ \ \ \
| * \ \ \ \ \ \ \ \ \ \ \ \ Merge pull request #786 from YosysHQ/pmgenClifford Wolf2019-02-2114-59/+1851
| |\ \ \ \ \ \ \ \ \ \ \ \ \
| | * | | | | | | | | | | | | Fix typo in passes/pmgen/README.mdClifford Wolf2019-02-211-1/+1
| | * | | | | | | | | | | | | Bugfix in ice40_dspClifford Wolf2019-02-213-22/+35
| | * | | | | | | | | | | | | Add ice40 test_dsp_map test case generatorClifford Wolf2019-02-202-0/+99
| | * | | | | | | | | | | | | Add "synth_ice40 -dsp"Clifford Wolf2019-02-202-7/+31
| | * | | | | | | | | | | | | Add FF support to wreduceClifford Wolf2019-02-202-1/+73
| | * | | | | | | | | | | | | Improve iCE40 SB_MAC16 modelClifford Wolf2019-02-205-121/+179
| | * | | | | | | | | | | | | Detect and reject cases that do not map well to iCE40 DSPs (yet)Clifford Wolf2019-02-202-2/+17
| | * | | | | | | | | | | | | Add first draft of functional SB_MAC16 modelClifford Wolf2019-02-194-53/+467
| | * | | | | | | | | | | | | Add actual DSP inference to ice40_dsp passClifford Wolf2019-02-173-24/+214
| | * | | | | | | | | | | | | Merge branch 'master' of github.com:YosysHQ/yosys into pmgenClifford Wolf2019-02-1728-199/+627
| | |\ \ \ \ \ \ \ \ \ \ \ \ \ | | | | |_|_|_|/ / / / / / / / | | | |/| | | | | | | | | | |
| | * | | | | | | | | | | | | Progress in pmgenClifford Wolf2019-01-151-3/+11