Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

ssreflect and fairness #10

Merged
merged 25 commits into from
Aug 1, 2015
Merged

ssreflect and fairness #10

merged 25 commits into from
Aug 1, 2015

Conversation

amutake
Copy link
Owner

@amutake amutake commented Aug 1, 2015

  • use ssreflect
  • add fairness
  • use multi set of in flight messages instead of global queue and local queue

@amutake
sending,actor,config are now a Record (and break proofs!). close #5
78e8da7
@amutake
Remove local queue. close #2
6e1576c
@amutake
Add ssrascii (ascii : eqType)
0494fd3
@amutake
Add ssrstring (string : eqType)
10f2fdc
@amutake
name : eqType
1fe479b
@amutake
Simplify the proof of eqnameP
4040749
@amutake
Simplify the proof of eqnameP
b841e88
@amutake
message : eqType
ef2f01a
@amutake
sending : eqType
2eedab7
@amutake
trivial update syntax.v
9ea449f
@amutake
Big update semantics
0f518fc
@amutake
label : eqType
fe8b0a3
@amutake
Update syntax notations
1f2b44e
@amutake
Update trans to be based on set
8f01116
@amutake
Define strong fairness
6564fc7
@amutake
introduce perm_eq and perm_eq_actors
b9ce53c
@amutake
trivial update
d97a0e7
@amutake
left ++ [target] :: right
2c15f09
@amutake
all without label uniqueness
2dd1c21
@amutake
label_unique
6c20667
@amutake
add ssrascii and ssrstring to Make
0ee124e
@amutake
remove unused lemmas
a258af1
@amutake
export notations
65ea3df
@amutake
admit factorial
6c02118
@amutake
Use wercker-box-ssreflect
915b5a8
amutake added a commit that referenced this pull request Aug 1, 2015
@amutake
Merge pull request #10 from amutake/fairness
412244a 
ssreflect and fairness
@amutake amutake merged commit 412244a into master Aug 1, 2015
This was referenced Aug 1, 2015
Closed
Closed
Closed
@amutake amutake mentioned this pull request Aug 1, 2015
Closed
@amutake amutake deleted the fairness branch August 19, 2015 04:26
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
1 participant
@amutake