Closed uncomputable closed 6 months ago
Update libsimplicity and use generated jet wrappers.
I fixed the bash shebang. I also fixed the header of the autogenerated HEAD revision, which was different depending on the location of the vendor script relative to pwd.
Update libsimplicity and use generated jet wrappers.