aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
...
| | * | | | | | Fix TravisClifford Wolf2019-02-223-42/+11
| | * | | | | | Fixes related to handling of autowires and upto-ranges, fixes #814Clifford Wolf2019-02-212-9/+12
| | * | | | | | Fix handling of expression width in $past, fixes #810Clifford Wolf2019-02-211-1/+1
| | * | | | | | Fix segfault in printing of some internal error messagesClifford Wolf2019-02-211-2/+2
| | |/ / / / /
| * | | | | | Merge pull request #740 from daveshah1/improve_dressClifford Wolf2019-02-223-34/+65
| |\ \ \ \ \ \ | | |_|/ / / / | |/| | | | |
| | * | | | | ecp5: Use abc -dressDavid Shah2019-02-061-2/+2
| | * | | | | abc: Improved recovered netnames, also preserve src on nets with dressDavid Shah2019-02-061-4/+13
| | * | | | | ice40: Use abc -dress in synth_ice40David Shah2019-02-061-1/+1
| | * | | | | abc: Preserve naming through ABC using 'dress' commandDavid Shah2019-02-061-29/+51
* | | | | | | Uncomment out more testsEddie Hung2019-02-261-25/+39
* | | | | | | abc9 -- multiple connections for inoutsEddie Hung2019-02-261-1/+2
* | | | | | | write_xaiger to behave for undriven/unused inoutsEddie Hung2019-02-261-23/+25
* | | | | | | parse_xaiger() to really pass single and multi-bit inout testsEddie Hung2019-02-261-10/+12
* | | | | | | Add IdString::ends_with()Eddie Hung2019-02-261-0/+6
* | | | | | | Enable two inout testsEddie Hung2019-02-261-16/+14
* | | | | | | 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