Download BPjs.jar - @com.github.bthink-bgu

Table Of Contents

Latest Version
All Versions
View Java Class Source Code in JAR file

Latest Version

Download com.github.bthink-bgu : BPjs JAR file - Latest Versions:

Latest Stable: 0.12.2.jar

All Versions

Download com.github.bthink-bgu : BPjs JAR file - All Versions:

Version	Vulnerabilities	Size	Updated
0.12.x	BPjs-0.12.2.jar		192.36 KB	Feb 17, 2022
BPjs-0.12.1.jar		192.78 KB	May 22, 2021
BPjs-0.12.0.jar		192.34 KB	Feb 10, 2021
0.11.x	BPjs-0.11.1.jar		193.25 KB	Jan 29, 2021
BPjs-0.11.0.jar		189.28 KB	Dec 05, 2020
0.10.x	BPjs-0.10.7.jar		171.29 KB	Oct 10, 2020
BPjs-0.10.6.jar		170.80 KB	Sep 24, 2020
BPjs-0.10.5.jar		161.98 KB	Apr 22, 2020
BPjs-0.10.3.jar		161.42 KB	Mar 30, 2019
BPjs-0.10.2.jar		160.19 KB	Mar 24, 2019
BPjs-0.10.1.jar		160.38 KB	Mar 05, 2019
BPjs-0.10.0.jar		162.07 KB	Mar 01, 2019
0.9.x	BPjs-0.9.8.jar		163.13 KB	Feb 06, 2019
BPjs-0.9.7.jar		158.56 KB	Jan 19, 2019
BPjs-0.9.6.jar		152.57 KB	Dec 26, 2018
BPjs-0.9.5.jar		152.49 KB	Dec 23, 2018
BPjs-0.9.4.jar		137.18 KB	Nov 26, 2018
BPjs-0.9.3.jar		130.17 KB	Oct 17, 2018
BPjs-0.9.2.jar		130.78 KB	Aug 09, 2018
BPjs-0.9.1.jar		126.50 KB	Mar 21, 2018
0.8.x	BPjs-0.8.6.jar		125.12 KB	Dec 22, 2017
BPjs-0.8.5.jar		83.64 KB	Jul 05, 2017
BPjs-0.8.4.jar		71.06 KB	Mar 21, 2017
BPjs-0.8.3.jar		70.28 KB	Feb 03, 2017
BPjs-0.8.2.jar		1.27 MB	Feb 02, 2017
BPjs-0.8.1.jar		1.27 MB	Jan 15, 2017
BPjs-0.8.0.jar		1.27 MB	Jan 14, 2017

Version

Vulnerabilities

Size

Updated

0.12.x

BPjs-0.12.2.jar

192.36 KB

Feb 17, 2022

BPjs-0.12.1.jar

192.78 KB

May 22, 2021

BPjs-0.12.0.jar

192.34 KB

Feb 10, 2021

0.11.x

BPjs-0.11.1.jar

193.25 KB

Jan 29, 2021

BPjs-0.11.0.jar

189.28 KB

Dec 05, 2020

0.10.x

BPjs-0.10.7.jar

171.29 KB

Oct 10, 2020

BPjs-0.10.6.jar

170.80 KB

Sep 24, 2020

BPjs-0.10.5.jar

161.98 KB

Apr 22, 2020

BPjs-0.10.3.jar

161.42 KB

Mar 30, 2019

BPjs-0.10.2.jar

160.19 KB

Mar 24, 2019

BPjs-0.10.1.jar

160.38 KB

Mar 05, 2019

BPjs-0.10.0.jar

162.07 KB

Mar 01, 2019

0.9.x

BPjs-0.9.8.jar

163.13 KB

Feb 06, 2019

BPjs-0.9.7.jar

158.56 KB

Jan 19, 2019

BPjs-0.9.6.jar

152.57 KB

Dec 26, 2018

BPjs-0.9.5.jar

152.49 KB

Dec 23, 2018

BPjs-0.9.4.jar

137.18 KB

Nov 26, 2018

BPjs-0.9.3.jar

130.17 KB

Oct 17, 2018

BPjs-0.9.2.jar

130.78 KB

Aug 09, 2018

BPjs-0.9.1.jar

126.50 KB

Mar 21, 2018

0.8.x

BPjs-0.8.6.jar

125.12 KB

Dec 22, 2017

BPjs-0.8.5.jar

83.64 KB

Jul 05, 2017

BPjs-0.8.4.jar

71.06 KB

Mar 21, 2017

BPjs-0.8.3.jar

70.28 KB

Feb 03, 2017

BPjs-0.8.2.jar

1.27 MB

Feb 02, 2017

BPjs-0.8.1.jar

1.27 MB

Jan 15, 2017

BPjs-0.8.0.jar

1.27 MB

Jan 14, 2017

View Java Class Source Code in JAR file

Download JD-GUI to open JAR file and explore Java source code file (.class .java)
Click menu "File → Open File..." or just drag-and-drop the JAR file in the JD-GUI window BPjs-0.12.2.jar file.
Once you open a JAR file, all the java classes in the JAR file will be displayed.

il.ac.bgu.cs.bp.bpjs.model

├─ il.ac.bgu.cs.bp.bpjs.model.BEvent.class - [JAR]

├─ il.ac.bgu.cs.bp.bpjs.model.BProgram.class - [JAR]

├─ il.ac.bgu.cs.bp.bpjs.model.BProgramSyncSnapshot.class - [JAR]

├─ il.ac.bgu.cs.bp.bpjs.model.BThreadSyncSnapshot.class - [JAR]

├─ il.ac.bgu.cs.bp.bpjs.model.FailedAssertionViolation.class - [JAR]

├─ il.ac.bgu.cs.bp.bpjs.model.ForkStatement.class - [JAR]

├─ il.ac.bgu.cs.bp.bpjs.model.ResourceBProgram.class - [JAR]

├─ il.ac.bgu.cs.bp.bpjs.model.SafetyViolationTag.class - [JAR]

├─ il.ac.bgu.cs.bp.bpjs.model.StorageConflictViolation.class - [JAR]

├─ il.ac.bgu.cs.bp.bpjs.model.StorageConsolidationResult.class - [JAR]

├─ il.ac.bgu.cs.bp.bpjs.model.StorageModificationStrategy.class - [JAR]

├─ il.ac.bgu.cs.bp.bpjs.model.StringBProgram.class - [JAR]

├─ il.ac.bgu.cs.bp.bpjs.model.SyncStatement.class - [JAR]

il.ac.bgu.cs.bp.bpjs.bprogramio

├─ il.ac.bgu.cs.bp.bpjs.bprogramio.BPJSStubInputStream.class - [JAR]

├─ il.ac.bgu.cs.bp.bpjs.bprogramio.BPJSStubOutputStream.class - [JAR]

├─ il.ac.bgu.cs.bp.bpjs.bprogramio.BProgramSyncSnapshotCloner.class - [JAR]

├─ il.ac.bgu.cs.bp.bpjs.bprogramio.BProgramSyncSnapshotIO.class - [JAR]

├─ il.ac.bgu.cs.bp.bpjs.bprogramio.StreamObjectStub.class - [JAR]

├─ il.ac.bgu.cs.bp.bpjs.bprogramio.StubProvider.class - [JAR]

il.ac.bgu.cs.bp.bpjs.execution.listeners

├─ il.ac.bgu.cs.bp.bpjs.execution.listeners.BProgramRunnerListener.class - [JAR]

├─ il.ac.bgu.cs.bp.bpjs.execution.listeners.BProgramRunnerListenerAdapter.class - [JAR]

├─ il.ac.bgu.cs.bp.bpjs.execution.listeners.InMemoryEventLoggingListener.class - [JAR]

├─ il.ac.bgu.cs.bp.bpjs.execution.listeners.PrintBProgramRunnerListener.class - [JAR]

il.ac.bgu.cs.bp.bpjs.analysis.eventpattern

├─ il.ac.bgu.cs.bp.bpjs.analysis.eventpattern.EventPattern.class - [JAR]

├─ il.ac.bgu.cs.bp.bpjs.analysis.eventpattern.EventPatternPart.class - [JAR]

il.ac.bgu.cs.bp.bpjs.mains

├─ il.ac.bgu.cs.bp.bpjs.mains.BPjsCliRunner.class - [JAR]

il.ac.bgu.cs.bp.bpjs.internal

├─ il.ac.bgu.cs.bp.bpjs.internal.ExecutorServiceMaker.class - [JAR]

├─ il.ac.bgu.cs.bp.bpjs.internal.MapProxyConsolidator.class - [JAR]

├─ il.ac.bgu.cs.bp.bpjs.internal.OrderedSet.class - [JAR]

├─ il.ac.bgu.cs.bp.bpjs.internal.Pair.class - [JAR]

├─ il.ac.bgu.cs.bp.bpjs.internal.ScriptableUtils.class - [JAR]

il.ac.bgu.cs.bp.bpjs.execution.jsproxy

├─ il.ac.bgu.cs.bp.bpjs.execution.jsproxy.BProgramJsProxy.class - [JAR]

├─ il.ac.bgu.cs.bp.bpjs.execution.jsproxy.BThreadDataProxy.class - [JAR]

├─ il.ac.bgu.cs.bp.bpjs.execution.jsproxy.BpLog.class - [JAR]

├─ il.ac.bgu.cs.bp.bpjs.execution.jsproxy.DirectMapProxy.class - [JAR]

├─ il.ac.bgu.cs.bp.bpjs.execution.jsproxy.EventSetsJsProxy.class - [JAR]

├─ il.ac.bgu.cs.bp.bpjs.execution.jsproxy.MapProxy.class - [JAR]

├─ il.ac.bgu.cs.bp.bpjs.execution.jsproxy.RandomProxy.class - [JAR]

├─ il.ac.bgu.cs.bp.bpjs.execution.jsproxy.SyncStatementBuilder.class - [JAR]

├─ il.ac.bgu.cs.bp.bpjs.execution.jsproxy.SyncStatementBuilderImpl.class - [JAR]

il.ac.bgu.cs.bp.bpjs.analysis.violations

├─ il.ac.bgu.cs.bp.bpjs.analysis.violations.DeadlockViolation.class - [JAR]

├─ il.ac.bgu.cs.bp.bpjs.analysis.violations.DetectedSafetyViolation.class - [JAR]

├─ il.ac.bgu.cs.bp.bpjs.analysis.violations.HotBThreadViolation.class - [JAR]

├─ il.ac.bgu.cs.bp.bpjs.analysis.violations.HotRunViolation.class - [JAR]

├─ il.ac.bgu.cs.bp.bpjs.analysis.violations.HotSystemViolation.class - [JAR]

├─ il.ac.bgu.cs.bp.bpjs.analysis.violations.HotTerminationViolation.class - [JAR]

├─ il.ac.bgu.cs.bp.bpjs.analysis.violations.JsErrorViolation.class - [JAR]

├─ il.ac.bgu.cs.bp.bpjs.analysis.violations.LivenessViolation.class - [JAR]

├─ il.ac.bgu.cs.bp.bpjs.analysis.violations.Violation.class - [JAR]

il.ac.bgu.cs.bp.bpjs.analysis.listeners

├─ il.ac.bgu.cs.bp.bpjs.analysis.listeners.PrintDfsVerifierListener.class - [JAR]

il.ac.bgu.cs.bp.bpjs.model.eventselection

├─ il.ac.bgu.cs.bp.bpjs.model.eventselection.AbstractEventSelectionStrategy.class - [JAR]

├─ il.ac.bgu.cs.bp.bpjs.model.eventselection.AbstractEventSelectionStrategyDecorator.class - [JAR]

├─ il.ac.bgu.cs.bp.bpjs.model.eventselection.EventSelectionResult.class - [JAR]

├─ il.ac.bgu.cs.bp.bpjs.model.eventselection.EventSelectionStrategy.class - [JAR]

├─ il.ac.bgu.cs.bp.bpjs.model.eventselection.LoggingEventSelectionStrategyDecorator.class - [JAR]

├─ il.ac.bgu.cs.bp.bpjs.model.eventselection.OrderedEventSelectionStrategy.class - [JAR]

├─ il.ac.bgu.cs.bp.bpjs.model.eventselection.PausingEventSelectionStrategyDecorator.class - [JAR]

├─ il.ac.bgu.cs.bp.bpjs.model.eventselection.PrioritizedBSyncEventSelectionStrategy.class - [JAR]

├─ il.ac.bgu.cs.bp.bpjs.model.eventselection.PrioritizedBThreadsEventSelectionStrategy.class - [JAR]

├─ il.ac.bgu.cs.bp.bpjs.model.eventselection.SimpleEventSelectionStrategy.class - [JAR]

il.ac.bgu.cs.bp.bpjs.model.eventsets

├─ il.ac.bgu.cs.bp.bpjs.model.eventsets.ComposableEventSet.class - [JAR]

├─ il.ac.bgu.cs.bp.bpjs.model.eventsets.EventSet.class - [JAR]

├─ il.ac.bgu.cs.bp.bpjs.model.eventsets.EventSets.class - [JAR]

├─ il.ac.bgu.cs.bp.bpjs.model.eventsets.ExplicitEventSet.class - [JAR]

├─ il.ac.bgu.cs.bp.bpjs.model.eventsets.JsEventSet.class - [JAR]

il.ac.bgu.cs.bp.bpjs.execution.tasks

├─ il.ac.bgu.cs.bp.bpjs.execution.tasks.BPEngineTask.class - [JAR]

├─ il.ac.bgu.cs.bp.bpjs.execution.tasks.FailedAssertionException.class - [JAR]

├─ il.ac.bgu.cs.bp.bpjs.execution.tasks.ResumeBThread.class - [JAR]

├─ il.ac.bgu.cs.bp.bpjs.execution.tasks.StartBThread.class - [JAR]

├─ il.ac.bgu.cs.bp.bpjs.execution.tasks.StartFork.class - [JAR]

il.ac.bgu.cs.bp.bpjs.analysis

├─ il.ac.bgu.cs.bp.bpjs.analysis.ArrayExecutionTrace.class - [JAR]

├─ il.ac.bgu.cs.bp.bpjs.analysis.BProgramSnapshotVisitedStateStore.class - [JAR]

├─ il.ac.bgu.cs.bp.bpjs.analysis.BThreadSnapshotVisitedStateStore.class - [JAR]

├─ il.ac.bgu.cs.bp.bpjs.analysis.DfsBProgramVerifier.class - [JAR]

├─ il.ac.bgu.cs.bp.bpjs.analysis.DfsTraversalNode.class - [JAR]

├─ il.ac.bgu.cs.bp.bpjs.analysis.ExecutionTrace.class - [JAR]

├─ il.ac.bgu.cs.bp.bpjs.analysis.ExecutionTraceInspection.class - [JAR]

├─ il.ac.bgu.cs.bp.bpjs.analysis.ExecutionTraceInspections.class - [JAR]

├─ il.ac.bgu.cs.bp.bpjs.analysis.ForgetfulVisitedStateStore.class - [JAR]

├─ il.ac.bgu.cs.bp.bpjs.analysis.Requirements.class - [JAR]

├─ il.ac.bgu.cs.bp.bpjs.analysis.VerificationResult.class - [JAR]

├─ il.ac.bgu.cs.bp.bpjs.analysis.VisitedStateStore.class - [JAR]

il.ac.bgu.cs.bp.bpjs.execution

├─ il.ac.bgu.cs.bp.bpjs.execution.BProgramRunner.class - [JAR]

il.ac.bgu.cs.bp.bpjs.exceptions

├─ il.ac.bgu.cs.bp.bpjs.exceptions.BPjsCodeEvaluationException.class - [JAR]

├─ il.ac.bgu.cs.bp.bpjs.exceptions.BPjsException.class - [JAR]

├─ il.ac.bgu.cs.bp.bpjs.exceptions.BPjsRuntimeException.class - [JAR]

il.ac.bgu.cs.bp.bpjs

├─ il.ac.bgu.cs.bp.bpjs.BPjs.class - [JAR]

com.github.bthink-bgu : BPjs

Maven & Gradle

BPjs · Provides runtime and analysis for behavioral programs written in JavaScript. It can run stand-alone (from the commmandline) or be embedded in larger JVM-based systems.

Latest Version

All Versions

Download com.github.bthink-bgu : BPjs JAR file - All Versions:

View Java Class Source Code in JAR file