caml-urm

A OCaml module for manipulating unlimited register machines

Diffstat

1 file changed, 58 insertions, 0 deletions

diff --git a/urm.1 b/urm.1
@@ -0,0 +1,58 @@
+'\" t
+.\"   _   _ _ __ _ __ ___  
+.\"  | | | | '__| '_ ` _ \ 
+.\"  | |_| | |  | | | | | |
+.\"   \__,_|_|  |_| |_| |_|
+.\"                                     
+.\" Unlimited Register Machine simulator
+.\" 
+.\" Copyright (C) 2021 Pablo
+.\" Free use of this software is granted under the terms of the GPL-3.0 License
+.TH "MAN" "1" "2021-12-11" "\ \&" "\ \&"
+.ie \n(.g .ds Aq \(aq
+.el       .ds Aq '
+.ss \n[.ss] 0
+.nh
+.ad l
+.de URL
+\fI\\$2\fP <\\$1>\\$3
+..
+.als MTO URL
+.if \n[.g] \{\
+.  mso www.tmac
+.  am URL
+.    ad l
+.  .
+.  am MTO
+.    ad l
+.  .
+.  LINKSTYLE blue R < >
+.\}
+.SH "SYNOPSIS"
+.sp
+A simple Unlimited Register Machine (URM) simulator
+.SH "USAGE"
+.sp
+\fBurm\fP [-i ITERS] REGISTERS FILE
+.SH "OPTIONS"
+.sp
+\fB-i ITERS\fP
+.RS 4
+Sets the maximum number of iterations allowed to \fBITERS\fP: an arbitrary
+program may not halt for a given input and this option configures how much
+instructions is the machine allowed to run before failing with an error.
+Defaults to \fB1000\fP
+.RE
+.SH "AUTHORS"
+.sp
+\fBurm\fP was written by Pablo
+<\c
+.MTO "pablo\-escobar\(atriseup.net" "" ">."
+.SH "RESOURCES"
+.sp
+\fBGit source repository:\fP \c
+.URL "https://git.pablopie.xyz/caml\-urm/README.html" "" ""
+.SH "COPYING"
+.sp
+Copyright (C) 2021 Pablo.
+Free use of this software is granted under the terms of the GPL\-3.0 License.