8000 Issues · fizzbee-io/fizzbee · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Issues: fizzbee-io/fizzbee

Beta
New issue < 8000 /summary>

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

23 Open 21 Closed
23 Open 21 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

An option to hide non-yield states in the HTML view good first issue Good for newcomers
#194 opened May 5, 2025 by jp-fizzbee
Assertions should include an optional string log message
#193 opened May 4, 2025 by jp-fizzbee
print logs should be captured per transition to make it easy to debug on error good first issue Good for newcomers
#192 opened May 4, 2025 by jp-fizzbee
Add the status of various liveness assertion predicates in the HTML view good first issue Good for newcomers
#191 opened May 4, 2025 by jp-fizzbee
Generate the html trace for the last run in simulation mode good first issue Good for newcomers
#190 opened May 4, 2025 by jp-fizzbee
Possible Developer Experience Improvements
#189 opened May 3, 2025 by ANorwell
2
Circular Reference Within Data Structures Cause Stack Overflow
#183 opened May 1, 2025 by ANorwell
3
Allow accepting states to not violate deadlock detection enhancement New feature or request good first issue Good for newcomers
#182 opened Apr 29, 2025 by jp-fizzbee
Assertion within roles enhancement New feature or request
#179 opened Apr 28, 2025 by jp-fizzbee
VS Code Plugin enhancement New feature or request help wanted Extra attention is needed
#176 opened Apr 28, 2025 by jp-fizzbee
Build error (docker container build)
#167 opened Mar 25, 2025 by geertj
1
"python3" Not Opened
#152 opened Feb 14, 2025 by tekumara
2
Feature request: State transition graph in JSON format
#146 opened Feb 5, 2025 by smheidrich
3
Provide pre-built binaries
#141 opened Jan 16, 2025 by brancz
1
call statement causes crash state that triggers deadlock
#105 opened Oct 19, 2024 by tekumara
3
require doesn't trigger deadlock
#104 opened Oct 19, 2024 by tekumara
Modelling SQS behaviour with non-atomic message processing
#101 opened Oct 9, 2024 by tekumara
6
undefined: Channel
#95 opened Oct 6, 2024 by tekumara
Deadlock detection fails when max_actions are exhausted
#91 opened Sep 28, 2024 by tekumara
@jp-fizzbee
3
Are crashes counted toward max_actions?
#89 opened Sep 27, 2024 by tekumara
2
How to model crash transitions ?
#77 opened Aug 21, 2024 by damnMeddlingKid
6
Allow creating multiple roles on the same line.
#76 opened Aug 19, 2024 by damnMeddlingKid
39F1
Run time failures in tutorial examples.
#61 opened Jul 14, 2024 by sriram-srinivasan
ProTip! Find all open issues with in progress development work with linked:pr.
0