Skip to main content

RefineryLearn Develop

0.1.4-SNAPSHOT 🚧
0.1.3
0.1.0

Introduction
Tutorials
- File system
Language reference
Docker

This is documentation for Refinery 0.1.0, which is no longer actively maintained.

For up-to-date documentation, see the latest version (0.1.3).

Tutorials

Version: 0.1.0

Tutorial overview

Try Refinery in practical partial modeling challenges!

📄️ File system

Introduction to classes, references, and error predicates

Learn

Introduction
Tutorials
Langauge reference
Run in Docker

Develop

Programming guide
Contributing
Javadoc

More

Try now
GitHub
License

Supporters

BME MIT FTSRG
McGill ECE
2022 Amazon Research Awards
LiU Software and Systems
WASP

Copyright © 2021-2024 The Refinery Authors. Available under the Eclipse Public License - v 2.0.