Commit 9f2ebd86 authored by Thodoris Nestoridis's avatar Thodoris Nestoridis

Update Readme

parent 968b2cd0
{
"python.pythonPath": "/home/nestorid/.pyenv/versions/reqman/bin/python"
}
\ No newline at end of file
DEVELOPMENT LOCAL The Requirements Formalization Tool (RFT) aims to provide support for the specification and formalization of requirements for learning-enabled autonomous systems, which are eventually transformed into a verifiable form (logic language).
pyenv shell reqman \ 📢 Attention all users! Register for free on our deployment server and unlock access to RFT.
python manage.py runserver 155.207.131.19:8000 \
ng serve --host 155.207.131.19 --port 8081
We are thrilled to announce that you can now create an account on our deployment server and gain exclusive access to our tool.
DEPLOYMENT IN IOTLAB.CSD.AUTH.GR 🔗 Register for FREE here: https://iotlab.csd.auth.gr:8080/signup
/usr/local/lib/node_modules/@angular/cli/bin/ng serve --host iotlab.csd.auth.gr --port 8081 \
python manage.py runserver iotlab.csd.auth.gr:8000
{
// Use IntelliSense to learn about possible attributes.
// Hover to view descriptions of existing attributes.
// For more information, visit: https://go.microsoft.com/fwlink/?linkid=830387
"version": "0.2.0",
"configurations": [
{
"type": "pwa-chrome",
"request": "launch",
"name": "Launch Chrome against localhost",
"url": "http://155.207.131.19:8081/login",
"webRoot": "${workspaceFolder}"
}
]
}
\ No newline at end of file
{
"python.pythonPath": "/home/nestorid/.pyenv/versions/reqman/bin/python"
}
\ No newline at end of file
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment