-
Is there a detailed manual or info on how to create FSA files and especially ASTs ? In the provided MOPS manual there is information for some meta real kinds. The examples cover some of them but there is no extended reference for various others (especially for real kinds).
2009-04-21 21:07:40 UTC by gstathis81
-
Is there a detailed manual or info on how to create FSA files and especially ASTs ? In the provided MOPS manual there is information for some meta real kinds. The examples cover some of them but there is no extended reference for various others (especially for real kinds).
2009-04-21 21:04:11 UTC by gstathis81
-
daw617 committed patchset 5 of module mops to the MOPS:MOdelchecking Programs for Security CVS repository, changing 14 files.
2005-09-02 02:19:02 UTC by daw617
-
Yes, there is at least one Live Person monitoring this forum. At least sometimes. Please also check out the mailing lists.
2004-10-12 05:41:21 UTC by hardcorebit
-
No, really, we mean it. If you're interested in using MOPS, this is a place to talk about it. Also please check out the mopscode-users mailing list.
2004-10-12 05:40:17 UTC by hardcorebit
-
When attempting to compile on cygwin, we encounter an
error in /rc/callcc1.c:73 -- undefined reference to
_brk . Output of make is attached. This causes the
compile to fail. Cause is likely, but not yet verified,
that cygwin does not support the _brk call and some
workaround needs to be found.
gcc 3.3.3 (cygwin special)
2004-10-12 05:39:05 UTC by hardcorebit
-
hardcorebit committed patchset 4 of module mops to the MOPS:MOdelchecking Programs for Security CVS repository, changing 59 files.
2004-10-12 04:51:34 UTC by hardcorebit
-
hardcorebit committed patchset 3 of module mops to the MOPS:MOdelchecking Programs for Security CVS repository, changing 3 files.
2004-10-12 04:14:49 UTC by hardcorebit
-
hardcorebit committed patchset 2 of module mops to the MOPS:MOdelchecking Programs for Security CVS repository, changing 322 files.
2004-10-12 03:48:47 UTC by hardcorebit
-
hardcorebit committed patchset 1 of module mops to the MOPS:MOdelchecking Programs for Security CVS repository, changing 322 files.
2004-10-12 03:48:47 UTC by hardcorebit
