Commits

Branch selector

 master

User selector

All users

All time

Commit History

Commits on Aug 18, 2025

• Fixes #140

  Show description for 834ea0b
  mn416

  committed
  834ea0b

  Copy full SHA for 834ea0b

Commits on Jun 11, 2025

• Try to fix docs CI runner

  mn416

  committed
  517c0b8

  Copy full SHA for 517c0b8

• Tweak README

  mn416

  committed
  3d0b48d

  Copy full SHA for 3d0b48d

• Fix newly added link

  mn416

  committed
  3f8e2ef

  Copy full SHA for 3f8e2ef

• Add link to tutorial

  mn416

  committed
  6d63a4f

  Copy full SHA for 6d63a4f

Commits on Nov 26, 2024

• Pass assertions through to verilog

  mn416

  committed
  087ff98

  Copy full SHA for 087ff98

• RAMQuad example: fix display format

  mn416

  committed
  2ea959b

  Copy full SHA for 2ea959b

Commits on Oct 2, 2024

• Update docs workflow

  mn416

  committed
  4f8a196

  Copy full SHA for 4f8a196

• Merge pull request #137 from blarney-lang/dependabot/github_actions/dot-github/workflows/actions/download-artifact-4.1.7

  Show description for 1966691
  mn416

  authored
  1966691

  Copy full SHA for 1966691

• Update list of applications

  mn416

  committed
  14af29f

  Copy full SHA for 14af29f

Commits on Sep 3, 2024

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

  Show description for b3eb4cf
  dependabot[bot]

  authored
  b3eb4cf

  Copy full SHA for b3eb4cf

Commits on May 21, 2024

• Minor renaming of modules

  mn416

  committed
  7413d7a

  Copy full SHA for 7413d7a

Commits on May 20, 2024

• Use correct haddock code quotes

  mn416

  committed
  a4a8ef4

  Copy full SHA for a4a8ef4

• Fix some comments for new SMT backend

  mn416

  committed
  0155e51

  Copy full SHA for 0155e51

• Improve haddock docs

  mn416

  committed
  b425e79

  Copy full SHA for b425e79

• Tidy docs

  mn416

  committed
  853b61c

  Copy full SHA for 853b61c

• Specify correct output dir to haddock

  mn416

  committed
  d567680

  Copy full SHA for d567680

• Invoke haddock via cabal

  mn416

  committed
  63ed61d

  Copy full SHA for 63ed61d

• Disable new SMT backend from haddock workflow

  mn416

  committed
  649eec8

  Copy full SHA for 649eec8

• Don't export new SMT backend by default

  Show description for dbfc93a
  mn416

  committed
  dbfc93a

  Copy full SHA for dbfc93a

• Attemp to fix doc workflow

  mn416

  committed
  5cf4465

  Copy full SHA for 5cf4465

• Merge pull request #136 from Swire42/best-verification

  Show description for d8a5623
  mn416

  authored
  d8a5623

  Copy full SHA for d8a5623

• Fixed fixed depth verification procedures, cleanup

  

  Victor Miquel

  committed
  e77e3fa

  Copy full SHA for e77e3fa

• Cleanup export list

  

  Victor Miquel

  committed
  88726a1

  Copy full SHA for 88726a1

Commits on May 16, 2024

• Verification support for partially initialized registers

  

  Victor Miquel

  committed
  cf83381

  Copy full SHA for cf83381

• Merge remote-tracking branch 'upstream/mn416-dontcare-refactor' into best-verif-dontcare-refactor

  

  Victor Miquel

  committed
  43c4165

  Copy full SHA for 43c4165

Commits on May 15, 2024

• Fix bug in initial-value Verilog output

  mn416

  committed
  5fa59e7

  Copy full SHA for 5fa59e7

• Add new module to cabal file

  mn416

  committed
  57bd29e

  Copy full SHA for 57bd29e

• Tweak initial value constructor

  mn416

  committed
  6220cd4

  Copy full SHA for 6220cd4

• Retain info about dont cares in initial values

  mn416

  committed
  7e29991

  Copy full SHA for 7e29991

Commits on May 8, 2024

• Merge branch 'blarney-lang:master' into best-verification

  

  Swire42

  authored
  4e22817

  Copy full SHA for 4e22817

• Fixed possibly empty smt quantifiers

  

  Victor Miquel

  committed
  3023724

  Copy full SHA for 3023724

• Cosmetic enhancements

  

  Victor Miquel

  committed
  316d75c

  Copy full SHA for 316d75c

• Added give model functionality to concurrent verification

  

  Victor Miquel

  committed
  8e2711e

  Copy full SHA for 8e2711e

• Cleanup and comments

  

  Victor Miquel

  committed
  753fc8a

  Copy full SHA for 753fc8a

Pagination

Previous

Next