Description
IGSF is a web executable model of GSF implemented in Scala and React.js. IGSF shows interactive typing and reduction derivations for arbitrary source programs. In particular, it shows the evidence-augmented terms/derivations, and highlights the evidence combinations that occur at each reduction step.
Assets
Instructions
General Installation
Software Dependencies:
To compile IGSF you need to have installed: SBT (http://www.scala-sbt.org/) Node v8.9.1 (https://nodejs.org/) JDK8 (https://www.oracle.com/technetwork/java/javase/downloads/) To run IGSF locally, all you need is Java 1.8. Also, check that you have Java 1.8 in the path.
General Installation:
Compilation and execution of the source code
=============================================
To compile IGSF you need to have installed:
SBT (http://www.scala-sbt.org/)
Node v8.9.1 (https://nodejs.org/)
JDK8 (https://www.oracle.com/technetwork/java/javase/downloads/)
We start by unzipping the sources.
> unzip gsf-sources.zip
Then we can proceed to compile the frontend, or skip this and go straight to compile the backend (frontend is pre-compiled in location public/javascript/app.js=
Compiling the frontend
----------------------
To compile this javascript file, you have to enter the node folder first.
From the application folder:
>cd node
Then we have to install node packages (it may take a while).
>npm i
Then once all the packages have been installed, we proceed to build and copy the generated javascript file into the web server. There is a convenient file that does this called make.
>./make
If the file does not have permission to run, then execute the following:
>chmod +x make
Compiling the backend
----------------------
From the application folder we start SBT:
> sbt
Then we compile the application as follows (it may take a while the first time):
> compile
Running the application
----------------------
From the application folder we start SBT (unless you already started it):
>sbt
Then we start the web application as follows:
>run
This should start a server in the port 9000. To open IGSF, go to http://localhost:9000/gsf/
In case the port 9000 is already taken, run:
>run
Other Instructions:
Local execution of the binaries
=============================================
To run IGSF locally, all you need is Java 1.8. Also, check that you have Java 1.8 in the path.
The following instructions are Unix valid commands. If you have Windows installed in your machine, you need to perform the corresponding commands.
Unzip the file.
>unzip gsf-0.9.zip
Go to the ?gsf ? folder:
>cd gsf-0.9
Add run permissions to the binary file:
>chmod +x bin/gsf
And then run:
>./bin/gsf
This should start a server in the port 9000. To open IGSF, go to http://localhost:9000/gsf/
In case the port 9000 is already taken, run:
>./bin/gsf -Dhttp.port=
Provenance
The artifact is developed internally by Matías Toro