search

klee / klee-web

KLEE in the browser
Other
50 stars 15 forks source link

Rework deployment #149

Closed andronat closed 4 years ago

andronat commented 4 years ago

Finalize production deployment ansible scripts and simplified internal ansible playbooks and tasks.

andronat commented 4 years ago

This is ready. Latest version is already deployed.

ccadar commented 4 years ago

Great to see KLEE-Web working again, thanks!