| Commit message (Expand) | Author | Age | Files | Lines | ||
|---|---|---|---|---|---|---|
| ... | ||||||
| * | | | | Bump version | github-actions[bot] | 2022-06-08 | 1 | -1/+1 | |
| * | | | | Merge pull request #3367 from jix/smtlib2-module-fixes | Jannis Harder | 2022-06-07 | 3 | -11/+15 | |
| |\ \ \ \ | ||||||
| | * | | | | smt2: emit smtlib2_comb_expr outputs after all inputs | Jannis Harder | 2022-06-07 | 3 | -11/+15 | |
| |/ / / / | ||||||
| * | | | | Merge pull request #3319 from programmerjake/smtlib2-expr-support | Jannis Harder | 2022-06-07 | 6 | -6/+187 | |
| |\ \ \ \ | ||||||
| | * | | | | 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 | 6 | -6/+186 | |
| * | | | | | Merge pull request #3358 from jix/smtbmc-yices-forall | Jannis Harder | 2022-06-07 | 1 | -1/+4 | |
| |\ \ \ \ \ | ||||||
| | * | | | | | smtbmc: Force nonincremental mode when yices is used with forall | Jannis Harder | 2022-06-03 | 1 | -1/+4 | |
| | | |/ / / | |/| | | | ||||||
| * | | | | | opt_ffinv: Harden against simple ff/inv loop. | Marcelina Kościelnicka | 2022-06-07 | 1 | -0/+4 | |
| * | | | | | iopadmap: Fix z assignment removal. | Marcelina Kościelnicka | 2022-06-07 | 1 | -7/+21 | |
| * | | | | | Bump version | github-actions[bot] | 2022-06-05 | 1 | -1/+1 | |
| * | | | | | verific: proper file location for readmem commands | Miodrag Milanovic | 2022-06-04 | 1 | -0/+33 | |
| * | | | | | Bump version | github-actions[bot] | 2022-06-04 | 1 | -1/+1 | |
| |/ / / / | ||||||
| * / / / | Fix preventing show crashing with newer graphviz | Miodrag Milanovic | 2022-06-03 | 1 | -1/+6 | |
| |/ / / | ||||||
| * | | | Bump version | github-actions[bot] | 2022-06-03 | 1 | -1/+1 | |
| * | | | Add -no-rw-check option to memory_dff + memory + synth_{ice40,ecp5,gowin}. | Marcelina Kościelnicka | 2022-06-02 | 6 | -14/+87 | |
| * | | | memory_dff: Add support for no_rw_check attribute. | Marcelina Kościelnicka | 2022-06-02 | 3 | -0/+14 | |
| |/ / | ||||||
| * | | Merge pull request #3348 from zachjs/func-tern-hint | Jannis Harder | 2022-05-31 | 4 | -5/+55 | |
| |\ \ | ||||||
| | * | | verilog: fix width/sign detection for functions | Zachary Snow | 2022-05-30 | 4 | -5/+55 | |
| * | | | Bump version | github-actions[bot] | 2022-05-31 | 1 | -1/+1 | |
| |/ / | ||||||
| * | | Merge pull request #3347 from DanielHuisman/fix-3053 | Miodrag Milanović | 2022-05-30 | 1 | -1/+1 | |
| |\ \ | ||||||
| | * | | Fix typo in emcc flags (typo introduced by #3053) | Daniel Huisman | 2022-05-30 | 1 | -1/+1 | |
| |/ / | ||||||
| * | | verilog: fix size and signedness of array querying functions | Jannis Harder | 2022-05-30 | 4 | -3/+56 | |
| * | | Bump version | github-actions[bot] | 2022-05-28 | 1 | -1/+1 | |
| * | | gatemate: Fix minor issues with `memory_libmap` (#3343) | Patrick Urban | 2022-05-27 | 2 | -28/+39 | |
| * | | Merge pull request #3333 from mohamed/feature/tmpdir | Miodrag Milanović | 2022-05-27 | 6 | -30/+47 | |
| |\ \ | ||||||
| | * | | Cleanup, and fix windows | Miodrag Milanovic | 2022-05-27 | 1 | -37/+24 | |
| | * | | Observe $TMPDIR variable when creating tmp files | Mohamed A. Bamakhrama | 2022-05-27 | 6 | -7/+37 | |
| * | | | Merge pull request #3341 from mmicko/unused_vars | Miodrag Milanović | 2022-05-27 | 1 | -4/+0 | |
| |\ \ \ | |/ / |/| | | ||||||
| | * | | Remove set but unused variable | Miodrag Milanovic | 2022-05-27 | 1 | -4/+0 | |
| * | | | Upload emscripten artifact | Miodrag Milanovic | 2022-05-27 | 1 | -1/+5 | |
| |/ / | ||||||
| * | | Add emcc build (stuck if all cpus used on GH) | Miodrag Milanovic | 2022-05-27 | 1 | -0/+20 | |
| * | | Proper std::move | Miodrag Milanovic | 2022-05-27 | 1 | -8/+8 | |
| * | | Use proper operator | Miodrag Milanovic | 2022-05-27 | 1 | -4/+4 | |
| * | | Merge pull request #3053 from DanielHuisman/pr-2 | Miodrag Milanović | 2022-05-27 | 1 | -8/+9 | |
| |\ \ | ||||||
| | * | | Fix emcc warnings for WebAssembly build | Daniel Huisman | 2021-10-20 | 1 | -8/+9 | |
| * | | | Bump version | github-actions[bot] | 2022-05-26 | 1 | -1/+1 | |
| * | | | verilog: fix $past's signedness | Jannis Harder | 2022-05-25 | 4 | -1/+40 | |
| * | | | Merge pull request #3011 from DanielHuisman/pr-1 | Miodrag Milanović | 2022-05-25 | 1 | -2/+2 | |
| |\ \ \ | ||||||
| | * | | | Update WaveDrom script URLs | Daniel Huisman | 2021-09-18 | 1 | -2/+2 | |
| | |/ / | ||||||
| * | | | Merge pull request #3335 from programmerjake/divfloor-in-write_smt2 | Jannis Harder | 2022-05-25 | 1 | -0/+21 | |
| |\ \ \ | ||||||
| | * | | | add $divfloor support to write_smt2 | Jacob Lifshay | 2022-05-24 | 1 | -0/+21 | |
| * | | | | Merge pull request #3138 from DanielG/fix-git-rev | Miodrag Milanović | 2022-05-25 | 3 | -0/+13 | |
| |\ \ \ \ | ||||||
| | * | | | | Make GIT_REV logic work in release tarballs | Daniel Gröber | 2022-05-25 | 3 | -0/+13 | |
| |/ / / / | ||||||
| * / / / | verilog: fix signedness when removing unreachable cases | Jannis Harder | 2022-05-24 | 3 | -0/+39 | |
| |/ / / | ||||||
| * | | | Bump version | github-actions[bot] | 2022-05-24 | 1 | -1/+1 | |
| * | | | Merge pull request #3332 from YosysHQ/verific_f | Miodrag Milanović | 2022-05-23 | 1 | -20/+25 | |
| |\ \ \ | ||||||
| | * | | | fix text to fit 80 columns | Miodrag Milanovic | 2022-05-23 | 1 | -6/+9 | |
| | * | | | Update verific command file documentation | Miodrag Milanovic | 2022-05-23 | 1 | -17/+19 | |
| |/ / / | ||||||
 |
index : iCE40/yosys | |
| [no description] |
| aboutsummaryrefslogtreecommitdiffstats |