Skip to content

Latest commit

 

History

History

tools

Folders and files

NameName
Last commit message
Last commit date

parent directory

..
.gitignore
.gitignore
 
 
.nocopyright
.nocopyright
 
 
Mmakefile
Mmakefile
 
 
README
README
 
 
add_cont_lines
add_cont_lines
 
 
alias_sync
alias_sync
 
 
appears
appears
 
 
assemble
assemble
 
 
avg_frame_size
avg_frame_size
 
 
backupdir
backupdir
 
 
backuprevisions
backuprevisions
 
 
binary
binary
 
 
binary_step
binary_step
 
 
bootcheck
bootcheck
 
 
build_srcdist
build_srcdist
 
 
cleanint
cleanint
 
 
compare_frame_sizes
compare_frame_sizes
 
 
configure_mingw_cross
configure_mingw_cross
 
 
cont
cont
 
 
ctor_rep_stats
ctor_rep_stats
 
 
cur_param
cur_param
 
 
cvdd
cvdd
 
 
cvdr
cvdr
 
 
cvsdiff
cvsdiff
 
 
cvsdirs
cvsdirs
 
 
cvsfiles
cvsfiles
 
 
cvspatch
cvspatch
 
 
dd_speedtest
dd_speedtest
 
 
divide
divide
 
 
dotime.in
dotime.in
 
 
expand_params
expand_params
 
 
extract_dd_stats
extract_dd_stats
 
 
extract_incr_sp
extract_incr_sp
 
 
file_name_translation_stats
file_name_translation_stats
 
 
frame_sizes
frame_sizes
 
 
gdbrun
gdbrun
 
 
generate_index_html
generate_index_html
 
 
half
half
 
 
ho_call_stats
ho_call_stats
 
 
import_srcdist
import_srcdist
 
 
info_stats.awk
info_stats.awk
 
 
item_stats
item_stats
 
 
linear
linear
 
 
lmc.in
lmc.in
 
 
lml
lml
 
 
m_file_module
m_file_module
 
 
mai_stats
mai_stats
 
 
make_arena
make_arena
 
 
make_java_csharp_arena_base
make_java_csharp_arena_base
 
 
make_java_csharp_arena_diff
make_java_csharp_arena_diff
 
 
make_port_code
make_port_code
 
 
make_spec_ho_call
make_spec_ho_call
 
 
make_spec_method_call
make_spec_method_call
 
 
makebatch
makebatch
 
 
msearch
msearch
 
 
mtest
mtest
 
 
next_param
next_param
 
 
not
not
 
 
optstages
optstages
 
 
restorerevisions
restorerevisions
 
 
run_all_tests_from_cron
run_all_tests_from_cron
 
 
speed_summary
speed_summary
 
 
speedtest
speedtest
 
 
src_lines
src_lines
 
 
stdlines
stdlines
 
 
submit_patch
submit_patch
 
 
subst
subst
 
 
sum_stats
sum_stats
 
 
summarize_cvslog
summarize_cvslog
 
 
test-autopar
test-autopar
 
 
test_mercury
test_mercury
 
 
type_ctor_stats
type_ctor_stats
 
 
unary
unary
 
 

README

This directory, mercury/tools, contains scripts that are not intended
for use by users.  The scripts here are used by the Mercury developers
for maintaining the Mercury compiler.