Mercurial > hg > Applications > Lite

diff lite.pl @ 6:9b86eb10b61c

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
*** empty log message ***
author kono
date Fri, 19 Jan 2001 09:16:27 +0900
parents 1c57a78f1d98
children f2aa38ce0787
line wrap: on
line diff
--- a/lite.pl	Fri Jan 19 04:25:07 2001 +0900
+++ b/lite.pl	Fri Jan 19 09:16:27 2001 +0900
@@ -4,6 +4,7 @@
 	ex/1,  			% ex(ITL)   verification predicate
 	ex/2,			% ex(No,Example)
 	diag/1,diag/0, 		% find counter example
+	infinite/1,infinite/0, 	% omega interval satisfiability
 	exe/1, exe/0,		% find sample execution
 	verbose/1, 		% verbose mode (default on)
 	renaming/1, 		% 2var renaming mode (default on)