| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | smt2: Add smtlib2_comb_expr attribute to allow user-selected smtlib2 expressions | Jacob Lifshay | 2022-06-02 | 1 | -6/+57 |
| * | Use proper operator | Miodrag Milanovic | 2022-05-27 | 1 | -4/+4 |
| * | add $divfloor support to write_smt2 | Jacob Lifshay | 2022-05-24 | 1 | -0/+21 |
| * | Add propagated clock signals into btor info file | Claire Xenia Wolf | 2022-05-04 | 1 | -0/+2 |
| * | smt2: Make write port array stores conditional on nonzero write mask | Jannis Harder | 2022-04-20 | 1 | -2/+4 |
| * | pass jny: flipped the defaults for the inclusion of various bits of metadata | Aki Van Ness | 2022-04-08 | 1 | -30/+30 |
| * | pass jny: ensured the cell collection is cleared between modules | Aki Van Ness | 2022-04-08 | 1 | -0/+1 |
| * | pass jny: fixed missing quotes around the type value for the cell sort | Aki Van Ness | 2022-04-08 | 1 | -1/+1 |
| * | pass jny: fixed the backslash escape for strings | Aki Van Ness | 2022-04-08 | 1 | -2/+1 |
| * | pass jny: removed the invalid json escapes | Aki Van Ness | 2022-04-08 | 1 | -12/+0 |
| * | pass jny: added some todo comments about things that need to be done before a... | Aki Van Ness | 2022-04-08 | 1 | -0/+5 |
| * | pass jny: changed the constructor initializers to use parens rather than curl... | Aki Van Ness | 2022-04-08 | 1 | -2/+2 |
| * | pass jny: fixed the string escape method to be less jank and more proper | Aki Van Ness | 2022-04-08 | 1 | -21/+58 |
| * | pass jny: fixed the signed output for param value output | Aki Van Ness | 2022-04-08 | 1 | -1/+1 |
| * | pass jny: added connection output | Aki Van Ness | 2022-04-08 | 1 | -4/+88 |
| * | pass jny: added filter options for including connections, attributes, and pro... | Aki Van Ness | 2022-04-08 | 1 | -25/+125 |
| * | pass jny: large chunk of refactoring to make the JSON output more pretty and ... | Aki Van Ness | 2022-04-08 | 1 | -75/+89 |
| * | metadata -> jny: migrated to the proper name for the pass | Aki Van Ness | 2022-04-08 | 3 | -21/+19 |
| * | pass metadata: added the machinery to write param and attributes | Aki Van Ness | 2022-04-08 | 1 | -8/+27 |
| * | pass metadata: removed superfluous `stringf` calls | Aki Van Ness | 2022-04-08 | 1 | -37/+40 |
| * | pass metadata: some more rough work on dumping the parameters and attributes | Aki Van Ness | 2022-04-08 | 1 | -6/+6 |
| * | pass metadata: fixed the MetadataWriter object initializer so GCC 4.8 is happy | Aki Van Ness | 2022-04-08 | 1 | -1/+1 |
| * | pass metadata: added the output of parameters, | Aki Van Ness | 2022-04-08 | 1 | -7/+35 |
| * | pass metadata: fixed some of the output formatting | Aki Van Ness | 2022-04-08 | 1 | -0/+3 |
| * | pass metadata: initial commit of the metadata pass for exporting design metad... | Aki Van Ness | 2022-04-08 | 2 | -0/+277 |
| * | smtbmc: fix bmc with no assertions | Jannis Harder | 2022-03-29 | 1 | -0/+2 |
| * | Merge pull request #3253 from jix/smtbmc-nodeepcopy | Jannis Harder | 2022-03-28 | 1 | -6/+6 |
| |\ |
|
| | * | smtbmc: Avoid unnecessary deep copies during unrolling | Jannis Harder | 2022-03-28 | 1 | -6/+6 |
| * | | Merge pull request #3247 from jix/smtbmc-keepgoing | Jannis Harder | 2022-03-28 | 1 | -50/+143 |
| |\ \
| |/
|/| |
|
| | * | yosys-smtbmc: Option to keep going after failed assertions in BMC mode | Jannis Harder | 2022-03-24 | 1 | -48/+141 |
| | * | yosys-smtbmc: Fix typo in help text, remove trailing whitespace | Jannis Harder | 2022-03-24 | 1 | -2/+2 |
| * | | Add -no-startoffset option to write_aiger | Miodrag Milanovic | 2022-03-25 | 1 | -8/+17 |
| * | | ignore # comment lines | N. Engelhardt | 2022-03-24 | 1 | -1/+1 |
| |/ |
|
| * | Merge pull request #3226 from YosysHQ/micko/btor2witness | Miodrag Milanović | 2022-03-11 | 1 | -2/+2 |
| |\ |
|
| | * | Fix handling of some formal cells in btor back-end | Claire Xenia Wolf | 2022-03-11 | 1 | -6/+2 |
| | * | handle state names of $anyconst and $anyseq | Miodrag Milanovic | 2022-03-11 | 1 | -1/+5 |
| * | | Merge pull request #3210 from rqou/json-signed | Miodrag Milanović | 2022-03-07 | 1 | -0/+2 |
| |\ \
| |/
|/| |
|
| | * | json: Add help message for `signed` field | R | 2022-02-21 | 1 | -0/+2 |
| * | | Merge pull request #3186 from nakengelhardt/smtbmc_sby_print_id | Miodrag Milanović | 2022-03-04 | 2 | -4/+12 |
| |\ \ |
|
| | * | | print cell name for properties in yosys-smtbmc | N. Engelhardt | 2022-02-22 | 2 | -4/+12 |
| | |/ |
|
| * | | Merge pull request #3207 from nakengelhardt/json_escape_quotes | Miodrag Milanović | 2022-03-04 | 1 | -1/+16 |
| |\ \ |
|
| | * | | fix handling of escaped chars in json backend and frontend | N. Engelhardt | 2022-02-18 | 1 | -1/+16 |
| | |/ |
|
| * / | Add a bit of flexibilty re trace length when processing aiger witnesses in sm... | Claire Xenia Wolf | 2022-02-11 | 1 | -1/+4 |
| |/ |
|
| * | verilog backend: Emit a `wire` for ports as well. | Marcelina Kościelnicka | 2022-01-31 | 1 | -1/+1 |
| * | Add $bmux and $demux cells. | Marcelina Kościelnicka | 2022-01-28 | 7 | -2/+77 |
| * | cxxrtl: don't reset elided wires with \init attribute. | Catherine | 2021-12-25 | 1 | -0/+2 |
| * | cxxrtl: demote wires not inlinable only in debug_eval to locals. | Catherine | 2021-12-15 | 1 | -3/+4 |
| * | Add clean_zerowidth pass, use it for Verilog output. | Marcelina Kościelnicka | 2021-12-12 | 1 | -0/+2 |
| * | Merge pull request #3105 from whitequark/cxxrtl-reset-memories-2 | Catherine | 2021-12-12 | 2 | -108/+80 |
| |\ |
|
| | * | cxxrtl: preserve interior memory pointers across reset. | Catherine | 2021-12-11 | 2 | -95/+67 |
