| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | synth: extract netlists-folds from netlists-builders. | Tristan Gingold | 2019-11-05 | 1 | -133/+0 |
| * | netlists-builders: add build2_uresize. | Tristan Gingold | 2019-11-03 | 1 | -0/+24 |
| * | netlists: add formal input gates. | Tristan Gingold | 2019-10-30 | 1 | -0/+32 |
| * | synth: create build2_concat from netlists-concat. | Tristan Gingold | 2019-10-27 | 1 | -0/+36 |
| * | synth: generate cover for assertion precedent. | Tristan Gingold | 2019-10-21 | 1 | -17/+26 |
| * | synth: add netlists-memories to extract memories. Still WIP. | Tristan Gingold | 2019-10-17 | 1 | -15/+12 |
| * | netlists: declare memory gates. | Tristan Gingold | 2019-10-15 | 1 | -3/+159 |
| * | netlists-builders: adjust names of dyn_extract ports. | Tristan Gingold | 2019-10-13 | 1 | -2/+2 |
| * | netlists: rename id_memidx1 to id_memidx | Tristan Gingold | 2019-10-03 | 1 | -6/+6 |
| * | synth: replace memidx2 by addidx; handle some 2d arrays. | Tristan Gingold | 2019-10-03 | 1 | -25/+24 |
| * | synth: simplify dyn_insert. | Tristan Gingold | 2019-10-02 | 1 | -9/+4 |
| * | synth: simplify id_dyn_extract. | Tristan Gingold | 2019-10-02 | 1 | -8/+4 |
| * | synth: introduce memidx1 | Tristan Gingold | 2019-10-02 | 1 | -8/+6 |
| * | netlists: add memidx1 and memidx2 gates. | Tristan Gingold | 2019-10-02 | 1 | -0/+77 |
| * | synth: add support for integer rem. | Tristan Gingold | 2019-10-01 | 1 | -0/+3 |
| * | synth: improve support of arrays or arrays. Fix #955 | Tristan Gingold | 2019-10-01 | 1 | -4/+4 |
| * | synth: improve support of * and /. Fix #953 | Tristan Gingold | 2019-09-30 | 1 | -0/+6 |
| * | synth: add support for mod operator. | Tristan Gingold | 2019-09-28 | 1 | -2/+7 |
| * | synth: rework type for expression. | Tristan Gingold | 2019-09-25 | 1 | -1/+3 |
| * | synth: handle rotate. | Tristan Gingold | 2019-09-22 | 1 | -10/+14 |
| * | synth: Add support for PSL cover directive (#930) | T. Meissner | 2019-09-19 | 1 | -3/+20 |
| * | synth: remove value_mux2. | Tristan Gingold | 2019-09-18 | 1 | -3/+5 |
| * | synth: add build2_const_vec | Tristan Gingold | 2019-09-15 | 1 | -0/+18 |
| * | synth: allow empty string literal. | Tristan Gingold | 2019-09-12 | 1 | -1/+0 |
| * | synth: handle unsigned shift left. | Tristan Gingold | 2019-09-11 | 1 | -0/+26 |
| * | synth: add const_x gate. | Tristan Gingold | 2019-09-11 | 1 | -0/+18 |
| * | synth: add const_sb32, add smul/umul. | Tristan Gingold | 2019-09-07 | 1 | -2/+53 |
| * | synth: remove insert gate. | Tristan Gingold | 2019-08-31 | 1 | -38/+0 |
| * | synth: improve synth_uresize. | Tristan Gingold | 2019-08-31 | 1 | -1/+22 |
| * | synth: add support for record types. | Tristan Gingold | 2019-08-29 | 1 | -0/+10 |
| * | synth: set name to assert/assume gates. | Tristan Gingold | 2019-08-20 | 1 | -4/+17 |
| * | synth: set location on assume/assert gates. | Tristan Gingold | 2019-08-20 | 1 | -2/+4 |
| * | synth: handle signed integer comparisons (#878) | Pepijn de Vos | 2019-08-01 | 1 | -0/+10 |
| * | synth: add support for memories. | Tristan Gingold | 2019-07-29 | 1 | -1/+43 |
| * | synth: remove bounds (unused) for ports. | Tristan Gingold | 2019-07-22 | 1 | -4/+2 |
| * | synth: rework names. | Tristan Gingold | 2019-07-22 | 1 | -2/+3 |
| * | synth: add concatn gate | Tristan Gingold | 2019-07-19 | 1 | -0/+24 |
| * | synth: add const_z gate. | Tristan Gingold | 2019-07-19 | 1 | -2/+21 |
| * | synth: add > and >= operators (#870) | Pepijn de Vos | 2019-07-16 | 1 | -0/+5 |
| * | synth: add Id_Port gate to improve display. | Tristan Gingold | 2019-07-10 | 1 | -3/+21 |
| * | netlists: export new_internal_name. | Tristan Gingold | 2019-07-04 | 1 | -4/+10 |
| * | netlists: allow to build idff without a connected D. | Tristan Gingold | 2019-07-04 | 1 | -3/+5 |
| * | netlists: add reduce_or/reduce_and gates. | Tristan Gingold | 2019-07-04 | 1 | -0/+16 |
| * | netlists: add assume gate. | Tristan Gingold | 2019-07-04 | 1 | -3/+22 |
| * | synth: handle concurrent assertions. | Tristan Gingold | 2019-07-02 | 1 | -0/+21 |
| * | synth: fix Idff; fix 'edge and enable'. | Tristan Gingold | 2019-07-02 | 1 | -1/+1 |
| * | synth: add dyn_insert module. | Tristan Gingold | 2019-07-01 | 1 | -4/+47 |
| * | netlists: fix pasto in builders. | Tristan Gingold | 2019-07-01 | 1 | -1/+1 |
| * | synth: add types_utils package. | Tristan Gingold | 2019-07-01 | 1 | -0/+1 |
| * | synth: add ule, fix gate number. | Tristan Gingold | 2019-06-30 | 1 | -0/+5 |
