├── .github └── workflows │ └── workflow.yml ├── .gitignore ├── .idea ├── .gitignore ├── act.iml ├── codeStyles │ └── codeStyleConfig.xml ├── copyright │ ├── act.xml │ └── profiles_settings.xml ├── misc.xml ├── modules.xml └── vcs.xml ├── .ocamlformat ├── CHANGES.md ├── LICENSE ├── LICENSE.herd ├── Makefile ├── README.md ├── bin ├── README.md ├── c4f.ml ├── c4f_c.ml ├── dune └── specs.expected ├── c4f.code-workspace ├── c4f.conf.example ├── c4f.opam ├── dune-project ├── example.litmus ├── lib ├── cmd_c │ └── src │ │ ├── delitmus.ml │ │ ├── delitmus.mli │ │ ├── dump_header.ml │ │ ├── dump_header.mli │ │ ├── dump_stats.ml │ │ ├── dump_stats.mli │ │ ├── dune │ │ ├── main.ml │ │ ├── main.mli │ │ ├── make_stub.ml │ │ ├── make_stub.mli │ │ ├── modify_header.ml │ │ ├── modify_header.mli │ │ ├── replace_header.ml │ │ └── replace_header.mli ├── cmd_fuzz │ └── src │ │ ├── bisect.ml │ │ ├── bisect.mli │ │ ├── dune │ │ ├── list_actions.ml │ │ ├── list_actions.mli │ │ ├── list_params.ml │ │ ├── main.ml │ │ ├── main.mli │ │ ├── replay.ml │ │ ├── replay.mli │ │ ├── run.ml │ │ └── run.mli ├── common │ ├── README.md │ ├── src │ │ ├── c_id.ml │ │ ├── c_id.mli │ │ ├── c_named.ml │ │ ├── c_named.mli │ │ ├── dune │ │ ├── id.ml │ │ ├── id.mli │ │ ├── litmus_id.ml │ │ ├── litmus_id.mli │ │ ├── output.ml │ │ ├── output.mli │ │ ├── scope.ml │ │ ├── scope.mli │ │ ├── scoped_map.ml │ │ └── scoped_map.mli │ └── test │ │ ├── c_id.ml │ │ ├── c_id.mli │ │ ├── dune │ │ ├── id.ml │ │ ├── id.mli │ │ ├── litmus_id.ml │ │ ├── litmus_id.mli │ │ ├── scope.ml │ │ ├── scope.mli │ │ ├── scoped_map.ml │ │ └── scoped_map.mli ├── common_cmd │ ├── README.md │ └── src │ │ ├── args.ml │ │ ├── args.mli │ │ ├── dune │ │ ├── license.ml │ │ └── license.mli ├── config │ ├── README.md │ ├── src │ │ ├── ast.ml │ │ ├── ast.mli │ │ ├── config.messages │ │ ├── dune │ │ ├── frontend.ml │ │ ├── frontend.mli │ │ ├── global.ml │ │ ├── global.mli │ │ ├── lexer.ml │ │ ├── parser.mly │ │ ├── reify.ml │ │ └── reify.mli │ └── test │ │ ├── dune │ │ ├── global.ml │ │ └── global.mli ├── delitmus │ ├── src │ │ ├── aux.ml │ │ ├── aux.mli │ │ ├── aux_maker.ml │ │ ├── aux_maker.mli │ │ ├── config.ml │ │ ├── config.mli │ │ ├── context.ml │ │ ├── context.mli │ │ ├── dune │ │ ├── filter.ml │ │ ├── filter.mli │ │ ├── function_map.ml │ │ ├── function_map.mli │ │ ├── function_rewriter.ml │ │ ├── function_rewriter.mli │ │ ├── import.ml │ │ ├── output.ml │ │ ├── output.mli │ │ ├── qualify.ml │ │ ├── qualify.mli │ │ ├── runner.ml │ │ ├── runner.mli │ │ ├── runner_types.mli │ │ ├── stub.ml │ │ ├── stub.mli │ │ ├── thread.ml │ │ ├── thread.mli │ │ ├── var_map.ml │ │ └── var_map.mli │ └── test │ │ ├── dune │ │ ├── qualify.ml │ │ ├── qualify.mli │ │ ├── var_map.ml │ │ └── var_map.mli ├── fir │ ├── src │ │ ├── address.ml │ │ ├── address.mli │ │ ├── assign.ml │ │ ├── assign.mli │ │ ├── atomic_class.ml │ │ ├── atomic_class.mli │ │ ├── atomic_cmpxchg.ml │ │ ├── atomic_cmpxchg.mli │ │ ├── atomic_expression.ml │ │ ├── atomic_expression.mli │ │ ├── atomic_fence.ml │ │ ├── atomic_fence.mli │ │ ├── atomic_fetch.ml │ │ ├── atomic_fetch.mli │ │ ├── atomic_load.ml │ │ ├── atomic_load.mli │ │ ├── atomic_statement.ml │ │ ├── atomic_statement.mli │ │ ├── atomic_store.ml │ │ ├── atomic_store.mli │ │ ├── block.ml │ │ ├── block.mli │ │ ├── call.ml │ │ ├── call.mli │ │ ├── class.ml │ │ ├── class.mli │ │ ├── class_constraint.ml │ │ ├── class_constraint.mli │ │ ├── class_types.mli │ │ ├── constant.ml │ │ ├── constant.mli │ │ ├── dune │ │ ├── early_out.ml │ │ ├── early_out.mli │ │ ├── env.ml │ │ ├── env.mli │ │ ├── env_types.mli │ │ ├── expr_ternary.ml │ │ ├── expr_ternary.mli │ │ ├── expression.ml │ │ ├── expression.mli │ │ ├── expression_class.ml │ │ ├── expression_class.mli │ │ ├── expression_eval.ml │ │ ├── expression_eval.mli │ │ ├── expression_traverse.ml │ │ ├── expression_traverse.mli │ │ ├── expression_types.mli │ │ ├── flow_block.ml │ │ ├── flow_block.mli │ │ ├── function.ml │ │ ├── function.mli │ │ ├── heap.ml │ │ ├── heap.mli │ │ ├── if.ml │ │ ├── if.mli │ │ ├── import.ml │ │ ├── initialiser.ml │ │ ├── initialiser.mli │ │ ├── litmus.ml │ │ ├── litmus.mli │ │ ├── litmus_stats.ml │ │ ├── litmus_stats.mli │ │ ├── lvalue.ml │ │ ├── lvalue.mli │ │ ├── mem_order.ml │ │ ├── mem_order.mli │ │ ├── op.ml │ │ ├── op.mli │ │ ├── op_rule.ml │ │ ├── op_rule.mli │ │ ├── op_types.mli │ │ ├── prim_statement.ml │ │ ├── prim_statement.mli │ │ ├── program.ml │ │ ├── program.mli │ │ ├── statement.ml │ │ ├── statement.mli │ │ ├── statement_class.ml │ │ ├── statement_class.mli │ │ ├── statement_traverse.ml │ │ ├── statement_traverse.mli │ │ ├── statement_types.mli │ │ ├── type.ml │ │ ├── type.mli │ │ ├── types.mli │ │ ├── with_meta.ml │ │ └── with_meta.mli │ └── test │ │ ├── address.ml │ │ ├── address.mli │ │ ├── atomic_fence.ml │ │ ├── atomic_fence.mli │ │ ├── atomic_load.ml │ │ ├── atomic_load.mli │ │ ├── constant.ml │ │ ├── constant.mli │ │ ├── dune │ │ ├── env.ml │ │ ├── env.mli │ │ ├── expression.ml │ │ ├── expression.mli │ │ ├── expression_class.ml │ │ ├── expression_class.mli │ │ ├── expression_traverse.ml │ │ ├── expression_traverse.mli │ │ ├── flow_block.ml │ │ ├── flow_block.mli │ │ ├── import.ml │ │ ├── litmus_stats.ml │ │ ├── litmus_stats.mli │ │ ├── litmus_vars.ml │ │ ├── litmus_vars.mli │ │ ├── lvalue.ml │ │ ├── lvalue.mli │ │ ├── mem_order.ml │ │ ├── mem_order.mli │ │ ├── op.ml │ │ ├── op.mli │ │ ├── statement.ml │ │ ├── statement.mli │ │ ├── statement_class.ml │ │ ├── statement_class.mli │ │ ├── statement_traverse.ml │ │ ├── statement_traverse.mli │ │ ├── type.ml │ │ └── type.mli ├── fir_gen │ ├── src │ │ ├── address.ml │ │ ├── address.mli │ │ ├── assign.ml │ │ ├── assign.mli │ │ ├── atomic_fetch.ml │ │ ├── atomic_fetch.mli │ │ ├── atomic_load.ml │ │ ├── atomic_load.mli │ │ ├── atomic_store.ml │ │ ├── atomic_store.mli │ │ ├── dune │ │ ├── expr.ml │ │ ├── expr.mli │ │ ├── expr_bool.ml │ │ ├── expr_bool.mli │ │ ├── expr_const.ml │ │ ├── expr_const.mli │ │ ├── expr_int.ml │ │ ├── expr_int.mli │ │ ├── expr_prim.ml │ │ ├── expr_prim.mli │ │ ├── expr_util.ml │ │ ├── expr_util.mli │ │ ├── import.ml │ │ ├── lvalue.ml │ │ ├── lvalue.mli │ │ ├── op.ml │ │ └── op.mli │ └── test │ │ ├── address.ml │ │ ├── address.mli │ │ ├── assign.ml │ │ ├── assign.mli │ │ ├── atomic_load.ml │ │ ├── atomic_load.mli │ │ ├── dune │ │ ├── expr.ml │ │ ├── expr.mli │ │ ├── import.ml │ │ ├── lvalue.ml │ │ ├── lvalue.mli │ │ ├── op.ml │ │ └── op.mli ├── fuzz │ ├── README.md │ ├── src │ │ ├── action.ml │ │ ├── action.mli │ │ ├── action_types.mli │ │ ├── availability.ml │ │ ├── availability.mli │ │ ├── config_tables.ml │ │ ├── config_tables.mli │ │ ├── dune │ │ ├── flag.ml │ │ ├── flag.mli │ │ ├── import.ml │ │ ├── label.ml │ │ ├── label.mli │ │ ├── metadata.ml │ │ ├── metadata.mli │ │ ├── opt_gen.ml │ │ ├── opt_gen.mli │ │ ├── output.ml │ │ ├── output.mli │ │ ├── param_map.ml │ │ ├── param_map.mli │ │ ├── param_spec.ml │ │ ├── param_spec.mli │ │ ├── path.ml │ │ ├── path.mli │ │ ├── path_consumers.ml │ │ ├── path_consumers.mli │ │ ├── path_context.ml │ │ ├── path_context.mli │ │ ├── path_filter.ml │ │ ├── path_filter.mli │ │ ├── path_kind.ml │ │ ├── path_kind.mli │ │ ├── path_meta.ml │ │ ├── path_meta.mli │ │ ├── path_producers.ml │ │ ├── path_producers.mli │ │ ├── payload_gen.ml │ │ ├── payload_gen.mli │ │ ├── payload_impl.ml │ │ ├── payload_impl.mli │ │ ├── payload_types.mli │ │ ├── state.ml │ │ ├── state.mli │ │ ├── subject.ml │ │ ├── subject.mli │ │ ├── trace.ml │ │ ├── trace.mli │ │ ├── var.ml │ │ └── var.mli │ └── test │ │ ├── action.ml │ │ ├── action.mli │ │ ├── dune │ │ ├── flag.ml │ │ ├── flag.mli │ │ ├── import.ml │ │ ├── param_map.ml │ │ ├── param_map.mli │ │ ├── path.ml │ │ ├── path.mli │ │ ├── path_consumers.ml │ │ ├── path_consumers.mli │ │ ├── path_meta.ml │ │ ├── path_meta.mli │ │ ├── path_producers.ml │ │ ├── path_producers.mli │ │ ├── state.ml │ │ ├── state.mli │ │ ├── subject.ml │ │ ├── subject.mli │ │ ├── trace.ml │ │ ├── trace.mli │ │ ├── var.ml │ │ └── var.mli ├── fuzz_actions │ ├── src │ │ ├── atomic_cmpxchg.ml │ │ ├── atomic_cmpxchg.mli │ │ ├── atomic_fetch.ml │ │ ├── atomic_fetch.mli │ │ ├── atomic_store.ml │ │ ├── atomic_store.mli │ │ ├── dune │ │ ├── flow_dead.ml │ │ ├── flow_dead.mli │ │ ├── flow_for.ml │ │ ├── flow_for.mli │ │ ├── flow_if.ml │ │ ├── flow_if.mli │ │ ├── flow_lock.ml │ │ ├── flow_lock.mli │ │ ├── flow_while.ml │ │ ├── flow_while.mli │ │ ├── import.ml │ │ ├── mem.ml │ │ ├── mem.mli │ │ ├── program.ml │ │ ├── program.mli │ │ ├── storelike.ml │ │ ├── storelike.mli │ │ ├── storelike_types.mli │ │ ├── table.ml │ │ ├── table.mli │ │ ├── var.ml │ │ ├── var.mli │ │ ├── var_assign.ml │ │ └── var_assign.mli │ └── test │ │ ├── atomic_cmpxchg.ml │ │ ├── atomic_cmpxchg.mli │ │ ├── atomic_fetch.ml │ │ ├── atomic_fetch.mli │ │ ├── atomic_store.ml │ │ ├── atomic_store.mli │ │ ├── dune │ │ ├── flow_dead.ml │ │ ├── flow_dead.mli │ │ ├── flow_for.ml │ │ ├── flow_for.mli │ │ ├── flow_if.ml │ │ ├── flow_if.mli │ │ ├── flow_lock.ml │ │ ├── flow_lock.mli │ │ ├── flow_while.ml │ │ ├── flow_while.mli │ │ ├── import.ml │ │ ├── mem.ml │ │ ├── program.ml │ │ ├── program.mli │ │ ├── storelike.ml │ │ ├── storelike.mli │ │ ├── var.ml │ │ ├── var.mli │ │ ├── var_assign.ml │ │ └── var_assign.mli ├── fuzz_run │ ├── README.md │ ├── src │ │ ├── action_pool.ml │ │ ├── action_pool.mli │ │ ├── config.ml │ │ ├── config.mli │ │ ├── dune │ │ ├── filter.ml │ │ ├── filter.mli │ │ ├── import.ml │ │ ├── randomised.ml │ │ ├── randomised.mli │ │ ├── summary.ml │ │ └── summary.mli │ └── test │ │ ├── action_pool.ml │ │ ├── action_pool.mli │ │ ├── config.ml │ │ ├── config.mli │ │ ├── dune │ │ └── import.ml ├── litmus │ ├── README.md │ ├── src │ │ ├── ast.ml │ │ ├── ast.mli │ │ ├── convert.ml │ │ ├── convert.mli │ │ ├── dune │ │ ├── header.ml │ │ ├── header.mli │ │ ├── postcondition.ml │ │ ├── postcondition.mli │ │ ├── postcondition_eval.ml │ │ ├── postcondition_eval.mli │ │ ├── pp.ml │ │ ├── pp.mli │ │ ├── pp_intf.ml │ │ ├── predicate.ml │ │ ├── predicate.mli │ │ ├── test.ml │ │ ├── test.mli │ │ └── test_types.mli │ └── test │ │ ├── dune │ │ ├── examples.ml │ │ ├── examples.mli │ │ ├── header.ml │ │ ├── header.mli │ │ ├── postcondition.ml │ │ ├── postcondition.mli │ │ ├── predicate.ml │ │ ├── predicate.mli │ │ ├── test.ml │ │ └── test.mli ├── litmus_c │ ├── README.md │ ├── src │ │ ├── abstract.ml │ │ ├── abstract.mli │ │ ├── abstract_atomic.ml │ │ ├── abstract_atomic.mli │ │ ├── abstract_expr.ml │ │ ├── abstract_expr.mli │ │ ├── abstract_prim.ml │ │ ├── abstract_prim.mli │ │ ├── abstract_stm.ml │ │ ├── abstract_stm.mli │ │ ├── ast.ml │ │ ├── ast.mli │ │ ├── ast_basic.ml │ │ ├── ast_basic.mli │ │ ├── ast_basic_types.mli │ │ ├── ast_types.mli │ │ ├── c.messages │ │ ├── dump_stats.ml │ │ ├── dump_stats.mli │ │ ├── dune │ │ ├── frontend.ml │ │ ├── frontend.mli │ │ ├── header.ml │ │ ├── header.mli │ │ ├── import.ml │ │ ├── lexer.ml │ │ ├── lexer.mli │ │ ├── operators.ml │ │ ├── operators.mli │ │ ├── parser.mly │ │ ├── reify.ml │ │ ├── reify.mli │ │ ├── reify_atomic.ml │ │ ├── reify_atomic.mli │ │ ├── reify_expr.ml │ │ ├── reify_expr.mli │ │ ├── reify_prim.ml │ │ ├── reify_prim.mli │ │ ├── reify_stm.ml │ │ └── reify_stm.mli │ └── test │ │ ├── abstract_expr.ml │ │ ├── abstract_expr.mli │ │ ├── abstract_prim.ml │ │ ├── abstract_prim.mli │ │ ├── abstract_stm.ml │ │ ├── abstract_stm.mli │ │ ├── dune │ │ ├── frontend.ml │ │ ├── frontend.mli │ │ ├── operators.ml │ │ ├── operators.mli │ │ ├── reify_expr.ml │ │ ├── reify_expr.mli │ │ ├── reify_prim.ml │ │ ├── reify_prim.mli │ │ ├── reify_stm.ml │ │ └── reify_stm.mli ├── plumbing │ ├── src │ │ ├── convert_types.mli │ │ ├── dune │ │ ├── fpath_helpers.ml │ │ ├── fpath_helpers.mli │ │ ├── input.ml │ │ ├── input.mli │ │ ├── io_common.ml │ │ ├── io_common.mli │ │ ├── io_helpers.ml │ │ ├── io_helpers.mli │ │ ├── io_types.mli │ │ ├── jsonable.ml │ │ ├── jsonable.mli │ │ ├── jsonable_types.mli │ │ ├── loadable.ml │ │ ├── loadable.mli │ │ ├── loadable_types.mli │ │ ├── output.ml │ │ ├── output.mli │ │ ├── storable.ml │ │ ├── storable.mli │ │ └── storable_types.mli │ └── test │ │ ├── dune │ │ ├── input.ml │ │ └── input.mli └── utils │ ├── README.md │ ├── src │ ├── accessor.ml │ ├── accessor.mli │ ├── dune │ ├── enum.ml │ ├── enum.mli │ ├── enum_types.mli │ ├── frontend.ml │ ├── frontend.mli │ ├── fs.ml │ ├── fs.mli │ ├── fs_types.mli │ ├── io.ml │ ├── io.mli │ ├── lex_utils.ml │ ├── lex_utils.mli │ ├── my_format.ml │ ├── my_format.mli │ ├── my_list.ml │ ├── my_list.mli │ ├── my_map.ml │ ├── my_map.mli │ ├── my_quickcheck.ml │ ├── my_quickcheck.mli │ ├── my_string.ml │ ├── my_string.mli │ ├── reader.ml │ ├── reader.mli │ ├── reader_types.mli │ ├── string_table.ml │ ├── string_table.mli │ ├── weighted_list.ml │ └── weighted_list.mli │ └── test │ ├── dune │ ├── fs.ml │ ├── fs.mli │ ├── lex_utils.ml │ ├── lex_utils.mli │ ├── my_format.ml │ ├── my_format.mli │ ├── my_list.ml │ ├── my_list.mli │ ├── my_string.ml │ ├── my_string.mli │ ├── weighted_list.ml │ └── weighted_list.mli ├── proofs └── overflow.v └── regress_tests ├── common.ml ├── common.mli ├── config.expected ├── config.ml ├── config_failures.expected ├── config_failures.ml ├── delitmus.expected ├── delitmus.ml ├── dump_header.expected ├── dump_header.ml ├── dump_stats.expected ├── dump_stats.ml ├── dune ├── explain.expected ├── fuzz_action_list.expected ├── fuzz_action_list.ml ├── fuzz_replays.expected ├── fuzz_replays.ml ├── input ├── config │ ├── failures │ │ ├── fuzz_empty_action.conf │ │ ├── fuzz_empty_weight.conf │ │ └── unknown_block.conf │ └── valid │ │ ├── comments_only.conf │ │ ├── empty.conf │ │ └── params.conf ├── fuzz │ └── replays │ │ ├── cmpxchg.insert-int-arbitrary.trace │ │ ├── cmpxchg.insert-int-fail.trace │ │ ├── cmpxchg.insert-int-succeed.trace │ │ ├── cmpxchg.litmus │ │ ├── fetch.insert-boundary.trace │ │ ├── fetch.insert-negated-addend.trace │ │ ├── fetch.litmus │ │ ├── morisset.1.trace │ │ ├── morisset.litmus │ │ ├── sbsc.1.trace │ │ └── sbsc.litmus └── litmus │ ├── deacon.c.litmus │ ├── failures │ ├── cpp.c.litmus │ ├── location_fn.c.litmus │ ├── tx_atomic_nonblock.litmus │ └── tx_sync_nonblock.litmus │ ├── fuzz_local_bools.c.litmus │ ├── iriw.c.litmus │ ├── iriw_fuzz_redundant.c.litmus │ ├── memalloy_cmpxchg.c.litmus │ ├── memalloy_na_int.c.litmus │ ├── nonzero_local.c.litmus │ └── rwc.c.litmus ├── litmus_failures.expected ├── litmus_failures.ml └── litmusify.expected /.github/workflows/workflow.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/.github/workflows/workflow.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/.gitignore -------------------------------------------------------------------------------- /.idea/.gitignore: -------------------------------------------------------------------------------- 1 | # Default ignored files 2 | /workspace.xml -------------------------------------------------------------------------------- /.idea/act.iml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/.idea/act.iml -------------------------------------------------------------------------------- /.idea/codeStyles/codeStyleConfig.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/.idea/codeStyles/codeStyleConfig.xml -------------------------------------------------------------------------------- /.idea/copyright/act.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/.idea/copyright/act.xml -------------------------------------------------------------------------------- /.idea/copyright/profiles_settings.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/.idea/copyright/profiles_settings.xml -------------------------------------------------------------------------------- /.idea/misc.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/.idea/misc.xml -------------------------------------------------------------------------------- /.idea/modules.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/.idea/modules.xml -------------------------------------------------------------------------------- /.idea/vcs.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/.idea/vcs.xml -------------------------------------------------------------------------------- /.ocamlformat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/.ocamlformat -------------------------------------------------------------------------------- /CHANGES.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/CHANGES.md -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/LICENSE -------------------------------------------------------------------------------- /LICENSE.herd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/LICENSE.herd -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/README.md -------------------------------------------------------------------------------- /bin/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/bin/README.md -------------------------------------------------------------------------------- /bin/c4f.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/bin/c4f.ml -------------------------------------------------------------------------------- /bin/c4f_c.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/bin/c4f_c.ml -------------------------------------------------------------------------------- /bin/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/bin/dune -------------------------------------------------------------------------------- /bin/specs.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/bin/specs.expected -------------------------------------------------------------------------------- /c4f.code-workspace: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/c4f.code-workspace -------------------------------------------------------------------------------- /c4f.conf.example: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/c4f.conf.example -------------------------------------------------------------------------------- /c4f.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/c4f.opam -------------------------------------------------------------------------------- /dune-project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/dune-project -------------------------------------------------------------------------------- /example.litmus: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/example.litmus -------------------------------------------------------------------------------- /lib/cmd_c/src/delitmus.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/cmd_c/src/delitmus.ml -------------------------------------------------------------------------------- /lib/cmd_c/src/delitmus.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/cmd_c/src/delitmus.mli -------------------------------------------------------------------------------- /lib/cmd_c/src/dump_header.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/cmd_c/src/dump_header.ml -------------------------------------------------------------------------------- /lib/cmd_c/src/dump_header.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/cmd_c/src/dump_header.mli -------------------------------------------------------------------------------- /lib/cmd_c/src/dump_stats.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/cmd_c/src/dump_stats.ml -------------------------------------------------------------------------------- /lib/cmd_c/src/dump_stats.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/cmd_c/src/dump_stats.mli -------------------------------------------------------------------------------- /lib/cmd_c/src/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/cmd_c/src/dune -------------------------------------------------------------------------------- /lib/cmd_c/src/main.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/cmd_c/src/main.ml -------------------------------------------------------------------------------- /lib/cmd_c/src/main.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/cmd_c/src/main.mli -------------------------------------------------------------------------------- /lib/cmd_c/src/make_stub.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/cmd_c/src/make_stub.ml -------------------------------------------------------------------------------- /lib/cmd_c/src/make_stub.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/cmd_c/src/make_stub.mli -------------------------------------------------------------------------------- /lib/cmd_c/src/modify_header.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/cmd_c/src/modify_header.ml -------------------------------------------------------------------------------- /lib/cmd_c/src/modify_header.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/cmd_c/src/modify_header.mli -------------------------------------------------------------------------------- /lib/cmd_c/src/replace_header.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/cmd_c/src/replace_header.ml -------------------------------------------------------------------------------- /lib/cmd_c/src/replace_header.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/cmd_c/src/replace_header.mli -------------------------------------------------------------------------------- /lib/cmd_fuzz/src/bisect.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/cmd_fuzz/src/bisect.ml -------------------------------------------------------------------------------- /lib/cmd_fuzz/src/bisect.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/cmd_fuzz/src/bisect.mli -------------------------------------------------------------------------------- /lib/cmd_fuzz/src/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/cmd_fuzz/src/dune -------------------------------------------------------------------------------- /lib/cmd_fuzz/src/list_actions.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/cmd_fuzz/src/list_actions.ml -------------------------------------------------------------------------------- /lib/cmd_fuzz/src/list_actions.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/cmd_fuzz/src/list_actions.mli -------------------------------------------------------------------------------- /lib/cmd_fuzz/src/list_params.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/cmd_fuzz/src/list_params.ml -------------------------------------------------------------------------------- /lib/cmd_fuzz/src/main.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/cmd_fuzz/src/main.ml -------------------------------------------------------------------------------- /lib/cmd_fuzz/src/main.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/cmd_fuzz/src/main.mli -------------------------------------------------------------------------------- /lib/cmd_fuzz/src/replay.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/cmd_fuzz/src/replay.ml -------------------------------------------------------------------------------- /lib/cmd_fuzz/src/replay.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/cmd_fuzz/src/replay.mli -------------------------------------------------------------------------------- /lib/cmd_fuzz/src/run.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/cmd_fuzz/src/run.ml -------------------------------------------------------------------------------- /lib/cmd_fuzz/src/run.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/cmd_fuzz/src/run.mli -------------------------------------------------------------------------------- /lib/common/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/common/README.md -------------------------------------------------------------------------------- /lib/common/src/c_id.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/common/src/c_id.ml -------------------------------------------------------------------------------- /lib/common/src/c_id.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/common/src/c_id.mli -------------------------------------------------------------------------------- /lib/common/src/c_named.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/common/src/c_named.ml -------------------------------------------------------------------------------- /lib/common/src/c_named.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/common/src/c_named.mli -------------------------------------------------------------------------------- /lib/common/src/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/common/src/dune -------------------------------------------------------------------------------- /lib/common/src/id.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/common/src/id.ml -------------------------------------------------------------------------------- /lib/common/src/id.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/common/src/id.mli -------------------------------------------------------------------------------- /lib/common/src/litmus_id.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/common/src/litmus_id.ml -------------------------------------------------------------------------------- /lib/common/src/litmus_id.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/common/src/litmus_id.mli -------------------------------------------------------------------------------- /lib/common/src/output.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/common/src/output.ml -------------------------------------------------------------------------------- /lib/common/src/output.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/common/src/output.mli -------------------------------------------------------------------------------- /lib/common/src/scope.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/common/src/scope.ml -------------------------------------------------------------------------------- /lib/common/src/scope.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/common/src/scope.mli -------------------------------------------------------------------------------- /lib/common/src/scoped_map.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/common/src/scoped_map.ml -------------------------------------------------------------------------------- /lib/common/src/scoped_map.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/common/src/scoped_map.mli -------------------------------------------------------------------------------- /lib/common/test/c_id.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/common/test/c_id.ml -------------------------------------------------------------------------------- /lib/common/test/c_id.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/common/test/c_id.mli -------------------------------------------------------------------------------- /lib/common/test/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/common/test/dune -------------------------------------------------------------------------------- /lib/common/test/id.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/common/test/id.ml -------------------------------------------------------------------------------- /lib/common/test/id.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/common/test/id.mli -------------------------------------------------------------------------------- /lib/common/test/litmus_id.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/common/test/litmus_id.ml -------------------------------------------------------------------------------- /lib/common/test/litmus_id.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/common/test/litmus_id.mli -------------------------------------------------------------------------------- /lib/common/test/scope.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/common/test/scope.ml -------------------------------------------------------------------------------- /lib/common/test/scope.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/common/test/scope.mli -------------------------------------------------------------------------------- /lib/common/test/scoped_map.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/common/test/scoped_map.ml -------------------------------------------------------------------------------- /lib/common/test/scoped_map.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/common/test/scoped_map.mli -------------------------------------------------------------------------------- /lib/common_cmd/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/common_cmd/README.md -------------------------------------------------------------------------------- /lib/common_cmd/src/args.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/common_cmd/src/args.ml -------------------------------------------------------------------------------- /lib/common_cmd/src/args.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/common_cmd/src/args.mli -------------------------------------------------------------------------------- /lib/common_cmd/src/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/common_cmd/src/dune -------------------------------------------------------------------------------- /lib/common_cmd/src/license.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/common_cmd/src/license.ml -------------------------------------------------------------------------------- /lib/common_cmd/src/license.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/common_cmd/src/license.mli -------------------------------------------------------------------------------- /lib/config/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/config/README.md -------------------------------------------------------------------------------- /lib/config/src/ast.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/config/src/ast.ml -------------------------------------------------------------------------------- /lib/config/src/ast.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/config/src/ast.mli -------------------------------------------------------------------------------- /lib/config/src/config.messages: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/config/src/config.messages -------------------------------------------------------------------------------- /lib/config/src/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/config/src/dune -------------------------------------------------------------------------------- /lib/config/src/frontend.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/config/src/frontend.ml -------------------------------------------------------------------------------- /lib/config/src/frontend.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/config/src/frontend.mli -------------------------------------------------------------------------------- /lib/config/src/global.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/config/src/global.ml -------------------------------------------------------------------------------- /lib/config/src/global.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/config/src/global.mli -------------------------------------------------------------------------------- /lib/config/src/lexer.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/config/src/lexer.ml -------------------------------------------------------------------------------- /lib/config/src/parser.mly: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/config/src/parser.mly -------------------------------------------------------------------------------- /lib/config/src/reify.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/config/src/reify.ml -------------------------------------------------------------------------------- /lib/config/src/reify.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/config/src/reify.mli -------------------------------------------------------------------------------- /lib/config/test/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/config/test/dune -------------------------------------------------------------------------------- /lib/config/test/global.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/config/test/global.ml -------------------------------------------------------------------------------- /lib/config/test/global.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/config/test/global.mli -------------------------------------------------------------------------------- /lib/delitmus/src/aux.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/delitmus/src/aux.ml -------------------------------------------------------------------------------- /lib/delitmus/src/aux.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/delitmus/src/aux.mli -------------------------------------------------------------------------------- /lib/delitmus/src/aux_maker.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/delitmus/src/aux_maker.ml -------------------------------------------------------------------------------- /lib/delitmus/src/aux_maker.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/delitmus/src/aux_maker.mli -------------------------------------------------------------------------------- /lib/delitmus/src/config.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/delitmus/src/config.ml -------------------------------------------------------------------------------- /lib/delitmus/src/config.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/delitmus/src/config.mli -------------------------------------------------------------------------------- /lib/delitmus/src/context.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/delitmus/src/context.ml -------------------------------------------------------------------------------- /lib/delitmus/src/context.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/delitmus/src/context.mli -------------------------------------------------------------------------------- /lib/delitmus/src/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/delitmus/src/dune -------------------------------------------------------------------------------- /lib/delitmus/src/filter.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/delitmus/src/filter.ml -------------------------------------------------------------------------------- /lib/delitmus/src/filter.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/delitmus/src/filter.mli -------------------------------------------------------------------------------- /lib/delitmus/src/function_map.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/delitmus/src/function_map.ml -------------------------------------------------------------------------------- /lib/delitmus/src/function_map.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/delitmus/src/function_map.mli -------------------------------------------------------------------------------- /lib/delitmus/src/function_rewriter.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/delitmus/src/function_rewriter.ml -------------------------------------------------------------------------------- /lib/delitmus/src/function_rewriter.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/delitmus/src/function_rewriter.mli -------------------------------------------------------------------------------- /lib/delitmus/src/import.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/delitmus/src/import.ml -------------------------------------------------------------------------------- /lib/delitmus/src/output.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/delitmus/src/output.ml -------------------------------------------------------------------------------- /lib/delitmus/src/output.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/delitmus/src/output.mli -------------------------------------------------------------------------------- /lib/delitmus/src/qualify.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/delitmus/src/qualify.ml -------------------------------------------------------------------------------- /lib/delitmus/src/qualify.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/delitmus/src/qualify.mli -------------------------------------------------------------------------------- /lib/delitmus/src/runner.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/delitmus/src/runner.ml -------------------------------------------------------------------------------- /lib/delitmus/src/runner.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/delitmus/src/runner.mli -------------------------------------------------------------------------------- /lib/delitmus/src/runner_types.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/delitmus/src/runner_types.mli -------------------------------------------------------------------------------- /lib/delitmus/src/stub.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/delitmus/src/stub.ml -------------------------------------------------------------------------------- /lib/delitmus/src/stub.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/delitmus/src/stub.mli -------------------------------------------------------------------------------- /lib/delitmus/src/thread.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/delitmus/src/thread.ml -------------------------------------------------------------------------------- /lib/delitmus/src/thread.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/delitmus/src/thread.mli -------------------------------------------------------------------------------- /lib/delitmus/src/var_map.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/delitmus/src/var_map.ml -------------------------------------------------------------------------------- /lib/delitmus/src/var_map.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/delitmus/src/var_map.mli -------------------------------------------------------------------------------- /lib/delitmus/test/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/delitmus/test/dune -------------------------------------------------------------------------------- /lib/delitmus/test/qualify.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/delitmus/test/qualify.ml -------------------------------------------------------------------------------- /lib/delitmus/test/qualify.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/delitmus/test/qualify.mli -------------------------------------------------------------------------------- /lib/delitmus/test/var_map.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/delitmus/test/var_map.ml -------------------------------------------------------------------------------- /lib/delitmus/test/var_map.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/delitmus/test/var_map.mli -------------------------------------------------------------------------------- /lib/fir/src/address.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir/src/address.ml -------------------------------------------------------------------------------- /lib/fir/src/address.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir/src/address.mli -------------------------------------------------------------------------------- /lib/fir/src/assign.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir/src/assign.ml -------------------------------------------------------------------------------- /lib/fir/src/assign.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir/src/assign.mli -------------------------------------------------------------------------------- /lib/fir/src/atomic_class.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir/src/atomic_class.ml -------------------------------------------------------------------------------- /lib/fir/src/atomic_class.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir/src/atomic_class.mli -------------------------------------------------------------------------------- /lib/fir/src/atomic_cmpxchg.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir/src/atomic_cmpxchg.ml -------------------------------------------------------------------------------- /lib/fir/src/atomic_cmpxchg.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir/src/atomic_cmpxchg.mli -------------------------------------------------------------------------------- /lib/fir/src/atomic_expression.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir/src/atomic_expression.ml -------------------------------------------------------------------------------- /lib/fir/src/atomic_expression.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir/src/atomic_expression.mli -------------------------------------------------------------------------------- /lib/fir/src/atomic_fence.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir/src/atomic_fence.ml -------------------------------------------------------------------------------- /lib/fir/src/atomic_fence.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir/src/atomic_fence.mli -------------------------------------------------------------------------------- /lib/fir/src/atomic_fetch.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir/src/atomic_fetch.ml -------------------------------------------------------------------------------- /lib/fir/src/atomic_fetch.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir/src/atomic_fetch.mli -------------------------------------------------------------------------------- /lib/fir/src/atomic_load.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir/src/atomic_load.ml -------------------------------------------------------------------------------- /lib/fir/src/atomic_load.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir/src/atomic_load.mli -------------------------------------------------------------------------------- /lib/fir/src/atomic_statement.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir/src/atomic_statement.ml -------------------------------------------------------------------------------- /lib/fir/src/atomic_statement.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir/src/atomic_statement.mli -------------------------------------------------------------------------------- /lib/fir/src/atomic_store.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir/src/atomic_store.ml -------------------------------------------------------------------------------- /lib/fir/src/atomic_store.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir/src/atomic_store.mli -------------------------------------------------------------------------------- /lib/fir/src/block.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir/src/block.ml -------------------------------------------------------------------------------- /lib/fir/src/block.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir/src/block.mli -------------------------------------------------------------------------------- /lib/fir/src/call.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir/src/call.ml -------------------------------------------------------------------------------- /lib/fir/src/call.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir/src/call.mli -------------------------------------------------------------------------------- /lib/fir/src/class.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir/src/class.ml -------------------------------------------------------------------------------- /lib/fir/src/class.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir/src/class.mli -------------------------------------------------------------------------------- /lib/fir/src/class_constraint.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir/src/class_constraint.ml -------------------------------------------------------------------------------- /lib/fir/src/class_constraint.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir/src/class_constraint.mli -------------------------------------------------------------------------------- /lib/fir/src/class_types.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir/src/class_types.mli -------------------------------------------------------------------------------- /lib/fir/src/constant.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir/src/constant.ml -------------------------------------------------------------------------------- /lib/fir/src/constant.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir/src/constant.mli -------------------------------------------------------------------------------- /lib/fir/src/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir/src/dune -------------------------------------------------------------------------------- /lib/fir/src/early_out.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir/src/early_out.ml -------------------------------------------------------------------------------- /lib/fir/src/early_out.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir/src/early_out.mli -------------------------------------------------------------------------------- /lib/fir/src/env.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir/src/env.ml -------------------------------------------------------------------------------- /lib/fir/src/env.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir/src/env.mli -------------------------------------------------------------------------------- /lib/fir/src/env_types.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir/src/env_types.mli -------------------------------------------------------------------------------- /lib/fir/src/expr_ternary.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir/src/expr_ternary.ml -------------------------------------------------------------------------------- /lib/fir/src/expr_ternary.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir/src/expr_ternary.mli -------------------------------------------------------------------------------- /lib/fir/src/expression.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir/src/expression.ml -------------------------------------------------------------------------------- /lib/fir/src/expression.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir/src/expression.mli -------------------------------------------------------------------------------- /lib/fir/src/expression_class.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir/src/expression_class.ml -------------------------------------------------------------------------------- /lib/fir/src/expression_class.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir/src/expression_class.mli -------------------------------------------------------------------------------- /lib/fir/src/expression_eval.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir/src/expression_eval.ml -------------------------------------------------------------------------------- /lib/fir/src/expression_eval.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir/src/expression_eval.mli -------------------------------------------------------------------------------- /lib/fir/src/expression_traverse.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir/src/expression_traverse.ml -------------------------------------------------------------------------------- /lib/fir/src/expression_traverse.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir/src/expression_traverse.mli -------------------------------------------------------------------------------- /lib/fir/src/expression_types.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir/src/expression_types.mli -------------------------------------------------------------------------------- /lib/fir/src/flow_block.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir/src/flow_block.ml -------------------------------------------------------------------------------- /lib/fir/src/flow_block.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir/src/flow_block.mli -------------------------------------------------------------------------------- /lib/fir/src/function.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir/src/function.ml -------------------------------------------------------------------------------- /lib/fir/src/function.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir/src/function.mli -------------------------------------------------------------------------------- /lib/fir/src/heap.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir/src/heap.ml -------------------------------------------------------------------------------- /lib/fir/src/heap.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir/src/heap.mli -------------------------------------------------------------------------------- /lib/fir/src/if.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir/src/if.ml -------------------------------------------------------------------------------- /lib/fir/src/if.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir/src/if.mli -------------------------------------------------------------------------------- /lib/fir/src/import.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir/src/import.ml -------------------------------------------------------------------------------- /lib/fir/src/initialiser.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir/src/initialiser.ml -------------------------------------------------------------------------------- /lib/fir/src/initialiser.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir/src/initialiser.mli -------------------------------------------------------------------------------- /lib/fir/src/litmus.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir/src/litmus.ml -------------------------------------------------------------------------------- /lib/fir/src/litmus.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir/src/litmus.mli -------------------------------------------------------------------------------- /lib/fir/src/litmus_stats.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir/src/litmus_stats.ml -------------------------------------------------------------------------------- /lib/fir/src/litmus_stats.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir/src/litmus_stats.mli -------------------------------------------------------------------------------- /lib/fir/src/lvalue.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir/src/lvalue.ml -------------------------------------------------------------------------------- /lib/fir/src/lvalue.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir/src/lvalue.mli -------------------------------------------------------------------------------- /lib/fir/src/mem_order.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir/src/mem_order.ml -------------------------------------------------------------------------------- /lib/fir/src/mem_order.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir/src/mem_order.mli -------------------------------------------------------------------------------- /lib/fir/src/op.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir/src/op.ml -------------------------------------------------------------------------------- /lib/fir/src/op.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir/src/op.mli -------------------------------------------------------------------------------- /lib/fir/src/op_rule.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir/src/op_rule.ml -------------------------------------------------------------------------------- /lib/fir/src/op_rule.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir/src/op_rule.mli -------------------------------------------------------------------------------- /lib/fir/src/op_types.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir/src/op_types.mli -------------------------------------------------------------------------------- /lib/fir/src/prim_statement.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir/src/prim_statement.ml -------------------------------------------------------------------------------- /lib/fir/src/prim_statement.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir/src/prim_statement.mli -------------------------------------------------------------------------------- /lib/fir/src/program.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir/src/program.ml -------------------------------------------------------------------------------- /lib/fir/src/program.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir/src/program.mli -------------------------------------------------------------------------------- /lib/fir/src/statement.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir/src/statement.ml -------------------------------------------------------------------------------- /lib/fir/src/statement.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir/src/statement.mli -------------------------------------------------------------------------------- /lib/fir/src/statement_class.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir/src/statement_class.ml -------------------------------------------------------------------------------- /lib/fir/src/statement_class.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir/src/statement_class.mli -------------------------------------------------------------------------------- /lib/fir/src/statement_traverse.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir/src/statement_traverse.ml -------------------------------------------------------------------------------- /lib/fir/src/statement_traverse.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir/src/statement_traverse.mli -------------------------------------------------------------------------------- /lib/fir/src/statement_types.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir/src/statement_types.mli -------------------------------------------------------------------------------- /lib/fir/src/type.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir/src/type.ml -------------------------------------------------------------------------------- /lib/fir/src/type.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir/src/type.mli -------------------------------------------------------------------------------- /lib/fir/src/types.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir/src/types.mli -------------------------------------------------------------------------------- /lib/fir/src/with_meta.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir/src/with_meta.ml -------------------------------------------------------------------------------- /lib/fir/src/with_meta.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir/src/with_meta.mli -------------------------------------------------------------------------------- /lib/fir/test/address.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir/test/address.ml -------------------------------------------------------------------------------- /lib/fir/test/address.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir/test/address.mli -------------------------------------------------------------------------------- /lib/fir/test/atomic_fence.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir/test/atomic_fence.ml -------------------------------------------------------------------------------- /lib/fir/test/atomic_fence.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir/test/atomic_fence.mli -------------------------------------------------------------------------------- /lib/fir/test/atomic_load.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir/test/atomic_load.ml -------------------------------------------------------------------------------- /lib/fir/test/atomic_load.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir/test/atomic_load.mli -------------------------------------------------------------------------------- /lib/fir/test/constant.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir/test/constant.ml -------------------------------------------------------------------------------- /lib/fir/test/constant.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir/test/constant.mli -------------------------------------------------------------------------------- /lib/fir/test/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir/test/dune -------------------------------------------------------------------------------- /lib/fir/test/env.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir/test/env.ml -------------------------------------------------------------------------------- /lib/fir/test/env.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir/test/env.mli -------------------------------------------------------------------------------- /lib/fir/test/expression.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir/test/expression.ml -------------------------------------------------------------------------------- /lib/fir/test/expression.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir/test/expression.mli -------------------------------------------------------------------------------- /lib/fir/test/expression_class.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir/test/expression_class.ml -------------------------------------------------------------------------------- /lib/fir/test/expression_class.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir/test/expression_class.mli -------------------------------------------------------------------------------- /lib/fir/test/expression_traverse.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir/test/expression_traverse.ml -------------------------------------------------------------------------------- /lib/fir/test/expression_traverse.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir/test/expression_traverse.mli -------------------------------------------------------------------------------- /lib/fir/test/flow_block.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir/test/flow_block.ml -------------------------------------------------------------------------------- /lib/fir/test/flow_block.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir/test/flow_block.mli -------------------------------------------------------------------------------- /lib/fir/test/import.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir/test/import.ml -------------------------------------------------------------------------------- /lib/fir/test/litmus_stats.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir/test/litmus_stats.ml -------------------------------------------------------------------------------- /lib/fir/test/litmus_stats.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir/test/litmus_stats.mli -------------------------------------------------------------------------------- /lib/fir/test/litmus_vars.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir/test/litmus_vars.ml -------------------------------------------------------------------------------- /lib/fir/test/litmus_vars.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir/test/litmus_vars.mli -------------------------------------------------------------------------------- /lib/fir/test/lvalue.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir/test/lvalue.ml -------------------------------------------------------------------------------- /lib/fir/test/lvalue.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir/test/lvalue.mli -------------------------------------------------------------------------------- /lib/fir/test/mem_order.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir/test/mem_order.ml -------------------------------------------------------------------------------- /lib/fir/test/mem_order.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir/test/mem_order.mli -------------------------------------------------------------------------------- /lib/fir/test/op.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir/test/op.ml -------------------------------------------------------------------------------- /lib/fir/test/op.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir/test/op.mli -------------------------------------------------------------------------------- /lib/fir/test/statement.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir/test/statement.ml -------------------------------------------------------------------------------- /lib/fir/test/statement.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir/test/statement.mli -------------------------------------------------------------------------------- /lib/fir/test/statement_class.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir/test/statement_class.ml -------------------------------------------------------------------------------- /lib/fir/test/statement_class.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir/test/statement_class.mli -------------------------------------------------------------------------------- /lib/fir/test/statement_traverse.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir/test/statement_traverse.ml -------------------------------------------------------------------------------- /lib/fir/test/statement_traverse.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir/test/statement_traverse.mli -------------------------------------------------------------------------------- /lib/fir/test/type.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir/test/type.ml -------------------------------------------------------------------------------- /lib/fir/test/type.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir/test/type.mli -------------------------------------------------------------------------------- /lib/fir_gen/src/address.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir_gen/src/address.ml -------------------------------------------------------------------------------- /lib/fir_gen/src/address.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir_gen/src/address.mli -------------------------------------------------------------------------------- /lib/fir_gen/src/assign.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir_gen/src/assign.ml -------------------------------------------------------------------------------- /lib/fir_gen/src/assign.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir_gen/src/assign.mli -------------------------------------------------------------------------------- /lib/fir_gen/src/atomic_fetch.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir_gen/src/atomic_fetch.ml -------------------------------------------------------------------------------- /lib/fir_gen/src/atomic_fetch.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir_gen/src/atomic_fetch.mli -------------------------------------------------------------------------------- /lib/fir_gen/src/atomic_load.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir_gen/src/atomic_load.ml -------------------------------------------------------------------------------- /lib/fir_gen/src/atomic_load.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir_gen/src/atomic_load.mli -------------------------------------------------------------------------------- /lib/fir_gen/src/atomic_store.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir_gen/src/atomic_store.ml -------------------------------------------------------------------------------- /lib/fir_gen/src/atomic_store.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir_gen/src/atomic_store.mli -------------------------------------------------------------------------------- /lib/fir_gen/src/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir_gen/src/dune -------------------------------------------------------------------------------- /lib/fir_gen/src/expr.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir_gen/src/expr.ml -------------------------------------------------------------------------------- /lib/fir_gen/src/expr.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir_gen/src/expr.mli -------------------------------------------------------------------------------- /lib/fir_gen/src/expr_bool.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir_gen/src/expr_bool.ml -------------------------------------------------------------------------------- /lib/fir_gen/src/expr_bool.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir_gen/src/expr_bool.mli -------------------------------------------------------------------------------- /lib/fir_gen/src/expr_const.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir_gen/src/expr_const.ml -------------------------------------------------------------------------------- /lib/fir_gen/src/expr_const.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir_gen/src/expr_const.mli -------------------------------------------------------------------------------- /lib/fir_gen/src/expr_int.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir_gen/src/expr_int.ml -------------------------------------------------------------------------------- /lib/fir_gen/src/expr_int.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir_gen/src/expr_int.mli -------------------------------------------------------------------------------- /lib/fir_gen/src/expr_prim.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir_gen/src/expr_prim.ml -------------------------------------------------------------------------------- /lib/fir_gen/src/expr_prim.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir_gen/src/expr_prim.mli -------------------------------------------------------------------------------- /lib/fir_gen/src/expr_util.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir_gen/src/expr_util.ml -------------------------------------------------------------------------------- /lib/fir_gen/src/expr_util.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir_gen/src/expr_util.mli -------------------------------------------------------------------------------- /lib/fir_gen/src/import.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir_gen/src/import.ml -------------------------------------------------------------------------------- /lib/fir_gen/src/lvalue.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir_gen/src/lvalue.ml -------------------------------------------------------------------------------- /lib/fir_gen/src/lvalue.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir_gen/src/lvalue.mli -------------------------------------------------------------------------------- /lib/fir_gen/src/op.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir_gen/src/op.ml -------------------------------------------------------------------------------- /lib/fir_gen/src/op.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir_gen/src/op.mli -------------------------------------------------------------------------------- /lib/fir_gen/test/address.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir_gen/test/address.ml -------------------------------------------------------------------------------- /lib/fir_gen/test/address.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir_gen/test/address.mli -------------------------------------------------------------------------------- /lib/fir_gen/test/assign.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir_gen/test/assign.ml -------------------------------------------------------------------------------- /lib/fir_gen/test/assign.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir_gen/test/assign.mli -------------------------------------------------------------------------------- /lib/fir_gen/test/atomic_load.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir_gen/test/atomic_load.ml -------------------------------------------------------------------------------- /lib/fir_gen/test/atomic_load.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir_gen/test/atomic_load.mli -------------------------------------------------------------------------------- /lib/fir_gen/test/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir_gen/test/dune -------------------------------------------------------------------------------- /lib/fir_gen/test/expr.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir_gen/test/expr.ml -------------------------------------------------------------------------------- /lib/fir_gen/test/expr.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir_gen/test/expr.mli -------------------------------------------------------------------------------- /lib/fir_gen/test/import.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir_gen/test/import.ml -------------------------------------------------------------------------------- /lib/fir_gen/test/lvalue.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir_gen/test/lvalue.ml -------------------------------------------------------------------------------- /lib/fir_gen/test/lvalue.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir_gen/test/lvalue.mli -------------------------------------------------------------------------------- /lib/fir_gen/test/op.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir_gen/test/op.ml -------------------------------------------------------------------------------- /lib/fir_gen/test/op.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fir_gen/test/op.mli -------------------------------------------------------------------------------- /lib/fuzz/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz/README.md -------------------------------------------------------------------------------- /lib/fuzz/src/action.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz/src/action.ml -------------------------------------------------------------------------------- /lib/fuzz/src/action.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz/src/action.mli -------------------------------------------------------------------------------- /lib/fuzz/src/action_types.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz/src/action_types.mli -------------------------------------------------------------------------------- /lib/fuzz/src/availability.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz/src/availability.ml -------------------------------------------------------------------------------- /lib/fuzz/src/availability.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz/src/availability.mli -------------------------------------------------------------------------------- /lib/fuzz/src/config_tables.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz/src/config_tables.ml -------------------------------------------------------------------------------- /lib/fuzz/src/config_tables.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz/src/config_tables.mli -------------------------------------------------------------------------------- /lib/fuzz/src/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz/src/dune -------------------------------------------------------------------------------- /lib/fuzz/src/flag.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz/src/flag.ml -------------------------------------------------------------------------------- /lib/fuzz/src/flag.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz/src/flag.mli -------------------------------------------------------------------------------- /lib/fuzz/src/import.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz/src/import.ml -------------------------------------------------------------------------------- /lib/fuzz/src/label.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz/src/label.ml -------------------------------------------------------------------------------- /lib/fuzz/src/label.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz/src/label.mli -------------------------------------------------------------------------------- /lib/fuzz/src/metadata.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz/src/metadata.ml -------------------------------------------------------------------------------- /lib/fuzz/src/metadata.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz/src/metadata.mli -------------------------------------------------------------------------------- /lib/fuzz/src/opt_gen.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz/src/opt_gen.ml -------------------------------------------------------------------------------- /lib/fuzz/src/opt_gen.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz/src/opt_gen.mli -------------------------------------------------------------------------------- /lib/fuzz/src/output.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz/src/output.ml -------------------------------------------------------------------------------- /lib/fuzz/src/output.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz/src/output.mli -------------------------------------------------------------------------------- /lib/fuzz/src/param_map.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz/src/param_map.ml -------------------------------------------------------------------------------- /lib/fuzz/src/param_map.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz/src/param_map.mli -------------------------------------------------------------------------------- /lib/fuzz/src/param_spec.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz/src/param_spec.ml -------------------------------------------------------------------------------- /lib/fuzz/src/param_spec.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz/src/param_spec.mli -------------------------------------------------------------------------------- /lib/fuzz/src/path.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz/src/path.ml -------------------------------------------------------------------------------- /lib/fuzz/src/path.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz/src/path.mli -------------------------------------------------------------------------------- /lib/fuzz/src/path_consumers.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz/src/path_consumers.ml -------------------------------------------------------------------------------- /lib/fuzz/src/path_consumers.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz/src/path_consumers.mli -------------------------------------------------------------------------------- /lib/fuzz/src/path_context.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz/src/path_context.ml -------------------------------------------------------------------------------- /lib/fuzz/src/path_context.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz/src/path_context.mli -------------------------------------------------------------------------------- /lib/fuzz/src/path_filter.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz/src/path_filter.ml -------------------------------------------------------------------------------- /lib/fuzz/src/path_filter.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz/src/path_filter.mli -------------------------------------------------------------------------------- /lib/fuzz/src/path_kind.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz/src/path_kind.ml -------------------------------------------------------------------------------- /lib/fuzz/src/path_kind.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz/src/path_kind.mli -------------------------------------------------------------------------------- /lib/fuzz/src/path_meta.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz/src/path_meta.ml -------------------------------------------------------------------------------- /lib/fuzz/src/path_meta.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz/src/path_meta.mli -------------------------------------------------------------------------------- /lib/fuzz/src/path_producers.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz/src/path_producers.ml -------------------------------------------------------------------------------- /lib/fuzz/src/path_producers.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz/src/path_producers.mli -------------------------------------------------------------------------------- /lib/fuzz/src/payload_gen.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz/src/payload_gen.ml -------------------------------------------------------------------------------- /lib/fuzz/src/payload_gen.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz/src/payload_gen.mli -------------------------------------------------------------------------------- /lib/fuzz/src/payload_impl.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz/src/payload_impl.ml -------------------------------------------------------------------------------- /lib/fuzz/src/payload_impl.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz/src/payload_impl.mli -------------------------------------------------------------------------------- /lib/fuzz/src/payload_types.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz/src/payload_types.mli -------------------------------------------------------------------------------- /lib/fuzz/src/state.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz/src/state.ml -------------------------------------------------------------------------------- /lib/fuzz/src/state.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz/src/state.mli -------------------------------------------------------------------------------- /lib/fuzz/src/subject.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz/src/subject.ml -------------------------------------------------------------------------------- /lib/fuzz/src/subject.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz/src/subject.mli -------------------------------------------------------------------------------- /lib/fuzz/src/trace.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz/src/trace.ml -------------------------------------------------------------------------------- /lib/fuzz/src/trace.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz/src/trace.mli -------------------------------------------------------------------------------- /lib/fuzz/src/var.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz/src/var.ml -------------------------------------------------------------------------------- /lib/fuzz/src/var.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz/src/var.mli -------------------------------------------------------------------------------- /lib/fuzz/test/action.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz/test/action.ml -------------------------------------------------------------------------------- /lib/fuzz/test/action.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz/test/action.mli -------------------------------------------------------------------------------- /lib/fuzz/test/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz/test/dune -------------------------------------------------------------------------------- /lib/fuzz/test/flag.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz/test/flag.ml -------------------------------------------------------------------------------- /lib/fuzz/test/flag.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz/test/flag.mli -------------------------------------------------------------------------------- /lib/fuzz/test/import.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz/test/import.ml -------------------------------------------------------------------------------- /lib/fuzz/test/param_map.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz/test/param_map.ml -------------------------------------------------------------------------------- /lib/fuzz/test/param_map.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz/test/param_map.mli -------------------------------------------------------------------------------- /lib/fuzz/test/path.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz/test/path.ml -------------------------------------------------------------------------------- /lib/fuzz/test/path.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz/test/path.mli -------------------------------------------------------------------------------- /lib/fuzz/test/path_consumers.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz/test/path_consumers.ml -------------------------------------------------------------------------------- /lib/fuzz/test/path_consumers.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz/test/path_consumers.mli -------------------------------------------------------------------------------- /lib/fuzz/test/path_meta.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz/test/path_meta.ml -------------------------------------------------------------------------------- /lib/fuzz/test/path_meta.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz/test/path_meta.mli -------------------------------------------------------------------------------- /lib/fuzz/test/path_producers.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz/test/path_producers.ml -------------------------------------------------------------------------------- /lib/fuzz/test/path_producers.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz/test/path_producers.mli -------------------------------------------------------------------------------- /lib/fuzz/test/state.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz/test/state.ml -------------------------------------------------------------------------------- /lib/fuzz/test/state.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz/test/state.mli -------------------------------------------------------------------------------- /lib/fuzz/test/subject.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz/test/subject.ml -------------------------------------------------------------------------------- /lib/fuzz/test/subject.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz/test/subject.mli -------------------------------------------------------------------------------- /lib/fuzz/test/trace.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz/test/trace.ml -------------------------------------------------------------------------------- /lib/fuzz/test/trace.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz/test/trace.mli -------------------------------------------------------------------------------- /lib/fuzz/test/var.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz/test/var.ml -------------------------------------------------------------------------------- /lib/fuzz/test/var.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz/test/var.mli -------------------------------------------------------------------------------- /lib/fuzz_actions/src/atomic_cmpxchg.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz_actions/src/atomic_cmpxchg.ml -------------------------------------------------------------------------------- /lib/fuzz_actions/src/atomic_cmpxchg.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz_actions/src/atomic_cmpxchg.mli -------------------------------------------------------------------------------- /lib/fuzz_actions/src/atomic_fetch.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz_actions/src/atomic_fetch.ml -------------------------------------------------------------------------------- /lib/fuzz_actions/src/atomic_fetch.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz_actions/src/atomic_fetch.mli -------------------------------------------------------------------------------- /lib/fuzz_actions/src/atomic_store.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz_actions/src/atomic_store.ml -------------------------------------------------------------------------------- /lib/fuzz_actions/src/atomic_store.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz_actions/src/atomic_store.mli -------------------------------------------------------------------------------- /lib/fuzz_actions/src/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz_actions/src/dune -------------------------------------------------------------------------------- /lib/fuzz_actions/src/flow_dead.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz_actions/src/flow_dead.ml -------------------------------------------------------------------------------- /lib/fuzz_actions/src/flow_dead.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz_actions/src/flow_dead.mli -------------------------------------------------------------------------------- /lib/fuzz_actions/src/flow_for.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz_actions/src/flow_for.ml -------------------------------------------------------------------------------- /lib/fuzz_actions/src/flow_for.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz_actions/src/flow_for.mli -------------------------------------------------------------------------------- /lib/fuzz_actions/src/flow_if.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz_actions/src/flow_if.ml -------------------------------------------------------------------------------- /lib/fuzz_actions/src/flow_if.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz_actions/src/flow_if.mli -------------------------------------------------------------------------------- /lib/fuzz_actions/src/flow_lock.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz_actions/src/flow_lock.ml -------------------------------------------------------------------------------- /lib/fuzz_actions/src/flow_lock.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz_actions/src/flow_lock.mli -------------------------------------------------------------------------------- /lib/fuzz_actions/src/flow_while.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz_actions/src/flow_while.ml -------------------------------------------------------------------------------- /lib/fuzz_actions/src/flow_while.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz_actions/src/flow_while.mli -------------------------------------------------------------------------------- /lib/fuzz_actions/src/import.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz_actions/src/import.ml -------------------------------------------------------------------------------- /lib/fuzz_actions/src/mem.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz_actions/src/mem.ml -------------------------------------------------------------------------------- /lib/fuzz_actions/src/mem.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz_actions/src/mem.mli -------------------------------------------------------------------------------- /lib/fuzz_actions/src/program.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz_actions/src/program.ml -------------------------------------------------------------------------------- /lib/fuzz_actions/src/program.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz_actions/src/program.mli -------------------------------------------------------------------------------- /lib/fuzz_actions/src/storelike.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz_actions/src/storelike.ml -------------------------------------------------------------------------------- /lib/fuzz_actions/src/storelike.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz_actions/src/storelike.mli -------------------------------------------------------------------------------- /lib/fuzz_actions/src/storelike_types.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz_actions/src/storelike_types.mli -------------------------------------------------------------------------------- /lib/fuzz_actions/src/table.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz_actions/src/table.ml -------------------------------------------------------------------------------- /lib/fuzz_actions/src/table.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz_actions/src/table.mli -------------------------------------------------------------------------------- /lib/fuzz_actions/src/var.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz_actions/src/var.ml -------------------------------------------------------------------------------- /lib/fuzz_actions/src/var.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz_actions/src/var.mli -------------------------------------------------------------------------------- /lib/fuzz_actions/src/var_assign.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz_actions/src/var_assign.ml -------------------------------------------------------------------------------- /lib/fuzz_actions/src/var_assign.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz_actions/src/var_assign.mli -------------------------------------------------------------------------------- /lib/fuzz_actions/test/atomic_cmpxchg.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz_actions/test/atomic_cmpxchg.ml -------------------------------------------------------------------------------- /lib/fuzz_actions/test/atomic_cmpxchg.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz_actions/test/atomic_cmpxchg.mli -------------------------------------------------------------------------------- /lib/fuzz_actions/test/atomic_fetch.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz_actions/test/atomic_fetch.ml -------------------------------------------------------------------------------- /lib/fuzz_actions/test/atomic_fetch.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz_actions/test/atomic_fetch.mli -------------------------------------------------------------------------------- /lib/fuzz_actions/test/atomic_store.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz_actions/test/atomic_store.ml -------------------------------------------------------------------------------- /lib/fuzz_actions/test/atomic_store.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz_actions/test/atomic_store.mli -------------------------------------------------------------------------------- /lib/fuzz_actions/test/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz_actions/test/dune -------------------------------------------------------------------------------- /lib/fuzz_actions/test/flow_dead.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz_actions/test/flow_dead.ml -------------------------------------------------------------------------------- /lib/fuzz_actions/test/flow_dead.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz_actions/test/flow_dead.mli -------------------------------------------------------------------------------- /lib/fuzz_actions/test/flow_for.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz_actions/test/flow_for.ml -------------------------------------------------------------------------------- /lib/fuzz_actions/test/flow_for.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz_actions/test/flow_for.mli -------------------------------------------------------------------------------- /lib/fuzz_actions/test/flow_if.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz_actions/test/flow_if.ml -------------------------------------------------------------------------------- /lib/fuzz_actions/test/flow_if.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz_actions/test/flow_if.mli -------------------------------------------------------------------------------- /lib/fuzz_actions/test/flow_lock.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz_actions/test/flow_lock.ml -------------------------------------------------------------------------------- /lib/fuzz_actions/test/flow_lock.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz_actions/test/flow_lock.mli -------------------------------------------------------------------------------- /lib/fuzz_actions/test/flow_while.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz_actions/test/flow_while.ml -------------------------------------------------------------------------------- /lib/fuzz_actions/test/flow_while.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz_actions/test/flow_while.mli -------------------------------------------------------------------------------- /lib/fuzz_actions/test/import.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz_actions/test/import.ml -------------------------------------------------------------------------------- /lib/fuzz_actions/test/mem.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz_actions/test/mem.ml -------------------------------------------------------------------------------- /lib/fuzz_actions/test/program.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz_actions/test/program.ml -------------------------------------------------------------------------------- /lib/fuzz_actions/test/program.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz_actions/test/program.mli -------------------------------------------------------------------------------- /lib/fuzz_actions/test/storelike.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz_actions/test/storelike.ml -------------------------------------------------------------------------------- /lib/fuzz_actions/test/storelike.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz_actions/test/storelike.mli -------------------------------------------------------------------------------- /lib/fuzz_actions/test/var.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz_actions/test/var.ml -------------------------------------------------------------------------------- /lib/fuzz_actions/test/var.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz_actions/test/var.mli -------------------------------------------------------------------------------- /lib/fuzz_actions/test/var_assign.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz_actions/test/var_assign.ml -------------------------------------------------------------------------------- /lib/fuzz_actions/test/var_assign.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz_actions/test/var_assign.mli -------------------------------------------------------------------------------- /lib/fuzz_run/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz_run/README.md -------------------------------------------------------------------------------- /lib/fuzz_run/src/action_pool.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz_run/src/action_pool.ml -------------------------------------------------------------------------------- /lib/fuzz_run/src/action_pool.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz_run/src/action_pool.mli -------------------------------------------------------------------------------- /lib/fuzz_run/src/config.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz_run/src/config.ml -------------------------------------------------------------------------------- /lib/fuzz_run/src/config.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz_run/src/config.mli -------------------------------------------------------------------------------- /lib/fuzz_run/src/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz_run/src/dune -------------------------------------------------------------------------------- /lib/fuzz_run/src/filter.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz_run/src/filter.ml -------------------------------------------------------------------------------- /lib/fuzz_run/src/filter.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz_run/src/filter.mli -------------------------------------------------------------------------------- /lib/fuzz_run/src/import.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz_run/src/import.ml -------------------------------------------------------------------------------- /lib/fuzz_run/src/randomised.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz_run/src/randomised.ml -------------------------------------------------------------------------------- /lib/fuzz_run/src/randomised.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz_run/src/randomised.mli -------------------------------------------------------------------------------- /lib/fuzz_run/src/summary.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz_run/src/summary.ml -------------------------------------------------------------------------------- /lib/fuzz_run/src/summary.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz_run/src/summary.mli -------------------------------------------------------------------------------- /lib/fuzz_run/test/action_pool.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz_run/test/action_pool.ml -------------------------------------------------------------------------------- /lib/fuzz_run/test/action_pool.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz_run/test/action_pool.mli -------------------------------------------------------------------------------- /lib/fuzz_run/test/config.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz_run/test/config.ml -------------------------------------------------------------------------------- /lib/fuzz_run/test/config.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz_run/test/config.mli -------------------------------------------------------------------------------- /lib/fuzz_run/test/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz_run/test/dune -------------------------------------------------------------------------------- /lib/fuzz_run/test/import.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/fuzz_run/test/import.ml -------------------------------------------------------------------------------- /lib/litmus/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/litmus/README.md -------------------------------------------------------------------------------- /lib/litmus/src/ast.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/litmus/src/ast.ml -------------------------------------------------------------------------------- /lib/litmus/src/ast.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/litmus/src/ast.mli -------------------------------------------------------------------------------- /lib/litmus/src/convert.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/litmus/src/convert.ml -------------------------------------------------------------------------------- /lib/litmus/src/convert.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/litmus/src/convert.mli -------------------------------------------------------------------------------- /lib/litmus/src/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/litmus/src/dune -------------------------------------------------------------------------------- /lib/litmus/src/header.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/litmus/src/header.ml -------------------------------------------------------------------------------- /lib/litmus/src/header.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/litmus/src/header.mli -------------------------------------------------------------------------------- /lib/litmus/src/postcondition.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/litmus/src/postcondition.ml -------------------------------------------------------------------------------- /lib/litmus/src/postcondition.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/litmus/src/postcondition.mli -------------------------------------------------------------------------------- /lib/litmus/src/postcondition_eval.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/litmus/src/postcondition_eval.ml -------------------------------------------------------------------------------- /lib/litmus/src/postcondition_eval.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/litmus/src/postcondition_eval.mli -------------------------------------------------------------------------------- /lib/litmus/src/pp.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/litmus/src/pp.ml -------------------------------------------------------------------------------- /lib/litmus/src/pp.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/litmus/src/pp.mli -------------------------------------------------------------------------------- /lib/litmus/src/pp_intf.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/litmus/src/pp_intf.ml -------------------------------------------------------------------------------- /lib/litmus/src/predicate.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/litmus/src/predicate.ml -------------------------------------------------------------------------------- /lib/litmus/src/predicate.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/litmus/src/predicate.mli -------------------------------------------------------------------------------- /lib/litmus/src/test.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/litmus/src/test.ml -------------------------------------------------------------------------------- /lib/litmus/src/test.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/litmus/src/test.mli -------------------------------------------------------------------------------- /lib/litmus/src/test_types.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/litmus/src/test_types.mli -------------------------------------------------------------------------------- /lib/litmus/test/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/litmus/test/dune -------------------------------------------------------------------------------- /lib/litmus/test/examples.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/litmus/test/examples.ml -------------------------------------------------------------------------------- /lib/litmus/test/examples.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/litmus/test/examples.mli -------------------------------------------------------------------------------- /lib/litmus/test/header.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/litmus/test/header.ml -------------------------------------------------------------------------------- /lib/litmus/test/header.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/litmus/test/header.mli -------------------------------------------------------------------------------- /lib/litmus/test/postcondition.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/litmus/test/postcondition.ml -------------------------------------------------------------------------------- /lib/litmus/test/postcondition.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/litmus/test/postcondition.mli -------------------------------------------------------------------------------- /lib/litmus/test/predicate.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/litmus/test/predicate.ml -------------------------------------------------------------------------------- /lib/litmus/test/predicate.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/litmus/test/predicate.mli -------------------------------------------------------------------------------- /lib/litmus/test/test.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/litmus/test/test.ml -------------------------------------------------------------------------------- /lib/litmus/test/test.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/litmus/test/test.mli -------------------------------------------------------------------------------- /lib/litmus_c/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/litmus_c/README.md -------------------------------------------------------------------------------- /lib/litmus_c/src/abstract.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/litmus_c/src/abstract.ml -------------------------------------------------------------------------------- /lib/litmus_c/src/abstract.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/litmus_c/src/abstract.mli -------------------------------------------------------------------------------- /lib/litmus_c/src/abstract_atomic.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/litmus_c/src/abstract_atomic.ml -------------------------------------------------------------------------------- /lib/litmus_c/src/abstract_atomic.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/litmus_c/src/abstract_atomic.mli -------------------------------------------------------------------------------- /lib/litmus_c/src/abstract_expr.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/litmus_c/src/abstract_expr.ml -------------------------------------------------------------------------------- /lib/litmus_c/src/abstract_expr.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/litmus_c/src/abstract_expr.mli -------------------------------------------------------------------------------- /lib/litmus_c/src/abstract_prim.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/litmus_c/src/abstract_prim.ml -------------------------------------------------------------------------------- /lib/litmus_c/src/abstract_prim.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/litmus_c/src/abstract_prim.mli -------------------------------------------------------------------------------- /lib/litmus_c/src/abstract_stm.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/litmus_c/src/abstract_stm.ml -------------------------------------------------------------------------------- /lib/litmus_c/src/abstract_stm.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/litmus_c/src/abstract_stm.mli -------------------------------------------------------------------------------- /lib/litmus_c/src/ast.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/litmus_c/src/ast.ml -------------------------------------------------------------------------------- /lib/litmus_c/src/ast.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/litmus_c/src/ast.mli -------------------------------------------------------------------------------- /lib/litmus_c/src/ast_basic.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/litmus_c/src/ast_basic.ml -------------------------------------------------------------------------------- /lib/litmus_c/src/ast_basic.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/litmus_c/src/ast_basic.mli -------------------------------------------------------------------------------- /lib/litmus_c/src/ast_basic_types.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/litmus_c/src/ast_basic_types.mli -------------------------------------------------------------------------------- /lib/litmus_c/src/ast_types.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/litmus_c/src/ast_types.mli -------------------------------------------------------------------------------- /lib/litmus_c/src/c.messages: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/litmus_c/src/c.messages -------------------------------------------------------------------------------- /lib/litmus_c/src/dump_stats.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/litmus_c/src/dump_stats.ml -------------------------------------------------------------------------------- /lib/litmus_c/src/dump_stats.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/litmus_c/src/dump_stats.mli -------------------------------------------------------------------------------- /lib/litmus_c/src/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/litmus_c/src/dune -------------------------------------------------------------------------------- /lib/litmus_c/src/frontend.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/litmus_c/src/frontend.ml -------------------------------------------------------------------------------- /lib/litmus_c/src/frontend.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/litmus_c/src/frontend.mli -------------------------------------------------------------------------------- /lib/litmus_c/src/header.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/litmus_c/src/header.ml -------------------------------------------------------------------------------- /lib/litmus_c/src/header.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/litmus_c/src/header.mli -------------------------------------------------------------------------------- /lib/litmus_c/src/import.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/litmus_c/src/import.ml -------------------------------------------------------------------------------- /lib/litmus_c/src/lexer.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/litmus_c/src/lexer.ml -------------------------------------------------------------------------------- /lib/litmus_c/src/lexer.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/litmus_c/src/lexer.mli -------------------------------------------------------------------------------- /lib/litmus_c/src/operators.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/litmus_c/src/operators.ml -------------------------------------------------------------------------------- /lib/litmus_c/src/operators.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/litmus_c/src/operators.mli -------------------------------------------------------------------------------- /lib/litmus_c/src/parser.mly: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/litmus_c/src/parser.mly -------------------------------------------------------------------------------- /lib/litmus_c/src/reify.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/litmus_c/src/reify.ml -------------------------------------------------------------------------------- /lib/litmus_c/src/reify.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/litmus_c/src/reify.mli -------------------------------------------------------------------------------- /lib/litmus_c/src/reify_atomic.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/litmus_c/src/reify_atomic.ml -------------------------------------------------------------------------------- /lib/litmus_c/src/reify_atomic.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/litmus_c/src/reify_atomic.mli -------------------------------------------------------------------------------- /lib/litmus_c/src/reify_expr.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/litmus_c/src/reify_expr.ml -------------------------------------------------------------------------------- /lib/litmus_c/src/reify_expr.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/litmus_c/src/reify_expr.mli -------------------------------------------------------------------------------- /lib/litmus_c/src/reify_prim.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/litmus_c/src/reify_prim.ml -------------------------------------------------------------------------------- /lib/litmus_c/src/reify_prim.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/litmus_c/src/reify_prim.mli -------------------------------------------------------------------------------- /lib/litmus_c/src/reify_stm.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/litmus_c/src/reify_stm.ml -------------------------------------------------------------------------------- /lib/litmus_c/src/reify_stm.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/litmus_c/src/reify_stm.mli -------------------------------------------------------------------------------- /lib/litmus_c/test/abstract_expr.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/litmus_c/test/abstract_expr.ml -------------------------------------------------------------------------------- /lib/litmus_c/test/abstract_expr.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/litmus_c/test/abstract_expr.mli -------------------------------------------------------------------------------- /lib/litmus_c/test/abstract_prim.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/litmus_c/test/abstract_prim.ml -------------------------------------------------------------------------------- /lib/litmus_c/test/abstract_prim.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/litmus_c/test/abstract_prim.mli -------------------------------------------------------------------------------- /lib/litmus_c/test/abstract_stm.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/litmus_c/test/abstract_stm.ml -------------------------------------------------------------------------------- /lib/litmus_c/test/abstract_stm.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/litmus_c/test/abstract_stm.mli -------------------------------------------------------------------------------- /lib/litmus_c/test/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/litmus_c/test/dune -------------------------------------------------------------------------------- /lib/litmus_c/test/frontend.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/litmus_c/test/frontend.ml -------------------------------------------------------------------------------- /lib/litmus_c/test/frontend.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/litmus_c/test/frontend.mli -------------------------------------------------------------------------------- /lib/litmus_c/test/operators.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/litmus_c/test/operators.ml -------------------------------------------------------------------------------- /lib/litmus_c/test/operators.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/litmus_c/test/operators.mli -------------------------------------------------------------------------------- /lib/litmus_c/test/reify_expr.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/litmus_c/test/reify_expr.ml -------------------------------------------------------------------------------- /lib/litmus_c/test/reify_expr.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/litmus_c/test/reify_expr.mli -------------------------------------------------------------------------------- /lib/litmus_c/test/reify_prim.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/litmus_c/test/reify_prim.ml -------------------------------------------------------------------------------- /lib/litmus_c/test/reify_prim.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/litmus_c/test/reify_prim.mli -------------------------------------------------------------------------------- /lib/litmus_c/test/reify_stm.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/litmus_c/test/reify_stm.ml -------------------------------------------------------------------------------- /lib/litmus_c/test/reify_stm.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/litmus_c/test/reify_stm.mli -------------------------------------------------------------------------------- /lib/plumbing/src/convert_types.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/plumbing/src/convert_types.mli -------------------------------------------------------------------------------- /lib/plumbing/src/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/plumbing/src/dune -------------------------------------------------------------------------------- /lib/plumbing/src/fpath_helpers.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/plumbing/src/fpath_helpers.ml -------------------------------------------------------------------------------- /lib/plumbing/src/fpath_helpers.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/plumbing/src/fpath_helpers.mli -------------------------------------------------------------------------------- /lib/plumbing/src/input.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/plumbing/src/input.ml -------------------------------------------------------------------------------- /lib/plumbing/src/input.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/plumbing/src/input.mli -------------------------------------------------------------------------------- /lib/plumbing/src/io_common.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/plumbing/src/io_common.ml -------------------------------------------------------------------------------- /lib/plumbing/src/io_common.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/plumbing/src/io_common.mli -------------------------------------------------------------------------------- /lib/plumbing/src/io_helpers.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/plumbing/src/io_helpers.ml -------------------------------------------------------------------------------- /lib/plumbing/src/io_helpers.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/plumbing/src/io_helpers.mli -------------------------------------------------------------------------------- /lib/plumbing/src/io_types.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/plumbing/src/io_types.mli -------------------------------------------------------------------------------- /lib/plumbing/src/jsonable.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/plumbing/src/jsonable.ml -------------------------------------------------------------------------------- /lib/plumbing/src/jsonable.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/plumbing/src/jsonable.mli -------------------------------------------------------------------------------- /lib/plumbing/src/jsonable_types.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/plumbing/src/jsonable_types.mli -------------------------------------------------------------------------------- /lib/plumbing/src/loadable.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/plumbing/src/loadable.ml -------------------------------------------------------------------------------- /lib/plumbing/src/loadable.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/plumbing/src/loadable.mli -------------------------------------------------------------------------------- /lib/plumbing/src/loadable_types.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/plumbing/src/loadable_types.mli -------------------------------------------------------------------------------- /lib/plumbing/src/output.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/plumbing/src/output.ml -------------------------------------------------------------------------------- /lib/plumbing/src/output.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/plumbing/src/output.mli -------------------------------------------------------------------------------- /lib/plumbing/src/storable.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/plumbing/src/storable.ml -------------------------------------------------------------------------------- /lib/plumbing/src/storable.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/plumbing/src/storable.mli -------------------------------------------------------------------------------- /lib/plumbing/src/storable_types.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/plumbing/src/storable_types.mli -------------------------------------------------------------------------------- /lib/plumbing/test/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/plumbing/test/dune -------------------------------------------------------------------------------- /lib/plumbing/test/input.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/plumbing/test/input.ml -------------------------------------------------------------------------------- /lib/plumbing/test/input.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/plumbing/test/input.mli -------------------------------------------------------------------------------- /lib/utils/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/utils/README.md -------------------------------------------------------------------------------- /lib/utils/src/accessor.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/utils/src/accessor.ml -------------------------------------------------------------------------------- /lib/utils/src/accessor.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/utils/src/accessor.mli -------------------------------------------------------------------------------- /lib/utils/src/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/utils/src/dune -------------------------------------------------------------------------------- /lib/utils/src/enum.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/utils/src/enum.ml -------------------------------------------------------------------------------- /lib/utils/src/enum.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/utils/src/enum.mli -------------------------------------------------------------------------------- /lib/utils/src/enum_types.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/utils/src/enum_types.mli -------------------------------------------------------------------------------- /lib/utils/src/frontend.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/utils/src/frontend.ml -------------------------------------------------------------------------------- /lib/utils/src/frontend.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/utils/src/frontend.mli -------------------------------------------------------------------------------- /lib/utils/src/fs.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/utils/src/fs.ml -------------------------------------------------------------------------------- /lib/utils/src/fs.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/utils/src/fs.mli -------------------------------------------------------------------------------- /lib/utils/src/fs_types.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/utils/src/fs_types.mli -------------------------------------------------------------------------------- /lib/utils/src/io.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/utils/src/io.ml -------------------------------------------------------------------------------- /lib/utils/src/io.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/utils/src/io.mli -------------------------------------------------------------------------------- /lib/utils/src/lex_utils.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/utils/src/lex_utils.ml -------------------------------------------------------------------------------- /lib/utils/src/lex_utils.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/utils/src/lex_utils.mli -------------------------------------------------------------------------------- /lib/utils/src/my_format.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/utils/src/my_format.ml -------------------------------------------------------------------------------- /lib/utils/src/my_format.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/utils/src/my_format.mli -------------------------------------------------------------------------------- /lib/utils/src/my_list.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/utils/src/my_list.ml -------------------------------------------------------------------------------- /lib/utils/src/my_list.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/utils/src/my_list.mli -------------------------------------------------------------------------------- /lib/utils/src/my_map.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/utils/src/my_map.ml -------------------------------------------------------------------------------- /lib/utils/src/my_map.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/utils/src/my_map.mli -------------------------------------------------------------------------------- /lib/utils/src/my_quickcheck.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/utils/src/my_quickcheck.ml -------------------------------------------------------------------------------- /lib/utils/src/my_quickcheck.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/utils/src/my_quickcheck.mli -------------------------------------------------------------------------------- /lib/utils/src/my_string.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/utils/src/my_string.ml -------------------------------------------------------------------------------- /lib/utils/src/my_string.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/utils/src/my_string.mli -------------------------------------------------------------------------------- /lib/utils/src/reader.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/utils/src/reader.ml -------------------------------------------------------------------------------- /lib/utils/src/reader.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/utils/src/reader.mli -------------------------------------------------------------------------------- /lib/utils/src/reader_types.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/utils/src/reader_types.mli -------------------------------------------------------------------------------- /lib/utils/src/string_table.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/utils/src/string_table.ml -------------------------------------------------------------------------------- /lib/utils/src/string_table.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/utils/src/string_table.mli -------------------------------------------------------------------------------- /lib/utils/src/weighted_list.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/utils/src/weighted_list.ml -------------------------------------------------------------------------------- /lib/utils/src/weighted_list.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/utils/src/weighted_list.mli -------------------------------------------------------------------------------- /lib/utils/test/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/utils/test/dune -------------------------------------------------------------------------------- /lib/utils/test/fs.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/utils/test/fs.ml -------------------------------------------------------------------------------- /lib/utils/test/fs.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/utils/test/fs.mli -------------------------------------------------------------------------------- /lib/utils/test/lex_utils.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/utils/test/lex_utils.ml -------------------------------------------------------------------------------- /lib/utils/test/lex_utils.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/utils/test/lex_utils.mli -------------------------------------------------------------------------------- /lib/utils/test/my_format.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/utils/test/my_format.ml -------------------------------------------------------------------------------- /lib/utils/test/my_format.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/utils/test/my_format.mli -------------------------------------------------------------------------------- /lib/utils/test/my_list.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/utils/test/my_list.ml -------------------------------------------------------------------------------- /lib/utils/test/my_list.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/utils/test/my_list.mli -------------------------------------------------------------------------------- /lib/utils/test/my_string.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/utils/test/my_string.ml -------------------------------------------------------------------------------- /lib/utils/test/my_string.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/utils/test/my_string.mli -------------------------------------------------------------------------------- /lib/utils/test/weighted_list.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/utils/test/weighted_list.ml -------------------------------------------------------------------------------- /lib/utils/test/weighted_list.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/lib/utils/test/weighted_list.mli -------------------------------------------------------------------------------- /proofs/overflow.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/proofs/overflow.v -------------------------------------------------------------------------------- /regress_tests/common.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/regress_tests/common.ml -------------------------------------------------------------------------------- /regress_tests/common.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/regress_tests/common.mli -------------------------------------------------------------------------------- /regress_tests/config.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/regress_tests/config.expected -------------------------------------------------------------------------------- /regress_tests/config.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/regress_tests/config.ml -------------------------------------------------------------------------------- /regress_tests/config_failures.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/regress_tests/config_failures.expected -------------------------------------------------------------------------------- /regress_tests/config_failures.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/regress_tests/config_failures.ml -------------------------------------------------------------------------------- /regress_tests/delitmus.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/regress_tests/delitmus.expected -------------------------------------------------------------------------------- /regress_tests/delitmus.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/regress_tests/delitmus.ml -------------------------------------------------------------------------------- /regress_tests/dump_header.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/regress_tests/dump_header.expected -------------------------------------------------------------------------------- /regress_tests/dump_header.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/regress_tests/dump_header.ml -------------------------------------------------------------------------------- /regress_tests/dump_stats.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/regress_tests/dump_stats.expected -------------------------------------------------------------------------------- /regress_tests/dump_stats.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/regress_tests/dump_stats.ml -------------------------------------------------------------------------------- /regress_tests/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/regress_tests/dune -------------------------------------------------------------------------------- /regress_tests/explain.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/regress_tests/explain.expected -------------------------------------------------------------------------------- /regress_tests/fuzz_action_list.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/regress_tests/fuzz_action_list.expected -------------------------------------------------------------------------------- /regress_tests/fuzz_action_list.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/regress_tests/fuzz_action_list.ml -------------------------------------------------------------------------------- /regress_tests/fuzz_replays.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/regress_tests/fuzz_replays.expected -------------------------------------------------------------------------------- /regress_tests/fuzz_replays.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/regress_tests/fuzz_replays.ml -------------------------------------------------------------------------------- /regress_tests/input/config/failures/fuzz_empty_action.conf: -------------------------------------------------------------------------------- 1 | fuzz { 2 | action 3 | } -------------------------------------------------------------------------------- /regress_tests/input/config/failures/fuzz_empty_weight.conf: -------------------------------------------------------------------------------- 1 | fuzz { 2 | action atomic.store.int weight 3 | } -------------------------------------------------------------------------------- /regress_tests/input/config/failures/unknown_block.conf: -------------------------------------------------------------------------------- 1 | fail {} -------------------------------------------------------------------------------- /regress_tests/input/config/valid/comments_only.conf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/regress_tests/input/config/valid/comments_only.conf -------------------------------------------------------------------------------- /regress_tests/input/config/valid/empty.conf: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /regress_tests/input/config/valid/params.conf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/regress_tests/input/config/valid/params.conf -------------------------------------------------------------------------------- /regress_tests/input/fuzz/replays/cmpxchg.insert-int-arbitrary.trace: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/regress_tests/input/fuzz/replays/cmpxchg.insert-int-arbitrary.trace -------------------------------------------------------------------------------- /regress_tests/input/fuzz/replays/cmpxchg.insert-int-fail.trace: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/regress_tests/input/fuzz/replays/cmpxchg.insert-int-fail.trace -------------------------------------------------------------------------------- /regress_tests/input/fuzz/replays/cmpxchg.insert-int-succeed.trace: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/regress_tests/input/fuzz/replays/cmpxchg.insert-int-succeed.trace -------------------------------------------------------------------------------- /regress_tests/input/fuzz/replays/cmpxchg.litmus: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/regress_tests/input/fuzz/replays/cmpxchg.litmus -------------------------------------------------------------------------------- /regress_tests/input/fuzz/replays/fetch.insert-boundary.trace: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/regress_tests/input/fuzz/replays/fetch.insert-boundary.trace -------------------------------------------------------------------------------- /regress_tests/input/fuzz/replays/fetch.insert-negated-addend.trace: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/regress_tests/input/fuzz/replays/fetch.insert-negated-addend.trace -------------------------------------------------------------------------------- /regress_tests/input/fuzz/replays/fetch.litmus: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/regress_tests/input/fuzz/replays/fetch.litmus -------------------------------------------------------------------------------- /regress_tests/input/fuzz/replays/morisset.1.trace: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/regress_tests/input/fuzz/replays/morisset.1.trace -------------------------------------------------------------------------------- /regress_tests/input/fuzz/replays/morisset.litmus: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/regress_tests/input/fuzz/replays/morisset.litmus -------------------------------------------------------------------------------- /regress_tests/input/fuzz/replays/sbsc.1.trace: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/regress_tests/input/fuzz/replays/sbsc.1.trace -------------------------------------------------------------------------------- /regress_tests/input/fuzz/replays/sbsc.litmus: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/regress_tests/input/fuzz/replays/sbsc.litmus -------------------------------------------------------------------------------- /regress_tests/input/litmus/deacon.c.litmus: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/regress_tests/input/litmus/deacon.c.litmus -------------------------------------------------------------------------------- /regress_tests/input/litmus/failures/cpp.c.litmus: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/regress_tests/input/litmus/failures/cpp.c.litmus -------------------------------------------------------------------------------- /regress_tests/input/litmus/failures/location_fn.c.litmus: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/regress_tests/input/litmus/failures/location_fn.c.litmus -------------------------------------------------------------------------------- /regress_tests/input/litmus/failures/tx_atomic_nonblock.litmus: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/regress_tests/input/litmus/failures/tx_atomic_nonblock.litmus -------------------------------------------------------------------------------- /regress_tests/input/litmus/failures/tx_sync_nonblock.litmus: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/regress_tests/input/litmus/failures/tx_sync_nonblock.litmus -------------------------------------------------------------------------------- /regress_tests/input/litmus/fuzz_local_bools.c.litmus: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/regress_tests/input/litmus/fuzz_local_bools.c.litmus -------------------------------------------------------------------------------- /regress_tests/input/litmus/iriw.c.litmus: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/regress_tests/input/litmus/iriw.c.litmus -------------------------------------------------------------------------------- /regress_tests/input/litmus/iriw_fuzz_redundant.c.litmus: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/regress_tests/input/litmus/iriw_fuzz_redundant.c.litmus -------------------------------------------------------------------------------- /regress_tests/input/litmus/memalloy_cmpxchg.c.litmus: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/regress_tests/input/litmus/memalloy_cmpxchg.c.litmus -------------------------------------------------------------------------------- /regress_tests/input/litmus/memalloy_na_int.c.litmus: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/regress_tests/input/litmus/memalloy_na_int.c.litmus -------------------------------------------------------------------------------- /regress_tests/input/litmus/nonzero_local.c.litmus: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/regress_tests/input/litmus/nonzero_local.c.litmus -------------------------------------------------------------------------------- /regress_tests/input/litmus/rwc.c.litmus: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/regress_tests/input/litmus/rwc.c.litmus -------------------------------------------------------------------------------- /regress_tests/litmus_failures.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/regress_tests/litmus_failures.expected -------------------------------------------------------------------------------- /regress_tests/litmus_failures.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/regress_tests/litmus_failures.ml -------------------------------------------------------------------------------- /regress_tests/litmusify.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c4-project/c4f/HEAD/regress_tests/litmusify.expected --------------------------------------------------------------------------------