Ben Gamari

Better testing infrastructure for sequential logic

3

Currently writing testbench code in CLaSH is rather painful. For instance, I recently tried testing an AXI interface. AXI, like many protocols, uses a valid/ready handshake for transmission. This means...

[RFC] Drop equality cases from Min/Max

4

I've recently been playing around with the [Thoralf](https://github.com/Divesh-Otwani/the-thoralf-plugin) plugin for more sophisticated solving. Unfortunately, it gets a bit confused with the equality case in `Min` and `Max`. However, if I'm...

Unable to use qualified type names

1

Currently it's not possible to refer to a type by its qualified name. For instance, ```haskell [yesh1| -- name:hello :: rowcount Int -- :arg :: Data.Int.Int ... |] ```

It's really an internal module and it is no longer exported in base 4.10

Feature proposal: Parametric permissions

2

Currently permissions are merely names. However, Ward could be made significantly more powerful by extending the permission language with some notion of parameterisation on source program identifiers. To make this...

In `compiler` mode I have noticed that errors are reported on a single line, greatly compromising legibility. For instance: ``` $ ward gcc --mode=compiler --config=rts/config.ward rts/sm/BlockAlloc.c.ward.graph rts/Capability.c.ward.graph Loading config files......

Error disappears when a module is added

5

Using 05b02cf2a617886d5c064648d2ce415aa9043c86 I am seeing some rather concerning behavior when processing callmaps. I am using this configuration file: ``` sm_lock_held "assume the storage manager lock is held"; take_sm_lock "the ability...

Poor performance on real-world codebase

6

I was looking into using Ward to lint GHC's runtime system, starting with simple lock checking. Unfortunately even with only no privileges defined and enabling enforcement for a single file...

Having Ward on Hackage would make usage much more convenient.

Singling Nat-indexed GADT with addition?

1

The following `genSingletons` application fails: ```haskell {-# LANGUAGE TemplateHaskell #-} {-# LANGUAGE TypeApplications #-} {-# LANGUAGE ScopedTypeVariables #-} {-# LANGUAGE TypeFamilies #-} {-# LANGUAGE DataKinds #-} {-# LANGUAGE GADTs #-}...