mercurylang/mercury
1
0
Fork 0
mirror of https://github.com/Mercury-Language/mercury.git synced 2026-04-15 17:33:38 +00:00
Code Issues Projects Releases Wiki Activity
Files
7f16eb78ddae7ea71bbec090bebe08c92a5fbf01
mercury/tools
History
Julien Fischer 7f16eb78dd Fix a typo. 
tools/bootcheck:
    s/mct/mtc/
2024-07-17 11:01:13 +10:00
..
old_tools
Move obsolete tools tools/old_tools.
2021-04-27 03:51:56 +10:00
.gitignore
…
.nocopyright
…
add_cont_lines
Add vim modelines to most tools.
2021-04-27 03:54:27 +10:00
appears
Add vim modelines to most tools.
2021-04-27 03:54:27 +10:00
assemble
Add vim modelines to most tools.
2021-04-27 03:54:27 +10:00
avg_frame_size
Add vim modelines to most tools.
2021-04-27 03:54:27 +10:00
backuprevisions
…
binary
Use --trans-opt-deps-spec option.
2023-01-25 16:48:45 +11:00
binary_step
Let "binary" find bugs in the browser, and in nonstandard grades.
2019-01-14 09:20:02 +11:00
bootcheck
Fix a typo.
2024-07-17 11:01:13 +10:00
build_srcdist
Don't expect .git to be a directory.
2023-07-12 13:44:26 +10:00
cleanint
Add vim modelines to most tools.
2021-04-27 03:54:27 +10:00
compare_frame_sizes
Add vim modelines to most tools.
2021-04-27 03:54:27 +10:00
configure_cross
Disable the use of asm_fast grades on Windows.
2024-01-22 14:26:21 +11:00
cont
Add vim modelines to most tools.
2021-04-27 03:54:27 +10:00
copy_mercury_binaries
Convert README.cross to markdown.
2022-07-18 17:41:46 +10:00
ctor_rep_stats
Add vim modelines to most tools.
2021-04-27 03:54:27 +10:00
cur_param
Add vim modelines to most tools.
2021-04-27 03:54:27 +10:00
dd_speedtest
Add vim modelines to most tools.
2021-04-27 03:54:27 +10:00
divide
Add vim modelines to most tools.
2021-04-27 03:54:27 +10:00
dotime.in
…
expand_params
Add vim modelines to most tools.
2021-04-27 03:54:27 +10:00
extract_dd_stats
Add vim modelines to most tools.
2021-04-27 03:54:27 +10:00
extract_incr_sp
…
file_name_translation_stats
Improve infrastructure for file name translations.
2023-05-31 10:14:31 +02:00
filter_sort_imports
Delete prog_out.m, moving its code to other modules.
2023-04-09 16:23:13 +10:00
find_long_lines
Add tools to find too-long lines.
2023-05-15 11:37:13 +10:00
frame_sizes
Add vim modelines to most tools.
2021-04-27 03:54:27 +10:00
gdbrun
Add vim modelines to most tools.
2021-04-27 03:54:27 +10:00
generate_errno_name
Introduce io.system_error to io.m public interface.
2022-08-23 16:39:48 +10:00
generate_index_html
…
generate_windows_error_name
Reduce size of MR_win32_error_name.
2022-08-29 10:57:39 +10:00
half
Add vim modelines to most tools.
2021-04-27 03:54:27 +10:00
ho_call_stats
…
import_srcdist
Add sanity check to tools/import_srcdist.
2022-01-28 10:43:05 +11:00
info_stats.awk
Add vim modelines to most tools.
2021-04-27 03:54:27 +10:00
inst_stats
Add the option --inst-statistics.
2023-07-18 12:11:33 +02:00
intdiffall
Use checked type/inst/modes in parse_tree_int[123]s.
2021-10-01 17:57:15 +10:00
item_stats
…
line_len_stats
Add tools to find too-long lines.
2023-05-15 11:37:13 +10:00
linear
Add vim modelines to most tools.
2021-04-27 03:54:27 +10:00
lmc.in
Handle .lib suffix in lmc script.
2023-07-01 02:01:20 +10:00
lml
…
m_file_module
Added a new tool.
2020-03-24 19:54:29 +11:00
mai_stats
Delete unnecessary fields from mai_stats.
2021-07-30 19:14:25 +10:00
make_arena
Add vim modelines to most tools.
2021-04-27 03:54:27 +10:00
make_deps_cache_stats
Disable the two new caches in make.deps_cache.m.
2023-10-16 16:03:06 +11:00
make_java_csharp_arena_base
Parallelise make_java_csharp_arena_{base,diff}
2018-07-26 14:54:51 +10:00
make_java_csharp_arena_diff
Parallelise make_java_csharp_arena_{base,diff}
2018-07-26 14:54:51 +10:00
make_optimization_options
Make tools/make_optimization_options update options.m.
2023-08-18 13:09:48 +02:00
make_optimization_options_db
Merge consecutive switches on the same variable.
2023-08-17 12:10:13 +02:00
make_optimization_options_end
Enable constant propagation at -O2.
2023-08-18 13:14:40 +02:00
make_optimization_options_middle
Add new optimization option --split-switch-arms.
2023-07-24 19:14:17 +02:00
make_optimization_options_start
Move imports from interface to implementation.
2020-10-11 11:44:13 +11:00
make_port_code
…
make_spec_ho_call
…
make_spec_method_call
…
makebatch
…
Mmakefile
Fix mmakefile rules for os,cs,css,javas.
2020-04-11 20:10:38 +10:00
msearch
…
mtest
Added another new tool.
2020-03-25 11:56:31 +11:00
next_param
Add vim modelines to most tools.
2021-04-27 03:54:27 +10:00
not
Add vim modelines to most tools.
2021-04-27 03:54:27 +10:00
optstages
Add vim modelines to most tools.
2021-04-27 03:54:27 +10:00
README
…
restrict_stats
Optimize the common case in instmap_delta_restrict.
2022-04-02 16:35:18 +11:00
run_all_tests_from_cron
…
sort_imports
Use var_tables in lco.m, and when dumping goals.
2022-04-18 02:00:38 +10:00
speed_summary
Improve the format of speed_summary's output.
2024-06-07 08:47:00 +10:00
speedtest
Move Deep.procrep with Deep.data.
2019-07-29 10:46:34 +02:00
src_lines
…
stdlines
…
subst
…
sum_stats
…
test_mercury
Rename the .ll_debug grade component to .c_debug.
2022-12-29 20:33:08 +11:00
test-autopar
…
type_ctor_stats
Add vim modelines to most tools.
2021-04-27 03:54:27 +10:00
unary
Use --trans-opt-deps-spec option.
2023-01-25 16:48:45 +11:00
write_deps_file_stats
Gather stats on write_deps_file's file name creation.
2023-09-08 12:12:31 +10:00

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.