Skip to content
Automatically Visualizing Program Execution
Branch: master
Clone or download
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
arithmetic-log-flattened flatten #KSequences and successfully parse them May 22, 2019
arithmetic-log switch to log-state. add first step and arithmetic example. recomiple… May 21, 2019
if-log
lets++-log minor tweak to html and lets++ tracing May 22, 2019
lets++-map-flattened-log make incremental progress towards parsing environment-based machines. May 24, 2019
lets++-reference-log minor tweak to html and lets++ tracing May 22, 2019
lets++-uberflat-log minor tweak to html and lets++ tracing May 22, 2019
node_modules finally read json from files May 20, 2019
semantics lambda++ files May 22, 2019
theia-viz make incremental progress towards parsing environment-based machines. May 24, 2019
.gitmodules
LICENSE Initial commit Apr 28, 2019
README.md flatten #KSequences and successfully parse them May 22, 2019
debugger.exp expect script for interacting with k debugger and try parsing it May 20, 2019
factorial-letrec.log factorial letrec trace May 20, 2019
log-state.sh make incremental progress towards parsing environment-based machines. May 24, 2019
parse-log.py parse lets May 20, 2019
python-server.py
test.log fix log May 20, 2019

README.md

theia

Automatically Visualizing Program Execution

To setup:

First download and install k: http://www.kframework.org/index.php/K_tool_binaries.

In theia-viz

  1. Run npm install. This installs the dependencies.
  2. Run chmod +x python-server.py. This allows bash to execute the python server code.
  3. Run chmod +x log-state.sh. This allows bash to execute the code that logs the state from k.

To run:

In theia-viz

  1. Run npm run. This incrementally compiles the Reason files.
  2. In a second window run node_modules/.bin/webpack-dev-server. This starts the dev server (necessary to sidestep CORS).
  3. In a third window run ./python-server.py. This starts a local server for the local file system. By default this runs on localhost:8080.
  4. In a browser, open whatever link was mentioned by the output of step 2. This is probably localhost:8000.
You can’t perform that action at this time.