issues
search
dz333
/
secverilog
4
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
More declarations
#29
charles-rs
opened
1 year ago
0
Edge case where com types appear in labels but dont generate next_cycle values when typechecking
#28
dz333
opened
1 year ago
0
Fix seq inputs
#27
charles-rs
closed
1 year ago
0
Really fix unassigned path check
#26
charles-rs
closed
1 year ago
0
Fix unassigned path check
#25
dz333
closed
1 year ago
0
Translate all z3 constraints to use bitvectors instead of integers
#24
dz333
opened
1 year ago
0
Replace string with PEIden in path analysis (path_assign.cc)
#23
dz333
opened
1 year ago
0
Behave
#22
dz333
closed
1 year ago
0
fix substitution
#21
charles-rs
closed
1 year ago
0
fix nonquant path checks
#20
charles-rs
closed
1 year ago
0
Declassify statements are not checked correctly.
#19
dz333
closed
1 year ago
1
Better error message
#18
charles-rs
closed
1 year ago
0
add flag for overlapping assignment well formedness check
#17
charles-rs
closed
1 year ago
2
Check array on unassigned path checks
#16
dz333
closed
1 year ago
1
Add unassigned path check for sequential variables
#15
dz333
closed
1 year ago
1
Check label well-formedness
#14
dz333
opened
1 year ago
2
Check array assignments correctly with quantified variables
#13
dz333
closed
1 year ago
2
Reincorporate no-sensitive-upgrade check
#12
dz333
closed
1 year ago
3
Improve abstract interpretation to generate proper "unknown" values (that can still be negated)
#11
dz333
opened
1 year ago
0
Remove z3 as external dependency - make part of secverilog compiler
#10
dz333
opened
1 year ago
0
Create path assignment analysis
#9
dz333
closed
1 year ago
2
Check Well-formedness
#8
dz333
opened
1 year ago
1
(some) nested ternary expressions aren't translated correctly
#7
charles-rs
opened
1 year ago
0
-dtypecheck debug flag causes Sexp error
#5
dz333
closed
1 year ago
1
Add erasure labels and lots of bugfixes back into main
#4
dz333
closed
1 year ago
0
Sexp
#3
charles-rs
closed
1 year ago
0
Newercode
#2
dz333
closed
2 years ago
0
Generating Z3 constraints re-uses dump::(ostream&out) and incorrectly formats some Predicates
#1
dz333
closed
2 years ago
0