Skip to content

Activity

Showing most recent first

Merge pull request #313 from gipsyh/rIC3

Pull request merge
georgerenniepushed 4 commits to main • 9675d15…20ee439 • 
10 days ago

Deleted branch

mmickodeleted krys/drop_ilang • 
21 days ago

Deleted branch

mmickodeleted krys/test-furo-ys • 
21 days ago

Deleted branch

mmickodeleted krys/docs_verific • 
21 days ago

Deleted branch

mmickodeleted micko/pr_template • 
21 days ago

Deleted branch

nakengelhardtdeleted krys/vhd_example • 
21 days ago

Merge pull request #264 from YosysHQ/krys/vhd_example

Pull request merge
nakengelhardtpushed 2 commits to main • b6be8ad…9675d15 • 
21 days ago

Merge pull request #311 from sporniket/patch-2

Pull request merge
mmickopushed 2 commits to main • 44c4409…b6be8ad • 
21 days ago

Merge pull request #310 from sporniket/patch-1

Pull request merge
nakengelhardtpushed 2 commits to main • 4d92762…44c4409 • 
21 days ago

Merge pull request #278 from YosysHQ/krys/docs_verific

Pull request merge
nakengelhardtpushed 2 commits to main • 26b3874…4d92762 • 
21 days ago

Bump anstream from 0.6.4 to 0.6.18 in /tools/aigcexmin

dependabot[bot]created dependabot/cargo/tools/aigcexmin/anstream-0.6.18 • ff9aac7 • 
on Dec 4, 2024

Merge pull request #308 from YosysHQ/krys/drop_ilang

Pull request merge
nakengelhardtpushed 2 commits to main • daed0e1…26b3874 • 
on Nov 7, 2024

Replace (read_)ilang with (read_)rtlil

KrystalDelusioncreated krys/drop_ilang • 176e59c • 
on Nov 4, 2024

Deleted tag

mmickodeleted refs/tags/yosys-0.46 • 
on Oct 17, 2024

Deleted branch

nakengelhardtdeleted fix_mangle_lookup • 
on Oct 17, 2024

Merge pull request #302 from YosysHQ/fix_mangle_lookup

Pull request merge
nakengelhardtpushed 4 commits to main • 117fb26…daed0e1 • 
on Oct 17, 2024

enable extensions

mmickopushed 1 commit to fix_mangle_lookup • e84cc44…94d1d0a • 
on Oct 16, 2024

add non-verific name mangling regression test

nakengelhardtpushed 1 commit to fix_mangle_lookup • 0f13fc6…e84cc44 • 
on Oct 16, 2024

fix lookup of mangled path names

Force push
nakengelhardtforce pushed to fix_mangle_lookup • 7fb58f4…0f13fc6 • 
on Oct 16, 2024

fix lookup of mangled path names

nakengelhardtcreated fix_mangle_lookup • 7fb58f4 • 
on Oct 16, 2024

Deleted branch

jixdeleted george/smtbmc_paths • 
on Oct 7, 2024

Merge pull request #298 from YosysHQ/george/smtbmc_paths

Pull request merge
jixpushed 2 commits to main • 62d1708…117fb26 • 
on Oct 7, 2024

Merge pull request #276 from YosysHQ/krys/test-furo-ys

Pull request merge
jixpushed 4 commits to main • d9a5845…62d1708 • 
on Sep 27, 2024

smtbmc: match on full property paths instead of just names

Force push
georgerennieforce pushed to george/smtbmc_paths • 9a8bd7b…9583985 • 
on Sep 24, 2024

smtbmc: match on full property paths instead of just names

Force push
georgerennieforce pushed to george/smtbmc_paths • e74deda…9a8bd7b • 
on Sep 24, 2024

smtbmc: match on full property paths instead of just names

georgerenniecreated george/smtbmc_paths • e74deda • 
on Sep 24, 2024

Merge pull request #297 from jix/imctk-eqy-engine

Pull request merge
mmickopushed 2 commits to main • 8bd0719…d9a5845 • 
on Sep 16, 2024

Deleted branch

jixdeleted george/aigbmc_docs • 
on Sep 9, 2024

Merge pull request #294 from YosysHQ/george/aigbmc_docs

Pull request merge
jixpushed 2 commits to main • 67a7821…8bd0719 • 
on Sep 9, 2024

CI force fast runner

mmickopushed 1 commit to main • 61ca4de…67a7821 • 
on Aug 19, 2024