Repository navigation

Do not infer a memory for an array written from several always blocks - #455

Merged

xtofalex merged 29 commits into

najaeda:mainfrom

Oct 4, 2026

Commits on Aug 6, 2026

Model divmod outputs with generic truth tables
nanocoh
committed
a074e0f
Merge branch 'main' of https://github.com/nanocoh/naja
nanocoh
committed
5a5511b

Commits on Aug 8, 2026

Add Python sequential model API
nanocoh
committed
487503c
Add instance-parameterized truth tables
nanocoh
committed
be29316

Commits on Aug 9, 2026

Share Naja runtime with Python extension in Bazel
nanocoh
committed
abe47a6

Commits on Aug 10, 2026

Fix Bazel Python test runtime loading
nanocoh
committed
d481fee
Link TBB into Bazel shared runtime
nanocoh
committed
9080f2b
Merge branch 'main' into main
nanocoh
authored
d3a6a7c

Commits on Aug 13, 2026

Merge branch 'najaeda:main' into main
nanocoh
authored
b540895
Keep mixed FF/latch Liberty cells loadable
nanocoh
committed
253a669
Merge branch 'main' of https://github.com/nanocoh/naja
nanocoh
committed
c96e1b1

Commits on Aug 21, 2026

Merge branch 'najaeda:main' into main
nanocoh
authored
429dfe0

Commits on Aug 26, 2026

Fix Liberty state cells getting constant truth tables
nanocoh
committed
cfd3ae0
Preserve timing for opaque Liberty state cells
nanocoh
committed
21c56f0

Commits on Aug 27, 2026

Merge branch 'najaeda:main' into main
nanocoh
authored
e06b464

Commits on Sep 1, 2026

Merge branch 'najaeda:main' into main
nanocoh
authored
11f79b7
test: improve Naja API coverage
nanocoh
committed
2175bff
test: cover remaining modeling branches
nanocoh
committed
5f852b5

Commits on Sep 4, 2026

Merge branch 'najaeda:main' into main
nanocoh
authored
eb2f6da

Commits on Sep 7, 2026

Merge branch 'najaeda:main' into main
nanocoh
authored
83be8a9

Commits on Sep 10, 2026

Add shared Python runtime SDK and safe parameter lifetimes
nanocoh
committed
1d33c24

Commits on Sep 25, 2026

Merge branch 'najaeda:main' into main
nanocoh
authored
d3b5498

Commits on Sep 28, 2026

Merge branch 'najaeda:main' into main
nanocoh
authored
38a7a4c
Merge branch 'fix7' into main

nanocoh
and
claude
committed
caad1f8
Keep the upstream 0.7.26 version for the SDK provider

nanocoh
and
claude
committed
6331960

Commits on Sep 30, 2026

Merge branch 'najaeda:main' into main
nanocoh
authored
20574de
Do not infer a memory for an array written from several always blocks
nanocoh
committed
bca0448

Commits on Oct 4, 2026

Reduce the Python shared-runtime SDK to the shipped headers
nanocoh
committed
c925b7d
Merge branch 'najaeda:main' into main
nanocoh
authored
ad34893