Metadata-Version: 2.1
Name: gclang
Version: 0.0.2
Summary: Guarded command language interpreter
Home-page: https://github.com/slmtnm/guarded
Author: Makar Solomatin
License: UNKNOWN
Platform: UNKNOWN
Description-Content-Type: text/markdown
Requires-Dist: Click
Requires-Dist: sympy (==1.7.1)
Requires-Dist: click (==7.1.2)
Requires-Dist: antlr4-python3-runtime (==4.9.1)

# Guarded

Guarded is the interpreter of Dijkstra's guarded command language,
written in python with ANTLR4 generator.

Example of program in this language:
```
a := 45;
b := 15;

do a != b ->
    if a > b -> a := a - b
    |  a < b -> b := b - a
    fi
od
```

## Quick start:
To start using interpreter, follow these steps:

* Install gclang:
```console
  $ pip install gclang
```

* Launch program of your choice with:
```console
  $ gclang ./examples/euqclid.gua run
  $ gclang ./examples/euqclid.gua derive
```


