smv - OpenGrok cross reference for /dports/devel/smv/smv/

SMV in this directory is a beta SMV r2.5 with the added features (on
top of 2.4):

	- A lot of additional options to have more control over the
          verification;

	- Signal handling, and in particular, on-the-fly toggle of
	  dynamic variable reordering;

	- On-the-fly evaluation of AG specs (-early option);

	- Printing BDDs as propositional formulas;

	- Emacs library for SMV mode (file smv-mode.el), etc.

Check the NEW file for more details.

Notice that these added features are still experimental code.
The SMV code is stable, but the newly added features may be not.
Name		Date	Size	#Lines	LOC
..		03-May-2022	-
doc/	H	07-May-2022	-
examples/	H	03-May-2022	-	999	822
NEW	H A D	19-Nov-2001	14 KiB	377	276
README	H A D	02-Sep-1998	583	20	12
assoc.c	H A D	02-Sep-1998	1.2 KiB	82	69
assoc.h	H A D	02-Sep-1998	182	11	9
bdd.c	H A D	03-May-2022	51.3 KiB	2,055	1,586
bdd.h	H A D	01-Nov-2001	3.1 KiB	138	92
grammar.m4	H A D	20-Nov-2001	10.5 KiB	323	267
hash.c	H A D	03-May-2022	1.6 KiB	81	72
hash.h	H A D	02-Sep-1998	203	12	10
init.c	H A D	19-Nov-2001	6 KiB	298	252
init.h	H A D	01-Oct-1998	746	44	40
input.m4	H A D	23-Apr-1999	4.2 KiB	123	121
main.c	H A D	02-Nov-2001	8.9 KiB	371	346
makefile	H A D	03-May-2022	2.9 KiB	119	93
node.c	H A D	03-May-2022	20.6 KiB	781	685
node.h	H A D	30-Mar-1999	590	27	23
smv-mode.el	H A D	06-Dec-2000	34.6 KiB	950	749
smv.1	H A D	02-Nov-2001	20.5 KiB	682	614
storage.c	H A D	03-May-2022	2.8 KiB	125	91
storage.h	H A D	03-May-2022	332	20	16
string.c	H A D	03-May-2022	801	42	34
string.h	H A D	02-Sep-1998	132	8	6
symbols.c	H A D	02-Nov-2001	119.7 KiB	4,630	3,951
timing.m4	H A D	02-Sep-1998	15	2	1