just install is failing on master

[jinankjain]

> just install
julia --project=. -e "import Pkg; Pkg.instantiate()"
┌ Warning: The active manifest file is an older format with no julia version entry. Dependencies may have been resolved with a different julia version.
└ @ ~/dev/EcneProject/Manifest.toml:0
Precompiling project...
  ✗ R1CSConstraintSolver
  0 dependencies successfully precompiled in 4 seconds (70 already precompiled)
  1 dependency errored. To see a full report either run `import Pkg; Pkg.precompile()` or load the package

[jinankjain]

After fixing this:

diff --git a/src/R1CSConstraintSolver.jl b/src/R1CSConstraintSolver.jl
index 5b4bf39..e320e02 100644
--- a/src/R1CSConstraintSolver.jl
+++ b/src/R1CSConstraintSolver.jl
@@ -78,7 +78,7 @@ function solveWithTrustedFunctions(
     debug::Bool=false,
     printRes::Bool=true,
     abstractionOnly::Bool=false,
-    input_sym::String="",
+    input_sym_t::String="",
     secp_solve::Bool=false
 )

I am hitting another error in make_values invoked by SolveConstraintsSymbolic. From the looks of it feels like changing:

variable_states[unknown_var], to unknown_var should fix the problem. But it does not.

[jinankjain]

@franklynwang can you please help me out here?

[franklynwang]

@jinankjain sorry for the late response. I pushed some new code (basically tried reverting it) -- does just install work now?