Dependency of z3 was deleted? - Githubissues

palvaro / molly

An implementation of LDFI

126 stars 23 forks source link

Dependency of z3 was deleted? #5

Open czheo opened 8 years ago

czheo commented 8 years ago

It seems like an accident? https://github.com/palvaro/molly/commit/654fb9a044a485e73323a9ef0c35c8acf221fa19
Also, the repo of z3 has been moved to https://github.com/Z3Prover/z3
- announcement: https://z3.codeplex.com/
- outdated submodule config: https://github.com/palvaro/molly/blob/master/.gitmodules#L6

JoshRosen commented 8 years ago

Way back I submitted #2 to update the location of the Z3 submodule, so that could be used as an easy fix.