aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
* Added SatGen support for $anyconstClifford Wolf2016-07-271-0/+22
|
* Removed $predict support from SatGenClifford Wolf2016-07-271-9/+0
|
* Added $anyconst and $aconstClifford Wolf2016-07-277-2/+83
|
* Added "read_verilog -dump_rtlil"Clifford Wolf2016-07-275-9/+38
|
* Renamed AbstractCellEdgesDatabase::add_cell() to add_edges_from_cell()Clifford Wolf2016-07-253-3/+3
|
* Fixed a verilog parser memory leakClifford Wolf2016-07-251-0/+1
|
* Fixed parsing of empty positional cell portsClifford Wolf2016-07-251-2/+31
|
* Improvements in CellEdgesDatabaseClifford Wolf2016-07-243-16/+167
|
* Added CellEdgesDatabase APIClifford Wolf2016-07-244-1/+250
|
* Moved SatHelper::setup_init() code to SatHelper::setup()Clifford Wolf2016-07-241-97/+92
|
* Added $initstate support to "sat" commandClifford Wolf2016-07-231-13/+12
|
* No tristate warning message for "read_verilog -lib"Clifford Wolf2016-07-233-8/+11
|
* Added satgen initstate supportClifford Wolf2016-07-221-0/+27
|
* Using $initstate in "initial assume" and "initial assert"Clifford Wolf2016-07-211-1/+6
|
* Added $initstate cell type and vlog functionClifford Wolf2016-07-217-4/+54
|
* After reading the SV spec, using non-standard predict() instead of expect()Clifford Wolf2016-07-2116-32/+28
|
* Added basic support for $expect cellsClifford Wolf2016-07-1316-19/+82
|
* Added examples/smtbmcClifford Wolf2016-07-132-0/+30
|
* Merge pull request #191 from whitequark/json-module-attributesClifford Wolf2016-07-131-2/+6
|\ | | | | write_json: also write module attributes
| * write_json: also write module attributes.whitequark2016-07-121-2/+6
| |
* | Merge pull request #193 from azonenberg/masterClifford Wolf2016-07-132-2/+9
|\ \ | | | | | | Removed splitnets in synth_greenpak4, added GP_DAC, refactored GP_BANDGAP
| * \ Merge https://github.com/cliffordwolf/yosysAndrew Zonenberg2016-07-121-2/+5
| |\ \ | |/ / |/| |
* | | Minor bugfix in FSM reset state detectionClifford Wolf2016-07-121-2/+5
| |/ |/|
| * Added GP_DAC cellAndrew Zonenberg2016-07-111-0/+8
| |
| * Removed VOUT port of GP_BANDGAPAndrew Zonenberg2016-07-111-1/+1
| |
| * Removed splitnets in prep for new gp4par parserAndrew Zonenberg2016-07-111-1/+0
|/
* 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
|
* Added "prep -auto-top" and "synth -auto-top"Clifford Wolf2016-07-112-6/+23
|
* Merge branch 'master' of github.com:cliffordwolf/yosysClifford Wolf2016-07-101-0/+26
|\
| * Merge pull request #189 from whitequark/masterClifford Wolf2016-07-101-0/+26
| |\ | | | | | | greenpak4: add GP_COUNT{8,14}_ADV cells
| | * greenpak4: add GP_COUNT{8,14}_ADV cells.whitequark2016-07-101-0/+26
| |/
* / Support for hierarchical designs in smt2 back-endClifford Wolf2016-07-102-24/+144
|/
* Further improved fsm_detect output, attempt to detect self-resetting circuitsClifford Wolf2016-07-091-6/+68
|
* Added printing of some warning messages to fsm_detectClifford Wolf2016-07-091-14/+61
|
* Added warning about adding fsm_encoding attributes to wires to manualClifford Wolf2016-07-081-0/+4
|
* Minor fixes in ice40_ff* passes for sloppy SB_DFF instantiationsClifford Wolf2016-07-082-13/+24
|
* Fixed mem assignment in left-hand-side concatenationClifford Wolf2016-07-082-0/+57
|
* Merge branch 'eddiehung-vtr'Clifford Wolf2016-07-081-9/+17
|\
| * 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
| |
| * Undo eddiehung-vtr Makefile changesClifford Wolf2016-07-081-5/+1
| |
| * Merge branch 'yosys-0.5-vtr' of https://github.com/eddiehung/yosys into ↵Clifford Wolf2016-07-082-3/+24
|/| | | | | | | eddiehung-vtr
| * Fix for all zero maskeddiehung2015-05-032-1/+16
| |
| * 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
| |
* | Fixed autotest.sh handling of `timescaleClifford Wolf2016-07-021-14/+10
| |
* | Merge branch 'assert-limit'Clifford Wolf2016-07-011-9/+33
|\ \
| * | Replaced "select -assert-limit" with -assert-max and -assert-minClifford Wolf2016-07-011-42/+29
| | |
generated by cgit v1.2.3 (git 2.25.1) at 2025-04-06 13:29:02 +0000