GaloisInc/saw-script - GitHub Explorer | GitHub Explorer | Trending

Stars

497

Forks

78

Watchers

497

Open Issues

518

Repository Health Score

🧡

56/100

Fair

Overall repository health assessment

Score Breakdown

Activity

Active development - updated this week

30/30

100%

Recent Commits

Merge pull request #3135 from MavenRain/fix/primitive-type-panic-to-error

David Holland•35 minutes ago

10de84bView on GitHub

Use CryPP.pretty instead of PP.pretty . CryPP.pp per review feedback

Onyeka Obi•6 hours ago

26fa000View on GitHub

Merge pull request #3140 from GaloisInc/export-lists

David Holland•22 hours ago

80bca33View on GitHub

Yosys.IR: Delete unused fields in Port and Netname types.

David Holland•1 day ago

6cb226aView on GitHub

Fix css build again

David Holland•3 days ago

a817e53View on GitHub

Turn on -Werror=missing-export-lists.

David Holland•5 days ago

97d430aView on GitHub

Add missing export lists to top-level Main modules.

David Holland•5 days ago

99fb528View on GitHub

Add missing export list to SAWServer.Yosys.

David Holland•5 days ago

f264304View on GitHub

AutoMatch: Add missing export lists and remove dead code.

David Holland•5 days ago

462089fView on GitHub

Add missing export list to SAWScript.Token.

David Holland•5 days ago

b612f3cView on GitHub

Add missing export list to SAWCentral.Builtins.

David Holland•3 days ago

fe12182View on GitHub

saw-central: Add missing export lists to miscellanous files.

David Holland•5 days ago

a9c0d23View on GitHub

SAWCentral.Yosys: Add missing export lists and remove dead code.

David Holland•5 days ago

0a82efeView on GitHub

SAWCentral.Prover: Add missing export lists.

David Holland•5 days ago

5b95128View on GitHub

Fix up some Show abuse with solver stats.

David Holland•5 days ago

8491fdeView on GitHub

View all commits

GitHub Explorer

saw-script

Score Breakdown

Issues Activity: Last 6 months

Top Labels

Hottest Issues