MCRL2-GUI(1) User Commands MCRL2-GUI(1)NAME
mcrl2-gui - graphical front-end for mCRL2 tools
SYNOPSIS
mcrl2-gui [OPTION]...
DESCRIPTION
A graphical front-end for mCRL2 tools
OPTIONS
OPTION can be any of the following:
--timings[=FILE]
append timing measurements to FILE. Measurements are written to standard error if no FILE is provided
Standard options:
-q, --quiet
do not display warning messages
-v, --verbose
display short intermediate messages
-d, --debug
display detailed intermediate messages
--log-level=LEVEL
display intermediate messages up to and including level
-h, --help
display help information
--version
display version information
AUTHOR
Written by Frank Stappers.
REPORTING BUGS
Report bugs at <http://www.mcrl2.org/issuetracker>.
COPYRIGHT
Copyright (C) 2012 Technische Universiteit Eindhoven.
This is free software. You may redistribute copies of it under the terms of the Boost Software License
<http://www.boost.org/LICENSE_1_0.txt>. There is NO WARRANTY, to the extent permitted by law.
SEE ALSO
See also the manual at <http://www.mcrl2.org/mcrl2/wiki/index.php/User_manual/mcrl2-gui>.
mcrl2-gui mCRL2 toolset 201202.0 (Release) April 2012 MCRL2-GUI(1)
Check Out this Related Man Page
TXT2LPS(1) User Commands TXT2LPS(1)NAME
txt2lps - translates an mCRL2 specification of a linear process into an LPS
SYNOPSIS
txt2lps [OPTION]... [INFILE [OUTFILE]]
DESCRIPTION
Translates the mCRL2 specification in INFILE and writes the resulting LPS to OUTFILE. If OUTFILE is not present, standard output is used.
If INFILE is not present, standard input is used.
OPTIONS
OPTION can be any of the following:
--timings[=FILE]
append timing measurements to FILE. Measurements are written to standard error if no FILE is provided
Standard options:
-q, --quiet
do not display warning messages
-v, --verbose
display short intermediate messages
-d, --debug
display detailed intermediate messages
--log-level=LEVEL
display intermediate messages up to and including level
-h, --help
display help information
--version
display version information
AUTHOR
Written by Wieger Wesselink.
REPORTING BUGS
Report bugs at <http://www.mcrl2.org/issuetracker>.
COPYRIGHT
Copyright (C) 2012 Technische Universiteit Eindhoven.
This is free software. You may redistribute copies of it under the terms of the Boost Software License
<http://www.boost.org/LICENSE_1_0.txt>. There is NO WARRANTY, to the extent permitted by law.
SEE ALSO
See also the manual at <http://www.mcrl2.org/mcrl2/wiki/index.php/User_manual/txt2lps>.
txt2lps mCRL2 toolset 201202.0 (Release) April 2012 TXT2LPS(1)
I'm looking for a Partitioning Tool preferably with a GUI preferably free that is easy to use if anyone has any suggestions they will be greatfully recieved, Thanks. (4 Replies)
Dear friends;
I have Hp9000 series of Unix servers with s800 11.0 range
Can i make it GUI?
I heard that if you have xinit installed on the servers you can make the servers Graphical User Interface.
Is it possible to make this possible?
Plz. help me out...
Thanx in advance... (6 Replies)
I want to write GUI using C programing in Unix server. But I can not use windows.h header file.
I want to create some text box using C programing.
Please suggest me any sample code or tutorial for this purpose.
I do not know any thing about GUI programing in C language.
Thanks in... (5 Replies)
Forgive my naievety, but is there a non-Gui version of the administration tool, SMC?
I need to run this on a remote Putty login and it is just plain UNIX.
When I invoke SMC, I get java.lang.ClassLoader errors, a bunch of jibberish and a root prompt.
I have searched Google, seems as if it... (14 Replies)
Hi,
Are there any GUI (preferably web based) Solaris monitoring tools available for the SPARC platform.
Just to clarify, when i say GUI, I don't mean buttons to configure the Software, of course that would be a plus, but rather GUI in terms of output, like Graphs.
Thanks (6 Replies)
Hi,
I would like to ask for someone more experience in programming, May i ask on where do i start or what langguage should i start inorder to create an APPS with nice GUI front end for visual display and a embedded Database in backend for records purposes, a stand alone apps, for example i want... (5 Replies)
hi all,
this is my first post here...i hope that this is the correct section to write my question.
I have a distro linux without gui, only text mode.
So, it's possible run automatically a command or a program as "top" or "ping" and get the result on the main shell , after the boot and after... (6 Replies)
I have two SCO servers. On one I can logon to the gui via console with no problem. However, on the other I can logon to the gui but after a few seconds it kicks me back out to the prompt. I asked previous admin about this and he seems to think its a license issue? (7 Replies)
A client's SCO UNIX OpenServer 5.0.7 MP 4 system: The X-Windows GUI comes up fine (on multi-screen 2) but I cannot switch to tty01 or tty03 or any other tty. The display just shows a blinking cursor. I went into scoadmin video and checked that the function keys were all assigned--they are. I've... (6 Replies)
Hi,
gtkdialog gui seperate buttons use seperate functions in their GUI. A variable (newFolderName) is being set in one function (funcA) and it needs to be called in another function (funcB). I thought using global variable (like in python) concept should work however it does not.
... (4 Replies)
Note: I originally posted this question on unix.stackexchange.com. But as my question was down-voted within an hour of asking, I came to the conclusion that perhaps I need to quit attempting to get help on StackExchange or that my inquiry is simply moronic. If anyone feels that my question is not... (7 Replies)
MOTIF GUI PROGRAMMING !
Hi there. I am a MOTIF GUI Programmer in C language.
After a longer break i have problems with the GCC compiling.
my MOTIF file is named winstack.c
I have the follow code gcc -o newprogram winstack.c -lXm -lXt -lX11
The compilation runs good.
But no executable LINUX... (10 Replies)