caml-urm

001
002
003
004
005
006
007
008
009
010
011
012
013
014
015
016
017
018
019
020
021
022
023
024
025
026
027
028
029
030
031
032
033
034
035
036
037
038
039
040
041
042
043
044
045
046
047
048
049
050
051
052
053
054
055
056
057
058
059
060
061
062
063
064
065
066
067
068
069
070
071
072
073
074
075
076
077
078
079
080
081
082
083
084
085
086
087
088
089
090
091
092
093
094
095
096
097
098
099

'\" t
.\"   _   _ _ __ _ __ ___
.\"  | | | | '__| '_ ` _ \
.\"  | |_| | |  | | | | | |
.\"   \__,_|_|  |_| |_| |_|
.\"
.\" Unlimited Register Machine simulator
.\"
.\" Copyright (C) 2023 Pablo
.\" Free use of this software is granted under the terms of the GPL-3.0 License
.TH "MAN" "1" "2023-03-19" "\ \&" "\ \&"
.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 \fIFILE\fP [-i \fIITERS\fP] [-R\fIN\fP=\fIV\fP...] [-R\fIN\fP...]
.SH "OPTIONS"
.sp
\fB-i\fP \fIITERS\fP
.RS 4
Sets the maximum number of iterations allowed to \fIITERS\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 \fI1073741824\fP
.RE
.sp
\fB-R\fP\fIN\fP=\fIV\fP
.RS 4
Sets the initial value of the \fIN\fP-th register to \fIV\fP
.RE
.sp
\fB-R\fP\fIN\fP
.RS 4
Prints the value of the \fIN\fP-th register at the end of execution
.RE
.SH "EXAMPLES"
.sp
.if n .RS 4
.nf
.fam C
$ # computes R1 mod R2 and stores it in R3
$ ./urm examples/mod.urm \-R1=2023 \-R2=5 \-R3
R3 = 3
.fam
.fi
.if n .RE
.sp
.if n .RS 4
.nf
.fam C
$ # computes the R1\-th Fibonacci number and stores it in R2
$ ./urm examples/fibonacci.urm \-R1=12 \-R2
R2 = 144
.fam
.fi
.if n .RE
.sp
.if n .RS 4
.nf
.fam C
$ # computes the factorial of R1 and stores it in R2
$ ./urm examples/factorial.urm \-R1=6 \-R2
R2 = 720
.fam
.fi
.if n .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/" "" ""
.SH "COPYING"
.sp
Copyright (C) 2023 Pablo.
Free use of this software is granted under the terms of the GPL\-3.0 License.