blob: 569774f4dad45183ffc9b81525b8bd8dd62b2d40 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
XXXXX tests with full generic equality
decode_patterns.sail
XXXXX tests with deliberate redundant pattern match clause
option_tuple.sail
pat_completeness.sail
XXXXX tests which need inline extern definitions adjusted
patternrefinement.sail
procstate1.sail
vector_subrange_gen.sail
XXXXX currently unsupported use of a bitvector in a parametric vector type
pure_record.sail
pure_record2.sail
pure_record3.sail
vector_access_dec.sail
vector_access.sail
XXXXX unsupported existential quantification of a vector length
bind_typ_var.sail
XXXXX needs impliciation in constraints fixed
bool_constraint.sail
XXXXX needs some smart existential instantiation
complex_exist_sat.sail
|
