Thanks to visit codestin.com
Credit goes to github.com

This repository was archived by the owner on Jan 27, 2021. It is now read-only.

Liveness#11

Closed

odedp wants to merge 17 commits intomicrosoft:masterfrom

odedp:liveness

Commits on Nov 6, 2016

Commits on Aug 24, 2017

paring works, now working on ivy_l2s.py
odedp
committed
most of the (non-nested) monitor is implemented in ivy_l2s.py
odedp
committed
fixed bunch of problems, renamed Binder -> NamedBinder, ticket protocol conjectures now parse (and type infer)
odedp
committed

Commits on Aug 27, 2017

l2s finished and passes on to safety checks, still not able to prove ticket
odedp
committed

Commits on Sep 13, 2017

fixes to the normalization of variables in ivy_l2s.ivy. the ticket example now verifies.
odedp
committed

Commits on Oct 18, 2017

Merge branch 'master' into liveness
odedp
authored

Commits on Feb 28, 2018