Commits

Breadcrumbs

History for

onmain

User selector

All users

Datepicker

All time

Commit History

Commits on Nov 4, 2024

• Replace (read_)ilang with (read_)rtlil

  KrystalDelusion

  committed
  176e59c

Commits on Oct 16, 2024

• fix lookup of mangled path names

  nakengelhardt

  committed
  0f13fc6

Commits on Sep 24, 2024

• smtbmc: match on full property paths instead of just names

  Show description for 9583985
  georgerennie

  committed
  9583985

Commits on Sep 8, 2024

• Add support for the imctk-eqy-engine

  Show description for b8a001e
  jix

  committed
  b8a001e

Commits on Jul 8, 2024

• Add --version option based on git describe

  jix

  committed
  8709c8a

Commits on Apr 19, 2024

• abc: Support arbitrary prep abc commands

  jix

  committed
  e0dda21

Commits on Apr 2, 2024

• Fixes issue #269 by removing an erroneous "if sbyfile" check.

  Show description for da46e19
  aiju

  committed
  da46e19

Commits on Mar 11, 2024

• Update sby_engine_abc.py

  Show description for 6c8b838
  KrystalDelusion

  authored
  6c8b838

• Print a message when SBY is waiting for a config on stdin

  jix

  committed
  cba7708

• Print an error message when using "--status" with no project specified

  jix

  committed
  fd381ad

Commits on Mar 6, 2024

• Support for the new anytime schedule in yosys-abc's pdr

  jix

  committed
  b6e41a3

Commits on Feb 20, 2024

• Emit status db update from aigsmt

  jix

  committed
  d3a6f2d

• Support for "abc --keep-going pdr" via new "pdr -X" mode

  jix

  committed
  6ba762d

• Initial support for a multi-task property status database

  Show description for 52184e5
  jix

  committed
  52184e5

Commits on Jan 24, 2024

• sby_design: Also track fairness assumptions

  jix

  committed
  40bf8fc

Commits on Jan 22, 2024

• sby_design: Discover properties represented using $check cells

  jix

  committed
  881082c

• Delete $print cells in the backend flows

  Show description for 1eeb6f3
  jix

  committed
  1eeb6f3

Commits on Sep 28, 2023

• smtbmc: Use new -noinitstate option when simulating inductive cex

  Show description for 36f84b8
  jix

  committed
  36f84b8

Commits on Aug 11, 2023

• assume_early option to implement cross assumes in IVY

  Show description for 884ef86
  jix

  committed
  884ef86

Commits on Jul 18, 2023

• Merge branch 'master' into krys/scy_dev

  clairexen

  authored
  4cddd7a

• Merge pull request #241 from YosysHQ/krys/argparse_docs

  Show description for 5ee5a78
  clairexen

  authored
  5ee5a78

• Merge pull request #242 from jix/fix-autotune-crash

  Show description for df18dbf
  clairexen

  authored
  df18dbf

Commits on Jul 17, 2023

• Fix deadlock with parallel SBY procs each with parallel tasks

  Show description for edbc054
  jix

  committed
  edbc054

Commits on Jun 28, 2023

• Merge pull request #240 from YosysHQ/claire/aigfolds

  Show description for fbbbab2
  clairexen

  authored
  fbbbab2

Commits on Jun 23, 2023

• smtbmc: Allow using --keep-going in cover mode

  Show description for 28c053b
  jix

  committed
  28c053b

Commits on Jun 19, 2023

• autotune: Fix crash on no-engine error path

  jix

  committed
  0d6a70e

Commits on Jun 12, 2023

• Add sphinx-argparse to generate usage

  Show description for 27e20fd
  KrystalDelusion

  committed
  27e20fd

Commits on Jun 7, 2023

• Add support for "abc pdr -d" engine

  Show description for f692eff
  clairexen

  committed
  f692eff

• Add aigfolds option

  Show description for 8b3ba68
  clairexen

  committed
  8b3ba68

Commits on Jun 3, 2023

• Add aigvmap and aigsyms options

  Show description for 7d60a3b
  clairexen

  committed
  7d60a3b

Commits on Jun 2, 2023

• Make call to "witness -rename" optional (default=on)

  Show description for f49c9eb
  clairexen

  committed
  f49c9eb

Commits on May 16, 2023

• Adding prep mode and skip_prep option

  Show description for 36e7a72
  KrystalDelusion

  committed
  36e7a72

Commits on Feb 20, 2023

• Merge pull request #232 from dlmiles/win-qol-cleanopt

  Show description for 74f3388
  jix

  authored
  74f3388

Commits on Feb 18, 2023

• -f clean: QoL improvement on Windows concerning file/dir removal locking

  Show description for fa5bc95
  

  dlmiles

  authored and

  Darryl Miles

  committed
  fa5bc95

Commits on Feb 8, 2023

• append_assume: Make append_assume on the default for now

  Show description for c5dce57
  jix

  committed
  c5dce57

Pagination

PreviousNext