pseuCo Parser: Sebastian Biewer, Pascal Held
pseuCo to CCS Compiler: Sebastian Biewer
Copyright (c) 2013 - 2018
Saarland University
Dependable Systems and Software
This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any later version.
This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details.
You should have received a copy of the GNU General Public License along with this program. If not, see http://www.gnu.org/licenses/.
This repository contains a CCS interpreter and a compiler for pseuCo that translates programs to CCS.
For more information see pseuCo.com.
This code is a submodule of pseuCo.com and can only be tested within pseuCo.com. You can find the source code and information regarding installation in this repository.
The primary repository for this project is located at https://dgit.cs.uni-saarland.de/pseuco/pseuco-ccs-compiler.
The GitHub version will be updated less regularly.
- CoffeeScript A language that compiles into JavaScript
- jQuery
- PEG.js Parser generator