search

ssvlab / dsverifier

DSVerifier - Digital Systems Verifier
http://dsverifier.org
Apache License 2.0
12 stars 4 forks source link

Refactored dsverifier.cpp #114 #115

Closed lennonchaves closed 6 years ago

lennonchaves commented 7 years ago

@feliperodri please, get the updates on master branch, and then the build on travisCI will be okay.

And please, push the remaining code to finish your refactoring. Thanks,

Lennon.

lennonchaves commented 7 years ago

And please, run the regression test in your machine just to check if the test cases are okay. Thanks, Lennon.

lennonchaves commented 7 years ago

@feliperodri where is the dsverifier toolbox? It was deleted in your branch.

lennonchaves commented 7 years ago

@feliperodri any updates? I'm still waiting for your code. I tried to fix the TravisCI, however you need to commit your changes.