Download BPjs JAR 0.10.0 with all dependencies

Files of the artifact BPjs version 0.10.0 from the group com.github.bthink-bgu.

Artifact BPjs
Group com.github.bthink-bgu
Version 0.10.0

Please rate this JAR file. Is it a good library?

2 downloads

Source code of BPjs version 0.10.0

META-INF

META-INF.META-INF.MANIFEST.MF

.RunFile-usage.txt

.globalScopeInit.js

highlevelidioms

highlevelidioms.highlevelidioms.whileblocking.js

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

il.ac.bgu.cs.bp.bpjs.execution.jsproxy.il.ac.bgu.cs.bp.bpjs.execution.jsproxy.package-info

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

il.ac.bgu.cs.bp.bpjs.mains.il.ac.bgu.cs.bp.bpjs.mains.package-info

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

search.search.SimpleProgramForSearch.js