issues
search
cdonovick
/
peak
Peak : Processor Specification Language ala Newell and Bell's ISP
19
stars
3
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Massively simplify asm
#197
cdonovick
closed
4 years ago
0
Add asm; tests
#196
cdonovick
closed
4 years ago
1
Make aadt constructible from_fields
#195
cdonovick
closed
4 years ago
0
Fix bugs get mapping to work
#194
cdonovick
closed
4 years ago
0
Minimal regfile example
#193
cdonovick
closed
4 years ago
0
Update CI
#192
cdonovick
closed
4 years ago
0
Patch riscv
#191
cdonovick
closed
4 years ago
1
Simplfy riscv isa
#190
cdonovick
closed
4 years ago
0
Riscv paper
#189
cdonovick
closed
4 years ago
0
TaggedUnion tests / bug fixes
#188
cdonovick
closed
4 years ago
0
Is valid bug
#187
rdaly525
closed
4 years ago
0
is_valid issue
#186
rdaly525
closed
4 years ago
1
Add is valid
#185
rdaly525
closed
4 years ago
0
Add is valid
#184
rdaly525
closed
4 years ago
0
Different behavior for rewrite rule solve() vs verify()
#183
jack-melchert
closed
4 years ago
1
Verify bit output
#182
rdaly525
closed
4 years ago
0
TaggedUnion support and is_valid
#181
cdonovick
closed
4 years ago
3
rr.verify() bug with unbound output port
#180
jack-melchert
closed
4 years ago
1
added single bit to test. Fixed bug with single bit
#179
rdaly525
closed
4 years ago
0
rr.verify() works with BitVector[1] but not Bit
#178
jack-melchert
closed
4 years ago
0
Unbound ports bug
#177
rdaly525
closed
4 years ago
0
Assembled Magma as a return type causes some errors
#176
jack-melchert
closed
4 years ago
6
Unbound ports in rewrite rule cause issue with rewrite rule verificiation
#175
jack-melchert
closed
4 years ago
0
external loop code does not work with Float (UF)
#174
rdaly525
opened
4 years ago
4
fixes ir api and removes extraneous arg to solve
#173
rdaly525
closed
4 years ago
0
find packages
#172
cdonovick
closed
4 years ago
1
Add new family_closure
#171
cdonovick
closed
4 years ago
0
Cvc4 external loop
#170
jack-melchert
closed
4 years ago
1
Protocol
#169
cdonovick
closed
4 years ago
0
Added verbose mode for easier debugging of the mapper formula. Added …
#168
rdaly525
closed
4 years ago
1
Fix maybe some version/dependency issue?
#167
sillycross
closed
4 years ago
7
Add test for Sum of Products with the rewrite rule generator
#166
rdaly525
opened
4 years ago
0
Add ability to constrain particular Sum/Tagged Union choices
#165
rdaly525
opened
4 years ago
0
Need ability to specify types as being either Const or non-const
#164
rdaly525
closed
4 years ago
1
Constraints
#163
rdaly525
closed
4 years ago
0
rewrite rule generator can choose "impossible" values
#162
rdaly525
opened
4 years ago
1
Fixes bug with modifiers and magma
#161
rdaly525
closed
4 years ago
0
[Feature Request] Constrain rewrite rule generator values by path instead of type
#160
rdaly525
closed
4 years ago
2
Feature Request: Assembling "external" functions
#159
rdaly525
opened
4 years ago
0
Added support for Bit in peak call args
#158
jack-melchert
closed
4 years ago
0
Mapper verify bit
#157
jack-melchert
closed
4 years ago
0
Fault poke protocol
#156
leonardt
closed
4 years ago
3
Added verify method to RewriteRule
#155
rdaly525
closed
4 years ago
1
Tuple argument in __call__ causes fault error
#154
jack-melchert
opened
4 years ago
4
Tuple construction within call
#153
rdaly525
opened
4 years ago
0
Adt construct
#152
rdaly525
closed
4 years ago
2
TEST
#151
cdonovick
closed
4 years ago
0
Support for constraining ADT types in mapper
#150
jack-melchert
closed
4 years ago
0
New fam
#149
cdonovick
closed
4 years ago
2
Bug with magma ADT type as output type
#148
rdaly525
closed
4 years ago
18
Previous
Next