All Downloads are FREE. Search and download functionalities are using the official Maven repository.
  • Log In
  • Register
    • Search JAR files by class name

    Download safeplace JAR 1.12.10 with all dependencies


    Files of the artifact safeplace version 1.12.10 from the group org.btrplace.

    Download safeplace (1.12.10)
    Artifact safeplace
    Group org.btrplace
    Version 1.12.10
    Organization not specified
    URL Not specified
    License not specified
    Dependencies amount 8
    Dependencies fast-classpath-scanner, antlr4-maven-plugin, antlr4-runtime, scheduler-api, scheduler-json, scheduler-choco, testng, javaparser-core,
    There are maybe transitive dependencies!
    There is a newer version: 1.12.11
    Show newest version
    Show more of this group  Show more artifacts with this name
    Show all versions of safeplace Show documentation

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

    0 downloads

    Source code of safeplace version 1.12.10

    .CstrSpec.tokens
    .CstrSpecLexer.tokens
    META-INF
    META-INF.META-INF.MANIFEST.MF
    META-INF.maven.org.btrplace.safeplace
    META-INF.maven.org.btrplace.safeplace.META-INF.maven.org.btrplace.safeplace.pom.properties
    META-INF.maven.org.btrplace.safeplace.META-INF.maven.org.btrplace.safeplace.pom.xml
    .logback.xml
    org.btrplace.safeplace.spec
    org.btrplace.safeplace.spec.org.btrplace.safeplace.spec.Constraint
    org.btrplace.safeplace.spec.org.btrplace.safeplace.spec.MyCstrSpecVisitor
    org.btrplace.safeplace.spec.org.btrplace.safeplace.spec.SpecException
    org.btrplace.safeplace.spec.org.btrplace.safeplace.spec.SpecScanner
    org.btrplace.safeplace.spec.org.btrplace.safeplace.spec.SymbolsTable
    org.btrplace.safeplace.spec.antlr
    org.btrplace.safeplace.spec.antlr.org.btrplace.safeplace.spec.antlr.CstrSpec.interp
    org.btrplace.safeplace.spec.antlr.org.btrplace.safeplace.spec.antlr.CstrSpecBaseListener
    org.btrplace.safeplace.spec.antlr.org.btrplace.safeplace.spec.antlr.CstrSpecBaseVisitor
    org.btrplace.safeplace.spec.antlr.org.btrplace.safeplace.spec.antlr.CstrSpecLexer.interp
    org.btrplace.safeplace.spec.antlr.org.btrplace.safeplace.spec.antlr.CstrSpecLexer
    org.btrplace.safeplace.spec.antlr.org.btrplace.safeplace.spec.antlr.CstrSpecListener
    org.btrplace.safeplace.spec.antlr.org.btrplace.safeplace.spec.antlr.CstrSpecParser
    org.btrplace.safeplace.spec.antlr.org.btrplace.safeplace.spec.antlr.CstrSpecVisitor
    org.btrplace.safeplace.spec.prop
    org.btrplace.safeplace.spec.prop.org.btrplace.safeplace.spec.prop.And
    org.btrplace.safeplace.spec.prop.org.btrplace.safeplace.spec.prop.AtomicProp
    org.btrplace.safeplace.spec.prop.org.btrplace.safeplace.spec.prop.BinaryProp
    org.btrplace.safeplace.spec.prop.org.btrplace.safeplace.spec.prop.Eq
    org.btrplace.safeplace.spec.prop.org.btrplace.safeplace.spec.prop.Exists
    org.btrplace.safeplace.spec.prop.org.btrplace.safeplace.spec.prop.ForAll
    org.btrplace.safeplace.spec.prop.org.btrplace.safeplace.spec.prop.Iff
    org.btrplace.safeplace.spec.prop.org.btrplace.safeplace.spec.prop.Implies
    org.btrplace.safeplace.spec.prop.org.btrplace.safeplace.spec.prop.In
    org.btrplace.safeplace.spec.prop.org.btrplace.safeplace.spec.prop.Inc
    org.btrplace.safeplace.spec.prop.org.btrplace.safeplace.spec.prop.Leq
    org.btrplace.safeplace.spec.prop.org.btrplace.safeplace.spec.prop.Lt
    org.btrplace.safeplace.spec.prop.org.btrplace.safeplace.spec.prop.NEq
    org.btrplace.safeplace.spec.prop.org.btrplace.safeplace.spec.prop.NIn
    org.btrplace.safeplace.spec.prop.org.btrplace.safeplace.spec.prop.NInc
    org.btrplace.safeplace.spec.prop.org.btrplace.safeplace.spec.prop.NoPackings
    org.btrplace.safeplace.spec.prop.org.btrplace.safeplace.spec.prop.Not
    org.btrplace.safeplace.spec.prop.org.btrplace.safeplace.spec.prop.Or
    org.btrplace.safeplace.spec.prop.org.btrplace.safeplace.spec.prop.Packings
    org.btrplace.safeplace.spec.prop.org.btrplace.safeplace.spec.prop.Proposition
    org.btrplace.safeplace.spec.prop.org.btrplace.safeplace.spec.prop.ProtectedProposition
    org.btrplace.safeplace.spec.term
    org.btrplace.safeplace.spec.term.org.btrplace.safeplace.spec.term.Constant
    org.btrplace.safeplace.spec.term.org.btrplace.safeplace.spec.term.ConstraintCall
    org.btrplace.safeplace.spec.term.org.btrplace.safeplace.spec.term.ExplodedSet
    org.btrplace.safeplace.spec.term.org.btrplace.safeplace.spec.term.IntMinus
    org.btrplace.safeplace.spec.term.org.btrplace.safeplace.spec.term.IntPlus
    org.btrplace.safeplace.spec.term.org.btrplace.safeplace.spec.term.ListBuilder
    org.btrplace.safeplace.spec.term.org.btrplace.safeplace.spec.term.Minus
    org.btrplace.safeplace.spec.term.org.btrplace.safeplace.spec.term.Mult
    org.btrplace.safeplace.spec.term.org.btrplace.safeplace.spec.term.Plus
    org.btrplace.safeplace.spec.term.org.btrplace.safeplace.spec.term.Primitive
    org.btrplace.safeplace.spec.term.org.btrplace.safeplace.spec.term.ProtectedTerm
    org.btrplace.safeplace.spec.term.org.btrplace.safeplace.spec.term.SetBuilder
    org.btrplace.safeplace.spec.term.org.btrplace.safeplace.spec.term.SetMinus
    org.btrplace.safeplace.spec.term.org.btrplace.safeplace.spec.term.SetPlus
    org.btrplace.safeplace.spec.term.org.btrplace.safeplace.spec.term.Term
    org.btrplace.safeplace.spec.term.org.btrplace.safeplace.spec.term.UserVar
    org.btrplace.safeplace.spec.term.org.btrplace.safeplace.spec.term.Var
    org.btrplace.safeplace.spec.term.func
    org.btrplace.safeplace.spec.term.func.org.btrplace.safeplace.spec.term.func.Actions
    org.btrplace.safeplace.spec.term.func.org.btrplace.safeplace.spec.term.func.Begin
    org.btrplace.safeplace.spec.term.func.org.btrplace.safeplace.spec.term.func.Capa
    org.btrplace.safeplace.spec.term.func.org.btrplace.safeplace.spec.term.func.Card
    org.btrplace.safeplace.spec.term.func.org.btrplace.safeplace.spec.term.func.Colocated
    org.btrplace.safeplace.spec.term.func.org.btrplace.safeplace.spec.term.func.Cons
    org.btrplace.safeplace.spec.term.func.org.btrplace.safeplace.spec.term.func.End
    org.btrplace.safeplace.spec.term.func.org.btrplace.safeplace.spec.term.func.Function
    org.btrplace.safeplace.spec.term.func.org.btrplace.safeplace.spec.term.func.FunctionCall
    org.btrplace.safeplace.spec.term.func.org.btrplace.safeplace.spec.term.func.Host
    org.btrplace.safeplace.spec.term.func.org.btrplace.safeplace.spec.term.func.Hosted
    org.btrplace.safeplace.spec.term.func.org.btrplace.safeplace.spec.term.func.Lists
    org.btrplace.safeplace.spec.term.func.org.btrplace.safeplace.spec.term.func.NodeState
    org.btrplace.safeplace.spec.term.func.org.btrplace.safeplace.spec.term.func.Range
    org.btrplace.safeplace.spec.term.func.org.btrplace.safeplace.spec.term.func.Running
    org.btrplace.safeplace.spec.term.func.org.btrplace.safeplace.spec.term.func.Sum
    org.btrplace.safeplace.spec.term.func.org.btrplace.safeplace.spec.term.func.VMState
    org.btrplace.safeplace.spec.term.func.org.btrplace.safeplace.spec.term.func.ValueAt
    org.btrplace.safeplace.spec.type
    org.btrplace.safeplace.spec.type.org.btrplace.safeplace.spec.type.ActionType
    org.btrplace.safeplace.spec.type.org.btrplace.safeplace.spec.type.Atomic
    org.btrplace.safeplace.spec.type.org.btrplace.safeplace.spec.type.BoolType
    org.btrplace.safeplace.spec.type.org.btrplace.safeplace.spec.type.ColType
    org.btrplace.safeplace.spec.type.org.btrplace.safeplace.spec.type.IntType
    org.btrplace.safeplace.spec.type.org.btrplace.safeplace.spec.type.ListType
    org.btrplace.safeplace.spec.type.org.btrplace.safeplace.spec.type.Litteral
    org.btrplace.safeplace.spec.type.org.btrplace.safeplace.spec.type.NodeStateType
    org.btrplace.safeplace.spec.type.org.btrplace.safeplace.spec.type.NodeType
    org.btrplace.safeplace.spec.type.org.btrplace.safeplace.spec.type.SetType
    org.btrplace.safeplace.spec.type.org.btrplace.safeplace.spec.type.StringType
    org.btrplace.safeplace.spec.type.org.btrplace.safeplace.spec.type.Type
    org.btrplace.safeplace.spec.type.org.btrplace.safeplace.spec.type.VMStateType
    org.btrplace.safeplace.spec.type.org.btrplace.safeplace.spec.type.VMType
    org.btrplace.safeplace.testing
    org.btrplace.safeplace.testing.org.btrplace.safeplace.testing.CstrTest
    org.btrplace.safeplace.testing.org.btrplace.safeplace.testing.DefaultTestCampaign
    org.btrplace.safeplace.testing.org.btrplace.safeplace.testing.DefectHooks
    org.btrplace.safeplace.testing.org.btrplace.safeplace.testing.Metrics
    org.btrplace.safeplace.testing.org.btrplace.safeplace.testing.Result
    org.btrplace.safeplace.testing.org.btrplace.safeplace.testing.TestCampaign
    org.btrplace.safeplace.testing.org.btrplace.safeplace.testing.TestCase
    org.btrplace.safeplace.testing.org.btrplace.safeplace.testing.TestCaseResult
    org.btrplace.safeplace.testing.org.btrplace.safeplace.testing.TestScanner
    org.btrplace.safeplace.testing.org.btrplace.safeplace.testing.Tester
    org.btrplace.safeplace.testing.fuzzer
    org.btrplace.safeplace.testing.fuzzer.org.btrplace.safeplace.testing.fuzzer.ConfigurableFuzzer
    org.btrplace.safeplace.testing.fuzzer.org.btrplace.safeplace.testing.fuzzer.DefaultFuzzer
    org.btrplace.safeplace.testing.fuzzer.org.btrplace.safeplace.testing.fuzzer.Fuzzer
    org.btrplace.safeplace.testing.fuzzer.org.btrplace.safeplace.testing.fuzzer.InstanceConverter
    org.btrplace.safeplace.testing.fuzzer.org.btrplace.safeplace.testing.fuzzer.ReconfigurationPlanFuzzer
    org.btrplace.safeplace.testing.fuzzer.org.btrplace.safeplace.testing.fuzzer.Replay
    org.btrplace.safeplace.testing.fuzzer.org.btrplace.safeplace.testing.fuzzer.Restriction
    org.btrplace.safeplace.testing.fuzzer.org.btrplace.safeplace.testing.fuzzer.Validator
    org.btrplace.safeplace.testing.fuzzer.decorators
    org.btrplace.safeplace.testing.fuzzer.decorators.org.btrplace.safeplace.testing.fuzzer.decorators.FuzzerDecorator
    org.btrplace.safeplace.testing.fuzzer.decorators.org.btrplace.safeplace.testing.fuzzer.decorators.NetworkFuzzer
    org.btrplace.safeplace.testing.fuzzer.decorators.org.btrplace.safeplace.testing.fuzzer.decorators.ShareableResourceFuzzer
    org.btrplace.safeplace.testing.fuzzer.decorators.org.btrplace.safeplace.testing.fuzzer.decorators.package-info
    org.btrplace.safeplace.testing.fuzzer.domain
    org.btrplace.safeplace.testing.fuzzer.domain.org.btrplace.safeplace.testing.fuzzer.domain.ConstantDomain
    org.btrplace.safeplace.testing.fuzzer.domain.org.btrplace.safeplace.testing.fuzzer.domain.Domain
    org.btrplace.safeplace.testing.fuzzer
    org.btrplace.safeplace.testing.fuzzer.org.btrplace.safeplace.testing.fuzzer.package-info
    org.btrplace.safeplace.testing.limit
    org.btrplace.safeplace.testing.limit.org.btrplace.safeplace.testing.limit.Limits
    org.btrplace.safeplace.testing.limit.org.btrplace.safeplace.testing.limit.MaxDefects
    org.btrplace.safeplace.testing.limit.org.btrplace.safeplace.testing.limit.MaxSuccess
    org.btrplace.safeplace.testing.limit.org.btrplace.safeplace.testing.limit.MaxTests
    org.btrplace.safeplace.testing.limit.org.btrplace.safeplace.testing.limit.Timeout
    org.btrplace.safeplace.testing.limit.org.btrplace.safeplace.testing.limit.package-info
    org.btrplace.safeplace.testing.reporting
    org.btrplace.safeplace.testing.reporting.org.btrplace.safeplace.testing.reporting.CSVReport
    org.btrplace.safeplace.testing.reporting.org.btrplace.safeplace.testing.reporting.Counting
    org.btrplace.safeplace.testing.reporting.org.btrplace.safeplace.testing.reporting.Report
    org.btrplace.safeplace.testing.reporting.org.btrplace.safeplace.testing.reporting.StoredReport
    org.btrplace.safeplace.testing.reporting.org.btrplace.safeplace.testing.reporting.package-info
    org.btrplace.safeplace.testing.verification
    org.btrplace.safeplace.testing.verification.org.btrplace.safeplace.testing.verification.Verifier
    org.btrplace.safeplace.testing.verification.org.btrplace.safeplace.testing.verification.VerifierResult
    org.btrplace.safeplace.testing.verification.btrplace
    org.btrplace.safeplace.testing.verification.btrplace.org.btrplace.safeplace.testing.verification.btrplace.CSchedule
    org.btrplace.safeplace.testing.verification.btrplace.org.btrplace.safeplace.testing.verification.btrplace.CheckerVerifier
    org.btrplace.safeplace.testing.verification.btrplace.org.btrplace.safeplace.testing.verification.btrplace.Schedule
    org.btrplace.safeplace.testing.verification.btrplace.org.btrplace.safeplace.testing.verification.btrplace.ScheduleChecker
    org.btrplace.safeplace.testing.verification.btrplace.org.btrplace.safeplace.testing.verification.btrplace.ScheduleConverter
    org.btrplace.safeplace.testing.verification.spec
    org.btrplace.safeplace.testing.verification.spec.org.btrplace.safeplace.testing.verification.spec.Context
    org.btrplace.safeplace.testing.verification.spec.org.btrplace.safeplace.testing.verification.spec.ReconfigurationSimulator
    org.btrplace.safeplace.testing.verification.spec.org.btrplace.safeplace.testing.verification.spec.SpecMapping
    org.btrplace.safeplace.testing.verification.spec.org.btrplace.safeplace.testing.verification.spec.SpecVerifier
    org.btrplace.safeplace.util
    org.btrplace.safeplace.util.org.btrplace.safeplace.util.AllTuplesGenerator

    Test2





    © 2015 - 2026 Weber Informatics LLC | Privacy Policy