@informalsystems/quint

Version:

Core tool for the Quint specification language

24 files

Filename	Content Type	Size
../
aliasInliner.test.d.ts	text/typescript	11 B
aliasInliner.test.js	text/javascript	3.48 kB
aliasInliner.test.js.map	application/json	1.89 kB
builtinSignatures.test.d.ts	text/typescript	11 B
builtinSignatures.test.js	text/javascript	1.65 kB
builtinSignatures.test.js.map	application/json	1.27 kB
constraintGenerator.test.d.ts	text/typescript	11 B
constraintGenerator.test.js	text/javascript	6.43 kB
constraintGenerator.test.js.map	application/json	5.04 kB
constraintSolver.test.d.ts	text/typescript	11 B
constraintSolver.test.js	text/javascript	18.7 kB
constraintSolver.test.js.map	application/json	15.6 kB
inferrer.test.d.ts	text/typescript	11 B
inferrer.test.js	text/javascript	24.1 kB
inferrer.test.js.map	application/json	18.7 kB
parser.test.d.ts	text/typescript	11 B
parser.test.js	text/javascript	4.83 kB
parser.test.js.map	application/json	4.78 kB
simplification.test.d.ts	text/typescript	11 B
simplification.test.js	text/javascript	2.18 kB
simplification.test.js.map	application/json	1.68 kB
substitutions.test.d.ts	text/typescript	11 B
substitutions.test.js	text/javascript	7.4 kB
substitutions.test.js.map	application/json	7.39 kB