aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
...
| * | | Merge pull request #812 from ucb-bar/arrayhierarchyfixesClifford Wolf2019-02-243-11/+108
| |\ \ \
| | * | | Address requested changes - don't require non-$ name.Jim Lawson2019-02-223-11/+14
| | * | | Fix normal (non-array) hierarchy -auto-top.Jim Lawson2019-02-193-10/+74
| | * | | Define basic_cell_type() function and use it to derive the cell type for arra...Jim Lawson2019-02-151-10/+40
| * | | | Cleanups in ARST handling in wreduceClifford Wolf2019-02-241-10/+4
| * | | | Merge pull request #824 from litghost/fix_reduce_on_ffClifford Wolf2019-02-243-0/+37
| |\ \ \ \
| | * | | | Fix WREDUCE on FF not fixing ARST_VALUE parameter.Keith Rothman2019-02-223-0/+37
| * | | | | Fix handling of defparam for when default_nettype is noneClifford Wolf2019-02-242-0/+6
| * | | | | Check if Verific was built with DB_PRESERVE_INITIAL_VALUEClifford Wolf2019-02-241-0/+4
| * | | | | Merge pull request #819 from YosysHQ/clifford/optdClifford Wolf2019-02-221-2/+16
| |\ \ \ \ \
| | * | | | | Rename "yosys -U" to "yosys -P" to avoid confusion about "undefine"Clifford Wolf2019-02-211-3/+3
| | * | | | | Rename "yosys -D" to "yosys -U", add "yosys -D" with expected behaviorClifford Wolf2019-02-211-2/+16
| * | | | | | Merge pull request #820 from YosysHQ/clifford/fix810Clifford Wolf2019-02-225-54/+26
| |\ \ \ \ \ \
| | * | | | | | 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