aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* Next dev cycleMiodrag Milanovic2022-06-102-2/+5
* Release version 0.18Miodrag Milanovic2022-06-102-3/+3
* Update manualMiodrag Milanovic2022-06-101-0/+8
* Updated CHANGELOGMiodrag Milanovic2022-06-101-0/+3
* Bump versiongithub-actions[bot]2022-06-101-1/+1
* Merge pull request #3349 from nakengelhardt/select_count_scratchpadN. Engelhardt2022-06-092-0/+12
|\
| * also make 'stat' save counts to scratchpadN. Engelhardt2022-06-011-0/+9
| * have 'select -count' save the count to scratchpad entry 'select.count'N. Engelhardt2022-06-011-0/+3
* | Merge pull request #3359 from jix/fmcombine-memidN. Engelhardt2022-06-091-0/+3
|\ \
| * | fmcombine: Add _gold/_gate suffix to memidsJannis Harder2022-06-031-0/+3
* | | Use compiler-generated default constructor for RTLIL::Const::ConstHenner Zeller2022-06-092-11/+3
* | | Avoid unnecessary copy of a potential large constant value.Henner Zeller2022-06-091-2/+2
* | | verific: Added "-vlog-libext" option to specify search extension for librariesMiodrag Milanovic2022-06-092-1/+17
* | | Bump versiongithub-actions[bot]2022-06-091-1/+1
* | | wreduce: Introduce -mux_undef option (aligned with opt_expr).Marcelina Kościelnicka2022-06-081-1/+9
* | | Merge pull request #3357 from jix/smtbmc-cvc5Jannis Harder2022-06-081-3/+13
|\ \ \
| * | | smtbmc: recognize cvc5 and fix unrolling for cvc4/cvc5Jannis Harder2022-06-031-3/+13
| |/ /
* | | More updates on CHANGELOGMiodrag Milanovic2022-06-081-5/+9
* | | Update changelog and manualMiodrag Milanovic2022-06-082-91/+170
* | | sta: warn on unrecognised cells only onceLofty2022-06-081-1/+4
* | | Bump versiongithub-actions[bot]2022-06-081-1/+1
* | | Merge pull request #3367 from jix/smtlib2-module-fixesJannis Harder2022-06-073-11/+15
|\ \ \
| * | | smt2: emit smtlib2_comb_expr outputs after all inputsJannis Harder2022-06-073-11/+15
|/ / /
* | | Merge pull request #3319 from programmerjake/smtlib2-expr-supportJannis Harder2022-06-076-6/+187
|\ \ \
| * | | don't use sed -i because it won't work on macosJacob Lifshay2022-06-032-2/+3
| * | | smtlib2_module: try to fix test on macosJacob Lifshay2022-06-021-1/+1
| * | | smt2: Add smtlib2_comb_expr attribute to allow user-selected smtlib2 expressionsJacob Lifshay2022-06-026-6/+186
* | | | Merge pull request #3358 from jix/smtbmc-yices-forallJannis Harder2022-06-071-1/+4
|\ \ \ \
| * | | | smtbmc: Force nonincremental mode when yices is used with forallJannis Harder2022-06-031-1/+4
| | |/ / | |/| |
* | | | opt_ffinv: Harden against simple ff/inv loop.Marcelina Kościelnicka2022-06-071-0/+4
* | | | iopadmap: Fix z assignment removal.Marcelina Kościelnicka2022-06-071-7/+21
* | | | Bump versiongithub-actions[bot]2022-06-051-1/+1
* | | | verific: proper file location for readmem commandsMiodrag Milanovic2022-06-041-0/+33
* | | | Bump versiongithub-actions[bot]2022-06-041-1/+1
|/ / /
* / / Fix preventing show crashing with newer graphvizMiodrag Milanovic2022-06-031-1/+6
|/ /
* | Bump versiongithub-actions[bot]2022-06-031-1/+1
* | Add -no-rw-check option to memory_dff + memory + synth_{ice40,ecp5,gowin}.Marcelina Kościelnicka2022-06-026-14/+87
* | memory_dff: Add support for no_rw_check attribute.Marcelina Kościelnicka2022-06-023-0/+14
|/
* Merge pull request #3348 from zachjs/func-tern-hintJannis Harder2022-05-314-5/+55
|\
| * verilog: fix width/sign detection for functionsZachary Snow2022-05-304-5/+55
* | Bump versiongithub-actions[bot]2022-05-311-1/+1
|/
* Merge pull request #3347 from DanielHuisman/fix-3053Miodrag Milanović2022-05-301-1/+1
|\
| * Fix typo in emcc flags (typo introduced by #3053)Daniel Huisman2022-05-301-1/+1
|/
* verilog: fix size and signedness of array querying functionsJannis Harder2022-05-304-3/+56
* Bump versiongithub-actions[bot]2022-05-281-1/+1
* gatemate: Fix minor issues with `memory_libmap` (#3343)Patrick Urban2022-05-272-28/+39
* Merge pull request #3333 from mohamed/feature/tmpdirMiodrag Milanović2022-05-276-30/+47
|\
| * Cleanup, and fix windowsMiodrag Milanovic2022-05-271-37/+24
| * Observe $TMPDIR variable when creating tmp filesMohamed A. Bamakhrama2022-05-276-7/+37
* | Merge pull request #3341 from mmicko/unused_varsMiodrag Milanović2022-05-271-4/+0
|\ \ | |/ |/|
generated by cgit v1.2.3 (git 2.25.1) at 2025-03-30 00:35:30 +0000