Branch 3 17 - Githubissues

BerkeleyLearnVerify / VerifAI

VerifAI is a software toolkit for the formal design and analysis of systems that include artificial intelligence (AI) and machine learning (ML) components.

BSD 3-Clause "New" or "Revised" License

170 stars 47 forks source link

Branch 3 17 #17

Closed trevor-wu closed 2 years ago

trevor-wu commented 3 years ago

Moved controller-related code to controller.py
changed input of controller to (server, cache)

dfremont commented 2 years ago

Closing for now -- we may revisit if code stabilizes.