anoma/juvix
1
1
Fork 0
mirror of https://github.com/anoma/juvix.git synced 2024-12-12 04:43:18 +03:00
Code Issues Projects Releases Wiki Activity

Update to the new version of VampIR (#2138)

Browse Source 
* Closes #2131 

It remains to update the VampIR version in the CI.
This commit is contained in:
Łukasz Czajka 2023-06-16 17:34:58 +02:00 committed by GitHub
parent 812edea6a8
commit f421e87963
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 8 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
test/VampIR/Core/Base.hs
View File

@ -41,7 +41,8 @@ vampirAssertion' paramsNum tab dataFile step = do
setupParamsArgs :: Int -> Path Abs Dir -> [String]
setupParamsArgs paramsNum dirPath =
[ "plonk",
[ "-q",
"plonk",
"setup",
"-m",
show paramsNum,
@ -51,7 +52,8 @@ setupParamsArgs paramsNum dirPath =
compileArgs :: Path Abs File -> Path Abs Dir -> [String]
compileArgs inputFile dirPath =
[ "plonk",
[ "-q",
"plonk",
"compile",
"-u",
toFilePath (dirPath <//> $(mkRelFile "params.pp")),
@ -63,7 +65,8 @@ compileArgs inputFile dirPath =
proveArgs :: Path Abs File -> Path Abs Dir -> [String]
proveArgs dataFile dirPath =
[ "plonk",
[ "-q",
"plonk",
"prove",
"-u",
toFilePath (dirPath <//> $(mkRelFile "params.pp")),
@ -77,7 +80,8 @@ proveArgs dataFile dirPath =
verifyArgs :: Path Abs Dir -> [String]
verifyArgs dirPath =
[ "plonk",
[ "-q",
"plonk",
"verify",
"-u",
toFilePath (dirPath <//> $(mkRelFile "params.pp")),