| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | Merge pull request #3357 from jix/smtbmc-cvc5 | Jannis Harder | 2022-06-08 | 1 | -3/+13 |
| |\ |
|
| | * | smtbmc: recognize cvc5 and fix unrolling for cvc4/cvc5 | Jannis Harder | 2022-06-03 | 1 | -3/+13 |
| * | | More updates on CHANGELOG | Miodrag Milanovic | 2022-06-08 | 1 | -5/+9 |
| * | | Update changelog and manual | Miodrag Milanovic | 2022-06-08 | 2 | -91/+170 |
| * | | sta: warn on unrecognised cells only once | Lofty | 2022-06-08 | 1 | -1/+4 |
| * | | 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 |
| |/ / / |
|
