search

usi-verification-and-security / opensmt

The opensmt solver
Other
77 stars 18 forks source link

added 'scripts' directory and removed old scripts #736

Closed Tomaqa closed 3 months ago

Tomaqa commented 3 months ago

I suppose that the directory will become useful for other scripts as well. A candidate to move it there is ci/build_maximally_static.sh which is not necessarily CI-related, but it is used within Travis commands so I did not want to touch it.