Skip to content
This repository has been archived by the owner on May 22, 2023. It is now read-only.

Prove broker #161

Closed
jklmnn opened this issue Mar 24, 2020 · 1 comment
Closed

Prove broker #161

jklmnn opened this issue Mar 24, 2020 · 1 comment

Comments

@jklmnn
Copy link
Member

jklmnn commented Mar 24, 2020

Prove broker to fix most issues, especially type conversions, range and overflow checks
jklmnn added a commit that referenced this issue Apr 3, 2020
@jklmnn
prove broker packages (WIP)
4ebb2de 
ref #161
- Main
- Gneiss.Main
- Gneiss.Broker
- Gneiss.Broker.Main
- Gneiss.Broker.Startup
jklmnn added a commit that referenced this issue Apr 7, 2020
@jklmnn
prove broker with only low checks missing
99029da 
ref #161
jklmnn added a commit that referenced this issue Apr 8, 2020
@jklmnn
fix broken loop condition
8a9224f 
ref #161
jklmnn added a commit that referenced this issue Apr 8, 2020
@jklmnn
fix broken loop condition
1b9adc4 
ref #161
jklmnn added a commit that referenced this issue Apr 24, 2020
@jklmnn
prove broker packages (WIP)
262de0a 
ref #161
- Main
- Gneiss.Main
- Gneiss.Broker
- Gneiss.Broker.Main
- Gneiss.Broker.Startup
jklmnn added a commit that referenced this issue Apr 24, 2020
@jklmnn
prove broker with only low checks missing
1867325 
ref #161
jklmnn added a commit that referenced this issue Apr 24, 2020
@jklmnn
fix broken loop condition
f780796 
ref #161
jklmnn added a commit that referenced this issue May 19, 2020
@jklmnn
prove broker packages (WIP)
c60a8bb 
ref #161
- Main
- Gneiss.Main
- Gneiss.Broker
- Gneiss.Broker.Main
- Gneiss.Broker.Startup
jklmnn added a commit that referenced this issue May 19, 2020
@jklmnn
prove broker with only low checks missing
1f66c1e 
ref #161
jklmnn added a commit that referenced this issue May 19, 2020
@jklmnn
fix broken loop condition
0c4e8ac 
ref #161
@jklmnn
Copy link
Member Author

jklmnn commented May 19, 2020

Fixed by #173.

@jklmnn jklmnn closed this as completed May 19, 2020
jklmnn added a commit that referenced this issue May 20, 2020
@jklmnn
prove broker packages (WIP)
a489935 
ref #161
- Main
- Gneiss.Main
- Gneiss.Broker
- Gneiss.Broker.Main
- Gneiss.Broker.Startup
jklmnn added a commit that referenced this issue May 20, 2020
@jklmnn
prove broker with only low checks missing
3614f97 
ref #161
jklmnn added a commit that referenced this issue May 20, 2020
@jklmnn
fix broken loop condition
54b58ab 
ref #161
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@jklmnn