Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / bThink-BGU/BPjs issues and pull requests

#221 - Improve verification performance

Issue - State: open - Opened by achiyae over 1 year ago

#220 - Replace Java Serialization with modern solutions

Issue - State: open - Opened by achiyae over 1 year ago - 1 comment

#219 - 204 on dfs scan violation discovery return better options

Pull Request - State: open - Opened by maor226 over 1 year ago

#218 - EventSet: add an "except" method

Issue - State: closed - Opened by michbarsinai over 1 year ago

#217 - Update BProgramRunnerListenerAdapter.java

Pull Request - State: closed - Opened by maor226 over 1 year ago

#216 - 200 bpjsexception create a ctor variant which accepts rhinoexception

Pull Request - State: closed - Opened by maor226 over 1 year ago

#215 - Serialization optimizations

Issue - State: open - Opened by michbarsinai over 1 year ago
Labels: enhancement

#214 - add error log

Pull Request - State: closed - Opened by maor226 over 1 year ago

#213 - toString of JS object: use a more standard notation.

Issue - State: closed - Opened by michbarsinai over 1 year ago

#212 - 208 logger spi

Pull Request - State: closed - Opened by maor226 over 1 year ago

#211 - fix exception upon calling bp.thread outside of btread.

Pull Request - State: closed - Opened by maor226 almost 2 years ago

#210 - addSync Outside of BThread Exception

Pull Request - State: closed - Opened by maor226 almost 2 years ago

#209 - Update MapProxy.java

Pull Request - State: closed - Opened by maor226 almost 2 years ago

#208 - logger SPI

Issue - State: closed - Opened by michbarsinai almost 2 years ago

#207 - Updated BPJs.java. Added a method

Pull Request - State: closed - Opened by ananyak19 almost 2 years ago - 3 comments

#206 - Change visibility of the `seed` field of MapProxy

Issue - State: closed - Opened by achiyae almost 2 years ago

#205 - Minimize entry to to Rhino's context

Issue - State: open - Opened by michbarsinai almost 2 years ago

#204 - on DFS scan violation discovery, return better options

Issue - State: open - Opened by michbarsinai almost 2 years ago - 2 comments

#203 - Calling bp.thread outside of a bthread yields a wrong message

Issue - State: closed - Opened by michbarsinai almost 2 years ago - 1 comment

#202 - Unify a bit all the listeners we have around the system

Issue - State: open - Opened by michbarsinai about 2 years ago

#199 - `BProgramRunnerListenerAdapter` should not print errors to the log

Issue - State: closed - Opened by michbarsinai about 2 years ago - 1 comment

#198 - Rhino exceptions: Use `V8` formatting.

Issue - State: open - Opened by michbarsinai about 2 years ago

#197 - Allow stateful event selection strategies

Issue - State: open - Opened by michbarsinai about 2 years ago

#196 - Docs: this might not be true anymore:

Issue - State: open - Opened by michbarsinai over 2 years ago

#194 - `bp.store.getAndDelete` method

Issue - State: open - Opened by michbarsinai over 2 years ago
Labels: GoodFirstIssue

#193 - Change visibility of methods in BProgramJsProxy.java to allow inherit…

Pull Request - State: closed - Opened by achiyae over 2 years ago

#192 - Set equality issues

Issue - State: open - Opened by michbarsinai over 2 years ago

#191 - `BProgramRunnerListener` remove auto stack trace.

Issue - State: closed - Opened by michbarsinai over 2 years ago

#190 - Add a `getListeners` method to `BProgramRunner`

Issue - State: open - Opened by michbarsinai over 2 years ago

#189 - Custom serialization of standard non-serializable objects

Issue - State: closed - Opened by michbarsinai almost 3 years ago

#188 - New Python-BPjs integration

Issue - State: open - Opened by achiyae almost 3 years ago
Labels: enhancement

#186 - Upgrade to Rhino 1.17.4

Issue - State: closed - Opened by michbarsinai almost 3 years ago
Labels: enhancement, High Priority

#185 - Re-config the CI

Issue - State: open - Opened by michbarsinai almost 3 years ago - 2 comments

#184 - b-thread requesting null event should trigger informative error

Issue - State: closed - Opened by BennySkidanov almost 3 years ago - 1 comment

#183 - Replace DFSVerifier with JGraphT

Issue - State: open - Opened by achiyae almost 3 years ago - 2 comments

#182 - Add extensions/addons section to read the docs

Issue - State: open - Opened by achiyae almost 3 years ago - 1 comment
Labels: question/discussion

#181 - Code Linter for non-supported constructs

Issue - State: open - Opened by michbarsinai about 3 years ago

#180 - Default trace inspections should not cry about non-hot termination

Issue - State: closed - Opened by michbarsinai about 3 years ago - 1 comment
Labels: GoodFirstIssue

#179 - When logging js arrays, `bp.log.xxx` seems to be shoing only the first item, AS ANN OBJECT

Issue - State: closed - Opened by michbarsinai about 3 years ago - 1 comment
Labels: bug, GoodFirstIssue, High Priority

#178 - Error "EventSet Contains Nulls" should mentions which event set contains them

Issue - State: closed - Opened by michbarsinai about 3 years ago
Labels: GoodFirstIssue

#176 - No Context.exit() in BPjs.makeBPjsSubScope()

Issue - State: closed - Opened by achiyae over 3 years ago - 2 comments

#175 - Feature: bp.log.error

Issue - State: closed - Opened by ZvikaZ over 3 years ago

#172 - Backport `StateSpaceMappingInspection` et. al

Issue - State: open - Opened by michbarsinai over 3 years ago

#171 - Pseudo-Serizliation of non-serializable objects

Issue - State: closed - Opened by michbarsinai over 3 years ago - 1 comment

#170 - Pseudo-Serialization of non-serializable objects

Issue - State: open - Opened by michbarsinai over 3 years ago - 1 comment
Labels: enhancement

#169 - Serialization errors: print out the b-thread's name

Issue - State: closed - Opened by michbarsinai over 3 years ago

#168 - Random stability not guaranteed

Issue - State: open - Opened by ZvikaZ over 3 years ago

#167 - Convert to/from MapProxy objects

Issue - State: open - Opened by achiyae over 3 years ago

#166 - Bug in serialization/rhino

Issue - State: open - Opened by achiyae over 3 years ago

#165 - Add global ExecutorServiceMaker that can be replaced by user

Pull Request - State: closed - Opened by tallitman over 3 years ago - 2 comments

#164 - Reorder BPSS's equals to have the hash-based check first.

Issue - State: closed - Opened by michbarsinai almost 4 years ago - 1 comment

#163 - Is it possible to redirect `bp.log.info` output?

Issue - State: closed - Opened by ZvikaZ almost 4 years ago - 4 comments

#162 - Consider making `BEvent::maybeData` non-final

Issue - State: closed - Opened by michbarsinai almost 4 years ago

#161 - `BEvent::getDataField` should wrap `BEvent::getData`.

Issue - State: closed - Opened by michbarsinai almost 4 years ago

#160 - Turn off logging during analysis

Issue - State: closed - Opened by michbarsinai almost 4 years ago

#159 - Allow redirecting bpLog to another PrintStream bug fix #142

Pull Request - State: closed - Opened by tallitman almost 4 years ago - 2 comments

#158 - No bp.log in EventSet logic?

Issue - State: closed - Opened by michbarsinai almost 4 years ago - 1 comment

#157 - Extending DfsBProgramVerifier

Issue - State: open - Opened by achiyae almost 4 years ago - 1 comment

#156 - Add ContinueAfterViolation flag to DfsBProgramVerifier

Issue - State: closed - Opened by achiyae almost 4 years ago - 2 comments

#155 - Bug in stringify of JsArray

Issue - State: closed - Opened by achiyae almost 4 years ago - 1 comment
Labels: bug

#154 - Add a FiniteRunsInspection

Issue - State: open - Opened by michbarsinai almost 4 years ago - 1 comment

#153 - JS Syntax error test alert

Issue - State: closed - Opened by michbarsinai about 4 years ago

#152 - use getScope() in BProgram

Issue - State: closed - Opened by michbarsinai about 4 years ago

#150 - Arrow function in eventset breaks verification

Issue - State: open - Opened by achiyae about 4 years ago - 1 comment

#149 - Use Rhino's equals and hashcode functions for comparing continuations.

Pull Request - State: closed - Opened by achiyae about 4 years ago - 1 comment

#148 - BUG FIX in ScriptableUtils.toString(NativeSet ns)

Pull Request - State: closed - Opened by achiyae about 4 years ago

#147 - Change DEFAULT_PRIORITY of Prioritized event selection strategies

Pull Request - State: closed - Opened by achiyae about 4 years ago - 1 comment

#145 - Exception when calling stringify (or bp.log) from global scope

Issue - State: closed - Opened by achiyae about 4 years ago - 2 comments
Labels: bug

#144 - bp.store and bp.thread.data do not use jsEquals

Issue - State: closed - Opened by achiyae about 4 years ago - 3 comments

#143 - Added store reader/writer

Pull Request - State: closed - Opened by achiyae about 4 years ago - 1 comment

#142 - Allow redirecting bpLog to another PrintStream

Issue - State: closed - Opened by michbarsinai about 4 years ago

#141 - Refactor ScriptingUtils to allow Java-side reuse

Issue - State: open - Opened by michbarsinai about 4 years ago - 1 comment

#139 - Make CONTRIBUTING.md

Issue - State: closed - Opened by michbarsinai about 4 years ago

#136 - Make BPjs POM version available at runtime

Issue - State: closed - Opened by michbarsinai about 4 years ago - 5 comments
Labels: help wanted, GoodFirstIssue

#127 - Refactor BProgram out

Issue - State: open - Opened by michbarsinai about 4 years ago
Labels: question/discussion

#121 - Add a "stop" method to the verifier.

Issue - State: open - Opened by michbarsinai over 4 years ago

#120 - Update random, s.t. it can be used in verification

Issue - State: open - Opened by michbarsinai over 4 years ago

#116 - Use Rhino's internal equality for BTSSs.

Issue - State: closed - Opened by michbarsinai over 4 years ago - 2 comments

#115 - Add default value to PrioritizedBSyncEventSelectionStrategy

Issue - State: closed - Opened by achiyae over 4 years ago

#113 - Refactor and organize events and event sets

Issue - State: closed - Opened by michbarsinai over 4 years ago - 1 comment

#108 - BProgramRunnerListener: call eventSelected on super-step only

Issue - State: open - Opened by achiyae over 4 years ago - 4 comments

#107 - Customizable serialization system

Issue - State: open - Opened by michbarsinai over 4 years ago

#104 - String(e.name) ~= e.name

Issue - State: closed - Opened by geraw over 4 years ago - 3 comments

#99 - Add a reference to the updated liveness paper in the docs.

Issue - State: closed - Opened by michbarsinai over 4 years ago

#85 - Add a ComposableEventSet to the JS layer

Issue - State: closed - Opened by michbarsinai almost 6 years ago

#84 - Docs: Update the section about `ComposableEventSet`

Issue - State: open - Opened by michbarsinai almost 6 years ago - 1 comment

#76 - Adjustable parallelism

Issue - State: closed - Opened by michbarsinai about 6 years ago - 1 comment

#74 - Add a way to make an event/eventSet array into an EventSet

Issue - State: open - Opened by michbarsinai about 6 years ago - 3 comments
Labels: GoodFirstIssue