ergl/pvc_model
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
A quickcheck model of the pvc protocol
19 commits 1 branch 0 tags 62 KiB
  • Erlang 100%
Find a file
Exact
ergl 8a5c8ccbf6 Add prop
2019-08-06 15:05:03 +02:00
include Add client interface, modify ring structure 2019-04-26 12:47:24 +02:00
scripts Simplify simulator trace 2019-05-01 19:03:08 +02:00
src Move record position 2019-08-06 13:18:02 +02:00
test Add prop 2019-08-06 15:05:03 +02:00
.gitignore Inital commit 2019-04-24 16:53:42 +02:00
LICENSE Inital commit 2019-04-24 16:53:42 +02:00
README.md Inital commit 2019-04-24 16:53:42 +02:00
rebar.config Inital commit 2019-04-24 16:53:42 +02:00
rebar.lock Inital commit 2019-04-24 16:53:42 +02:00

README.md

pvc_model

An OTP application

Build

$ rebar3 compile