| Commit message (Expand) | Author | Age | Files | Lines |
* | smt2/smtbmc: Fix FF witness data for fine grained or multi chunk FFs | Jannis Harder | 2022-10-12 | 1 | -7/+7 |
* | Merge pull request #3502 from jix/equiv_opt_fixes | Jannis Harder | 2022-10-11 | 25 | -82/+95 |
|\ |
|
| * | Reenable existing equiv_opt tests | Jannis Harder | 2022-10-07 | 13 | -54/+52 |
| * | Fix tests for check in equiv_opt | Jannis Harder | 2022-10-07 | 13 | -15/+31 |
| * | Re-enable opt_dff_sr equiv_opt checks | Claire Xenia Wolf | 2022-10-07 | 1 | -13/+12 |
* | | Merge pull request #3452 from ALGCDG/master | Miodrag Milanović | 2022-10-10 | 1 | -0/+9 |
|\ \
| |/
|/| |
|
| * | Adding check for BLIF names command input plane size. | Archie | 2022-08-21 | 1 | -0/+9 |
* | | Test fixes for latest iverilog | Miodrag Milanovic | 2022-09-21 | 1 | -2/+12 |
* | | Add test for bug 3462 | Miodrag Milanovic | 2022-08-29 | 2 | -0/+15 |
|/ |
|
* | write_aiger: Fix non-$_FF_ FFs | Jannis Harder | 2022-08-18 | 1 | -0/+7 |
* | smtbmc: Add native json based witness format + smt2 backend support | Jannis Harder | 2022-08-16 | 1 | -0/+8 |
* | Merge pull request #3277 from YosysHQ/lofty/rename-scramble_name | N. Engelhardt | 2022-08-11 | 1 | -0/+31 |
|\ |
|
| * | rename: add -scramble-name option to randomly rename selections | Lofty | 2022-08-08 | 1 | -0/+31 |
* | | support file locations containing spaces | Miodrag Milanovic | 2022-08-08 | 3 | -9/+10 |
|/ |
|
* | gatemate: Add test for LUT tree mapping | gatecat | 2022-06-27 | 3 | -0/+813 |
* | Adding expected error message. | Archie | 2022-06-22 | 1 | -0/+1 |
* | Adding testcase for issue 3374 | Archie | 2022-06-22 | 1 | -0/+3 |
* | smt2: emit smtlib2_comb_expr outputs after all inputs | Jannis Harder | 2022-06-07 | 2 | -6/+6 |
* | don't use sed -i because it won't work on macos | Jacob Lifshay | 2022-06-03 | 2 | -2/+3 |
* | smtlib2_module: try to fix test on macos | Jacob Lifshay | 2022-06-02 | 1 | -1/+1 |
* | smt2: Add smtlib2_comb_expr attribute to allow user-selected smtlib2 expressions | Jacob Lifshay | 2022-06-02 | 4 | -0/+127 |
* | verilog: fix width/sign detection for functions | Zachary Snow | 2022-05-30 | 2 | -0/+46 |
* | verilog: fix size and signedness of array querying functions | Jannis Harder | 2022-05-30 | 1 | -0/+52 |
* | verilog: fix $past's signedness | Jannis Harder | 2022-05-25 | 1 | -0/+35 |
* | verilog: fix signedness when removing unreachable cases | Jannis Harder | 2022-05-24 | 1 | -0/+33 |
* | Add memory_bmux2rom pass. | Marcelina Kościelnicka | 2022-05-18 | 1 | -0/+27 |
* | Add memory_libmap tests. | Marcelina Kościelnicka | 2022-05-18 | 21 | -0/+1499 |
* | efinix: Use `memory_libmap` pass. | Marcelina Kościelnicka | 2022-05-18 | 1 | -12/+1 |
* | ice40: Use `memory_libmap` pass. | Marcelina Kościelnicka | 2022-05-18 | 1 | -56/+0 |
* | xilinx: Use `memory_libmap` pass. | Marcelina Kościelnicka | 2022-05-18 | 3 | -46/+15 |
* | nexus: Use `memory_libmap` pass. | Marcelina Kościelnicka | 2022-05-18 | 1 | -2/+2 |
* | ecp5: Use `memory_libmap` pass. | Marcelina Kościelnicka | 2022-05-18 | 1 | -135/+18 |
* | proc_rom: Add special handling of const-0 address bits. | Marcelina Kościelnicka | 2022-05-18 | 1 | -0/+146 |
* | Merge pull request #3314 from jix/sva_value_change_logic_wide | Jannis Harder | 2022-05-16 | 2 | -2/+43 |
|\ |
|
| * | verific: Use new value change logic also for $stable of wide signals. | Jannis Harder | 2022-05-11 | 2 | -2/+43 |
* | | Add proc_rom pass. | Marcelina Kościelnicka | 2022-05-13 | 1 | -0/+43 |
|/ |
|
* | Merge pull request #3305 from jix/sva_value_change_logic | Jannis Harder | 2022-05-09 | 7 | -1/+96 |
|\ |
|
| * | verific: Improve logic generated for SVA value change expressions | Jannis Harder | 2022-05-09 | 7 | -1/+96 |
* | | Merge pull request #3297 from jix/sva_nested_clk_else | Jannis Harder | 2022-05-09 | 1 | -0/+11 |
|\ \
| |/
|/| |
|
| * | verific: Fix conditions of SVAs with explicit clocks within procedures | Jannis Harder | 2022-05-03 | 1 | -0/+11 |
* | | Fix running sva tests | Miodrag Milanovic | 2022-05-09 | 1 | -4/+3 |
* | | opt_mem: Remove constant-value bit lanes. | Marcelina Kościelnicka | 2022-05-07 | 2 | -15/+2 |
|/ |
|
* | sv: fix always_comb auto nosync for nested and function blocks | Zachary Snow | 2022-04-05 | 2 | -0/+30 |
* | opt_merge: Add `-keepdc` option required for formal verification | Jannis Harder | 2022-04-01 | 1 | -0/+50 |
* | Fix valgrind tests when using verific | Miodrag Milanovic | 2022-03-30 | 4 | -8/+8 |
* | Proper example code | Miodrag Milanovic | 2022-03-14 | 2 | -1/+3 |
* | intel_alm: M10K write-enable is negative-true | Lofty | 2022-03-09 | 1 | -1/+2 |
* | Merge pull request #3207 from nakengelhardt/json_escape_quotes | Miodrag Milanović | 2022-03-04 | 2 | -0/+15 |
|\ |
|
| * | fix handling of escaped chars in json backend and frontend | N. Engelhardt | 2022-02-18 | 2 | -0/+15 |
* | | test dlatchsr and adlatch | Miodrag Milanovic | 2022-02-16 | 4 | -4/+94 |