| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | sim/formalff: Clock handling for yw cosim | Jannis Harder | 2023-01-11 | 1 | -9/+25 |
| * | sim: Improvements and fixes for yw cosim | Jannis Harder | 2023-01-11 | 1 | -12/+1 |
| * | Support for BTOR witness to Yosys witness conversion | Jannis Harder | 2023-01-11 | 1 | -6/+153 |
| * | Add bwmuxmap pass | Jannis Harder | 2022-11-30 | 1 | -0/+1 |
| * | btor: Support $anyinit cells | Jannis Harder | 2022-08-16 | 1 | -1/+1 |
| * | formalff: Set new replaced_by_gclk attribute on removed dff's clks | Jannis Harder | 2022-08-16 | 1 | -0/+10 |
| * | smt2, btor: Revert calling memory_map -rom-only | Jannis Harder | 2022-06-29 | 1 | -1/+0 |
| * | memory_map: -keepdc option for formal | Jannis Harder | 2022-06-27 | 1 | -1/+1 |
| * | btor: add support for $pos cell | Kevin Läufer | 2022-06-20 | 1 | -8/+11 |
| * | smt2, btor: Use memory_map -rom-only to make ROMs usable for k-induction | Jannis Harder | 2022-06-17 | 1 | -0/+1 |
| * | Add propagated clock signals into btor info file | Claire Xenia Wolf | 2022-05-04 | 1 | -0/+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 |
| * | Add $bmux and $demux cells. | Marcelina Kościelnicka | 2022-01-28 | 1 | -0/+5 |
| * | Hook up $aldff support in various passes. | Marcelina Kościelnicka | 2021-10-02 | 1 | -1/+1 |
| * | Fixing old e-mail addresses and deadnames | Claire Xenia Wolf | 2021-06-08 | 1 | -2/+2 |
| * | Make a few passes auto-call Mem::narrow instead of rejecting wide ports. | Marcelina Kościelnicka | 2021-05-28 | 1 | -9/+3 |
| * | Reject wide ports in some passes that will never support them. | Marcelina Kościelnicka | 2021-05-25 | 1 | -2/+11 |
| * | btor: Use is_mem_cell in one more place. | Marcelina Kościelnicka | 2021-05-23 | 1 | -1/+1 |
| * | kernel/rtlil: Extract some helpers for checking memory cell types. | Marcelina Kościelnicka | 2021-05-22 | 1 | -1/+1 |
| * | btor, smt2, smv: Add a hint on how to deal with funny FF types. | Marcelina Kościelnicka | 2021-02-25 | 1 | -1/+14 |
| * | btor: Use Mem helper. | Marcelina Kościelnicka | 2020-10-21 | 1 | -93/+102 |
| * | Add missing gitignores for test artifacts | Xiretza | 2020-08-31 | 1 | -0/+1 |
| * | Respect \A_SIGNED for $shift | Xiretza | 2020-08-18 | 2 | -11/+19 |
| * | Use C++11 final/override keywords. | whitequark | 2020-06-18 | 1 | -2/+2 |
| * | btor backend: make not printing internal names default | N. Engelhardt | 2020-06-04 | 1 | -5/+5 |
| * | Add printf format attributes to btorf/infof helper functions | Claire Wolf | 2020-06-04 | 1 | -3/+3 |
| * | btor backend: add option to not include internal names | N. Engelhardt | 2020-06-04 | 1 | -33/+42 |
| * | Add flooring division operator | Xiretza | 2020-05-28 | 1 | -1/+1 |
| * | Add flooring modulo operator | Xiretza | 2020-05-28 | 2 | -5/+11 |
| * | kernel: big fat patch to use more ID::*, otherwise ID(*) | Eddie Hung | 2020-04-02 | 1 | -106/+106 |
| * | Update backends/btor/btor.cc; credit @boqwxp | Eddie Hung | 2020-04-02 | 1 | -2/+1 |
| * | kernel: use more ID::* | Eddie Hung | 2020-04-02 | 1 | -51/+51 |
| * | Improve write_btor symbol handling | Claire Wolf | 2020-03-14 | 1 | -36/+60 |
| * | Add info-file and cover features to write_btor | Claire Wolf | 2020-03-13 | 1 | -9/+113 |
| * | Use cell name for btor bad state props when it is a public name | Clifford Wolf | 2019-11-14 | 1 | -9/+5 |
| * | Add an info string symbol for bad states in btor backend | Makai Mann | 2019-11-11 | 1 | -1/+10 |
| * | Fix btor back-end to use "state" instead of "input" for undef init bits | Clifford Wolf | 2019-10-02 | 1 | -6/+9 |
| * | Corrects btor2 backend | Aman Goel | 2019-09-27 | 1 | -1/+4 |
| * | Fix stupid bug in btor back-end | Clifford Wolf | 2019-09-18 | 1 | -1/+1 |
| * | Use State::S{0,1} | Eddie Hung | 2019-08-06 | 1 | -2/+2 |
| * | Add $_NMUX_, add "abc -g cmos", add proper cmos cell costs | Clifford Wolf | 2019-08-06 | 1 | -1/+7 |
| * | Improve BTOR2 handling of undriven wires | Clifford Wolf | 2019-06-26 | 1 | -3/+27 |
| * | Add proper error message for btor recursion_guard | Clifford Wolf | 2019-05-24 | 1 | -1/+7 |
| * | Change "ne" to "neq" in btor2 output | Clifford Wolf | 2019-04-19 | 1 | -1/+1 |
| * | Add support for memory initialization to write_btor | Clifford Wolf | 2019-03-23 | 1 | -0/+53 |
| * | Fix BTOR output tags syntax in writye_btor | Clifford Wolf | 2019-03-23 | 1 | -2/+1 |
| * | 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 |
| * | Fix btor init value handling | Clifford Wolf | 2018-12-08 | 1 | -9/+13 |
