UNPKG

@informalsystems/quint

Version:

Core tool for the Quint specification language

github.com/informalsystems/quint

informalsystems/quint

21 files

	Filename	Content Type	Size
	../
	IRFinder.test.d.ts	text/typescript	11 B
	IRFinder.test.js	text/javascript	2.82 kB
	IRFinder.test.js.map	application/json	2.65 kB
	IRTransformer.test.d.ts	text/typescript	11 B
	IRTransformer.test.js	text/javascript	5.92 kB
	IRTransformer.test.js.map	application/json	4.21 kB
	IRVisitor.test.d.ts	text/typescript	11 B
	IRVisitor.test.js	text/javascript	29.5 kB
	IRVisitor.test.js.map	application/json	21.5 kB
	IRprinting.test.d.ts	text/typescript	11 B
	IRprinting.test.js	text/javascript	11.6 kB
	IRprinting.test.js.map	application/json	9.03 kB
	idRefresher.test.d.ts	text/typescript	11 B
	idRefresher.test.js	text/javascript	2.88 kB
	idRefresher.test.js.map	application/json	2.19 kB
	namespacer.test.d.ts	text/typescript	11 B
	namespacer.test.js	text/javascript	1.85 kB
	namespacer.test.js.map	application/json	1.38 kB
	quintTypes.test.d.ts	text/typescript	11 B
	quintTypes.test.js	text/javascript	1.32 kB
	quintTypes.test.js.map	application/json	1.24 kB