Searched refs:casl (Results 1 - 19 of 19) sorted by relevance

/hets/CASL/test/
H A Druncheck.sh13 runchecker Terms ../../Common/test/MixIds.casl MixIds.casl.asTerms.output
14 runchecker Terms ../../Common/test/WrongMixIds.casl WrongMixIds.casl.asTerms.output
15 runchecker MixfixTerms Terms.casl Terms.casl.asMixfixTerms.output
16 runchecker MixfixFormula Formula.casl Formula.casl.asMixfixFormula.output
19 for j in [A-V]*.casl;
21 i=`basename $j .casl`
[all...]
/hets/test/SymbolMapping/
H A Drun.sh3 ../../hets -v2 -o th S.casl
/hets/Common/test/
H A Druncheck.sh9 for i in *.annos Annotations.casl
17 runmycheck MixIds casl
18 runwrongcheck MixIds casl
19 runchecker SortIds MixIds.casl MixIds.casl.asSortIds.output
20 runchecker VarIds MixIds.casl MixIds.casl.asVarIds.output
/hets/CASL/
H A Diterate.sh3 for i in *.{casl,output,hs};
/hets/HasCASL/test/
H A Druncheck.sh9 runchecker MixIds ../../Common/test/MixIds.casl MixIds.casl.output
10 runchecker MixIds ../../Common/test/WrongMixIds.casl WrongMixIds.casl.output
11 runchecker BasicSpec ../../CASL/test/BasicSpec.casl BasicSpec.casl.output
12 runchecker MixfixTerms ../../CASL/test/MixfixTerms.casl MixfixTerms.casl.output
13 runchecker MixfixTerms ../../CASL/test/MixfixFormula.casl MixfixFormula.casl
[all...]
/hets/utils/nightly/linux/
H A Dmonthly.sh12 hets -v2 -o dfg.c Basic/*.casl UserManual/*.casl
H A Dweekly.sh17 hets -v2 -o pp.het Basic/*.casl
25 hets -v2 -o dfg.c Basic/*.casl UserManual/*.casl
33 for i in */*/*.het */*/*.casl; \
/hets/SoftFOL/tests/
H A Dcheck.sh15 hets -o dfg Basic/*.casl
/hets/GUI/doc/
H A DWebInterfaceTests.tex27 \item TestBasic.casl - similar output: OK
28 \item silvia.casl - similar output: OK (valid specification)
34 \item donald.casl - similar output: OK
35 \item fred1.casl - similar output: OK
36 \item frederic.casl - similar output: OK
37 \item import\_test.casl - similar output: OK (ERROR)
38 \item Invoice.casl - not similar output:
59 *** Error /home/cofi/jiang/HetCATS/CASL-lib/TestSuite/Correct/Invoice.casl:203.36,
84 \item min\_test.casl - similar output: OK
85 \item piotr.casl
[all...]
/hets/utils/nightly/
H A Dcronjob.sh86 for i in Basic/*.casl; do ./hets -v2 -l HasCASL -o th,pp.het,pp.tex $i; done
97 for i in Basic/*.casl; do ./hets -v2 -o $outtypes $i; done
102 for i in Examples/*.casl CASL/*.casl; do ./hets -v2 $i; done
110 for i in *.casl; do ../hets -v2 -o th \
119 for i in UserManual/*.casl; do ./hets -v2 -o $outtypes $i; done
125 for i in Calculi/*/*.casl Calculi/*/*.het; do ./hets -v2 $i; done
127 Calculi/Algebra/RelationAlgebraSimple.casl
175 for i in Basic/*.casl;
207 for i in {Basic,UserManual}/*.casl
[all...]
/hets/utils/nightly/pc-solaris/
H A Dcronjob.sh31 checkConsOf Calculi/Space/Interval.casl Inter
/hets/CspCASL/Grammar/
H A DCSP_CASL_Parser.tex74 '{\tt c3po testfile.csp-casl}'.
78 '{\tt c3po t1.csp-casl t2.csp-casl} (...)'
80 For testing reasons, a script named '{\tt tests}' can be called, which will parse all files in the same directory with the suffix '{\tt csp-casl}'.
/hets/CASL/doc/
H A DCASLParserOverview.tex41 \texttt{./capa < test/BasicSpec.casl}
44 given as \texttt{*.casl} files in the \texttt{test} subdirectory. Calling
52 \texttt{Wrong*.casl} files contain wrong CASL code and should produce
53 error messages. Apart from extra tests, correct (\texttt{Bla.casl})
54 and wrong files (\texttt{WrongBla.casl}) are tested. If a \texttt{diff}
/hets/Common/doc/
H A DOverview.tex44 \texttt{./annos < test/Annotations.casl}
46 Test cases are given as \texttt{*.casl} or \texttt{*.annos} files in the
51 \texttt{WrongMixIds.casl} contains wrong CASL ids and should produce
/hets/doc/
H A DLibraries.tex9 \usepackage{casl}
26 {\nopagebreak\begin{quote}\casl}{\end{quote}\noindent
225 A CASL library is stored in a file ending ``.casl''. A directory having
H A DUserGuide.tex6 \usepackage{casl}
684 \texttt{Order.casl} (actually, this file is provided
685 with the \Hets distribution as \texttt{Hets-lib/UserManual/Chapter3.casl}).
690 \texttt{hets Order.casl}
712 \item[\texttt{-a ANALYSIS}, \texttt{--casl-amalg=ANALYSIS}]
732 The default value for \texttt{--casl-amalg} is
743 \texttt{.casl} & \CASL & \CASL \\\hline
760 Although the endings \texttt{.casl} and \texttt{.het} are
909 Let us extend the above library \texttt{Order.casl}. One use of the
950 \texttt{hets -g Order.casl}
[all...]
H A DUserGuideCommonLogic.tex19 \usepackage{casl}
619 \texttt{.casl} & \CASL & \CASL \\\hline
627 Although the endings \texttt{.casl} and \texttt{.het} are
1448 a corresponding \texttt{env}, \texttt{casl}, or \texttt{het}
1456 casl
1649 % LocalWords: minisat Twelf Attr clif libdir casl het clf Pred PetHappy gui DG
/hets/utils/el/
H A Dcasl-mode.el2 (autoload 'turn-on-casl-indent "casl-indent" "Turn on CASL indentation." t)
12 (defconst casl-mode-version "0.3"
15 (defgroup casl nil function
18 :prefix "casl-")
21 (defvar casl-mode-hook nil)
22 (defvar casl-mode-map (let ((keymap (make-keymap)))
23 (define-key keymap "\C-c\C-r" 'casl-run-hets-r)
25 (define-key keymap "\C-c\C-u" 'casl-run-hets-g)
26 (define-key keymap "\C-c\C-c" 'casl
[all...]
H A Dcasl-indent.el9 ;; casl-indent.el --- indentation module for CASL Mode
12 (defgroup casl-indent nil
13 "casl indentation."
14 :group 'casl
15 :prefix "casl-indent-")
17 (defcustom casl-indent-offset 5
18 "*Indentation of casl statements with respect to containing block."
20 :group 'casl-indent)
22 (defcustom casl-indent-rhs-align-column 0
25 :group 'casl
[all...]

Completed in 3860 milliseconds