Porting AV to .NET Core

boogie-org / corral

solver for the reachability modulo theories problem

MIT License

58 stars 29 forks source link

Porting AV to .NET Core #132

Closed akashlal closed 4 years ago

akashlal commented 4 years ago

@shuvendu-lahiri I moved AV from the AddOns directory to corral's main source folder. The organization is much better now, and I did a bunch of cleaning up as well of tests and regressions.

akashlal commented 4 years ago

@shuvendu-lahiri Did you get a chance to look at this? I can also go ahead and merge and we can sort out issues over time.