Finalize New CSAF - Githubissues

GaloisInc / csaf

Control Systems Analysis Framework - a framework to minimize the effort required to evaluate, implement, and verify controller design (classical and learning enabled) with respect to the system dynamics.

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

10 stars 4 forks source link

Finalize New CSAF #145

Closed EthanJamesLew closed 2 years ago

EthanJamesLew commented 2 years ago

Summary

This is a new implementation of CSAF. See the CHANGELOG.md for a list of changes.

closes #142 #143 #140 #144

podhrmic commented 2 years ago

When do you need this by? 322 changed files will take a while to review:-)

EthanJamesLew commented 2 years ago

When do you need this by?

Not for a while. We will finalize CSAF after the presentation that we give on the 14th.

podhrmic commented 2 years ago

Remove .common.sh
Remove conda_requirements.txt
Remove dependencies.sh
Remove csaf_f16/.DS_store
Rerun notebooks and save the images etc so the notebooks serve as better documentation

podhrmic commented 2 years ago

Merge tmp/win-fg

podhrmic commented 2 years ago

Resolve the dependabot alert.

EthanJamesLew commented 2 years ago

@podhrmic Done! Please review :)

podhrmic commented 2 years ago

Resolve the dependabot alert.

Did we fix this as well? I can just disable the alert if we deem it not important.