UNPKG

@informalsystems/quint

Version:

Core tool for the Quint specification language

github.com/informalsystems/quint

informalsystems/quint

9 folders, 12 files

	Filename	Content Type	Size
	../
	builders/	–	2.26 kB
	effects/	–	53 kB
	flattening/	–	16.7 kB
	ir/	–	45.9 kB
	names/	–	21.2 kB
	parsing/	–	15 kB
	runtime/	–	44.3 kB
	static/	–	7.63 kB
	types/	–	55.9 kB
	builtin.test.ts	text/typescript	666 B
	cli.test.ts	text/typescript	815 B
	docs.test.ts	text/typescript	1.09 kB
	errorReporter.test.ts	text/typescript	2.79 kB
	errorTree.test.ts	text/typescript	749 B
	itf.test.ts	text/typescript	3.09 kB
	prettierimp.test.ts	text/typescript	4.04 kB
	repl.test.ts	text/typescript	15.7 kB
	rng.test.ts	text/typescript	1.89 kB
	textUtils.ts	text/typescript	125 B
	util.test.ts	text/typescript	2.06 kB
	util.ts	text/typescript	3.21 kB