/goblint-webapp

webapp submodule for goblint/analyzer

Primary LanguageJavaScript

About

Web frontend submodule for Goblint.

Server: node.js, express, pug, stylus, connect-assets, CoffeeScript

Client: jQuery, Twitter Bootstrap, AngularJS, AngularUI, CodeMirror

Installation

In order to setup the web frontend (needs node's npm; uses bower) do

sudo npm install -g coffee-script nodemon bower     # optional: install dev-tools globally
npm install

Then run it using npm start or nodemon server.coffee for automatic reloading during development.

A JS version can be compiled using:

coffee -c server.coffee