4bacd8e add skeleton code for real protocol shells

~ph14nix pushed to ~ph14nix/haskell-uc git

a6a32d5 implement a shell for ideal functionalities

~ph14nix pushed to ~ph14nix/haskell-uc git

cecd0e1 implement a shell for ideal functionalities

~ph14nix pushed to ~ph14nix/haskell-uc git

365729a implement ucExec and add Pid

~ph14nix pushed to ~ph14nix/haskell-uc git

f00834f implement subRespEval that supports ping channel

~ph14nix pushed to ~ph14nix/haskell-uc git

16767a2 Use Accum monad instead of Writer to build executions

~ph14nix pushed to ~ph14nix/haskell-uc git

39119e9 draft of UC execution

~ph14nix pushed to ~ph14nix/haskell-uc git

2382ad1 refactor escapeAsyncT

~ph14nix pushed to ~ph14nix/haskell-uc git

62e8edf propagate the modified connect and swap interfaces

~ph14nix pushed to ~ph14nix/haskell-uc git

288f3d2 refactor InList and TestEquality

~ph14nix pushed to ~ph14nix/haskell-uc git

b0ef91f rename getWT and guard, add asyncGuard

~ph14nix pushed to ~ph14nix/haskell-uc git

d62004d simplify Exec struct even further: push ivariant proofs to the leaves

~ph14nix pushed to ~ph14nix/haskell-uc git

cce3f9d Async.Eval documentation

~ph14nix pushed to ~ph14nix/haskell-uc git

f9781c7 Refactor core Exec combinators: make swap and split take

~ph14nix pushed to ~ph14nix/haskell-uc git

6b9064a refactor: create two versions of each ExecWriter combinator, one with explicit and one with implicit args

~ph14nix pushed to ~ph14nix/haskell-uc git