aboutsummaryrefslogtreecommitdiffstats
path: root/backends
Commit message (Expand)AuthorAgeFilesLines
* Fixed memory bug in write_smt2Clifford Wolf2016-08-301-9/+23
* Made "write_smt2 -bv -mem" default, added "write_smt2 -nobv -nomem"Clifford Wolf2016-08-301-14/+18
* Added $anyconst support to smt2 back-endClifford Wolf2016-08-301-0/+17
* Added "yosys-smtbmc --dump-all"Clifford Wolf2016-08-291-45/+67
* More yosys-smtbmc bugfixesClifford Wolf2016-08-291-6/+6
* Various fixes and improvements in yosys-smtbmcClifford Wolf2016-08-291-42/+66
* Some changes to yosys-smtbmc cmd line options, add --final-onlyClifford Wolf2016-08-271-33/+49
* Added smtc "final" statementClifford Wolf2016-08-271-7/+50
* Various fixes and improvements in smt2 back-endClifford Wolf2016-08-262-81/+117
* More yosys-smtbmc smtc featuresClifford Wolf2016-08-241-15/+59
* yosys-smtbmc --smtc -gClifford Wolf2016-08-241-51/+34
* Minor yosys-smtbmc bugfixClifford Wolf2016-08-221-0/+6
* Added "yosys-smtbmc --constr"Clifford Wolf2016-08-222-4/+94
* Added "yosys-smtbmc --dump-constr"Clifford Wolf2016-08-221-1/+61
* yosys-smtbmc: improved --dump-vlogtb handling of memoriesClifford Wolf2016-08-213-8/+30
* Added "yosys-smtbmc --dump-vlogtb"Clifford Wolf2016-08-201-9/+108
* Added support for memories to smtio.pyClifford Wolf2016-08-201-4/+35
* Deprecated "write_smt2 -regs" (by default on now), and some other smt2 back-e...Clifford Wolf2016-08-201-28/+26
* Added "yosys-smtbmc -g"Clifford Wolf2016-08-201-6/+40
* Added smtbmc longopt supportClifford Wolf2016-08-202-14/+15
* Bugfix in partial mem write handling in verilog back-endClifford Wolf2016-08-201-42/+26
* Added missing support for mem read enable ports to verilog back-endClifford Wolf2016-08-181-6/+14
* Improved smtbmc vcd generation performanceClifford Wolf2016-08-182-20/+40
* Added printing of code loc of failed asserts to yosys-smtbmcClifford Wolf2016-08-173-1/+23
* Fixed upto handling in verilog back-endClifford Wolf2016-08-151-0/+3
* Merge branch 'master' of github.com:cliffordwolf/yosysClifford Wolf2016-07-302-1/+17
|\
| * Added $initstate support to smtbmc flowClifford Wolf2016-07-272-1/+17
* | Added "write_verilog -defparam"Clifford Wolf2016-07-301-2/+21
* | Added "write_verilog -nodec -nostr"Clifford Wolf2016-07-301-4/+27
|/
* write_json: also write module attributes.whitequark2016-07-121-2/+6
* Yosys-smtbmc: Support for hierarchical VCD dumpingClifford Wolf2016-07-112-23/+59
* Moved smt2 yosys info parsing from smtbmc.py to smtio.pyClifford Wolf2016-07-113-16/+56
* Support for hierarchical designs in smt2 back-endClifford Wolf2016-07-102-24/+144
* Restored blif "-true - .." behavior, use "-true + .." for eddiehung-vtr behaviorClifford Wolf2016-07-081-13/+15
* In BLIF, a .names without entries already always outputs 0Clifford Wolf2016-07-081-11/+0
* Merge branch 'yosys-0.5-vtr' of https://github.com/eddiehung/yosys into eddie...Clifford Wolf2016-07-081-2/+19
|\
| * Fix for all zero maskeddiehung2015-05-031-0/+11
| * Escape '<' and '>' some moreeddiehung2015-05-031-1/+1
| * For vtr, escape angle brackets as welleddiehung2015-04-281-1/+1
| * blifwriter: write out .names for true/false/undef type == '-'eddiehung2015-04-281-0/+6
* | Added $sop support to BLIF back-endClifford Wolf2016-06-181-2/+29
* | Also escape "=" in spice outputClifford Wolf2016-05-201-1/+1
* | Added "write_blif -noalias"Clifford Wolf2016-05-061-6/+26
* | Added support for "active high" and "active low" latches in BLIF back-endClifford Wolf2016-04-221-0/+12
* | Added "yosys -D" featureClifford Wolf2016-04-2110-11/+11
* | Fixed some typosClifford Wolf2016-04-053-3/+3
* | Renamed opt_const to opt_exprClifford Wolf2016-03-311-1/+1
* | Bugfix in write_verilog for RTLIL processesClifford Wolf2016-03-141-9/+20
* | Added "write_edif -nogndvcc"Clifford Wolf2016-03-081-17/+34
* | Be more conservative with net names in spice outputClifford Wolf2016-03-021-18/+47
generated by cgit v1.2.3 (git 2.25.1) at 2024-08-25 11:14:00 +0000