application.py

NOTE: This is out-of-date

---

• deleteOldFiles()

  • Deletes all uploaded files older than 5 hours

• createSession()

  • Creates a session for the current user if one does not already exist

• uploadRegions()

  • Returns a list of regions given a .regions file

Simulator

• loadSimulator()
  • Route: '/'
  • Renders the simulator template

Spec Editor

• loadSpecEditor()

  • Route: '/specEditor'
  • Renders the spec editor template

• compileSpec()

  • Route: '/specEditor/compileSpec'
  • Compiles the project via the passed in spec file and regions file and returns compiler log

• saveSpec()

  • Route: '/specEditor/saveSpec'
  • Sends the currently stored spec to the user

• saveAut()

  • Route: '/specEditor/saveAut'
  • Sends the currently stored aut to the user

• saveLTL()

  • Route: '/specEditor/saveLTL'
  • Sends the currently stored ltl to the user

• saveSMV()

  • Route: '/specEditor/saveSMV'
  • Sends the currently stored smv to the user

• saveDecomposed()

  • Route: '/specEditor/saveDecomposed'
  • Sends the currently stored decomposed regions to the user

• saveZip()

  • Route: '/specEditor/saveZip'
  • Sends the currently stored zip file to the user

Region Editor

• loadRegionEditor()
  • Route: '/regionEditor'
  • Renders the region editor template