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

69 lines
3.3 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 "_build/global/names.d.cmo"
debugger_script updated.
2010-12-14 18:34:18 +01:00
load_printer "_build/global/location.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/utilities/misc.d.cmo"
load_printer "_build/global/types.d.cmo"
load_printer "_build/global/signature.d.cmo"
debugger_script updated.
2010-12-14 18:34:18 +01:00
load_printer "_build/utilities/global/compiler_options.d.cmo"
load_printer "_build/utilities/global/errors.d.cmo"
load_printer "_build/utilities/global/compiler_utils.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/modules.d.cmo"
debugger_script updated.
2010-12-14 18:34:18 +01:00
load_printer "_build/global/initial.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/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/static.d.cmo"
load_printer "_build/heptagon/heptagon.d.cmo"
debugger_script updated.
2010-12-14 18:34:18 +01:00
load_printer "_build/heptagon/analysis/initialization.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/global_mapfold.d.cmo"
load_printer "_build/heptagon/hept_mapfold.d.cmo"
load_printer "_build/heptagon/analysis/statefull.d.cmo"
debugger_script updated.
2010-12-14 18:34:18 +01:00
load_printer "_build/heptagon/analysis/typing.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"
debugger_script updated.
2010-12-14 18:34:18 +01:00
load_printer "_build/heptagon/transformations/block.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/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/heptagon/main/hept_compiler.d.cmo"
debugger_script updated.
2010-12-14 18:34:18 +01:00
load_printer "_build/heptagon/parsing/hept_parsetree_mapfold.d.cmo"
load_printer "_build/heptagon/parsing/hept_static_scoping.d.cmo"
load_printer "_build/minils/minils.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/minils/mls_mapfold.d.cmo"
load_printer "_build/minils/mls_printer.d.cmo"
debugger_script updated.
2010-12-14 18:34:18 +01:00
load_printer "_build/utilities/graph.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/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"
debugger_script updated.
2010-12-14 18:34:18 +01:00
load_printer "_build/global/global_compare.d.cmo"
load_printer "_build/minils/mls_compare.d.cmo"
load_printer "_build/minils/transformations/checkpass.d.cmo"
load_printer "_build/minils/transformations/introvars.d.cmo"
load_printer "_build/minils/transformations/singletonvars.d.cmo"
load_printer "_build/minils/transformations/tomato.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/minils/main/mls_compiler.d.cmo"
debugger_script updated.
2010-12-14 18:34:18 +01:00
load_printer "_build/main/heptc.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
Reference in a new issue Copy permalink