UNPKG

@informalsystems/quint

Version:

Core tool for the Quint specification language

github.com/informalsystems/quint

informalsystems/quint

7 files

	Filename	Content Type	Size
	../
	IRFinder.test.ts	text/typescript	2.19 kB
	IRTransformer.test.ts	text/typescript	4.98 kB
	IRVisitor.test.ts	text/typescript	24.9 kB
	IRprinting.test.ts	text/typescript	8.98 kB
	idRefresher.test.ts	text/typescript	2.38 kB
	namespacer.test.ts	text/typescript	1.4 kB
	quintTypes.test.ts	text/typescript	1.02 kB