Skip to content

Activity

Showing most recent first

deploy documentation for 087ff98

Force push
github-actions[bot]force pushed to haddock • 527be97…25e6b37 • 
on Nov 26, 2024

Pass assertions through to verilog

mn416pushed 2 commits to master • 4f8a196…087ff98 • 
on Nov 26, 2024

deploy documentation for 4f8a196

Force push
github-actions[bot]force pushed to haddock • 4554ff6…527be97 • 
on Oct 2, 2024

Update docs workflow

mn416pushed 1 commit to master • 1966691…4f8a196 • 
on Oct 2, 2024

Merge pull request #137 from blarney-lang/dependabot/github_actions/d…

Pull request merge
mn416pushed 2 commits to master • 14af29f…1966691 • 
on Oct 2, 2024

Update list of applications

mn416pushed 1 commit to master • 7413d7a…14af29f • 
on Oct 2, 2024

Bump actions/download-artifact from 2 to 4.1.7 in /.github/workflows

dependabot[bot]created dependabot/github_actions/dot-github/workflows/actions/download-artifact-4.1.7 • b3eb4cf • 
on Sep 3, 2024

deploy documentation for 7413d7a

Force push
github-actions[bot]force pushed to haddock • ea963ee…4554ff6 • 
on May 21, 2024

Minor renaming of modules

mn416pushed 1 commit to master • a4a8ef4…7413d7a • 
on May 21, 2024

deploy documentation for a4a8ef4

Force push
github-actions[bot]force pushed to haddock • a31c4ad…ea963ee • 
on May 20, 2024

Use correct haddock code quotes

mn416pushed 1 commit to master • 0155e51…a4a8ef4 • 
on May 20, 2024

deploy documentation for 0155e51

Force push
github-actions[bot]force pushed to haddock • 8af1b34…a31c4ad • 
on May 20, 2024

Fix some comments for new SMT backend

mn416pushed 1 commit to master • b425e79…0155e51 • 
on May 20, 2024

deploy documentation for b425e79

Force push
github-actions[bot]force pushed to haddock • f766f8e…8af1b34 • 
on May 20, 2024

Improve haddock docs

mn416pushed 1 commit to master • 853b61c…b425e79 • 
on May 20, 2024

deploy documentation for 853b61c

Force push
github-actions[bot]force pushed to haddock • 5cddbcf…f766f8e • 
on May 20, 2024

Tidy docs

mn416pushed 1 commit to master • d567680…853b61c • 
on May 20, 2024

deploy documentation for d567680

Force push
github-actions[bot]force pushed to haddock • 0b076b9…5cddbcf • 
on May 20, 2024

Specify correct output dir to haddock

mn416pushed 1 commit to master • 63ed61d…d567680 • 
on May 20, 2024

Invoke haddock via cabal

mn416pushed 1 commit to master • 649eec8…63ed61d • 
on May 20, 2024

deploy documentation for 649eec8

Force push
github-actions[bot]force pushed to haddock • 6be3616…0b076b9 • 
on May 20, 2024

Disable new SMT backend from haddock workflow

mn416pushed 1 commit to master • dbfc93a…649eec8 • 
on May 20, 2024

Don't export new SMT backend by default

mn416pushed 1 commit to master • 5cf4465…dbfc93a • 
on May 20, 2024

Attemp to fix doc workflow

mn416pushed 1 commit to master • d8a5623…5cf4465 • 
on May 20, 2024

Merge pull request #136 from Swire42/best-verification

Pull request merge
mn416pushed 39 commits to master • 08ebbcb…d8a5623 • 
on May 20, 2024

Fix bug in initial-value Verilog output

mn416pushed 1 commit to mn416-dontcare-refactor • 57bd29e…5fa59e7 • 
on May 15, 2024

Add new module to cabal file

mn416pushed 1 commit to mn416-dontcare-refactor • 6220cd4…57bd29e • 
on May 15, 2024

Tweak initial value constructor

mn416pushed 1 commit to mn416-dontcare-refactor • 7e29991…6220cd4 • 
on May 15, 2024

Retain info about dont cares in initial values

mn416created mn416-dontcare-refactor • 7e29991 • 
on May 15, 2024