Searched refs:exception (Results 1 - 25 of 515) sorted by relevance

1234567891011>>

/seL4-l4v-10.1.1/HOL4/help/src-sml/
H A DMySML90.sml3 exception Interrupt = Interrupt
/seL4-l4v-10.1.1/l4v/misc/pysymbols/isasymbols/
H A D__init__.py14 from .exception import IsaSymbolsException
/seL4-l4v-10.1.1/HOL4/src/tactictoe/src/
H A DtttTimeout.sig4 exception TacTimeOut
/seL4-l4v-10.1.1/HOL4/examples/HolBdd/
H A DPrimitiveBddRules.sig7 exception BddAppallError
8 exception nameError
9 exception BddSupportContractVarmapError
10 exception BddEqMpError
11 exception BddForallError
12 exception BddfindModelError
13 exception BddReplaceError
14 exception BddExtendVarmapError
15 exception BddIteError
16 exception BddExistsErro
[all...]
H A DDerivedBddRules.sig10 exception findModelError
11 exception dest_BddOpError
12 exception computeTraceError
13 exception termToTermBddError
14 exception BddApRestrictError
15 exception BddSatoneError
16 exception BddApReplaceError
17 exception fail
18 exception BddApSubstError
19 exception computeFixedpointErro
[all...]
/seL4-l4v-10.1.1/HOL4/src/parse/
H A DMLstring.sig4 exception stringerror of int * string
H A Dparse_term.sig13 exception PrecConflict of stack_terminal * stack_terminal
14 exception ParseTermError of string locn.located
/seL4-l4v-10.1.1/HOL4/src/portableML/poly/
H A DConcIsaLib.sml3 exception Thread = Thread.Thread
H A DExn.sig9 exception ERROR of string
22 exception Interrupt
28 exception EXCEPTIONS of exn list
/seL4-l4v-10.1.1/HOL4/tools/Holmake/
H A Dmosml_Holmake.sml1 (* Moscow ML magic to make interrupts appear as the Interrupt exception *)
9 | e => die_with ("Holmake failed with exception: " ^
H A DHoldep.sig4 exception Holdep_Error of string
H A DHoldep_tokens.sig4 exception LEX_ERROR of string
/seL4-l4v-10.1.1/HOL4/src/prekernel/
H A DHOLset.sml3 exception NotFound = Redblackset.NotFound
/seL4-l4v-10.1.1/HOL4/tools/Holmake/mlton/
H A DPolyML.sml15 exception Interrupt
/seL4-l4v-10.1.1/HOL4/polyml/basis/
H A DIO.sml21 (* G&R 2004 status: done. Removed TerminatedStream exception. *)
24 exception Io of {name : string, function : string, cause : exn}
25 exception BlockingNotSupported
26 exception NonblockingNotSupported
27 exception RandomAccessNotSupported
28 exception ClosedStream
34 exception Io of {name : string, function : string, cause : exn}
35 exception BlockingNotSupported
36 exception NonblockingNotSupported
37 exception RandomAccessNotSupporte
[all...]
H A DGeneral.sml24 exception Bind
25 exception Chr
26 exception Div
27 exception Domain
28 exception Fail of string
29 exception Match
30 exception Overflow
31 exception Size
32 exception Span
33 exception Subscrip
[all...]
H A DSML90.sml24 exception Abs
25 exception Quot
26 exception Prod
27 exception Neg
28 exception Sum
29 exception Diff
30 exception Floor
31 exception Exp
32 exception Sqrt
33 exception L
[all...]
/seL4-l4v-10.1.1/HOL4/src/num/arith/src/
H A DRationals.sig5 exception Rat_form
6 exception Rat_inv
7 exception Rat_div
/seL4-l4v-10.1.1/HOL4/src/HolSat/
H A DHolSatLib.sml10 exception SAT_cex = minisatProve.SAT_cex
H A DminisatProve.sig3 exception SAT_cex of Thm.thm
/seL4-l4v-10.1.1/HOL4/src/portableML/
H A DAList.sig9 exception DUP
24 val join: ('a * 'a -> bool) -> ('a -> 'b * 'b -> 'b) (*exception DUP*)
25 -> ('a * 'b) list * ('a * 'b) list -> ('a * 'b) list (*exception DUP*)
27 -> ('a * 'b) list * ('a * 'b) list -> ('a * 'b) list (*exception DUP*)
H A DUniversalType.sml8 exception E of 'a
/seL4-l4v-10.1.1/HOL4/src/opentheory/logging/
H A Dskico.sml2 exception D
/seL4-l4v-10.1.1/HOL4/src/opentheory/postbool/
H A Dholdecide.sml2 exception D
/seL4-l4v-10.1.1/seL4/include/api/
H A Dfailures.h20 enum exception { enum

Completed in 203 milliseconds

1234567891011>>