Skip to content

Issues: bThink-BGU/BPjs

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

62 Open 135 Closed
62 Open 135 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

General question regarding limits of BP - cancelation
#227 opened May 14, 2024 by mryndzionek
bp.store - consider refactor with event callbacks High Priority
#225 opened May 8, 2024 by michbarsinai
BPjsExceptions: Tidy up, add runtime location data High Priority
#224 opened Feb 28, 2024 by michbarsinai
@michbarsinai
1
Improve verification performance
#221 opened Sep 23, 2023 by achiyae
Replace Java Serialization with modern solutions
#220 opened Sep 21, 2023 by achiyae
1
Serialization optimizations enhancement
#215 opened Aug 15, 2023 by michbarsinai
Minimize entry to to Rhino's context
#205 opened Mar 9, 2023 by michbarsinai PVG-1
on DFS scan violation discovery, return better options
#204 opened Mar 9, 2023 by michbarsinai PVG-1
1
@maor226
2
Unify a bit all the listeners we have around the system
#202 opened Feb 9, 2023 by michbarsinai
@michbarsinai
Allow stateful event selection strategies
#197 opened Dec 28, 2022 by michbarsinai PVG-1
Docs: this might not be true anymore:
#196 opened Oct 18, 2022 by michbarsinai
bp.store.getAndDelete method GoodFirstIssue Want to start somewhere? Here's a good issue.
#194 opened Sep 20, 2022 by michbarsinai PVG-1
Set equality issues
#192 opened Jul 12, 2022 by michbarsinai PVG-1
New Python-BPjs integration enhancement
#188 opened Mar 2, 2022 by achiyae
Re-config the CI
#185 opened Feb 17, 2022 by michbarsinai
2
Replace DFSVerifier with JGraphT
#183 opened Feb 16, 2022 by achiyae
2
Add extensions/addons section to read the docs question/discussion
#182 opened Feb 16, 2022 by achiyae
1
Code Linter for non-supported constructs
#181 opened Jan 30, 2022 by michbarsinai
Allow a BProgram to be restarted without re-loading the sources
#177 opened Sep 10, 2021 by michbarsinai
Backport StateSpaceMappingInspection et. al
#172 opened Jun 9, 2021 by michbarsinai PVG-1
@michbarsinai
Random stability not guaranteed
#168 opened Jun 1, 2021 by ZvikaZ
Convert to/from MapProxy objects
#167 opened May 31, 2021 by achiyae
Extending DfsBProgramVerifier
#157 opened Feb 23, 2021 by achiyae PVG-1
1
Add a FiniteRunsInspection
#154 opened Feb 15, 2021 by michbarsinai PVG-1
1
Arrow function in eventset breaks verification
#150 opened Feb 6, 2021 by achiyae
1
ProTip! Find all open issues with in progress development work with linked:pr.