Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
branch: master

Fetching latest commit…

Cannot retrieve the latest commit at this time

..
Failed to load latest commit information.
notes
.gitignore
.mgnuc_copts
.mgnuc_opts
.nocopyright
COMP_FLAGS.in
Mercury.options
Mmakefile
abstract_mode_constraints.m
accumulator.m
add_class.m
add_clause.m
add_foreign_enum.m
add_foreign_proc.m
add_heap_ops.m
add_mode.m
add_mutable_aux_preds.m
add_pragma.m
add_pragma_tabling.m
add_pragma_type_spec.m
add_pred.m
add_solver.m
add_special_pred.m
add_trail_ops.m
add_type.m
analysis.file.m
analysis.m
arg_info.m
arg_pack.m
assertion.m
atsort.m
backend_libs.m
base_typeclass_info.m
basic_block.m
build_mode_constraints.m
builtin_lib_types.m
builtin_ops.m
bytecode.m
bytecode_backend.m
bytecode_data.m
bytecode_gen.m
c_util.m
call_gen.m
check_hlds.m
check_typeclass.m
clause_to_proc.m
closure_analysis.m
code_gen.m
code_info.m
code_model.m
code_util.m
commit_gen.m
common.m
compile_target_code.m
compiler_util.m
complexity.m
const_prop.m
const_struct.m
constraint.m
continuation_info.m
coverage_profiling.m
cse_detection.m
ctgc.datastruct.m
ctgc.fixpoint_table.m
ctgc.livedata.m
ctgc.m
ctgc.selector.m
ctgc.util.m
dead_proc_elim.m
deep_profiling.m
deforest.m
delay_construct.m
delay_info.m
delay_partial_inst.m
delay_slot.m
dense_switch.m
dep_par_conj.m
dependency_graph.m
deps_map.m
det_analysis.m
det_report.m
det_util.m
disj_gen.m
distance_granularity.m
du_type_layout.m
dupelim.m
dupproc.m
elds.m
elds_to_erlang.m
equiv_type.m
equiv_type_hlds.m
erl_backend.m
erl_call_gen.m
erl_code_gen.m
erl_code_util.m
erl_rtti.m
erl_unify_gen.m
erlang_rtti.m
error_util.m
exception_analysis.m
export.m
exprn_aux.m
fact_table.m
field_access.m
file_names.m
file_util.m
float_regs.m
follow_code.m
follow_vars.m
foreign.m
format_call.m
frameopt.m
from_ground_term_util.m
global_data.m
globals.m
goal_expr_to_goal.m
goal_form.m
goal_path.m
goal_store.m
goal_util.m
granularity.m
graph_colour.m
handle_options.m
headvar_names.m
hhf.m
higher_order.m
hlds.m
hlds_args.m
hlds_clauses.m
hlds_code_util.m
hlds_data.m
hlds_desc.m
hlds_error_util.m
hlds_goal.m
hlds_llds.m
hlds_module.m
hlds_out.m
hlds_out_goal.m
hlds_out_mode.m
hlds_out_module.m
hlds_out_pred.m
hlds_out_util.m
hlds_pred.m
hlds_rtti.m
hlds_statistics.m
il_peephole.m
ilasm.m
ilds.m
implementation_defined_literals.m
implicit_parallelism.m
inlining.m
inst_check.m
inst_graph.m
inst_match.m
inst_user.m
inst_util.m
instmap.m
int_emu.m
intermod.m
interval.m
introduce_parallelism.m
ite_gen.m
item_util.m
java_names.m
java_util.m
jumpopt.m
labelopt.m
lambda.m
layout.m
layout_out.m
lco.m
libs.m
live_vars.m
livemap.m
liveness.m
ll_backend.m
ll_pseudo_type_info.m
llds.m
llds_out.m
llds_out_code_addr.m
llds_out_data.m
llds_out_file.m
llds_out_global.m
llds_out_instr.m
llds_out_util.m
lookup_switch.m
lookup_util.m
loop_inv.m
lp.m
lp_rational.m
make.dependencies.m
make.m
make.module_dep_file.m
make.module_target.m
make.program_target.m
make.util.m
make_goal.m
make_hlds.m
make_hlds_error.m
make_hlds_passes.m
make_hlds_warn.m
make_tags.m
mark_static_terms.m
mark_tail_calls.m
matching.m
mcsolver.m
md4.m
mercury_compile.m
mercury_compile_erl_back_end.m
mercury_compile_front_end.m
mercury_compile_llds_back_end.m
mercury_compile_middle_passes.m
mercury_compile_mlds_back_end.m
mercury_to_mercury.m
middle_rec.m
ml_accurate_gc.m
ml_backend.m
ml_call_gen.m
ml_closure_gen.m
ml_code_gen.m
ml_code_util.m
ml_commit_gen.m
ml_disj_gen.m
ml_elim_nested.m
ml_foreign_proc_gen.m
ml_gen_info.m
ml_global_data.m
ml_lookup_switch.m
ml_optimize.m
ml_proc_gen.m
ml_simplify_switch.m
ml_string_switch.m
ml_switch_gen.m
ml_tag_switch.m
ml_tailcall.m
ml_target_util.m
ml_type_gen.m
ml_unify_gen.m
ml_util.m
mlds.m
mlds_to_c.m
mlds_to_cs.m
mlds_to_il.m
mlds_to_ilasm.m
mlds_to_java.m
mlds_to_managed.m
mmc_analysis.m
mode_constraint_robdd.m
mode_constraints.m
mode_debug.m
mode_errors.m
mode_info.m
mode_ordering.m
mode_robdd.check.m
mode_robdd.equiv_vars.m
mode_robdd.implications.m
mode_robdd.m
mode_robdd.r.m
mode_robdd.tfeir.m
mode_robdd.tfeirn.m
mode_robdd.tfer.m
mode_robdd.tfern.m
mode_robdd.tfr.m
mode_util.m
modecheck_call.m
modecheck_conj.m
modecheck_goal.m
modecheck_unify.m
modecheck_util.m
modes.m
module_cmds.m
module_deps_graph.m
module_imports.m
module_qual.m
modules.m
name_mangle.m
oisu_check.m
opt_debug.m
opt_util.m
optimize.m
options.m
options_file.m
ordering_mode_constraints.m
par_conj_gen.m
par_loop_control.m
parallel_to_plain_conj.m
parse_string_format.m
parse_tree.m
passes_aux.m
pd_cost.m
pd_debug.m
pd_info.m
pd_term.m
pd_util.m
peephole.m
pickle.m
polyhedron.m
polymorphism.m
post_term_analysis.m
post_typecheck.m
pragma_c_gen.m
pred_table.m
proc_gen.m
proc_label.m
process_util.m
prog_ctgc.m
prog_data.m
prog_event.m
prog_foreign.m
prog_io.m
prog_io_dcg.m
prog_io_error.m
prog_io_find.m
prog_io_goal.m
prog_io_item.m
prog_io_mode_defn.m
prog_io_mutable.m
prog_io_pragma.m
prog_io_sym_name.m
prog_io_type_defn.m
prog_io_typeclass.m
prog_io_util.m
prog_item.m
prog_mode.m
prog_mutable.m
prog_out.m
prog_rep.m
prog_rep_tables.m
prog_type.m
prog_type_subst.m
prog_util.m
prop_mode_constraints.m
pseudo_type_info.m
purity.m
push_goals_together.m
qual_info.m
quantification.m
rat.m
rbmm.add_rbmm_goal_infos.m
rbmm.condition_renaming.m
rbmm.execution_path.m
rbmm.interproc_region_lifetime.m
rbmm.live_region_analysis.m
rbmm.live_variable_analysis.m
rbmm.m
rbmm.points_to_analysis.m
rbmm.points_to_graph.m
rbmm.points_to_info.m
rbmm.region_arguments.m
rbmm.region_instruction.m
rbmm.region_liveness_info.m
rbmm.region_resurrection_renaming.m
rbmm.region_transformation.m
read_modules.m
reassign.m
recompilation.check.m
recompilation.m
recompilation.usage.m
recompilation.version.m
rtti.m
rtti_out.m
rtti_to_mlds.m
saved_vars.m
set_of_var.m
simplify.m
simplify_goal.m
simplify_goal_call.m
simplify_goal_conj.m
simplify_goal_disj.m
simplify_goal_ite.m
simplify_goal_scope.m
simplify_goal_switch.m
simplify_goal_unify.m
simplify_info.m
simplify_proc.m
simplify_tasks.m
size_prof.m
smm_common.m
source_file_map.m
source_stats.awk
special_pred.m
ssdebug.m
stack_alloc.m
stack_layout.m
stack_opt.m
state_var.m
stdlabel.m
stm_expand.m
store_alloc.m
stratify.m
string_encoding.m
string_switch.m
structure_reuse.analysis.m
structure_reuse.direct.choose_reuse.m
structure_reuse.direct.detect_garbage.m
structure_reuse.direct.m
structure_reuse.domain.m
structure_reuse.indirect.m
structure_reuse.lbu.m
structure_reuse.lfu.m
structure_reuse.m
structure_reuse.versions.m
structure_sharing.analysis.m
structure_sharing.domain.m
structure_sharing.m
superhomogeneous.m
switch_case.m
switch_detection.m
switch_gen.m
switch_util.m
table_gen.m
tabling_analysis.m
tag_switch.m
term_constr_build.m
term_constr_data.m
term_constr_errors.m
term_constr_fixpoint.m
term_constr_initial.m
term_constr_main.m
term_constr_pass2.m
term_constr_util.m
term_errors.m
term_norm.m
term_pass1.m
term_pass2.m
term_traversal.m
term_util.m
termination.m
timestamp.m
top_level.m
trace_gen.m
trace_params.m
trailing_analysis.m
trans_opt.m
transform.m
transform_hlds.m
transform_llds.m
try_expand.m
tupling.m
type_assign.m
type_class_info.m
type_constraints.m
type_ctor_info.m
type_util.m
typecheck.m
typecheck_errors.m
typecheck_info.m
typeclasses.m
unify_gen.m
unify_proc.m
unique_modes.m
unneeded_code.m
untupling.m
unused_args.m
unused_imports.m
use_local_vars.m
var_locn.m
wrap_blocks.m
write_deps_file.m
write_module_interface_files.m
xml_documentation.m
Something went wrong with that request. Please try again.