| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | Fix typographical and grammatical errors and inconsistencies. | whitequark | 2019-01-02 | 4 | -7/+7 |
| * | Squelch a little more trailing whitespace | Larry Doolittle | 2018-12-29 | 1 | -3/+3 |
| * | Minor style fixes | Clifford Wolf | 2018-12-18 | 2 | -1/+1 |
| * | Add btor ops for $mul, $div, $mod and $concat | makaimann | 2018-12-17 | 2 | -2/+38 |
| * | write_verilog: handle the $shift cell. | whitequark | 2018-12-16 | 1 | -0/+29 |
| * | Merge pull request #736 from whitequark/select_assert_list | Clifford Wolf | 2018-12-16 | 1 | -1/+1 |
| |\ |
|
| | * | write_verilog: add a missing newline. | whitequark | 2018-12-16 | 1 | -1/+1 |
| * | | Merge pull request #729 from whitequark/write_verilog_initial | Clifford Wolf | 2018-12-16 | 1 | -0/+2 |
| |\ \ |
|
| | * | | write_verilog: correctly map RTLIL `sync init`. | whitequark | 2018-12-07 | 1 | -0/+2 |
| | |/ |
|
| * | | Add yosys-smtbmc support for btor witness | Clifford Wolf | 2018-12-10 | 1 | -15/+100 |
| * | | Add "yosys-smtbmc --btorwit" skeleton | Clifford Wolf | 2018-12-08 | 1 | -1/+19 |
| * | | Fix btor init value handling | Clifford Wolf | 2018-12-08 | 1 | -9/+13 |
| |/ |
|
| * | Add "write_aiger -I -O -B" | Clifford Wolf | 2018-11-12 | 1 | -2/+36 |
| * | Merge pull request #693 from YosysHQ/rlimit | Clifford Wolf | 2018-11-07 | 1 | -8/+11 |
| |\ |
|
| | * | Limit stack size to 16 MB on Darwin | Clifford Wolf | 2018-11-07 | 1 | -1/+4 |
| | * | Fix for improved smtio.py rlimit code | Clifford Wolf | 2018-11-06 | 1 | -1/+1 |
| | * | Improve stack rlimit code in smtio.py | Clifford Wolf | 2018-11-06 | 1 | -8/+8 |
| * | | Run solver in non-incremental mode whem smtio.py is configured for non-increm... | Clifford Wolf | 2018-11-06 | 1 | -3/+12 |
| |/ |
|
| * | Use conservative stack size for SMT2 on MacOS | Arjen Roodselaar | 2018-11-04 | 1 | -1/+6 |
| * | Add proper error message for when smtbmc "append" fails | Clifford Wolf | 2018-11-04 | 1 | -2/+10 |
| * | Add support for signed $shift/$shiftx in smt2 back-end | Clifford Wolf | 2018-11-01 | 1 | -1/+3 |
| * | adding offset info to memories | rafaeltp | 2018-10-18 | 1 | -1/+1 |
| * | adding offset info to memories | rafaeltp | 2018-10-18 | 1 | -2/+3 |
| * | Merge pull request #663 from aman-goel/master | Clifford Wolf | 2018-10-17 | 1 | -32/+51 |
| |\ |
|
| | * | Minor update | Aman Goel | 2018-10-15 | 1 | -1/+1 |
| | * | Update to .smv backend | Aman Goel | 2018-10-01 | 1 | -33/+52 |
| * | | Add "write_edif -attrprop" | Clifford Wolf | 2018-10-05 | 1 | -11/+28 |
| |/ |
|
| * | added prefix to FDirection constants, fixing windows build | Miodrag Milanovic | 2018-09-21 | 1 | -11/+11 |
| * | Fixed typo in "verilog_write" help message | acw1251 | 2018-09-18 | 1 | -3/+3 |
| * | Add $lut support to Verilog back-end | Clifford Wolf | 2018-09-06 | 1 | -0/+13 |
| * | Remove unused functions. | Jim Lawson | 2018-08-27 | 1 | -10/+0 |
| * | Add support for module instances. | Jim Lawson | 2018-08-23 | 1 | -17/+122 |
| * | Merge pull request #591 from hzeller/virtual-override | Clifford Wolf | 2018-08-15 | 15 | -36/+36 |
| |\ |
|
| | * | Consistent use of 'override' for virtual methods in derived classes. | Henner Zeller | 2018-07-20 | 15 | -36/+36 |
| * | | Merge pull request #576 from cr1901/no-resource | Clifford Wolf | 2018-08-15 | 1 | -9/+12 |
| |\ \ |
|
| | * | | Gate POSIX-only signals and resource module to only run on POSIX Python imple... | William D. Jones | 2018-07-06 | 1 | -9/+12 |
| | |/ |
|
| * | | Fix use of signed integers in JSON back-end | Clifford Wolf | 2018-08-14 | 1 | -1/+3 |
| * | | Use `realpath` | jpathy | 2018-08-06 | 1 | -1/+1 |
| |/ |
|
| * | Fix protobuf build | Sergiusz Bazanski | 2018-06-20 | 1 | -1/+1 |
| * | Add Protobuf backend | Serge Bazanski | 2018-06-19 | 3 | -0/+380 |
| * | Add $dlatch support to write_verilog | Clifford Wolf | 2018-04-22 | 1 | -0/+38 |
| * | Add "write_blif -inames -iattr" | Clifford Wolf | 2018-04-15 | 1 | -22/+46 |
| * | Add smtio.py support for parsing SMT2 (_ bvX n) syntax for BitVec constants | Clifford Wolf | 2018-04-04 | 1 | -0/+3 |
| * | Fixed -stbv handling in SMT2 back-end | Clifford Wolf | 2018-04-04 | 1 | -1/+1 |
| * | Add smtio status msgs when --progress is inactive | Clifford Wolf | 2018-03-29 | 1 | -2/+23 |
| * | Bugfix in smtio.py VCD file generator | Clifford Wolf | 2018-03-29 | 1 | -1/+1 |
| * | Add $mem support to SMT2 clock tagging | Clifford Wolf | 2018-03-27 | 1 | -0/+18 |
| * | Improve yosys-smtbmc log output and error handling | Clifford Wolf | 2018-03-17 | 1 | -5/+14 |
| * | Improve handling of invalid check-sat result in smtio.py | Clifford Wolf | 2018-03-17 | 1 | -1/+2 |
| * | Remove debug prints from yosys-smtbmc VCD writer | Clifford Wolf | 2018-03-08 | 1 | -2/+0 |
