package info (click to toggle)
sail-ocaml 0.19.1%2Bdfsg5-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 18,008 kB
  • sloc: ml: 75,941; ansic: 8,848; python: 1,342; exp: 560; sh: 474; makefile: 218; cpp: 36

Folder: pattern_completeness

d .. (parent)
- - rw-r--r-- 133 abstract.sail
- - rw-r--r-- 301 cons_wildcard_insert.sail
- - rw-r--r-- 135 constrained_function.sail
- - rw-r--r-- 155 constrained_function_scattered.sail
- - rw-r--r-- 214 enum_open_end.sail
- - rw-r--r-- 149 int_pattern.sail
- - rw-r--r-- 154 literal_complete.sail
- - rw-r--r-- 154 literal_complete_alt.sail
- - rw-r--r-- 137 literal_complete_single.sail
- - rw-r--r-- 311 lookup.sail
- - rw-r--r-- 0 no_error
- - rw-r--r-- 150 range.sail
- - rwxr-xr-x 1,310 run_tests.py
- - rw-r--r-- 178 sd_funcl_complete1.sail
- - rw-r--r-- 272 sd_funcl_complete2.sail
- - rw-r--r-- 161 set_match.sail
- - rw-r--r-- 155 some_none.sail
- - rw-r--r-- 174 some_none_int.sail
- - rw-r--r-- 791 struct_pattern.sail
- - rw-r--r-- 142 two_argument.sail
- - rw-r--r-- 150 unbounded_int_annot.sail
- - rw-r--r-- 271 union_open_end.sail
- - rw-r--r-- 519 warn_cannot_wildcard.expect
- - rw-r--r-- 361 warn_cannot_wildcard.sail
- - rw-r--r-- 223 warn_cons_incomplete.expect
- - rw-r--r-- 127 warn_cons_incomplete.sail
- - rw-r--r-- 241 warn_cons_wildcard_insert1.expect
- - rw-r--r-- 277 warn_cons_wildcard_insert1.sail
- - rw-r--r-- 240 warn_cons_wildcard_insert2.expect
- - rw-r--r-- 278 warn_cons_wildcard_insert2.sail
- - rw-r--r-- 230 warn_double_cons_incomplete.expect
- - rw-r--r-- 132 warn_double_cons_incomplete.sail
- - rw-r--r-- 236 warn_empty_list.expect
- - rw-r--r-- 125 warn_empty_list.sail
- - rw-r--r-- 230 warn_enum_open.expect
- - rw-r--r-- 214 warn_enum_open.sail
- - rw-r--r-- 220 warn_enum_open_other.expect
- - rw-r--r-- 233 warn_enum_open_other.sail
- - rw-r--r-- 247 warn_int_pattern.expect
- - rw-r--r-- 135 warn_int_pattern.sail
- - rw-r--r-- 221 warn_literal_complete.expect
- - rw-r--r-- 137 warn_literal_complete.sail
- - rw-r--r-- 252 warn_mapping_incomplete.expect
- - rw-r--r-- 336 warn_mapping_incomplete.sail
- - rw-r--r-- 354 warn_missing_enum.expect
- - rw-r--r-- 157 warn_missing_enum.sail
- - rw-r--r-- 244 warn_partial_lookup.expect
- - rw-r--r-- 240 warn_partial_lookup.sail
- - rw-r--r-- 236 warn_partial_scattered.expect
- - rw-r--r-- 126 warn_partial_scattered.sail
- - rw-r--r-- 180 warn_range_redundant.expect
- - rw-r--r-- 167 warn_range_redundant.sail
- - rw-r--r-- 240 warn_sd_funcl_complete1.expect
- - rw-r--r-- 237 warn_sd_funcl_complete1.sail
- - rw-r--r-- 320 warn_struct_pattern_incomplete.expect
- - rw-r--r-- 386 warn_struct_pattern_incomplete.sail
- - rw-r--r-- 257 warn_struct_under_option.expect
- - rw-r--r-- 280 warn_struct_under_option.sail
- - rw-r--r-- 261 warn_tuple_bitvector_pat.expect
- - rw-r--r-- 276 warn_tuple_bitvector_pat.sail
- - rw-r--r-- 226 warn_unbounded_int.expect
- - rw-r--r-- 181 warn_unbounded_int.sail
- - rw-r--r-- 226 warn_unbounded_nat.expect
- - rw-r--r-- 181 warn_unbounded_nat.sail
- - rw-r--r-- 242 warn_union_open.expect
- - rw-r--r-- 271 warn_union_open.sail
- - rw-r--r-- 232 warn_union_open_other.expect
- - rw-r--r-- 298 warn_union_open_other.sail