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