aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
...
* Bump versiongithub-actions[bot]2022-10-251-1/+1
* Merge pull request #3528 from YosysHQ/claire/crossbitsClaire Xen2022-10-251-4/+32
|\
| * Add miter -cross optionClaire Xenia Wolf2022-10-241-4/+32
|/
* Merge pull request #3526 from jix/mux-simlib-evalJannis Harder2022-10-245-15/+38
|\
| * Consistent $mux undef handlingJannis Harder2022-10-245-15/+38
* | Merge pull request #3518 from jix/smtmapJannis Harder2022-10-242-0/+29
|\ \
| * | Add smtmap.v describing the smt2 backend's behavior for undef bitsJannis Harder2022-10-202-0/+29
* | | Merge pull request #3517 from jix/smtbmc-witness-no-assume-skippedJannis Harder2022-10-241-3/+0
|\ \ \
| * | | smtbmc: Do not assume skipped assertions when loading a witness traceJannis Harder2022-10-201-3/+0
* | | | Merge pull request #3523 from lparkes/basenameMiodrag Milanović2022-10-241-1/+1
|\ \ \ \
| * | | | Replace GNU specific invocation of basename(1) with the equivalentLloyd Parkes2022-10-231-1/+1
* | | | | Merge pull request #3512 from lparkes/fstapiMiodrag Milanović2022-10-241-0/+2
|\ \ \ \ \
| * | | | | And another place we need to lseek() after dup().Lloyd Parkes2022-10-161-0/+1
| * | | | | Forcibly set the current seek location of gz files that we are accessingLloyd Parkes2022-10-161-0/+1
* | | | | | Update CodeQL actionMiodrag Milanovic2022-10-241-1/+1
* | | | | | Bump versiongithub-actions[bot]2022-10-221-1/+1
| |/ / / / |/| | | |
* | | | | Merge pull request #3521 from YosysHQ/ci_upgradeMiodrag Milanović2022-10-215-14/+14
|\ \ \ \ \ | |_|_|_|/ |/| | | |
| * | | | Update versions of CI actions usedMiodrag Milanovic2022-10-215-14/+14
|/ / / /
* | | / Bump versiongithub-actions[bot]2022-10-211-1/+1
| |_|/ |/| |
* | | Add missing log_dump handler for std::vector<>Claire Xenia Wolf2022-10-201-0/+12
| |/ |/|
* | Bump versiongithub-actions[bot]2022-10-201-1/+1
* | Temporal induction counterexample loop detection (#3504)Emil J2022-10-191-1/+36
* | Merge pull request #3514 from jix/smtbmc-kind-witness-fixJannis Harder2022-10-191-1/+1
|\ \
| * | smtbmc: Fix witness handling for k-induction failuresJannis Harder2022-10-181-1/+1
* | | Bump versiongithub-actions[bot]2022-10-151-1/+1
* | | Merge pull request #3511 from YosysHQ/improve_edifMiodrag Milanović2022-10-141-1/+31
|\ \ \ | |/ / |/| |
| * | Skip verific primitives and operators import by defaultMiodrag Milanovic2022-10-141-0/+1
| * | Add option to import all cells from all librariesMiodrag Milanovic2022-10-141-1/+30
|/ /
* | Bump versiongithub-actions[bot]2022-10-131-1/+1
* | Merge pull request #3510 from jix/ff_witness_fixesJannis Harder2022-10-124-12/+29
|\ \
| * | smt2/smtbmc: Fix FF witness data for fine grained or multi chunk FFsJannis Harder2022-10-124-12/+29
|/ /
* / github: issues: added an OS dropdown to the issue templateAki Van Ness2022-10-121-1/+13
|/
* Merge pull request #3502 from jix/equiv_opt_fixesJannis Harder2022-10-1128-267/+207
|\
| * Reenable existing equiv_opt testsJannis Harder2022-10-0713-54/+52
| * Fix tests for check in equiv_optJannis Harder2022-10-0713-15/+31
| * Add "check -assert" to equiv_optClaire Xenia Wolf2022-10-071-1/+13
| * Re-enable opt_dff_sr equiv_opt checksClaire Xenia Wolf2022-10-071-13/+12
| * Exclude primary inputs from quiv_make rewiringClaire Xenia Wolf2022-10-071-0/+7
| * Revert "Merge pull request #641 from tklam/master"Claire Xenia Wolf2022-10-071-81/+5
| * clk2fflogic: Always correctly handle simultaneously changing signalsJannis Harder2022-10-071-103/+87
* | Bump versiongithub-actions[bot]2022-10-111-1/+1
* | Merge pull request #3508 from YosysHQ/aki/rm_protobufMiodrag Milanović2022-10-105-562/+0
|\ \
| * | backends: protobuf: removed protobuf backendAki Van Ness2022-10-105-562/+0
|/ /
* | fix whitespaceMiodrag Milanovic2022-10-101-1/+1
* | Merge pull request #3452 from ALGCDG/masterMiodrag Milanović2022-10-102-1/+17
|\ \
| * | Changing error reason string to be based on lut input plane limit constant.Archie2022-10-021-1/+1
| * | Adding check for BLIF names command input plane size.Archie2022-08-212-1/+17
| * | Merge branch 'master' of https://github.com/ALGCDG/yosysArchie2022-08-2181-737/+4859
| |\ \
| * | | Adding expected error message.Archie2022-06-201-0/+1
| * | | Adding testcase for issue 3374Archie2022-06-171-0/+3
generated by cgit v1.2.3 (git 2.25.1) at 2025-04-04 23:59:05 +0000