aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
...
* Add JSON front-endClifford Wolf2017-07-082-0/+472
* Change s/asserts/assertions/ in yosys-smtbmc log messagesClifford Wolf2017-07-071-2/+2
* Add "yosys-smtbmc --presat"Clifford Wolf2017-07-071-3/+23
* Fix generation of multiple outputs for same AIG node in write_aigerClifford Wolf2017-07-051-13/+30
* Add write_table commandClifford Wolf2017-07-052-0/+123
* Add Verific Release information to logClifford Wolf2017-07-041-0/+12
* Fix some c++ clang compiler errorsClifford Wolf2017-07-031-3/+3
* Apply minor coding style changes to coolrunner2 targetClifford Wolf2017-07-032-1/+1
* Merge pull request #352 from rqou/masterClifford Wolf2017-07-036-0/+645
|\
| * coolrunner2: Add a few more primitivesRobert Ou2017-06-251-0/+110
| * coolrunner2: Initial mapping of latchesRobert Ou2017-06-254-0/+63
| * coolrunner2: Initial mapping of DFFsRobert Ou2017-06-254-0/+76
| * coolrunner2: Remove redundant INVERT_PTCRobert Ou2017-06-252-4/+1
| * coolrunner2: Remove debug printsRobert Ou2017-06-251-2/+0
| * coolrunner2: Correctly handle $_NOT_ after $sopRobert Ou2017-06-251-5/+41
| * coolrunner2: Also construct the XOR cell in the macrocellRobert Ou2017-06-252-7/+34
| * coolrunner2: Initial techmapping for $sopRobert Ou2017-06-254-153/+268
| * coolrunner2: Initial commitRobert Ou2017-06-243-0/+223
* | Merge pull request #356 from set-soft/clean-testClifford Wolf2017-07-031-0/+8
|\ \
| * | Added the test outputs to the clean targetSalvador E. Tropea2017-07-031-0/+8
* | | Merge pull request #355 from set-soft/exclude_TBUF_mergeClifford Wolf2017-07-031-0/+1
|\ \ \ | |/ / |/| |
| * | Excluded $_TBUF_ from opt_merge passSalvador E. Tropea2017-07-031-0/+1
|/ /
* | Remove unneeded delays in smtbmc vlogtbClifford Wolf2017-07-031-1/+1
* | Include output ports with constant driver in AIGER outputClifford Wolf2017-07-031-2/+18
* | Add "yosys-smtbmc --vlogtb-top"Clifford Wolf2017-07-011-15/+32
* | Fix and_or_buffer optimization in opt_expr for signed operatorsClifford Wolf2017-07-011-2/+2
* | Fix smtbmc vlogtb bug in $anyseq handlingClifford Wolf2017-07-011-3/+3
* | Add "design -import"Clifford Wolf2017-06-301-3/+94
* | Add chtype commandClifford Wolf2017-06-302-0/+84
* | Add $tribuf to opt_merge blacklistClifford Wolf2017-06-301-0/+1
* | Merge pull request #353 from azonenberg/masterClifford Wolf2017-06-271-3/+21
|\ \
| * | greenpak4_counters: Changed generation of primitive names so that the absorbe...Andrew Zonenberg2017-06-241-3/+21
|/ /
* | Fix handling of init values in "abc -dff" and "abc -clk"Clifford Wolf2017-06-201-131/+176
* | Fix history namespace collisionClifford Wolf2017-06-201-10/+10
* | Store command history when terminating with an errorClifford Wolf2017-06-203-17/+31
* | Switched abc "clock domain not found" error to log_cmd_error()Clifford Wolf2017-06-201-24/+28
|/
* Fix generation of vlogtb output in yosys-smtbmc for "rand reg" and "rand cons...Clifford Wolf2017-06-075-4/+61
* Fix handling of Verilog ~& and ~| operatorsClifford Wolf2017-06-011-0/+8
* Update ABC to hg rev efbf7f13ea9eClifford Wolf2017-05-311-1/+1
* Add dff2ff.v techmap fileClifford Wolf2017-05-312-0/+15
* Fix AIGER back-end for multiple symbols per input/latch/output/propertyClifford Wolf2017-05-301-8/+20
* Add "setundef -anyseq"Clifford Wolf2017-05-283-15/+56
* Improve write_aiger handling of unconnected nets and constantsClifford Wolf2017-05-282-8/+62
* Change default smt2 solver to yices (Yices 2 has switched its license to GPL)Clifford Wolf2017-05-271-4/+4
* Add aliases for common sets of gate types to "abc -g"Clifford Wolf2017-05-241-2/+74
* Add examples/osu035Clifford Wolf2017-05-234-0/+30
* Merge branch 'master' of github.com:cliffordwolf/yosysClifford Wolf2017-05-231-17/+70
|\
| * Merge pull request #346 from azonenberg/masterClifford Wolf2017-05-231-17/+70
| |\
| | * greenpak4_counters: Added support for parallel output from GP_COUNTx cellsAndrew Zonenberg2017-05-221-17/+70
| |/
* / Add workaround for CBMC bug to SimpleC back-endClifford Wolf2017-05-171-1/+3
|/
generated by cgit v1.2.3 (git 2.25.1) at 2025-04-06 04:57:21 +0000