ravencheck 0.1.2

Decidable verification of Rust code using relational abstraction.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31

To perform a release to crates.io, do the following:

1. update the version numbers found in the following files:

```
* lang/Cargo.toml
* macros/Cargo.toml
* Cargo.toml
* README.md
```

2. Create a release commit.

3. Run the following commands, looking for any errors:

```
$ cargo package -p ravenlang --list
...
# (check to see that the list doesn't 
# include anything unintended)
$ cargo package -p ravenlang
...
$ cargo publish -p ravenlang
...

# (repeat the cargo package+publish steps above
# for the 'ravencheck-macros' package)

# (finally, repeat the cargo package+publish steps 
# a third time for the 'ravencheck' package)
```