jeltz/heptagon
1
0
Fork 0
Code Issues Pull requests Releases Activity
heptagon/tools/debugger_script

114 lines
4.7 KiB
Text
Raw Normal View History

A script to use when debugging. It allows pretty printing of nearly anything inside the debugger. If raw data printing is needed (and possible) just comment the line of the printer you want to disable.
2010-08-03 22:41:51 +02:00
load_printer "/sw/lib/ocaml/menhirLib/menhirLib.cmo"
load_printer "_build/global/location.d.cmo"
load_printer "_build/global/names.d.cmo"
load_printer "_build/utilities/misc.d.cmo"
load_printer "_build/global/types.d.cmo"
load_printer "_build/global/signature.d.cmo"
load_printer "_build/global/modules.d.cmo"
load_printer "_build/global/idents.d.cmo"
Small 'check' cosmetic. debugger_script updated.
2010-09-13 01:16:37 +02:00
load_printer "_build/global/clocks.d.cmo"
load_printer "_build/utilities/pp_tools.d.cmo"
load_printer "_build/global/global_printer.d.cmo"
A script to use when debugging. It allows pretty printing of nearly anything inside the debugger. If raw data printing is needed (and possible) just comment the line of the printer you want to disable.
2010-08-03 22:41:51 +02:00
load_printer "_build/global/initial.d.cmo"
load_printer "_build/global/static.d.cmo"
load_printer "_build/heptagon/heptagon.d.cmo"
load_printer "_build/utilities/graph.d.cmo"
load_printer "_build/heptagon/analysis/causal.d.cmo"
load_printer "_build/heptagon/analysis/causality.d.cmo"
load_printer "_build/global/global_mapfold.d.cmo"
load_printer "_build/heptagon/hept_mapfold.d.cmo"
load_printer "_build/heptagon/analysis/statefull.d.cmo"
Small 'check' cosmetic. debugger_script updated.
2010-09-13 01:16:37 +02:00
load_printer "_build/heptagon/hept_printer.d.cmo"
A script to use when debugging. It allows pretty printing of nearly anything inside the debugger. If raw data printing is needed (and possible) just comment the line of the printer you want to disable.
2010-08-03 22:41:51 +02:00
load_printer "_build/heptagon/parsing/hept_parsetree.d.cmo"
load_printer "_build/heptagon/parsing/hept_parser.d.cmo"
load_printer "_build/heptagon/parsing/hept_lexer.d.cmo"
load_printer "_build/heptagon/parsing/hept_scoping.d.cmo"
load_printer "_build/heptagon/transformations/automata.d.cmo"
load_printer "_build/heptagon/transformations/completion.d.cmo"
load_printer "_build/heptagon/transformations/reset.d.cmo"
load_printer "_build/heptagon/transformations/every.d.cmo"
load_printer "_build/heptagon/transformations/last.d.cmo"
load_printer "_build/heptagon/transformations/present.d.cmo"
load_printer "_build/minils/minils.d.cmo"
load_printer "_build/utilities/global/compiler_utils.d.cmo"
load_printer "_build/heptagon/main/hept_compiler.d.cmo"
load_printer "_build/minils/mls_mapfold.d.cmo"
load_printer "_build/minils/mls_printer.d.cmo"
load_printer "_build/utilities/global/dep.d.cmo"
load_printer "_build/minils/mls_utils.d.cmo"
load_printer "_build/main/hept2mls.d.cmo"
Small 'check' cosmetic. debugger_script updated.
2010-09-13 01:16:37 +02:00
load_printer "_build/minils/transformations/itfusion.d.cmo"
A script to use when debugging. It allows pretty printing of nearly anything inside the debugger. If raw data printing is needed (and possible) just comment the line of the printer you want to disable.
2010-08-03 22:41:51 +02:00
load_printer "_build/obc/obc.d.cmo"
load_printer "_build/obc/control.d.cmo"
load_printer "_build/obc/obc_mapfold.d.cmo"
load_printer "_build/main/mls2obc.d.cmo"
small print debugging tweaks.
2010-09-01 14:42:44 +02:00
load_printer "_build/minils/transformations/callgraph.d.cmo"
A script to use when debugging. It allows pretty printing of nearly anything inside the debugger. If raw data printing is needed (and possible) just comment the line of the printer you want to disable.
2010-08-03 22:41:51 +02:00
load_printer "_build/obc/c/c.d.cmo"
load_printer "_build/obc/c/csubst.d.cmo"
load_printer "_build/obc/obc_utils.d.cmo"
load_printer "_build/obc/c/cgen.d.cmo"
load_printer "_build/obc/c/cmain.d.cmo"
load_printer "_build/obc/obc_printer.d.cmo"
load_printer "_build/minils/main/mls2seq.d.cmo"
load_printer "_build/minils/analysis/clocking.d.cmo"
load_printer "_build/minils/transformations/normalize.d.cmo"
load_printer "_build/minils/transformations/schedule.d.cmo"
load_printer "_build/minils/main/mls_compiler.d.cmo"
install_printer Idents.print_ident
install_printer Idents.IdentSet.fprint_t
install_printer Names.print_name
install_printer Names.print_longname
install_printer Signature.print_param
install_printer Static.print_size_constraint
install_printer Types.print_static_exp
install_printer Types.print_static_exp_tuple
install_printer Types.print_type
install_printer Hept_printer.print_iterator
install_printer Hept_printer.print_pat
install_printer Hept_printer.print_vd
install_printer Hept_printer.print_exps
install_printer Hept_printer.print_exp
install_printer Hept_printer.print_call_params
install_printer Hept_printer.print_eq
install_printer Hept_printer.print_eq_list
install_printer Hept_printer.print_state_handler
install_printer Hept_printer.print_switch_handler
install_printer Hept_printer.print_present_handler
install_printer Hept_printer.print_escape
install_printer Hept_printer.print_block
install_printer Hept_printer.print_type_def
install_printer Hept_printer.print_const_dec
install_printer Hept_printer.print_contract
install_printer Hept_printer.print_node_params
install_printer Hept_printer.print_node
install_printer Hept_printer.print_open_module
install_printer Mls_printer.print_pat
install_printer Mls_printer.print_ck
install_printer Mls_printer.print_vd
install_printer Mls_printer.print_local_vars
install_printer Mls_printer.print_const_dec
install_printer Mls_printer.print_params
install_printer Mls_printer.print_node_params
install_printer Mls_printer.print_exp_tuple
install_printer Mls_printer.print_vd_tuple
install_printer Mls_printer.print_index
install_printer Mls_printer.print_dyn_index
install_printer Mls_printer.print_every
install_printer Mls_printer.print_exp_desc
install_printer Mls_printer.print_eq
install_printer Mls_printer.print_eqs
install_printer Mls_printer.print_open_module
install_printer Mls_printer.print_type_dec
install_printer Mls_printer.print_type_desc
install_printer Mls_printer.print_field
install_printer Mls_printer.print_contract
install_printer Mls_printer.print_node
Reference in a new issue Copy permalink