UNPKG

@informalsystems/quint

Version:

Core tool for the Quint specification language

github.com/informalsystems/quint

informalsystems/quint

9 folders, 36 files

	Filename	Content Type	Size
	../
	builders/	–	5.63 kB
	effects/	–	111 kB
	flattening/	–	31 kB
	ir/	–	98.1 kB
	names/	–	45.3 kB
	parsing/	–	34.8 kB
	runtime/	–	92.9 kB
	static/	–	17.6 kB
	types/	–	125 kB
	builtin.test.d.ts	text/typescript	11 B
	builtin.test.js	text/javascript	893 B
	builtin.test.js.map	application/json	583 B
	cli.test.d.ts	text/typescript	11 B
	cli.test.js	text/javascript	1.04 kB
	cli.test.js.map	application/json	1.02 kB
	docs.test.d.ts	text/typescript	11 B
	docs.test.js	text/javascript	1.35 kB
	docs.test.js.map	application/json	954 B
	errorReporter.test.d.ts	text/typescript	11 B
	errorReporter.test.js	text/javascript	3.55 kB
	errorReporter.test.js.map	application/json	2.71 kB
	errorTree.test.d.ts	text/typescript	11 B
	errorTree.test.js	text/javascript	1.04 kB
	errorTree.test.js.map	application/json	632 B
	itf.test.d.ts	text/typescript	11 B
	itf.test.js	text/javascript	4.76 kB
	itf.test.js.map	application/json	4.15 kB
	prettierimp.test.d.ts	text/typescript	11 B
	prettierimp.test.js	text/javascript	6.08 kB
	prettierimp.test.js.map	application/json	5.86 kB
	repl.test.d.ts	text/typescript	11 B
	repl.test.js	text/javascript	17.4 kB
	repl.test.js.map	application/json	7.1 kB
	rng.test.d.ts	text/typescript	11 B
	rng.test.js	text/javascript	2.43 kB
	rng.test.js.map	application/json	2.54 kB
	textUtils.d.ts	text/typescript	54 B
	textUtils.js	text/javascript	277 B
	textUtils.js.map	application/json	233 B
	util.d.ts	text/typescript	573 B
	util.js	text/javascript	3.29 kB
	util.js.map	application/json	3.2 kB
	util.test.d.ts	text/typescript	11 B
	util.test.js	text/javascript	2.68 kB
	util.test.js.map	application/json	3.44 kB