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

113 lines
5.7 KiB
Text
Raw Permalink Normal View History

New debugger script with a partial generator.
2011-11-18 11:55:33 +01:00
load_printer "/sw/lib/ocaml/ocamlgraph/graph.cma"
load_printer "/sw/lib/ocaml/menhirLib/menhirLib.cma"
blop
2011-03-21 14:30:19 +01:00
load_printer "/sw/lib/ocaml/str.cma"
load_printer "_build/utilities/misc.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/names.d.cmo"
blop
2011-03-21 14:30:19 +01:00
load_printer "_build/utilities/global/compiler_options.d.cmo"
New debugger script with a partial generator.
2011-11-18 11:55:33 +01:00
load_printer "_build/utilities/global/errors.d.cmo"
debugger_script updated.
2010-12-14 18:34:18 +01:00
load_printer "_build/global/location.d.cmo"
New debugger script with a partial generator.
2011-11-18 11:55:33 +01:00
load_printer "_build/global/idents.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/types.d.cmo"
New debugger script with a partial generator.
2011-11-18 11:55:33 +01:00
load_printer "_build/utilities/global/compiler_utils.d.cmo"
blop
2011-03-21 14:30:19 +01:00
load_printer "_build/global/clocks.d.cmo"
New debugger script with a partial generator.
2011-11-18 11:55:33 +01:00
load_printer "_build/global/linearity.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/signature.d.cmo"
load_printer "_build/global/modules.d.cmo"
Small 'check' cosmetic. debugger_script updated.
2010-09-13 01:16:37 +02:00
load_printer "_build/utilities/pp_tools.d.cmo"
load_printer "_build/global/global_printer.d.cmo"
New debugger script with a partial generator.
2011-11-18 11:55:33 +01:00
load_printer "_build/global/global_compare.d.cmo"
load_printer "_build/global/global_mapfold.cmo"
load_printer "_build/global/global_mapfold.cmo"
blop
2011-03-21 14:30:19 +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/static.d.cmo"
New debugger script with a partial generator.
2011-11-18 11:55:33 +01:00
load_printer "_build/utilities/minils/interference_graph.d.cmo"
load_printer "_build/utilities/sgraph.d.cmo"
load_printer "_build/utilities/sgraph.d.cmo"
load_printer "_build/minils/minils.d.cmo"
load_printer "_build/utilities/global/dep.d.cmo"
load_printer "_build/minils/mls_mapfold.cmo"
load_printer "_build/minils/mls_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/heptagon.d.cmo"
New debugger script with a partial generator.
2011-11-18 11:55:33 +01:00
load_printer "_build/minils/mls_utils.d.cmo"
load_printer "_build/heptagon/hept_mapfold.cmo"
load_printer "_build/heptagon/hept_mapfold.cmo"
load_printer "_build/heptagon/analysis/stateful.d.cmo"
load_printer "_build/heptagon/hept_utils.d.cmo"
blop
2011-03-21 14:30:19 +01:00
load_printer "_build/heptagon/analysis/causal.d.cmo"
New debugger script with a partial generator.
2011-11-18 11:55:33 +01:00
load_printer "_build/heptagon/analysis/causal.d.cmo"
load_printer "_build/heptagon/transformations/reset.d.cmo"
load_printer "_build/heptagon/transformations/reset.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/transformations/automata.d.cmo"
New debugger script with a partial generator.
2011-11-18 11:55:33 +01:00
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"
New debugger script with a partial generator.
2011-11-18 11:55:33 +01:00
load_printer "_build/heptagon/transformations/boolean.d.cmo"
load_printer "_build/heptagon/analysis/causality.d.cmo"
load_printer "_build/heptagon/analysis/causality.d.cmo"
load_printer "_build/heptagon/transformations/completion.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/every.d.cmo"
New debugger script with a partial generator.
2011-11-18 11:55:33 +01:00
load_printer "_build/heptagon/analysis/hept_clocking.d.cmo"
load_printer "_build/heptagon/analysis/hept_clocking.d.cmo"
load_printer "_build/heptagon/analysis/initialization.d.cmo"
load_printer "_build/heptagon/transformations/inline.d.cmo"
load_printer "_build/heptagon/transformations/itfusion.d.cmo"
load_printer "_build/heptagon/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/heptagon/transformations/last.d.cmo"
New debugger script with a partial generator.
2011-11-18 11:55:33 +01:00
load_printer "_build/heptagon/transformations/last.d.cmo"
load_printer "_build/heptagon/analysis/linear_typing.d.cmo"
load_printer "_build/heptagon/analysis/linear_typing.d.cmo"
load_printer "_build/heptagon/transformations/normalize.d.cmo"
load_printer "_build/heptagon/transformations/normalize.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/present.d.cmo"
blop
2011-03-21 14:30:19 +01:00
load_printer "_build/heptagon/transformations/switch.d.cmo"
New debugger script with a partial generator.
2011-11-18 11:55:33 +01:00
load_printer "_build/heptagon/transformations/switch.d.cmo"
load_printer "_build/heptagon/analysis/typing.d.cmo"
load_printer "_build/heptagon/analysis/typing.d.cmo"
blop
2011-03-21 14:30:19 +01: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_scoping.d.cmo"
New debugger script with a partial generator.
2011-11-18 11:55:33 +01:00
load_printer "_build/heptagon/parsing/hept_scoping.d.cmo"
load_printer "_build/heptagon/parsing/hept_parsetree_mapfold.cmo"
load_printer "_build/heptagon/parsing/hept_lexer.d.cmo"
debugger_script updated.
2010-12-14 18:34:18 +01:00
load_printer "_build/heptagon/parsing/hept_static_scoping.d.cmo"
New debugger script with a partial generator.
2011-11-18 11:55:33 +01:00
load_printer "_build/obc/c/c.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"
New debugger script with a partial generator.
2011-11-18 11:55:33 +01:00
load_printer "_build/obc/obc_mapfold.cmo"
blop
2011-03-21 14:30:19 +01:00
load_printer "_build/obc/obc_utils.d.cmo"
New debugger script with a partial generator.
2011-11-18 11:55:33 +01:00
load_printer "_build/obc/obc_utils.d.cmo"
load_printer "_build/obc/c/cgen.d.cmo"
blop
2011-03-21 14:30:19 +01:00
load_printer "_build/obc/java/java.d.cmo"
load_printer "_build/obc/java/java_printer.d.cmo"
New debugger script with a partial generator.
2011-11-18 11:55:33 +01:00
load_printer "_build/obc/java/java_printer.d.cmo"
blop
2011-03-21 14:30:19 +01:00
load_printer "_build/obc/java/obc2java.d.cmo"
New debugger script with a partial generator.
2011-11-18 11:55:33 +01:00
load_printer "_build/obc/java/obc2java.d.cmo"
load_printer "_build/obc/obc_compare.d.cmo"
load_printer "_build/utilities/containers.d.cmo"
load_printer "_build/utilities/minils/dcoloring.d.cmo"
load_printer "_build/utilities/minils/interference2dot.d.cmo"
load_printer "_build/minils/analysis/interference.d.cmo"
load_printer "_build/minils/analysis/interference.d.cmo"
load_printer "_build/obc/control.d.cmo"
load_printer "_build/obc/control.d.cmo"
load_printer "_build/obc/transformations/deadcode.d.cmo"
load_printer "_build/obc/transformations/memalloc_apply.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_printer.d.cmo"
blop
2011-03-21 14:30:19 +01:00
load_printer "_build/obc/transformations/scalarize.d.cmo"
New debugger script with a partial generator.
2011-11-18 11:55:33 +01:00
load_printer "_build/obc/transformations/simplify.d.cmo"
load_printer "_build/minils/transformations/callgraph.d.cmo"
load_printer "_build/obc/c/cmain.d.cmo"
load_printer "_build/obc/java/java_main.d.cmo"
load_printer "_build/obc/java/java_main.d.cmo"
load_printer "_build/main/mls2obc.d.cmo"
load_printer "_build/obc/main/obc_compiler.d.cmo"
load_printer "_build/minils/mls_compare.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/analysis/clocking.d.cmo"
New debugger script with a partial generator.
2011-11-18 11:55:33 +01:00
load_printer "_build/minils/analysis/clocking.d.cmo"
load_printer "_build/minils/transformations/inline_extvalues.d.cmo"
load_printer "_build/minils/analysis/level_clock.d.cmo"
load_printer "_build/minils/transformations/normalize_mem.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/transformations/schedule.d.cmo"
New debugger script with a partial generator.
2011-11-18 11:55:33 +01:00
load_printer "_build/minils/transformations/schedule_interf.d.cmo"
debugger_script updated.
2010-12-14 18:34:18 +01:00
load_printer "_build/minils/transformations/tomato.d.cmo"
Reference in a new issue Copy permalink