Package evaluation of SigmaProofs on Julia 1.13.0-DEV.449 (8d6b63c3a6*) started at 2025-04-29T00:11:07.242 ################################################################################ # Set-up # Set-up completed after 0.25s ################################################################################ # Installation # Installing SigmaProofs... Resolving package versions... Updating `~/.julia/environments/v1.13/Project.toml` [f8559b4c] + SigmaProofs v0.2.4 Updating `~/.julia/environments/v1.13/Manifest.toml` [c3b6d118] + BitIntegers v0.3.5 [bc997328] + CryptoGroups v0.6.1 [d846c407] + CryptoPRG v0.2.0 [04afed74] + CryptoUtils v0.1.1 [18e54dd8] + IntegerMathUtils v0.1.2 [692b3bcd] + JLLWrappers v1.7.0 [49dea1ee] + Nettle v1.0.0 [21216c6a] + Preferences v1.4.3 [27ebfcd6] + Primes v0.5.7 [f8559b4c] + SigmaProofs v0.2.4 [4c82536e] + Nettle_jll v3.10.1+0 [56f22d72] + Artifacts v1.11.0 [2a0f44e3] + Base64 v1.11.0 [ade2ca70] + Dates v1.11.0 [b77e0a4c] + InteractiveUtils v1.11.0 [ac6e5ff7] + JuliaSyntaxHighlighting v1.12.0 [8f399da3] + Libdl v1.11.0 [d6f4376e] + Markdown v1.11.0 [de0858da] + Printf v1.11.0 [9a3f8284] + Random v1.11.0 [ea8e919c] + SHA v0.7.0 [f489334b] + StyledStrings v1.11.0 [fa267f1f] + TOML v1.0.3 [4ec0a83e] + Unicode v1.11.0 [781609d7] + GMP_jll v6.3.0+2 Installation completed after 5.46s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... No packages added to or removed from `~/.julia/environments/pkgeval/Project.toml` No packages added to or removed from `~/.julia/environments/pkgeval/Manifest.toml` Precompiling package dependencies... Precompiling packages... ✗ SigmaProofs 0 dependencies successfully precompiled in 6 seconds. 20 already precompiled. ERROR: LoadError: The following 1 direct dependency failed to precompile: SigmaProofs Failed to precompile SigmaProofs [f8559b4c-f045-44a2-8db2-503e40bb7416] to "/home/pkgeval/.julia/compiled/v1.13/SigmaProofs/jl_M8A5VT" (ProcessExited(1)). (ssavalue 5069) (lambda () (((#s25 (core Any) 2)) () 0 ()) (block (global DEFAULT_VERIFIER) (latestworld) (block (= (ssavalue 5069) (call (core TypeVar) '#s25 (globalref (thismodule) Verifier))) (block (null) (null) (null) (= #s25 (ssavalue 5069)) (call (core UnionAll) #s25 (call (core apply_type) (globalref (thismodule) Type) #s25)))) (globaldecl (globalref (thismodule) DEFAULT_VERIFIER) (ssavalue 5070)) (latestworld) (return (null)))) ERROR: LoadError: syntax: ssavalue with no def Stacktrace: [1] top-level scope @ ~/.julia/packages/SigmaProofs/PMQR0/src/Serializer.jl:9 [2] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:304 [3] top-level scope @ ~/.julia/packages/SigmaProofs/PMQR0/src/SigmaProofs.jl:55 [4] include(mod::Module, _path::String) @ Base ./Base.jl:303 [5] include_package_for_output(pkg::Base.PkgId, input::String, depot_path::Vector{String}, dl_load_path::Vector{String}, load_path::Vector{String}, concrete_deps::Vector{Pair{Base.PkgId, UInt128}}, source::Nothing) @ Base ./loading.jl:2978 [6] top-level scope @ stdin:5 [7] eval(m::Module, e::Any) @ Core ./boot.jl:489 [8] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String) @ Base ./loading.jl:2824 [9] include_string @ ./loading.jl:2834 [inlined] [10] exec_options(opts::Base.JLOptions) @ Base ./client.jl:329 [11] _start() @ Base ./client.jl:563 in expression starting at /home/pkgeval/.julia/packages/SigmaProofs/PMQR0/src/Serializer.jl:1 in expression starting at /home/pkgeval/.julia/packages/SigmaProofs/PMQR0/src/SigmaProofs.jl:1 in expression starting at stdin: in expression starting at /PkgEval.jl/scripts/precompile.jl:37 Precompilation failed after 16.86s ################################################################################ # Loading # Loading SigmaProofs... Precompiling packages... Info Given SigmaProofs was explicitly requested, output will be shown live  (ssavalue 5164) (lambda ()  (((#s25 (core Any) 2))  () 0 ())  (block (global DEFAULT_VERIFIER) (latestworld)  (block (= (ssavalue 5164) (call (core TypeVar) '#s25  (globalref (thismodule) Verifier)))  (block (null) (null) (null)  (= #s25 (ssavalue 5164))  (call (core UnionAll) #s25  (call (core apply_type)  (globalref (thismodule) Type) #s25))))  (globaldecl (globalref (thismodule) DEFAULT_VERIFIER) (ssavalue 5165))  (latestworld) (return (null)))) ERROR: LoadError: syntax: ssavalue with no def Stacktrace:  [1] top-level scope  @ ~/.julia/packages/SigmaProofs/PMQR0/src/Serializer.jl:9  [2] include(mapexpr::Function, mod::Module, _path::String)  @ Base ./Base.jl:304  [3] top-level scope  @ ~/.julia/packages/SigmaProofs/PMQR0/src/SigmaProofs.jl:55  [4] include(mod::Module, _path::String)  @ Base ./Base.jl:303  [5] include_package_for_output(pkg::Base.PkgId, input::String, depot_path::Vector{String}, dl_load_path::Vector{String}, load_path::Vector{String}, concrete_deps::Vector{Pair{Base.PkgId, UInt128}}, source::Nothing)  @ Base ./loading.jl:2978  [6] top-level scope  @ stdin:5  [7] eval(m::Module, e::Any)  @ Core ./boot.jl:489  [8] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String)  @ Base ./loading.jl:2824  [9] include_string  @ ./loading.jl:2834 [inlined]  [10] exec_options(opts::Base.JLOptions)  @ Base ./client.jl:329  [11] _start()  @ Base ./client.jl:563 in expression starting at /home/pkgeval/.julia/packages/SigmaProofs/PMQR0/src/Serializer.jl:1 in expression starting at /home/pkgeval/.julia/packages/SigmaProofs/PMQR0/src/SigmaProofs.jl:1 in expression starting at stdin:5 ✗ SigmaProofs 0 dependencies successfully precompiled in 6 seconds. 20 already precompiled. ERROR: The following 1 direct dependency failed to precompile: SigmaProofs Failed to precompile SigmaProofs [f8559b4c-f045-44a2-8db2-503e40bb7416] to "/home/pkgeval/.julia/compiled/v1.13/SigmaProofs/jl_dbRd2Z" (ProcessExited(1)). (ssavalue 5164) (lambda () (((#s25 (core Any) 2)) () 0 ()) (block (global DEFAULT_VERIFIER) (latestworld) (block (= (ssavalue 5164) (call (core TypeVar) '#s25 (globalref (thismodule) Verifier))) (block (null) (null) (null) (= #s25 (ssavalue 5164)) (call (core UnionAll) #s25 (call (core apply_type) (globalref (thismodule) Type) #s25)))) (globaldecl (globalref (thismodule) DEFAULT_VERIFIER) (ssavalue 5165)) (latestworld) (return (null)))) ERROR: LoadError: syntax: ssavalue with no def Stacktrace: [1] top-level scope @ ~/.julia/packages/SigmaProofs/PMQR0/src/Serializer.jl:9 [2] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:304 [3] top-level scope @ ~/.julia/packages/SigmaProofs/PMQR0/src/SigmaProofs.jl:55 [4] include(mod::Module, _path::String) @ Base ./Base.jl:303 [5] include_package_for_output(pkg::Base.PkgId, input::String, depot_path::Vector{String}, dl_load_path::Vector{String}, load_path::Vector{String}, concrete_deps::Vector{Pair{Base.PkgId, UInt128}}, source::Nothing) @ Base ./loading.jl:2978 [6] top-level scope @ stdin:5 [7] eval(m::Module, e::Any) @ Core ./boot.jl:489 [8] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String) @ Base ./loading.jl:2824 [9] include_string @ ./loading.jl:2834 [inlined] [10] exec_options(opts::Base.JLOptions) @ Base ./client.jl:329 [11] _start() @ Base ./client.jl:563 in expression starting at /home/pkgeval/.julia/packages/SigmaProofs/PMQR0/src/Serializer.jl:1 in expression starting at /home/pkgeval/.julia/packages/SigmaProofs/PMQR0/src/SigmaProofs.jl:1 in expression starting at stdin: Loading failed after 9.06s ERROR: LoadError: failed process: Process(`/opt/julia/bin/julia -C native -J/opt/julia/lib/julia/sys.so -g1 --check-bounds=yes --inline=yes --pkgimages=existing -e 'using SigmaProofs'`, ProcessExited(1)) [1] Stacktrace: [1] pipeline_error @ ./process.jl:602 [inlined] [2] run(::Cmd; wait::Bool) @ Base ./process.jl:517 [3] run(::Cmd) @ Base ./process.jl:514 [4] top-level scope @ /PkgEval.jl/scripts/evaluate.jl:193 [5] include(mod::Module, _path::String) @ Base ./Base.jl:303 [6] exec_options(opts::Base.JLOptions) @ Base ./client.jl:331 [7] _start() @ Base ./client.jl:563 in expression starting at /PkgEval.jl/scripts/evaluate.jl:184 PkgEval failed after 51.85s: package has syntax issues