Skip to main content

Browse the archive

Revision 257b123c440d7a47ffed5a3508ec63e9c5a3b706 authored by Anish Tondwalkar on 19 July 2019, 22:42:30 UTC, committed by Anish Tondwalkar on 19 July 2019, 22:42:30 UTC 
fix mistake in shillset
1 parent e964cb4
Raw File
.gitmodules 
[submodule "liquid-fixpoint"]
	path = liquid-fixpoint
	url = git@github.com:ucsd-progsys/liquid-fixpoint
back to top