issues
search
blarney-lang
/
blarney
Haskell library for hardware description
Other
98
stars
11
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Bump actions/download-artifact from 2 to 4.1.7 in /.github/workflows
#137
dependabot[bot]
closed
3 weeks ago
0
Efficient verification
#136
Swire42
closed
5 months ago
13
Proper verification for DontCare values
#135
Swire42
closed
5 months ago
0
Toward proper verification of DontCare: Getting rid of inappropriate "DontCare can be treated as 0" assumptions
#134
Swire42
closed
5 months ago
2
Added new, improved SMT backend
#133
Swire42
closed
5 months ago
17
The chaining function used for verification was incorrect
#132
Swire42
closed
6 months ago
6
The chaining function used for verification was incorrect, Adding a new, improved SMT backend
#131
Swire42
closed
6 months ago
1
Incorrect verification
#130
Swire42
closed
6 months ago
0
Fixed Blarney.Vector.drop (and Blarney.Vector.takeTail)
#129
Swire42
closed
6 months ago
3
Add server farm example
#128
mn416
closed
1 year ago
0
Refactor docs for better structure
#127
mn416
closed
1 year ago
0
Tagged union refinements
#126
mn416
closed
1 year ago
0
Simplify "getting started" instructions
#125
mn416
closed
1 year ago
0
implemented mergewrites prim in smt backend (untested)
#124
gameboo
closed
1 year ago
0
Added a cabal file
#123
gameboo
closed
1 year ago
0
Some LANGUAGE and OPTIONS_GHC pragmas
#122
gameboo
closed
1 year ago
0
Further control in manual Interface instances
#121
mn416
closed
1 year ago
0
Sugar for manual Interface instances
#120
mn416
closed
1 year ago
0
Backend error with `--enable-simplifier`
#119
mn416
opened
2 years ago
0
FShow instance for tagged unions
#118
mn416
closed
2 years ago
0
Tagged unions
#117
mn416
closed
2 years ago
0
Add Blarney version of Either type
#116
mn416
closed
2 years ago
0
Add "clear" method to Queue interface
#115
mn416
closed
2 years ago
0
Overloaded `when`
#114
mn416
closed
2 years ago
0
Update namer plugin for GHC 9.2.1
#113
mn416
closed
2 years ago
0
Added a simple .envrc for direnv users (exports BLARNEY_ROOT and PATH)
#112
gameboo
closed
2 years ago
0
Dot syntax
#111
mn416
closed
2 years ago
0
Changes to work with GHC 9.2.1
#110
mn416
closed
2 years ago
0
Introducing a MergeWrites primitive and implement wires / regs using it
#109
gameboo
closed
2 years ago
0
Add appropriate netlist roots on custom instantiation
#108
gameboo
closed
3 years ago
0
Heat example: tweak for more interesting testing
#107
mn416
closed
3 years ago
0
update test script
#106
gameboo
closed
3 years ago
0
Add time instrumentation to the test.sh script
#105
gameboo
closed
3 years ago
0
Refactor RTL monad using monad transformers
#104
gameboo
closed
3 years ago
0
Refactor Flatten using Monad Transformers
#103
gameboo
closed
3 years ago
0
Remove IO constraint for Netlist generation
#102
gameboo
closed
3 years ago
0
Minor API change for simulation backend
#101
gameboo
closed
3 years ago
0
Custom Prim support in haskell sim backend + refactor Backend.hs
#100
gameboo
closed
3 years ago
0
A don't care de-inlining pass
#99
gameboo
closed
3 years ago
0
Variant of makeBoundary with explicit clock+reset
#98
mn416
closed
3 years ago
0
Support for quad-port block RAMs
#97
mn416
closed
3 years ago
0
Add selector width to `Mux` primitive
#96
mn416
closed
3 years ago
1
Covering the zero case in toSigned
#95
francislaus
closed
3 years ago
0
Nicer compilation unit boundaries
#94
mn416
closed
3 years ago
0
Identify "dont care" initial values
#93
mn416
closed
3 years ago
0
Mention in-Haskell simulator in docs
#92
mn416
closed
3 years ago
0
In haskell simulation backend
#91
gameboo
closed
3 years ago
0
Rework Verilog mux primitive
#90
mn416
closed
3 years ago
0
Rework Verilog Mux
#89
mn416
closed
3 years ago
0
Generic deriving for Cmp class
#88
mn416
closed
3 years ago
0
Next