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: pass

d .. (parent)
d d rwxr-xr-x 86 Replicate
d d rwxr-xr-x 48 bind_typ_var
d d rwxr-xr-x 4,096 bool_constraint
d d rwxr-xr-x 48 bool_typ_pat
d d rwxr-xr-x 86 complex_exist_sat
d d rwxr-xr-x 48 constrained_struct
d d rwxr-xr-x 4,096 constraint_ctor
d d rwxr-xr-x 4,096 enum_map
d d rwxr-xr-x 86 ex_vector_infer
d d rwxr-xr-x 4,096 exist_synonym
d d rwxr-xr-x 124 existential_ast
d d rwxr-xr-x 4,096 existential_ast3
d d rwxr-xr-x 86 extension_constructor
d d rwxr-xr-x 124 fn_kind_infer_body
d d rwxr-xr-x 48 function_namespace
d d rwxr-xr-x 124 global_type_var
d d rwxr-xr-x 86 if_infer
d d rwxr-xr-x 86 implicits
d d rwxr-xr-x 86 lexp_vec
d d rwxr-xr-x 48 list_infer
d d rwxr-xr-x 86 nexp_synonym
d d rwxr-xr-x 48 not_pattern
d d rwxr-xr-x 124 outcome_impl
d d rwxr-xr-x 48 outcome_impl_int
d d rwxr-xr-x 86 outcome_int
d d rwxr-xr-x 86 poly_vector
d d rwxr-xr-x 124 reg_32_64
d d rwxr-xr-x 48 repeat_constraint
d d rwxr-xr-x 124 scattered_enum
d d rwxr-xr-x 48 shadow_let
d d rwxr-xr-x 48 short_circuit_bool_ex
d d rwxr-xr-x 48 string_literal_type
d d rwxr-xr-x 48 struct_pattern
d d rwxr-xr-x 48 tuple_assign
d d rwxr-xr-x 86 tuple_bitvector_int_pat
d d rwxr-xr-x 4,096 vec_length
d d rwxr-xr-x 124 vector_subrange_pattern
d d rwxr-xr-x 48 wf_register_type
d d rwxr-xr-x 60 wf_specs
- - rw-r--r-- 315 Replicate.sail
- - rw-r--r-- 413 abstract_bitfield_width.sail
- - rw-r--r-- 314 abstract_bool.sail
- - rw-r--r-- 218 abstract_bool2.sail
- - rw-r--r-- 99 abstract_config.json
- - rw-r--r-- 283 abstract_config.sail
- - rw-r--r-- 290 abstract_extend.sail
- - rw-r--r-- 218 abstract_ones.sail
- - rw-r--r-- 96 add_real.sail
- - rw-r--r-- 456 add_vec_exts_no_annot.sail
- - rw-r--r-- 448 add_vec_exts_no_annot_overload.sail
- - rw-r--r-- 374 add_vec_lit.sail
- - rw-r--r-- 1,934 allpats.sail
- - rw-r--r-- 122 and_let_bool.sail
- - rw-r--r-- 272 anon_rec.sail
- - rw-r--r-- 2,112 arm_FPEXC1.sail
- - rw-r--r-- 3,062 arm_types.sail
- - rw-r--r-- 54 as_pattern.sail
- - rw-r--r-- 189 assignment_simple.sail
- - rw-r--r-- 411 atomcase.sail
- - rw-r--r-- 494 bind_typ_var.sail
- - rw-r--r-- 132 bitfield_abs.sail
- - rw-r--r-- 110 bitfield_exponential.sail
- - rw-r--r-- 134 bitfield_mod.sail
- - rw-r--r-- 527 bitfield_pc.sail
- - rw-r--r-- 579 bitfield_updates.sail
- - rw-r--r-- 557 bitfield_updates0.sail
- - rw-r--r-- 453 bits_alias_cast.sail
- - rw-r--r-- 216 bits_concat_pattern.sail
- - rw-r--r-- 279 bits_if.sail
- - rw-r--r-- 239 bitvector_param.sail
- - rw-r--r-- 225 bitwise_not.sail
- - rw-r--r-- 254 bitwise_not_gen.sail
- - rw-r--r-- 251 bitwise_not_x3.sail
- - rw-r--r-- 122 bool_bits_mapping.sail
- - rw-r--r-- 1,258 bool_constraint.sail
- - rw-r--r-- 302 bool_in_ex_ctor.sail
- - rw-r--r-- 160 bool_mapping.sail
- - rw-r--r-- 172 bool_mapping2.sail
- - rw-r--r-- 150 bool_typ_pat.sail
- - rw-r--r-- 420 boolean_ite_constraint.sail
- - rw-r--r-- 252 bv_concat_implicit.sail
- - rw-r--r-- 343 bv_simple_index_bit.sail
- - rw-r--r-- 129 case_simple1.sail
- - rw-r--r-- 141 case_simple2.sail
- - rw-r--r-- 67 cast_lexp1.sail
- - rw-r--r-- 67 cast_lexp2.sail
- - rw-r--r-- 88 cast_simple.sail
- - rw-r--r-- 49 commentfix.sail
- - rw-r--r-- 294 complete_pattern_let.sail
- - rw-r--r-- 145 complex_exist_sat.sail
- - rw-r--r-- 57 concurrency_interface_dec.sail
- - rw-r--r-- 58 concurrency_interface_inc.sail
- - rw-r--r-- 155 config_bits_types.json
- - rw-r--r-- 349 config_bits_types.sail
- - rw-r--r-- 77 config_int_types.json
- - rw-r--r-- 475 config_int_types.sail
- - rw-r--r-- 159 config_mismatch.sail
- - rw-r--r-- 92 cons_pattern.sail
- - rw-r--r-- 119 cons_pattern_synonym.sail
- - rw-r--r-- 230 constrained_struct.sail
- - rw-r--r-- 486 constraint_ctor.sail
- - rw-r--r-- 446 constraint_syn.sail
- - rw-r--r-- 142 crlf.sail
- - rw-r--r-- 942 custom_flow.sail
- - rw-r--r-- 43 dec_prelude.sail
- - rw-r--r-- 558 decode_patterns.sail
- - rw-r--r-- 18 default_order.sail
- - rw-r--r-- 299 deinfix_plus.sail
- - rw-r--r-- 190 enum_cast.sail
- - rw-r--r-- 374 enum_map.sail
- - rw-r--r-- 479 eqn_inst.sail
- - rw-r--r-- 932 equation_arguments.sail
- - rw-r--r-- 406 equation_return.sail
- - rw-r--r-- 186 ex_cast.sail
- - rw-r--r-- 266 ex_cons_infer.sail
- - rw-r--r-- 254 ex_list_infer.sail
- - rw-r--r-- 266 ex_vector_infer.sail
- - rw-r--r-- 529 execute_decode_hard.sail
- - rw-r--r-- 443 exint.sail
- - rw-r--r-- 504 exist1.sail
- - rw-r--r-- 906 exist2.sail
- - rw-r--r-- 176 exist_simple.sail
- - rw-r--r-- 303 exist_subrange.sail
- - rw-r--r-- 266 exist_synonym.sail
- - rw-r--r-- 2,612 exist_tlb.sail
- - rw-r--r-- 117 exist_true.sail
- - rw-r--r-- 1,360 existential_ast.sail
- - rw-r--r-- 648 existential_ast2.sail
- - rw-r--r-- 1,365 existential_ast3.sail
- - rw-r--r-- 122 existential_constraint_synonym.sail
- - rw-r--r-- 83 exit1.sail
- - rw-r--r-- 72 exit2.sail
- - rw-r--r-- 87 exit3.sail
- - rw-r--r-- 437 extension_constructor.sail
- - rw-r--r-- 354 false_existential.sail
- - rw-r--r-- 64 float_prelude.sail
- - rw-r--r-- 373 floor_pow2.sail
- - rw-r--r-- 141 flow_gt1.sail
- - rw-r--r-- 142 flow_gteq1.sail
- - rw-r--r-- 141 flow_lt1.sail
- - rw-r--r-- 139 flow_lt2.sail
- - rw-r--r-- 130 flow_lteq1.sail
- - rw-r--r-- 155 fn_kind_infer.sail
- - rw-r--r-- 229 fn_kind_infer_body.sail
- - rw-r--r-- 189 foreach_e.sail
- - rw-r--r-- 383 foreach_var_updates.sail
- - rw-r--r-- 456 fpthreesimp.sail
- - rw-r--r-- 179 funcl_guard.sail
- - rw-r--r-- 128 function_namespace.sail
- - rw-r--r-- 308 global_type_var.sail
- - rw-r--r-- 247 guards.sail
- - rw-r--r-- 191 if_infer.sail
- - rw-r--r-- 205 if_infer2.sail
- - rw-r--r-- 418 if_infer_else.sail
- - rw-r--r-- 642 if_overload.sail
- - rw-r--r-- 174 if_return.sail
- - rw-r--r-- 217 if_type_if.sail
- - rw-r--r-- 524 if_var_updates.sail
- - rw-r--r-- 185 implicit_vector.sail
- - rw-r--r-- 1,291 implicits.sail
- - rw-r--r-- 43 inc_prelude.sail
- - rw-r--r-- 123 inline_typ.sail
- - rw-r--r-- 505 int_synonym.sail
- - rw-r--r-- 264 issue1335.sail
- - rw-r--r-- 106 issue250.sail
- - rw-r--r-- 101 issue434.sail
- - rw-r--r-- 303 issue984.sail
- - rw-r--r-- 218 let_nat_shadow.sail
- - rw-r--r-- 97 let_subtyp_bug.sail
- - rw-r--r-- 346 lexp_vec.sail
- - rw-r--r-- 60 list_cons.sail
- - rw-r--r-- 222 list_cons2.sail
- - rw-r--r-- 214 list_infer.sail
- - rw-r--r-- 42 list_lit.sail
- - rw-r--r-- 129 lt_flow.sail
- - rw-r--r-- 450 mapping_clause.sail
- - rw-r--r-- 265 mapping_rreg.sail
- - rw-r--r-- 376 mixed_order_unification.sail
- - rw-r--r-- 180 mod_var.sail
- - rw-r--r-- 94 modify_assignment1.sail
- - rw-r--r-- 108 modify_type_chain.sail
- - rw-r--r-- 415 multiple_unifiers.sail
- - rw-r--r-- 239 mutrec.sail
- - rw-r--r-- 101 nat_set.sail
- - rw-r--r-- 1,106 new_bitfields.sail
- - rw-r--r-- 159 nexp_synonym.sail
- - rw-r--r-- 240 nexp_synonym2.sail
- - rw-r--r-- 286 nlflow.sail
- - rw-r--r-- 121 no_val_recur.sail
- - rw-r--r-- 191 nonexistent_pragma.sail
- - rw-r--r-- 154 not_pattern.sail
- - rw-r--r-- 341 nzcv.sail
- - rw-r--r-- 565 option_either.sail
- - rw-r--r-- 308 option_tuple.sail
- - rw-r--r-- 591 outcome_impl.sail
- - rw-r--r-- 437 outcome_impl_int.sail
- - rw-r--r-- 639 outcome_impl_quant.sail
- - rw-r--r-- 158 outcome_int.sail
- - rw-r--r-- 237 overlap_field.sail
- - rw-r--r-- 193 overload_int_nat.sail
- - rw-r--r-- 151 overload_overload.sail
- - rw-r--r-- 303 overload_plus.sail
- - rw-r--r-- 216 pat_completeness.sail
- - rw-r--r-- 861 patternrefinement.sail
- - rw-r--r-- 257 phantom_bitlist_struct.sail
- - rw-r--r-- 244 phantom_bitlist_union.sail
- - rw-r--r-- 322 phantom_num.sail
- - rw-r--r-- 493 phantom_option.sail
- - rw-r--r-- 87 plus_one_unify.sail
- - rw-r--r-- 433 poly_list.sail
- - rw-r--r-- 209 poly_struct_infer.sail
- - rw-r--r-- 556 poly_vector.sail
- - rw-r--r-- 170 pow2space.sail
- - rw-r--r-- 235 pow_32_64.sail
- - rw-r--r-- 402 pow_unify.sail
- - rw-r--r-- 194 priv_fn_no_val.sail
- - rw-r--r-- 295 procstate1.sail
- - rw-r--r-- 96 pure_let_var.sail
- - rw-r--r-- 249 pure_let_var2.sail
- - rw-r--r-- 205 pure_loop_in_monad.sail
- - rw-r--r-- 439 pure_record.sail
- - rw-r--r-- 498 pure_record2.sail
- - rw-r--r-- 564 pure_record3.sail
- - rw-r--r-- 19 real.sail
- - rw-r--r-- 283 recursion.sail
- - rw-r--r-- 915 reg_32_64.sail
- - rw-r--r-- 109 reg_list.sail
- - rw-r--r-- 124 reg_mod.sail
- - rw-r--r-- 267 reg_option.sail
- - rw-r--r-- 224 reg_ref.sail
- - rw-r--r-- 134 repeat_constraint.sail
- - rw-r--r-- 115 return_simple1.sail
- - rw-r--r-- 154 return_simple2.sail
- - rw-r--r-- 226 return_simple3.sail
- - rw-r--r-- 104 return_simple4.sail
- - rw-r--r-- 314 rmem_rmemt_same.sail
- - rw-r--r-- 73 scattered_enum.sail
- - rw-r--r-- 362 scattered_mapping_doc.sail
- - rw-r--r-- 166 scattered_union_doc.sail
- - rw-r--r-- 148 set_constraint.sail
- - rw-r--r-- 331 shadow_leak_check.sail
- - rw-r--r-- 237 shadow_let.sail
- - rw-r--r-- 608 short_circuit_bool_ex.sail
- - rw-r--r-- 293 simple_record_access.sail
- - rw-r--r-- 464 simple_scattered.sail
- - rw-r--r-- 406 single_assign_in_block.sail
- - rw-r--r-- 153 single_enum.sail
- - rw-r--r-- 169 single_union.sail
- - rw-r--r-- 153 sizeof_fixed.sail
- - rw-r--r-- 452 string_append_non_exec.sail
- - rw-r--r-- 634 string_literal_type.sail
- - rw-r--r-- 238 struct_field_constraint.sail
- - rw-r--r-- 108 struct_kind_infer.sail
- - rw-r--r-- 353 struct_pattern.sail
- - rw-r--r-- 461 struct_pattern_partial.sail
- - rw-r--r-- 59 syn_kind_infer.sail
- - rw-r--r-- 144 synth_ex_vs.sail
- - rw-r--r-- 1,778 tautology.sail
- - rw-r--r-- 378 trailing_commas.sail
- - rw-r--r-- 216 true_false.sail
- - rw-r--r-- 583 try_while_try.sail
- - rw-r--r-- 586 tuple_assign.sail
- - rw-r--r-- 276 tuple_bitvector_int_pat.sail
- - rw-r--r-- 269 tuple_bitvector_int_pat2.sail
- - rw-r--r-- 269 tuple_bitvector_int_pat3.sail
- - rw-r--r-- 433 tuple_cons_assign.sail
- - rw-r--r-- 440 tuple_cons_simple.sail
- - rw-r--r-- 220 tuple_fun.sail
- - rw-r--r-- 1,098 tuple_type_cast.sail
- - rw-r--r-- 345 type_div.sail
- - rw-r--r-- 163 type_if_then_else.sail
- - rw-r--r-- 190 type_if_then_else_alt.sail
- - rw-r--r-- 127 type_pat_parens.sail
- - rw-r--r-- 329 type_pow_zero.sail
- - rw-r--r-- 292 tyvar_shadow.sail
- - rw-r--r-- 251 union_ctor_constraint.sail
- - rw-r--r-- 178 union_infer.sail
- - rw-r--r-- 187 union_infer_kind.sail
- - rw-r--r-- 18 unit_register.sail
- - rw-r--r-- 134 unsigned_index.sail
- - rw-r--r-- 276 val_spec_fn_spec.sail
- - rw-r--r-- 271 varity.sail
- - rw-r--r-- 157 vec_length.sail
- - rw-r--r-- 157 vec_length_inc.sail
- - rw-r--r-- 869 vec_pat1.sail
- - rw-r--r-- 402 vector_access.sail
- - rw-r--r-- 410 vector_access_dec.sail
- - rw-r--r-- 371 vector_append.sail
- - rw-r--r-- 378 vector_append_gen.sail
- - rw-r--r-- 345 vector_concat_assign.sail
- - rw-r--r-- 255 vector_pattern_split.sail
- - rw-r--r-- 621 vector_subrange_gen.sail
- - rw-r--r-- 159 vector_subrange_mapping.sail
- - rw-r--r-- 230 vector_subrange_pattern.sail
- - rw-r--r-- 151 wf_register_type.sail
- - rw-r--r-- 362 wf_specs.sail
- - rw-r--r-- 450 while_MM.sail
- - rw-r--r-- 317 while_MP.sail
- - rw-r--r-- 1,021 while_PM.sail
- - rw-r--r-- 735 while_PP.sail
- - rw-r--r-- 150 wildcard_mapping.sail
- - rw-r--r-- 266 zero_length_bv.sail
- - rw-r--r-- 317 zeros_implicit.sail