Rework the FSM solver, scope the preprocessing functions, and clean up the examples - #649

Merged

julianspeith merged 31 commits into

feature/examples_cleanup

Sep 10, 2026

Commits on Aug 11, 2026

Commits on Aug 12, 2026

Do not emit row signals while the module model is being reset

julianspeith
and
claude
committed
2ffe21a
Use uniform row heights in the large netlist tree views

julianspeith
and
claude
committed
650da1c
Ship the HAWKEYE S-box database and fix the crypto_trojan example
julianspeith
committed
f4a4514
Do not rebuild the module elements tree twice per selection change

julianspeith
and
claude
committed
1e89125
Speed up Boolean function evaluation on the truth table path

julianspeith
and
claude
committed
9e0add6
Fix wide arithmetic, undefined comparison and implement division

julianspeith
and
claude
committed
b85cef2
Add factory level tests for the division and remainder operations

julianspeith
and
claude
committed
2b45900
Remove the stale Python binding tests

julianspeith
and
claude
committed
9583f95
Fold constant Boolean functions without building one per operation

julianspeith
and
claude
committed
93556f5
Add changelog entries for the GUI and Boolean function changes

julianspeith
and
claude
committed
1d3e2d2
Fix inconsistent lambda return types in the division tests

julianspeith
and
claude
committed
45a4db6
Simplify the word level Boolean function operations

julianspeith
and
claude
committed
e562cd0
Simplify a slice that reads only one part of an extension

julianspeith
and
claude
committed
22e0a5b
Merge branch 'feature/boolean_function_performance' into feature/examples_cleanup
julianspeith
committed
c6f6ccf
Allow preprocessing functions to operate on a subset of the netlist

julianspeith
and
claude
committed
2a0559d
Offer the most common preprocessing steps in the GUI context menus

julianspeith
and
claude
committed
fe10cc6

Commits on Aug 13, 2026

Rework the FSM solver around a configuration object

julianspeith
and
claude
committed
bc09f8f
Remove the net itself from the selection when a selected net is deleted

julianspeith
and
claude
committed
4aacfa8
Render multi-line node labels in the DOT viewer

julianspeith
and
claude
committed
ec3d8ea
Hold back GUI layout updates while preprocessing from a context menu

julianspeith
and
claude
committed
f03c96d
Merge remote-tracking branch 'origin/master' into feature/examples_cleanup
julianspeith
committed
51205d1
Rework the FSM example project and fix the examples ignore list

julianspeith
and
claude
committed
17ffdbe
Remove the orphaned FSM state graph screenshot

julianspeith
and
claude
committed
996a478

Commits on Aug 14, 2026

Correct the SMT result comments in the Simple ALU script

julianspeith
and
claude
committed
62c8d13

Commits on Sep 10, 2026