Skip to content

Online extensible IDE for the K Framework and other formal verification projects. Example deployment at http://kframework.org/kweb/

Notifications You must be signed in to change notification settings

kframework/kweb

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

81 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

kweb

Online extensible IDE for the K Framework and other formal verification projects. http://fsl.cs.uiuc.edu/tool for a demo.

Setup

Setup is fairly simple. First, ensure you have Python 2.7 installed.

Then, perform the following steps (Python is short for your Python interpreter).

$ python virtualenv.py flask

$ source flask/bin/activate

$ pip install flask==0.9 flask-login sqlalchemy==0.8.1 flask-sqlalchemy==0.16 sqlalchemy-migrate flask-wtf ansi2html diff_match_patch flask-compress

$ cp sample_config.py config.py

$ cd [directory for file storage]

$ mkdir default anon results

$ cd [app dir]

$ vi config.py // UPDATE THE FOLDER PATHS

$ python db_create.py

$ python run.py

Navigate to localhost:8080 and you're all set!

Project Goals

The goal of the kweb project is an extensible online IDE which can be used to edit, save, and test code on a remote server in-browser. Currently, a demo of the tool running K is available at http://fsl.cs.uiuc.edu/tool/

Style Guidelines

These are loose guidelines, readability is the most important.

Python:

  • Tabs for spaces, four lines per space
  • Single quoted string when possible
  • Underscored method names and variables rather than camel case.

JavaScript:

  • Two lines per indent
  • Function bodies must start on their own line
  • Underscore rather than camel case for variable, method names

HTML:

  • Four lines per indent
  • Container tags' children should be indented one level

CSS:

  • No guidelines, keep it readable.

Known issues and bugs

See the Github page at https://github.com/kframework/k

About

Online extensible IDE for the K Framework and other formal verification projects. Example deployment at http://kframework.org/kweb/

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published