├── .gitattributes ├── .github └── workflows │ ├── macosci.yml │ ├── maven-publish.yml │ ├── pex.yml │ ├── publishdocs.yml │ ├── regex_check.py │ ├── release.yml │ ├── tutorials.yml │ ├── ubuntuci.yml │ └── windowsci.yml ├── .gitignore ├── Bld ├── build.ps1 └── build.sh ├── CODE_OF_CONDUCT.md ├── CONTRIBUTING.md ├── ChangeList.md ├── Directory.Build.props ├── Docs ├── docs │ ├── advanced │ │ ├── PProject.md │ │ ├── PVerifierLanguageExtensions │ │ │ ├── announcement.md │ │ │ ├── init-condition.md │ │ │ ├── install-pverifier.md │ │ │ ├── outline.md │ │ │ ├── proof.md │ │ │ ├── pure.md │ │ │ ├── specification.md │ │ │ ├── twophasecommitverification.md │ │ │ └── using-pverifier.md │ │ ├── debuggingerror.md │ │ ├── importanceliveness.md │ │ ├── p2c.md │ │ ├── pex.md │ │ ├── psemantics.md │ │ ├── psym │ │ │ ├── install.md │ │ │ ├── usingPSym.md │ │ │ └── whatisPSym.md │ │ └── structureOfPProgram.md │ ├── casestudies.md │ ├── distsystem.png │ ├── getstarted │ │ ├── PeasyIDE.md │ │ ├── build.md │ │ ├── install.md │ │ └── usingP.md │ ├── icon.png │ ├── index.md │ ├── manual │ │ ├── datatypes.md │ │ ├── events.md │ │ ├── expressions.md │ │ ├── foriegntypesfunctions.md │ │ ├── functions.md │ │ ├── modulesystem.md │ │ ├── monitors.md │ │ ├── statemachines.md │ │ ├── statements.md │ │ └── testcases.md │ ├── manualoutline.md │ ├── old │ │ ├── advanced │ │ │ └── debuggingerror.md │ │ └── getstarted │ │ │ ├── install.md │ │ │ └── usingP.md │ ├── publications.md │ ├── toolchain.png │ ├── tutorial │ │ ├── clientserver.md │ │ ├── clientserver.png │ │ ├── common.md │ │ ├── espressomachine.md │ │ ├── espressomachine.png │ │ ├── failuredetector.md │ │ ├── failuredetector.png │ │ ├── paxos.md │ │ ├── twophasecommit.md │ │ └── twophasecommit.png │ ├── tutsoutline.md │ ├── videos.md │ └── whatisP.md ├── images │ ├── images.pptx │ └── tutorial_examples.pptx └── mkdocs.yml ├── Ext └── P_FileTypeSettings_Intellij.zip ├── Icon ├── icon.png ├── new_icon_high_resolution.png └── new_icon_high_resolution.svg ├── LICENSE.txt ├── P.sln ├── README.md ├── Src ├── CMakeLists.txt ├── PChecker │ ├── CheckerCore │ │ ├── Checker.cs │ │ ├── CheckerConfiguration.cs │ │ ├── CheckerCore.csproj │ │ ├── CheckerMode.cs │ │ ├── Coverage │ │ │ ├── ActivityCoverageReporter.cs │ │ │ ├── ControlledRuntimeLogEventCoverage.cs │ │ │ ├── ControlledRuntimeLogGraphBuilder.cs │ │ │ └── CoverageInfo.cs │ │ ├── Exceptions │ │ │ ├── AssertionFailureException.cs │ │ │ ├── ExecutionCanceledException.cs │ │ │ └── RuntimeException.cs │ │ ├── ExhaustiveEngine.cs │ │ ├── IO │ │ │ ├── Debugging │ │ │ │ ├── Debug.cs │ │ │ │ └── Error.cs │ │ │ ├── ErrorReporter.cs │ │ │ └── Logging │ │ │ │ ├── ConsoleLogger.cs │ │ │ │ └── InMemoryLogger.cs │ │ ├── Random │ │ │ ├── Generator.cs │ │ │ ├── IRandomValueGenerator.cs │ │ │ └── RandomValueGenerator.cs │ │ ├── Runtime │ │ │ ├── Events │ │ │ │ ├── DefaultEvent.cs │ │ │ │ ├── Event.cs │ │ │ │ ├── EventInfo.cs │ │ │ │ ├── EventOriginInfo.cs │ │ │ │ ├── GotoStateEvent.cs │ │ │ │ ├── HaltEvent.cs │ │ │ │ ├── QuiescentEvent.cs │ │ │ │ └── WildcardEvent.cs │ │ │ ├── Exceptions │ │ │ │ ├── PIllegalCoercionException.cs │ │ │ │ ├── PInternalException.cs │ │ │ │ ├── PNonStandardReturnException.cs │ │ │ │ └── PUnReachableCodeException.cs │ │ │ ├── Logging │ │ │ │ ├── IControlledRuntimeLog.cs │ │ │ │ ├── JsonWriter.cs │ │ │ │ ├── LogWriter.cs │ │ │ │ ├── PCheckerLogJsonFormatter.cs │ │ │ │ ├── PCheckerLogTextFormatter.cs │ │ │ │ └── PCheckerLogXmlFormatter.cs │ │ │ ├── PInterfaces.cs │ │ │ ├── PModule.cs │ │ │ ├── PTypes.cs │ │ │ ├── Specifications │ │ │ │ ├── CachedDelegate.cs │ │ │ │ └── Monitor.cs │ │ │ ├── StateMachines │ │ │ │ ├── EventQueues │ │ │ │ │ ├── DequeueStatus.cs │ │ │ │ │ ├── EnqueueStatus.cs │ │ │ │ │ ├── EventQueue.cs │ │ │ │ │ └── IEventQueue.cs │ │ │ │ ├── Exceptions │ │ │ │ │ ├── ActionExceptionFilterException.cs │ │ │ │ │ ├── OnEventDroppedHandler.cs │ │ │ │ │ ├── OnExceptionOutcome.cs │ │ │ │ │ └── UnhandledEventException.cs │ │ │ │ ├── Handlers │ │ │ │ │ ├── ActionEventHandlerDeclaration.cs │ │ │ │ │ ├── CachedDelegate.cs │ │ │ │ │ ├── DeferEventHandlerDeclaration.cs │ │ │ │ │ ├── EventHandlerDeclaration.cs │ │ │ │ │ └── IgnoreEventHandlerDeclaration.cs │ │ │ │ ├── Managers │ │ │ │ │ ├── IStateMachineManager.cs │ │ │ │ │ └── StateMachineManager.cs │ │ │ │ ├── StateMachine.cs │ │ │ │ ├── StateMachineId.cs │ │ │ │ └── StateTransitions │ │ │ │ │ ├── GotoStateTransition.cs │ │ │ │ │ └── PushStateTransition.cs │ │ │ ├── Values │ │ │ │ ├── Exceptions │ │ │ │ │ ├── PFrozenMutationException.cs │ │ │ │ │ ├── PInhabitsTypeException.cs │ │ │ │ │ └── UnknownNamedTupleFieldAccess.cs │ │ │ │ ├── HashHelper.cs │ │ │ │ ├── IPMutableValue.cs │ │ │ │ ├── IPValue.cs │ │ │ │ ├── MutabilityHelper.cs │ │ │ │ ├── PBool.cs │ │ │ │ ├── PEnum.cs │ │ │ │ ├── PFloat.cs │ │ │ │ ├── PInt.cs │ │ │ │ ├── PMachineValue.cs │ │ │ │ ├── PMap.cs │ │ │ │ ├── PSeq.cs │ │ │ │ ├── PSet.cs │ │ │ │ ├── PString.cs │ │ │ │ ├── PTuple.cs │ │ │ │ └── PValues.cs │ │ │ └── VectorTime.cs │ │ ├── SystematicTesting │ │ │ ├── ControlledRuntime.cs │ │ │ ├── OnFailureHandler.cs │ │ │ ├── OperationScheduler.cs │ │ │ ├── Operations │ │ │ │ ├── AsyncOperation.cs │ │ │ │ ├── AsyncOperationStatus.cs │ │ │ │ ├── AsyncOperationType.cs │ │ │ │ ├── IAsyncOperation.cs │ │ │ │ ├── StateMachineOperation.cs │ │ │ │ └── TaskOperation.cs │ │ │ ├── Resource.cs │ │ │ ├── Strategies │ │ │ │ ├── Exhaustive │ │ │ │ │ └── DFSStrategy.cs │ │ │ │ ├── Feedback │ │ │ │ │ ├── Coverage │ │ │ │ │ │ ├── BehavioralObserver.cs │ │ │ │ │ │ └── TimelineObserver.cs │ │ │ │ │ ├── FeedbackGuidedStrategy.cs │ │ │ │ │ ├── Generator │ │ │ │ │ │ ├── ControlledRandom.cs │ │ │ │ │ │ ├── RandomChoices.cs │ │ │ │ │ │ └── Utils.cs │ │ │ │ │ ├── IFeedbackGuidedStrategy.cs │ │ │ │ │ ├── IScheduler.cs │ │ │ │ │ ├── PCTScheduler.cs │ │ │ │ │ ├── POSScheduler.cs │ │ │ │ │ ├── RandomScheduler.cs │ │ │ │ │ └── ScheduleAndInputStrategy.cs │ │ │ │ ├── ISchedulingStrategy.cs │ │ │ │ ├── Liveness │ │ │ │ │ ├── LivenessCheckingStrategy.cs │ │ │ │ │ └── TemperatureCheckingStrategy.cs │ │ │ │ ├── Probabilistic │ │ │ │ │ ├── PCTStrategy.cs │ │ │ │ │ ├── ProbabilisticRandomStrategy.cs │ │ │ │ │ ├── QLearningStrategy.cs │ │ │ │ │ └── RandomStrategy.cs │ │ │ │ └── Special │ │ │ │ │ ├── ComboStrategy.cs │ │ │ │ │ └── ReplayStrategy.cs │ │ │ ├── TaskController.cs │ │ │ ├── TestAttributes.cs │ │ │ ├── TestMethodInfo.cs │ │ │ ├── TestReport.cs │ │ │ ├── TestingEngine.cs │ │ │ └── Traces │ │ │ │ ├── ScheduleStep.cs │ │ │ │ ├── ScheduleStepType.cs │ │ │ │ └── ScheduleTrace.cs │ │ ├── Tasks │ │ │ ├── AsyncTaskMethodBuilder.cs │ │ │ ├── ConfiguredTaskAwaitable.cs │ │ │ ├── Task.cs │ │ │ ├── TaskAwaiter.cs │ │ │ ├── TaskCompletionSource.cs │ │ │ ├── TaskExtensions.cs │ │ │ └── YieldAwaitable.cs │ │ ├── Testing │ │ │ └── TestingProcess.cs │ │ └── Utilities │ │ │ ├── ExitCode.cs │ │ │ ├── Profiler.cs │ │ │ └── Reporter.cs │ ├── CoverageReportMerger │ │ ├── CoverageReportMerger.csproj │ │ └── Program.cs │ └── PChecker.sln ├── PCompiler │ ├── CompilerCore │ │ ├── AssemblyInfo.cs │ │ ├── Backend │ │ │ ├── ASTExt │ │ │ │ └── CloneExpr.cs │ │ │ ├── CompilationContextBase.cs │ │ │ ├── CompiledFile.cs │ │ │ ├── Debugging │ │ │ │ ├── IrRenderer.cs │ │ │ │ └── IrToPseudoP.cs │ │ │ ├── ICodeGenerator.cs │ │ │ ├── IRTransformer.cs │ │ │ ├── NameManagerBase.cs │ │ │ ├── PChecker │ │ │ │ ├── CompilationContext.cs │ │ │ │ ├── Constants.cs │ │ │ │ ├── PCheckerCodeGenerator.cs │ │ │ │ └── PCheckerNameManager.cs │ │ │ ├── PEx │ │ │ │ ├── CompilationContext.cs │ │ │ │ ├── Constants.cs │ │ │ │ ├── Continuation.cs │ │ │ │ ├── PExCodeGenerator.cs │ │ │ │ ├── ReceiveSplitStmt.cs │ │ │ │ ├── TransformASTPass.cs │ │ │ │ └── WhileFunction.cs │ │ │ ├── PObserve │ │ │ │ ├── CompilationContext.cs │ │ │ │ ├── Constants.cs │ │ │ │ ├── EventGenerator.cs │ │ │ │ ├── FFIStubGenerator.cs │ │ │ │ ├── JavaSourceGenerator.cs │ │ │ │ ├── MachineGenerator.cs │ │ │ │ ├── NameManager.cs │ │ │ │ ├── PObserveCodeGenerator.cs │ │ │ │ ├── TypeManager.cs │ │ │ │ └── TypesGenerator.cs │ │ │ ├── PVerifier │ │ │ │ ├── CompilationContext.cs │ │ │ │ └── Uclid5CodeGenerator.cs │ │ │ ├── Stately │ │ │ │ ├── CompilationContext.cs │ │ │ │ └── StatelyCodeGenerator.cs │ │ │ └── TargetLanguage.cs │ │ ├── Compiler.cs │ │ ├── CompilerConfiguration.cs │ │ ├── CompilerCore.csproj │ │ ├── CompilerOutput.cs │ │ ├── DefaultCompilerOutput.cs │ │ ├── DefaultLocationResolver.cs │ │ ├── DefaultTranslationErrorHandler.cs │ │ ├── ICompiler.cs │ │ ├── ICompilerConfiguration.cs │ │ ├── ICompilerOutput.cs │ │ ├── ITranslationErrorHandler.cs │ │ ├── Parser │ │ │ ├── PLexer.g4 │ │ │ └── PParser.g4 │ │ ├── SeverityKind.cs │ │ ├── SourceLocation.cs │ │ ├── TranslationException.cs │ │ ├── TypeChecker │ │ │ ├── AST │ │ │ │ ├── Declarations │ │ │ │ │ ├── AssumeOnStart.cs │ │ │ │ │ ├── Axiom.cs │ │ │ │ │ ├── EnumElem.cs │ │ │ │ │ ├── Event.cs │ │ │ │ │ ├── Function.cs │ │ │ │ │ ├── FunctionSignature.cs │ │ │ │ │ ├── Implementation.cs │ │ │ │ │ ├── Interface.cs │ │ │ │ │ ├── Invariant.cs │ │ │ │ │ ├── InvariantGroup.cs │ │ │ │ │ ├── Machine.cs │ │ │ │ │ ├── NamedEventSet.cs │ │ │ │ │ ├── NamedModule.cs │ │ │ │ │ ├── PEnum.cs │ │ │ │ │ ├── ProofBlock.cs │ │ │ │ │ ├── ProofCommand.cs │ │ │ │ │ ├── Pure.cs │ │ │ │ │ ├── RefinementTest.cs │ │ │ │ │ ├── SafetyTest.cs │ │ │ │ │ ├── TypeDef.cs │ │ │ │ │ └── Variable.cs │ │ │ │ ├── Expressions │ │ │ │ │ ├── BinOpExpr.cs │ │ │ │ │ ├── BinOpType.cs │ │ │ │ │ ├── BoolLiteralExpr.cs │ │ │ │ │ ├── CastExpr.cs │ │ │ │ │ ├── ChooseExpr.cs │ │ │ │ │ ├── CoerceExpr.cs │ │ │ │ │ ├── ContainsExpr.cs │ │ │ │ │ ├── CtorExpr.cs │ │ │ │ │ ├── DefaultExpr.cs │ │ │ │ │ ├── EnumElemRefExpr.cs │ │ │ │ │ ├── EventAccessExpr.cs │ │ │ │ │ ├── EventRefExpr.cs │ │ │ │ │ ├── FairNondetExpr.cs │ │ │ │ │ ├── FloatLiteralExpr.cs │ │ │ │ │ ├── FlyingExpr.cs │ │ │ │ │ ├── FunCallExpr.cs │ │ │ │ │ ├── IExprTerm.cs │ │ │ │ │ ├── IStaticTerm.cs │ │ │ │ │ ├── IVariableRef.cs │ │ │ │ │ ├── IntLiteralExpr.cs │ │ │ │ │ ├── InvariantRefExpr.cs │ │ │ │ │ ├── KeysExpr.cs │ │ │ │ │ ├── MachineAccessExpr.cs │ │ │ │ │ ├── MapAccessExpr.cs │ │ │ │ │ ├── NamedTupleAccessExpr.cs │ │ │ │ │ ├── NamedTupleExpr.cs │ │ │ │ │ ├── NondetExpr.cs │ │ │ │ │ ├── NullLiteralExpr.cs │ │ │ │ │ ├── PureCallExpr.cs │ │ │ │ │ ├── QuantExpr.cs │ │ │ │ │ ├── QuantType.cs │ │ │ │ │ ├── SentExpr.cs │ │ │ │ │ ├── SeqAccessExpr.cs │ │ │ │ │ ├── SeqLiteralExpr.cs │ │ │ │ │ ├── SetAccessExpr.cs │ │ │ │ │ ├── SizeofExpr.cs │ │ │ │ │ ├── SpecAccessExpr.cs │ │ │ │ │ ├── SpecRefExpr.cs │ │ │ │ │ ├── StringExpr.cs │ │ │ │ │ ├── TargetsExpr.cs │ │ │ │ │ ├── TestExpr.cs │ │ │ │ │ ├── ThisRefExpr.cs │ │ │ │ │ ├── TupleAccessExpr.cs │ │ │ │ │ ├── UnaryOpExpr.cs │ │ │ │ │ ├── UnaryOpType.cs │ │ │ │ │ ├── UnnamedTupleExpr.cs │ │ │ │ │ ├── ValuesExpr.cs │ │ │ │ │ └── VariableAccessExpr.cs │ │ │ │ ├── IHasScope.cs │ │ │ │ ├── IPAST.cs │ │ │ │ ├── IPDecl.cs │ │ │ │ ├── IPExpr.cs │ │ │ │ ├── IPModuleExpr.cs │ │ │ │ ├── IPStmt.cs │ │ │ │ ├── IStateAction.cs │ │ │ │ ├── IStateContainer.cs │ │ │ │ ├── ModuleExprs │ │ │ │ │ ├── AssertModuleExpr.cs │ │ │ │ │ ├── BindModuleExpr.cs │ │ │ │ │ ├── HideEventModuleExpr.cs │ │ │ │ │ ├── HideInterfaceModuleExpr.cs │ │ │ │ │ ├── RenameModuleExpr.cs │ │ │ │ │ └── UnionOrComposeModuleExpr.cs │ │ │ │ ├── Statements │ │ │ │ │ ├── AddStmt.cs │ │ │ │ │ ├── AnnounceStmt.cs │ │ │ │ │ ├── AssertStmt.cs │ │ │ │ │ ├── AssignStmt.cs │ │ │ │ │ ├── AssumeStmt.cs │ │ │ │ │ ├── BreakStmt.cs │ │ │ │ │ ├── CompoundStmt.cs │ │ │ │ │ ├── ContinueStmt.cs │ │ │ │ │ ├── CtorStmt.cs │ │ │ │ │ ├── ForeachStmt.cs │ │ │ │ │ ├── FunCallStmt.cs │ │ │ │ │ ├── GotoStmt.cs │ │ │ │ │ ├── IfStmt.cs │ │ │ │ │ ├── InsertStmt.cs │ │ │ │ │ ├── MoveAssignStmt.cs │ │ │ │ │ ├── NoStmt.cs │ │ │ │ │ ├── PrintStmt.cs │ │ │ │ │ ├── RaiseStmt.cs │ │ │ │ │ ├── ReceiveStmt.cs │ │ │ │ │ ├── RemoveStmt.cs │ │ │ │ │ ├── ReturnStmt.cs │ │ │ │ │ ├── SendStmt.cs │ │ │ │ │ ├── SwapAssignStmt.cs │ │ │ │ │ └── WhileStmt.cs │ │ │ │ └── States │ │ │ │ │ ├── EventDefer.cs │ │ │ │ │ ├── EventDoAction.cs │ │ │ │ │ ├── EventGotoState.cs │ │ │ │ │ ├── EventIgnore.cs │ │ │ │ │ ├── State.cs │ │ │ │ │ └── StateTemperature.cs │ │ │ ├── Analyzer.cs │ │ │ ├── ControlFlowChecker.cs │ │ │ ├── DeclarationStubVisitor.cs │ │ │ ├── DeclarationVisitor.cs │ │ │ ├── ExprVisitor.cs │ │ │ ├── FunctionBodyVisitor.cs │ │ │ ├── FunctionValidator.cs │ │ │ ├── ILocationResolver.cs │ │ │ ├── InferMachineCreates.cs │ │ │ ├── MachineChecker.cs │ │ │ ├── ModuleExprVisitor.cs │ │ │ ├── ModuleSystemTypeChecker.cs │ │ │ ├── ParamAssignment.cs │ │ │ ├── ParamVisitor.cs │ │ │ ├── ProofBlockVisitor.cs │ │ │ ├── Scope.cs │ │ │ ├── SimpleExprEval.cs │ │ │ ├── StatementVisitor.cs │ │ │ ├── TypeCheckingUtils.cs │ │ │ ├── TypeResolver.cs │ │ │ └── Types │ │ │ │ ├── DataType.cs │ │ │ │ ├── EnumType.cs │ │ │ │ ├── ForeignType.cs │ │ │ │ ├── MapType.cs │ │ │ │ ├── NamedTupleEntry.cs │ │ │ │ ├── NamedTupleType.cs │ │ │ │ ├── PLanguageType.cs │ │ │ │ ├── PermissionType.cs │ │ │ │ ├── PrimitiveType.cs │ │ │ │ ├── SequenceType.cs │ │ │ │ ├── SetType.cs │ │ │ │ ├── TupleType.cs │ │ │ │ ├── TypeDefType.cs │ │ │ │ └── TypeKind.cs │ │ └── Util │ │ │ └── StackProperty.cs │ └── PCommandLine │ │ ├── CheckFileValidity.cs │ │ ├── CommandLine.cs │ │ ├── CommandLineOutput.cs │ │ ├── Options │ │ ├── PCheckerOptions.cs │ │ └── PCompilerOptions.cs │ │ ├── PCommandLine.csproj │ │ └── Parser │ │ ├── CommandLineArgumentParser.cs │ │ ├── CommandLineParsingError.cs │ │ └── ParsePProjectFile.cs ├── PEx │ ├── pom.xml │ ├── scripts │ │ ├── README.md │ │ └── build_and_test.sh │ └── src │ │ ├── main │ │ ├── java │ │ │ ├── META-INF │ │ │ │ └── MANIFEST.MF │ │ │ └── pex │ │ │ │ ├── PEx.java │ │ │ │ ├── RuntimeExecutor.java │ │ │ │ ├── commandline │ │ │ │ ├── PExConfig.java │ │ │ │ └── PExOptions.java │ │ │ │ ├── runtime │ │ │ │ ├── ForeignFunctionInterface.java │ │ │ │ ├── PExGlobal.java │ │ │ │ ├── PModel.java │ │ │ │ ├── STATUS.java │ │ │ │ ├── logger │ │ │ │ │ ├── Log4JConfig.java │ │ │ │ │ ├── LogType.java │ │ │ │ │ ├── PExLogger.java │ │ │ │ │ ├── ScheduleWriter.java │ │ │ │ │ ├── SchedulerLogger.java │ │ │ │ │ ├── ScratchLogger.java │ │ │ │ │ ├── StatWriter.java │ │ │ │ │ └── TextWriter.java │ │ │ │ ├── machine │ │ │ │ │ ├── MachineLocalState.java │ │ │ │ │ ├── PMachine.java │ │ │ │ │ ├── PMachineId.java │ │ │ │ │ ├── PMonitor.java │ │ │ │ │ ├── PTestDriver.java │ │ │ │ │ ├── State.java │ │ │ │ │ ├── StateTemperature.java │ │ │ │ │ ├── buffer │ │ │ │ │ │ ├── BufferSemantics.java │ │ │ │ │ │ ├── DeferQueue.java │ │ │ │ │ │ ├── EventBuffer.java │ │ │ │ │ │ ├── MessageQueue.java │ │ │ │ │ │ └── SenderQueue.java │ │ │ │ │ ├── eventhandlers │ │ │ │ │ │ ├── DeferEventHandler.java │ │ │ │ │ │ ├── EventHandler.java │ │ │ │ │ │ ├── GotoEventHandler.java │ │ │ │ │ │ └── IgnoreEventHandler.java │ │ │ │ │ └── events │ │ │ │ │ │ ├── PContinuation.java │ │ │ │ │ │ ├── PLoopObject.java │ │ │ │ │ │ └── StateEvents.java │ │ │ │ └── scheduler │ │ │ │ │ ├── Schedule.java │ │ │ │ │ ├── Scheduler.java │ │ │ │ │ ├── SchedulerInterface.java │ │ │ │ │ ├── choice │ │ │ │ │ ├── Choice.java │ │ │ │ │ ├── DataChoice.java │ │ │ │ │ ├── DataSearchUnit.java │ │ │ │ │ ├── ScheduleChoice.java │ │ │ │ │ ├── ScheduleSearchUnit.java │ │ │ │ │ └── SearchUnit.java │ │ │ │ │ ├── explicit │ │ │ │ │ ├── ExplicitSearchScheduler.java │ │ │ │ │ ├── SchedulerStatistics.java │ │ │ │ │ ├── StateCachingMode.java │ │ │ │ │ ├── StatefulBacktrackingMode.java │ │ │ │ │ ├── StepState.java │ │ │ │ │ ├── choiceselector │ │ │ │ │ │ ├── ChoiceQL.java │ │ │ │ │ │ ├── ChoiceQTable.java │ │ │ │ │ │ ├── ChoiceSelector.java │ │ │ │ │ │ ├── ChoiceSelectorMode.java │ │ │ │ │ │ ├── ChoiceSelectorQL.java │ │ │ │ │ │ └── ChoiceSelectorRandom.java │ │ │ │ │ └── strategy │ │ │ │ │ │ ├── SearchStrategy.java │ │ │ │ │ │ ├── SearchStrategyAStar.java │ │ │ │ │ │ ├── SearchStrategyDfs.java │ │ │ │ │ │ ├── SearchStrategyMode.java │ │ │ │ │ │ ├── SearchStrategyRandom.java │ │ │ │ │ │ └── SearchTask.java │ │ │ │ │ └── replay │ │ │ │ │ └── ReplayScheduler.java │ │ │ │ ├── utils │ │ │ │ ├── exceptions │ │ │ │ │ ├── BugFoundException.java │ │ │ │ │ ├── DeadlockException.java │ │ │ │ │ ├── LivenessException.java │ │ │ │ │ ├── MemoutException.java │ │ │ │ │ ├── NotImplementedException.java │ │ │ │ │ ├── PExRuntimeException.java │ │ │ │ │ └── TooManyChoicesException.java │ │ │ │ ├── misc │ │ │ │ │ └── Assert.java │ │ │ │ ├── monitor │ │ │ │ │ ├── MemoryMonitor.java │ │ │ │ │ ├── TimeMonitor.java │ │ │ │ │ └── TimedCall.java │ │ │ │ ├── random │ │ │ │ │ ├── NondetUtil.java │ │ │ │ │ └── RandomNumberGenerator.java │ │ │ │ └── serialize │ │ │ │ │ ├── SerializableBiFunction.java │ │ │ │ │ └── SerializableRunnable.java │ │ │ │ └── values │ │ │ │ ├── ComputeHash.java │ │ │ │ ├── Event.java │ │ │ │ ├── PBool.java │ │ │ │ ├── PCollection.java │ │ │ │ ├── PEnum.java │ │ │ │ ├── PFloat.java │ │ │ │ ├── PInt.java │ │ │ │ ├── PMachineValue.java │ │ │ │ ├── PMap.java │ │ │ │ ├── PMessage.java │ │ │ │ ├── PNamedTuple.java │ │ │ │ ├── PSeq.java │ │ │ │ ├── PSet.java │ │ │ │ ├── PString.java │ │ │ │ ├── PTuple.java │ │ │ │ ├── PValue.java │ │ │ │ └── exceptions │ │ │ │ ├── ComparingPValuesException.java │ │ │ │ ├── InvalidIndexException.java │ │ │ │ ├── KeyNotFoundException.java │ │ │ │ ├── NamedTupleFieldNameException.java │ │ │ │ └── TupleInvalidIndexException.java │ │ └── resources │ │ │ └── log4j2.xml │ │ └── test │ │ └── java │ │ └── pex │ │ ├── PExTestLogger.java │ │ ├── TestCaseExecutor.java │ │ └── TestPEx.java └── Scripts │ ├── PortfolioChecker │ ├── README.md │ └── pmc.py │ └── TutorialsChecker │ ├── check.sh │ └── compile.sh ├── Tst ├── .gitignore ├── CorrectLogs │ └── bugs2 │ │ ├── bug2.coverage.txt │ │ ├── bug2_0_0.trace.json │ │ └── bug2_0_0.txt ├── PortfolioTests │ ├── .gitignore │ ├── 2PC │ │ ├── 2PCwithBTM │ │ │ ├── README.md │ │ │ └── TwoPC.p │ │ └── TwoPhaseCommit │ │ │ ├── Common │ │ │ ├── FailureInjector │ │ │ │ ├── FailureInjector.pproj │ │ │ │ └── PSrc │ │ │ │ │ ├── FailureInjector.p │ │ │ │ │ └── NetworkFunctions.p │ │ │ └── Timer │ │ │ │ ├── PSrc │ │ │ │ ├── Timer.p │ │ │ │ └── TimerModules.p │ │ │ │ └── Timer.pproj │ │ │ ├── PSpec │ │ │ └── Atomicity.p │ │ │ ├── PSrc │ │ │ ├── Coordinator.p │ │ │ ├── Participant.p │ │ │ └── TwoPhaseCommitModules.p │ │ │ ├── PTst │ │ │ ├── Client.p │ │ │ ├── TestDriver.p │ │ │ └── TestScripts.p │ │ │ ├── README.md │ │ │ └── TwoPhaseCommit.pproj │ ├── BenOr │ │ ├── BenOr.p │ │ └── README.md │ ├── ChangRob │ │ ├── ChangRoberts.p │ │ └── README.md │ ├── DAO │ │ ├── DAO.p │ │ └── README.md │ ├── German │ │ ├── German.p │ │ └── README.md │ ├── HClock │ │ ├── HLC.p │ │ └── README.md │ ├── Paxos │ │ ├── Paxos │ │ │ ├── Paxos.p │ │ │ └── README.md │ │ ├── Paxos_map │ │ │ ├── Paxos_map.p │ │ │ └── README.md │ │ ├── Paxos_seq │ │ │ ├── Paxos_seq.p │ │ │ └── README.md │ │ ├── paxosV2 │ │ │ ├── PaxosV2.p │ │ │ └── README.md │ │ ├── paxosV3 │ │ │ ├── PaxosV3.p │ │ │ └── README.md │ │ ├── paxosV4 │ │ │ ├── PaxosV4.p │ │ │ └── README.md │ │ ├── paxosV5 │ │ │ ├── PaxosV5.p │ │ │ └── README.md │ │ └── paxosV5_no_requires │ │ │ ├── PaxosV5.p │ │ │ └── README.md │ ├── README.md │ ├── Scripts │ │ ├── coyote_compile_results.py │ │ ├── coyote_stats.py │ │ ├── deploy_coyote.sh │ │ ├── deploy_psym.sh │ │ └── psym_compile_results.py │ ├── Streamlet │ │ ├── README.md │ │ └── str0.p │ ├── TokenRing │ │ ├── README.md │ │ └── TokenRing.p │ └── VoldKV │ │ ├── README.md │ │ └── VoldChain.p ├── PrtTester │ ├── Tester.sln │ ├── Tester.vcxproj │ └── tester.c ├── RegressionTests │ ├── .gitignore │ ├── Combined │ │ ├── Correct │ │ │ ├── nullPayload │ │ │ │ └── nullPayload.p │ │ │ └── variableType │ │ │ │ └── variableType.p │ │ └── StaticError │ │ │ ├── ControlImpureEnclosedFunCalls │ │ │ └── EnclosedFunCalls.p │ │ │ ├── ControlImpureInExit1 │ │ │ └── ControlImpureInExit.p │ │ │ ├── ControlImpureInExit2 │ │ │ └── ControlImpureInExit.p │ │ │ ├── ControlImpureInExit3 │ │ │ └── ControlImpureInExit.p │ │ │ ├── ControlImpureInExit4 │ │ │ └── ControlImpureInExit.p │ │ │ ├── ControlImpureInExit5 │ │ │ └── ControlImpureInExit.p │ │ │ ├── ControlImpureInExit6 │ │ │ └── ControlImpureInExit.p │ │ │ ├── ControlImpureInGoto1 │ │ │ └── ControlImpureErrorsGoto.p │ │ │ ├── ControlImpureInGoto2 │ │ │ └── ControlImpureErrorsGoto.p │ │ │ ├── ControlImpureInGoto3 │ │ │ └── ControlImpureErrorsGoto.p │ │ │ ├── ControlImpureInGoto4 │ │ │ └── ControlImpureErrorsGoto.p │ │ │ ├── ControlImpureInGoto5 │ │ │ └── ControlImpureErrorsGoto.p │ │ │ ├── ControlImpureInGoto6 │ │ │ └── ControlImpureErrorsGoto.p │ │ │ ├── ControlImpureInGoto7 │ │ │ └── ControlImpureErrorsGoto.p │ │ │ ├── DuplicateActions │ │ │ └── Duplicates11.p │ │ │ ├── DuplicateStart │ │ │ └── Duplicates.p │ │ │ ├── DuplicateTransitions │ │ │ └── Duplicates-1.p │ │ │ ├── Duplicates1 │ │ │ └── Duplicates.p │ │ │ ├── Duplicates10 │ │ │ └── Duplicates.p │ │ │ ├── Duplicates2 │ │ │ └── Duplicates.p │ │ │ ├── Duplicates3 │ │ │ └── Duplicates.p │ │ │ ├── Duplicates4 │ │ │ └── Duplicates.p │ │ │ ├── Duplicates5 │ │ │ └── Duplicates.p │ │ │ ├── Duplicates6 │ │ │ └── Duplicates.p │ │ │ ├── Duplicates7 │ │ │ └── Duplicates.p │ │ │ ├── Duplicates8 │ │ │ └── Duplicates.p │ │ │ ├── Duplicates9 │ │ │ └── Duplicates.p │ │ │ ├── FunctionNotDefined │ │ │ └── ControlImpureInEntry.p │ │ │ ├── PopInExitFun │ │ │ └── PopInExitFun.p │ │ │ └── RaiseInExitFun │ │ │ └── RaiseInExitFun.p │ ├── Feature1SMLevelDecls │ │ ├── Correct │ │ │ ├── BugRepro │ │ │ │ ├── PingPongBugRepro.p │ │ │ │ └── Timer.p │ │ │ ├── BugRepro1 │ │ │ │ └── FunctionParMutated.p │ │ │ ├── BugReproManyEvents │ │ │ │ └── CMain.p │ │ │ ├── EntryNamedFunction │ │ │ │ └── EntryNamedFunction.p │ │ │ ├── EntryNamedFunction1 │ │ │ │ └── EntryNamedFunction1.p │ │ │ ├── Monitors │ │ │ │ └── Monitors.p │ │ │ ├── MoreThan32Events │ │ │ │ └── CMain.p │ │ │ ├── ParamTest │ │ │ │ ├── ExpectedParametricTests.txt │ │ │ │ └── ParamTest.p │ │ │ ├── PingPong │ │ │ │ ├── PingPong.p │ │ │ │ └── PrtDistHelp.p │ │ │ ├── StaticFunctions │ │ │ │ └── staticfunctions.p │ │ │ ├── TransitionFunction │ │ │ │ └── transitionFunction.p │ │ │ ├── bug1 │ │ │ │ └── bug1.p │ │ │ ├── bug3 │ │ │ │ └── bug3.p │ │ │ ├── bug4 │ │ │ │ └── bug4.p │ │ │ ├── functionAny │ │ │ │ └── functionAny.p │ │ │ ├── monitorobserves │ │ │ │ └── observes.p │ │ │ └── recursivefunctioncalls │ │ │ │ └── recursivefunctioncalls.p │ │ ├── DynamicError │ │ │ ├── AlonBug │ │ │ │ └── AlonBug.p │ │ │ ├── EntryNamedFunction │ │ │ │ └── EntryNamedFunction.p │ │ │ ├── MaxInstances │ │ │ │ └── MaxInstances.p │ │ │ ├── ParamTest2 │ │ │ │ ├── ExpectedParametricTests.txt │ │ │ │ └── ParamTest2.p │ │ │ ├── StaticFunctionInMonitor │ │ │ │ └── StaticFunctionInMonitor.p │ │ │ ├── StaticFunctions1 │ │ │ │ └── staticfunctions1.p │ │ │ ├── StaticFunctions2 │ │ │ │ └── staticfunctions2.p │ │ │ └── bug2 │ │ │ │ └── bug2.p │ │ └── StaticError │ │ │ ├── ActionAndTransitionSameEvent │ │ │ └── TransDecl_DoDecl.p │ │ │ ├── AnonFuns │ │ │ └── anonFunction.p │ │ │ ├── AssignBadLhs │ │ │ └── function.p │ │ │ ├── CreateSpecMachine │ │ │ └── monitors.p │ │ │ ├── DeferIgnoreSameEvent │ │ │ └── DeferIgnore1.p │ │ │ ├── DeferredNullEvent │ │ │ └── DeferredNullEvent.p │ │ │ ├── EntryNamedFunction1 │ │ │ └── EntryNamedFunction1.p │ │ │ ├── EntryNamedFunction2 │ │ │ └── EntryNamedFunction2.p │ │ │ ├── EntryNamedFunction3 │ │ │ └── EntryNamedFunction3.p │ │ │ ├── EntryReturnsValue │ │ │ └── function.p │ │ │ ├── EventDeferredDoSameState │ │ │ └── EventDeferredDoSameState.p │ │ │ ├── EventDeferredHandledSameState │ │ │ └── EventDeferredHandledSameState.p │ │ │ ├── EventDeferredTransDoSameState │ │ │ └── EventDeferredTransDoSameState.p │ │ │ ├── FunctionMissingArgs │ │ │ └── function.p │ │ │ ├── FunctionMissingReturn │ │ │ └── function.p │ │ │ ├── FunctionReturnsNothingInAssignment │ │ │ └── function.p │ │ │ ├── FunctionReturnsWrongType │ │ │ └── function.p │ │ │ ├── HasEntryArgs │ │ │ └── entryExit_2.p │ │ │ ├── HasExitArgs │ │ │ └── entryExit_2.p │ │ │ ├── IgnoredNullEvent │ │ │ └── IgnoredNullEvent.p │ │ │ ├── LexerError1 │ │ │ └── LexerError1.p │ │ │ ├── LexerError2 │ │ │ └── LexerError2.p │ │ │ ├── MachineNoStartState │ │ │ └── purity.p │ │ │ ├── NoDeferInSpecMachine │ │ │ └── monitors.p │ │ │ ├── NoSendInSpecMachine │ │ │ └── monitors.p │ │ │ ├── NonExistentDoFun │ │ │ └── nonExistDo.p │ │ │ ├── NonExistentEntryFun │ │ │ └── entryExit_2.p │ │ │ ├── NonExistentExitFun │ │ │ └── entryExit_2.p │ │ │ ├── NonExistentGotoFun │ │ │ └── nonExistGoto.p │ │ │ ├── NullEventDecl │ │ │ └── NullEventDecl.p │ │ │ ├── ParamTest3 │ │ │ └── ParamTest3.p │ │ │ ├── ParamTest4 │ │ │ └── ParamTest4.p │ │ │ ├── Partial │ │ │ └── Partial.p │ │ │ ├── RaiseSendBadValueSpecMachine │ │ │ └── monitors.p │ │ │ ├── RaiseSendNullSpecMachine │ │ │ └── monitors.p │ │ │ ├── RaisedNullEvent │ │ │ └── RaisedNullEvent.p │ │ │ ├── SendInMonitor │ │ │ └── SendInMonitor.p │ │ │ ├── SentNullEvent │ │ │ └── SentNullEvent.p │ │ │ ├── SideEffectsInMonitor │ │ │ └── SideEffectsInMonitor.p │ │ │ ├── StartMachineNullParam │ │ │ └── StartMachineNullParam.p │ │ │ ├── StaticFunctionInMonitor │ │ │ └── StaticFunctionInMonitor.p │ │ │ ├── TransitionOnNullInSpecMachine │ │ │ └── monitors.p │ │ │ ├── UndefinedStateInTransition │ │ │ └── TransDecl_DoDecl.p │ │ │ └── functionAnyAnon │ │ │ └── functionAnyAnon.p │ ├── Feature2Stmts │ │ ├── Correct │ │ │ ├── NondetFun │ │ │ │ └── NondetFun.p │ │ │ ├── SEM_ONeMachine_34 │ │ │ │ └── payloadActionsFuns.p │ │ │ ├── SEM_OneMachine_33 │ │ │ │ └── seqtuple.p │ │ │ ├── SEM_OneMachine_35 │ │ │ │ └── bubblesort.p │ │ │ ├── assertExample │ │ │ │ └── assertExample.p │ │ │ ├── foreach │ │ │ │ └── foreach1.p │ │ │ ├── foreach1 │ │ │ │ └── foreach1.p │ │ │ ├── foreach2 │ │ │ │ └── foreach2.p │ │ │ ├── foreach3 │ │ │ │ └── foreach3.p │ │ │ ├── foreach4 │ │ │ │ └── foreach4.p │ │ │ ├── goto1 │ │ │ │ └── goto1.p │ │ │ ├── goto2 │ │ │ │ └── goto2.p │ │ │ ├── goto3 │ │ │ │ └── goto3.p │ │ │ ├── goto4 │ │ │ │ └── goto4.p │ │ │ ├── linear2 │ │ │ │ └── linear2.p │ │ │ ├── newMachine1 │ │ │ │ └── newMachine1.p │ │ │ ├── pingPongReceive4 │ │ │ │ └── pingPongReceive4.p │ │ │ ├── pingPongReceive5 │ │ │ │ └── pingPongReceive5.p │ │ │ ├── raise1 │ │ │ │ └── raise1.p │ │ │ ├── raise2 │ │ │ │ └── raise2.p │ │ │ ├── raise3 │ │ │ │ └── raise3.p │ │ │ ├── receive1 │ │ │ │ └── receive1.p │ │ │ ├── receive11 │ │ │ │ └── receive11.p │ │ │ ├── receive111 │ │ │ │ └── receive1.p │ │ │ ├── receive13 │ │ │ │ └── receive13.p │ │ │ ├── receive14 │ │ │ │ └── receiveInExit1.p │ │ │ ├── receive15 │ │ │ │ └── receiveInExit2.p │ │ │ ├── receive16 │ │ │ │ └── receiveInExit3.p │ │ │ ├── receive18 │ │ │ │ └── receive18.p │ │ │ └── receive19 │ │ │ │ └── receive19.p │ │ ├── DynamicError │ │ │ ├── GotoStmt1 │ │ │ │ └── gotoStmt1.p │ │ │ ├── GotoStmt2 │ │ │ │ └── gotoStmt2.p │ │ │ ├── NondetFun │ │ │ │ └── NondetFun.p │ │ │ ├── break1 │ │ │ │ └── break1.p │ │ │ ├── continue1 │ │ │ │ └── continue1.p │ │ │ ├── foreach │ │ │ │ └── foreach1.p │ │ │ ├── foreach2 │ │ │ │ └── foreach2.p │ │ │ ├── foreach3 │ │ │ │ └── foreach3.p │ │ │ ├── foreach4 │ │ │ │ └── foreach4.p │ │ │ ├── goto2 │ │ │ │ └── goto2.p │ │ │ ├── goto3 │ │ │ │ └── goto3.p │ │ │ ├── goto4 │ │ │ │ └── goto4.p │ │ │ ├── newMachine1 │ │ │ │ └── newMachine1.p │ │ │ ├── pingPongReceive4 │ │ │ │ └── pingPongReceive4.p │ │ │ ├── pingPongReceive5 │ │ │ │ └── pingPongReceive5.p │ │ │ ├── raise1 │ │ │ │ └── raise1.p │ │ │ ├── raise2 │ │ │ │ └── raise2.p │ │ │ ├── raise3 │ │ │ │ └── raise3.p │ │ │ ├── receive10 │ │ │ │ └── receive10.p │ │ │ ├── receive11 │ │ │ │ └── receive11.p │ │ │ ├── receive11_1 │ │ │ │ └── receive11_1.p │ │ │ ├── receive12 │ │ │ │ └── receive12.p │ │ │ ├── receive17 │ │ │ │ ├── receive17.p │ │ │ │ └── temp.p │ │ │ ├── receive2 │ │ │ │ └── receive2.p │ │ │ ├── receive3 │ │ │ │ └── receive3.p │ │ │ ├── receive4 │ │ │ │ └── receive4.p │ │ │ ├── receive6 │ │ │ │ └── receive6.p │ │ │ ├── receive7 │ │ │ │ └── receive7.p │ │ │ ├── receive8 │ │ │ │ └── receive8.p │ │ │ └── receive9 │ │ │ │ └── receive9.p │ │ └── StaticError │ │ │ ├── LinearBugRepro1 │ │ │ └── LinearBugRepro1.p │ │ │ ├── TransactionType │ │ │ └── bug.p │ │ │ ├── breakOutsideLoop │ │ │ └── breakOutsideLoop.p │ │ │ ├── continueOutsideLoop │ │ │ └── continueOutsideLoop.p │ │ │ ├── entryExit │ │ │ └── entryExit.p │ │ │ ├── eventExprSendRaise │ │ │ └── EventExprSendRaise.p │ │ │ ├── foreach1 │ │ │ └── foreach1.p │ │ │ ├── foreach2 │ │ │ └── foreach2.p │ │ │ ├── foreach3 │ │ │ └── foreach3.p │ │ │ ├── goto1 │ │ │ └── goto1.p │ │ │ ├── goto2 │ │ │ └── goto2.p │ │ │ ├── goto3 │ │ │ └── goto3.p │ │ │ ├── linear │ │ │ └── linear.p │ │ │ ├── linear3 │ │ │ └── linear3.p │ │ │ ├── linear4 │ │ │ └── linear4.p │ │ │ ├── lvalues │ │ │ └── lvalues.p │ │ │ ├── newMachine1 │ │ │ └── newMachine1.p │ │ │ ├── newMachine2 │ │ │ └── newMachine2.p │ │ │ ├── newMachine3 │ │ │ └── newMachine3.p │ │ │ ├── nmdType │ │ │ └── nmdType.p │ │ │ ├── raise1 │ │ │ └── raise1.p │ │ │ ├── raise2 │ │ │ └── raise2.p │ │ │ ├── sends │ │ │ └── sends.p │ │ │ └── staticFunReturnType │ │ │ └── test.p │ ├── Feature3Exprs │ │ ├── Correct │ │ │ ├── ExprOperatorsAsserts │ │ │ │ └── ExprOperatorsAsserts.p │ │ │ ├── MemoryLeakRepro │ │ │ │ └── nonDetFunctionInExpr2.p │ │ │ ├── ModExpr1 │ │ │ │ └── modexpr1.p │ │ │ ├── NestedFun │ │ │ │ └── NestedFun.p │ │ │ ├── NonDetFunctionInExpr │ │ │ │ └── nonDetFunctionInExpr.p │ │ │ ├── ShortCircuitEval │ │ │ │ └── ShortCircuitEval.p │ │ │ ├── SingleNamedTuple1 │ │ │ │ └── singlenamedtuple.p │ │ │ ├── SingleNamedTuple2 │ │ │ │ └── singlenamedtuple.p │ │ │ ├── assertMessage │ │ │ │ └── assertMessage.p │ │ │ ├── assertMessage2 │ │ │ │ └── assertMessage2.p │ │ │ ├── cast1 │ │ │ │ └── cast1.p │ │ │ ├── cast2 │ │ │ │ └── cast2.p │ │ │ ├── cast3 │ │ │ │ └── cast3.p │ │ │ ├── chooseExpr1 │ │ │ │ └── choose1.p │ │ │ ├── chooseExpr2 │ │ │ │ └── choose2.p │ │ │ ├── events1 │ │ │ │ └── events1.p │ │ │ ├── float1 │ │ │ │ └── float1.p │ │ │ ├── float2 │ │ │ │ └── float2.p │ │ │ ├── float3 │ │ │ │ └── float3.p │ │ │ └── issue511 │ │ │ │ └── issue511.p │ │ ├── DynamicError │ │ │ ├── FuncInExpr │ │ │ │ └── FuncInExpr.p │ │ │ ├── InOperator │ │ │ │ └── InOperator.p │ │ │ ├── ModExpr1 │ │ │ │ └── modexpr1.p │ │ │ ├── chooseExpr2 │ │ │ │ └── choose2.p │ │ │ ├── tooManyChoicesInt │ │ │ │ └── tooManyChoicesInt.p │ │ │ ├── tooManyChoicesMap │ │ │ │ └── tooManyChoicesMap.p │ │ │ ├── tooManyChoicesSeq │ │ │ │ └── tooManyChoicesSeq.p │ │ │ └── tooManyChoicesSet │ │ │ │ └── tooManyChoicesSet.p │ │ └── StaticError │ │ │ ├── ExprsOperators │ │ │ └── ExprOperators.p │ │ │ ├── InOperator │ │ │ └── InOperator.p │ │ │ ├── ModExpr1 │ │ │ └── modexpr1.p │ │ │ ├── choose3 │ │ │ └── choose3.p │ │ │ ├── fields │ │ │ └── fields.p │ │ │ └── tooManyChoices │ │ │ └── tooManyChoices.p │ ├── Feature4DataTypes │ │ ├── Correct │ │ │ ├── CastInExprsAsserts │ │ │ │ └── CastInExprsAsserts.p │ │ │ ├── EnumType │ │ │ │ ├── enumType.p │ │ │ │ └── includedEnums.p │ │ │ ├── ForeignTypes │ │ │ │ └── foreigntypes.p │ │ │ ├── ReturnIssue │ │ │ │ └── returnIssue.p │ │ │ ├── SetImpl0 │ │ │ │ └── SetImpl0.p │ │ │ ├── SetImpl2 │ │ │ │ └── SetImpl2.p │ │ │ ├── SetImpl3 │ │ │ │ └── SetImpl3.p │ │ │ ├── anyTypeNullValue │ │ │ │ └── anyTypeNullValue.p │ │ │ ├── enum1 │ │ │ │ └── enum1.p │ │ │ ├── enum2 │ │ │ │ └── enum2.p │ │ │ ├── enum3 │ │ │ │ └── enum3.p │ │ │ ├── enum4 │ │ │ │ └── enum4.p │ │ │ ├── float1 │ │ │ │ └── float1.p │ │ │ ├── float4 │ │ │ │ └── float4.p │ │ │ ├── nestedTypedef │ │ │ │ └── nestedTypedef.p │ │ │ ├── nonAtomicDataTypes │ │ │ │ └── nonAtomicDataTypes.p │ │ │ ├── nonAtomicDataTypes12 │ │ │ │ └── StackOverflowException.p │ │ │ ├── nonAtomicDataTypes13 │ │ │ │ └── SeqAssgnToAny.p │ │ │ ├── nonAtomicDataTypes16 │ │ │ │ └── nonAtomicDataTypes.p │ │ │ ├── nonAtomicDataTypesAllAsserts │ │ │ │ └── nonAtomicDataTypesAllAsserts.p │ │ │ ├── seq1 │ │ │ │ └── seq1.p │ │ │ ├── string0 │ │ │ │ └── string0.p │ │ │ ├── stringcomp │ │ │ │ └── stringcomp.p │ │ │ ├── typedef │ │ │ │ └── typedef.p │ │ │ ├── typedef2 │ │ │ │ └── equality.p │ │ │ └── typedef3 │ │ │ │ └── typedef3.p │ │ ├── DynamicError │ │ │ ├── CastInExprs1 │ │ │ │ └── CastInExprsDynError.p │ │ │ ├── CastInExprs2 │ │ │ │ └── CastInExprsDynError.p │ │ │ ├── CastInExprs3 │ │ │ │ └── CastInExprsDynError.p │ │ │ ├── CastInExprs4 │ │ │ │ └── CastInExprsDynError.p │ │ │ ├── CastInExprs5 │ │ │ │ └── CastInExprsdynError.p │ │ │ ├── CastInExprs6 │ │ │ │ └── CastInExprsDynError.p │ │ │ ├── EnumType1 │ │ │ │ └── enumType.p │ │ │ ├── ForeignTypes │ │ │ │ └── foreigntypes.p │ │ │ ├── SetImpl1 │ │ │ │ └── SetImpl1.p │ │ │ ├── anyType │ │ │ │ └── anyType.p │ │ │ ├── anyType1 │ │ │ │ └── anyType1.p │ │ │ ├── anyType2 │ │ │ │ └── anyType2.p │ │ │ ├── anyType3 │ │ │ │ └── anyType3.p │ │ │ ├── enum1 │ │ │ │ └── enum1.p │ │ │ ├── nonAtomicDataTypes │ │ │ │ └── nonAtomicDataTypes.p │ │ │ ├── nonAtomicDataTypes1 │ │ │ │ └── nonAtomicDataTypes.p │ │ │ ├── nonAtomicDataTypes10 │ │ │ │ └── nonAtomicDataTypes.p │ │ │ ├── nonAtomicDataTypes11 │ │ │ │ └── nonAtomicDataTypes.p │ │ │ ├── nonAtomicDataTypes14 │ │ │ │ └── nonAtomicDataTypes.p │ │ │ ├── nonAtomicDataTypes15 │ │ │ │ └── nonADT.p │ │ │ ├── nonAtomicDataTypes2 │ │ │ │ └── nonAtomicDataTypes.p │ │ │ ├── nonAtomicDataTypes3 │ │ │ │ └── nonAtomicDataTypes.p │ │ │ ├── nonAtomicDataTypes4 │ │ │ │ └── nonAtomicDataTypes.p │ │ │ ├── nonAtomicDataTypes5 │ │ │ │ └── nonAtomicDataTypes.p │ │ │ ├── nonAtomicDataTypes6 │ │ │ │ └── nonAtomicDataTypes.p │ │ │ ├── nonAtomicDataTypes7 │ │ │ │ └── nonAtomicDataTypes.p │ │ │ ├── nonAtomicDataTypes8 │ │ │ │ └── nonAtomicDataTypes.p │ │ │ ├── nonAtomicDataTypes9 │ │ │ │ └── nonAtomicDataTypes.p │ │ │ ├── seq1 │ │ │ │ └── seq1.p │ │ │ ├── string1 │ │ │ │ └── string1.p │ │ │ ├── typedef1 │ │ │ │ └── typedef.p │ │ │ └── typedef2 │ │ │ │ ├── Timer.p │ │ │ │ └── typedef2.p │ │ └── StaticError │ │ │ ├── CastInExprs │ │ │ └── CastInExprs.p │ │ │ ├── EnumType │ │ │ └── enumType.p │ │ │ ├── EventSets_1 │ │ │ └── EventSets_1.p │ │ │ ├── EventSets_2 │ │ │ └── EventSets_2.p │ │ │ ├── EventSets_3 │ │ │ └── EventSets_3.p │ │ │ ├── EventSets_4 │ │ │ └── EventSets_4.p │ │ │ ├── EventSets_5 │ │ │ └── EventSets_5.p │ │ │ ├── MachineNames_1 │ │ │ └── MachineNames_1.p │ │ │ ├── SetAccess │ │ │ └── SetImpl1.p │ │ │ ├── SetImpl2 │ │ │ └── SetImpl2.p │ │ │ ├── enum1 │ │ │ └── enum1.p │ │ │ ├── float4 │ │ │ └── float4.p │ │ │ ├── function_Typos │ │ │ └── function_Typos.p │ │ │ ├── namedDuplicateField │ │ │ └── namedtype.p │ │ │ ├── namedDuplicateField2 │ │ │ └── namedtype.p │ │ │ ├── namedTuple1 │ │ │ └── namedTuple1.p │ │ │ ├── namedTuple2 │ │ │ └── namedTuple2.p │ │ │ ├── nonAtomicDataTypes │ │ │ └── nonAtomicDataTypes.p │ │ │ ├── nullComparison │ │ │ └── nullType.p │ │ │ ├── nullTypeAssign │ │ │ └── nullType.p │ │ │ ├── payloadActions │ │ │ └── payloadActions.p │ │ │ ├── payloadActionsFuns │ │ │ └── payloadActionsFuns.p │ │ │ ├── payloadEntry │ │ │ └── payloadEntry.p │ │ │ ├── payloadEntry_1 │ │ │ └── payloadEntry_1.p │ │ │ ├── payloadTransitions │ │ │ └── payloadTransitions.p │ │ │ ├── payloads │ │ │ └── payloads.p │ │ │ ├── string2 │ │ │ └── string2.p │ │ │ ├── typedef │ │ │ └── typedef.p │ │ │ └── typedef2 │ │ │ └── typedef2.p │ ├── Feature5ModuleSystem │ │ ├── Correct │ │ │ ├── Elevator │ │ │ │ └── Elevator.p │ │ │ ├── ElevatorMod │ │ │ │ └── Elevator.p │ │ │ ├── InterfaceTest │ │ │ │ └── interface1.p │ │ │ ├── OSR │ │ │ │ ├── Headers.p │ │ │ │ ├── Link.p │ │ │ │ ├── OS.p │ │ │ │ ├── OSRDriver.p │ │ │ │ └── User.p │ │ │ └── PingPongDingDongMod │ │ │ │ ├── Header.p │ │ │ │ ├── Link.p │ │ │ │ ├── Ping.p │ │ │ │ └── Pong.p │ │ ├── DynamicError │ │ │ └── comingsoon.txt │ │ └── StaticError │ │ │ └── comingsoon.txt │ ├── Integration │ │ ├── Correct │ │ │ ├── BoundedAsync │ │ │ │ └── boundedasync.p │ │ │ ├── German │ │ │ │ └── German.p │ │ │ ├── PingPong │ │ │ │ └── PingPong.p │ │ │ ├── PingPongDefer │ │ │ │ └── PingPongDefer.p │ │ │ ├── PingPongDingDong │ │ │ │ └── PingPongDingDong.p │ │ │ ├── PingPongMonitor │ │ │ │ └── PingPongMonitor.p │ │ │ ├── PingPongNonDet │ │ │ │ └── PingPongNonDet.p │ │ │ ├── SEM_OneMachine_18 │ │ │ │ └── UnhandledEventDeferred.p │ │ │ ├── SEM_OneMachine_19 │ │ │ │ └── UnhandledEventIgnored.p │ │ │ ├── SEM_OneMachine_2 │ │ │ │ └── RaiseSendInEntry.p │ │ │ ├── SEM_OneMachine_31 │ │ │ │ └── RaisedHalt.p │ │ │ ├── SEM_OneMachine_4 │ │ │ │ └── SendInExitNotExecuted.p │ │ │ ├── SEM_OneMachine_7 │ │ │ │ └── SendInExitUnhandledHalt.p │ │ │ ├── SEM_TwoMachines_1 │ │ │ │ └── EventSentAfterSentHalt.p │ │ │ ├── SEM_TwoMachines_14 │ │ │ │ └── NewMonitor_v.p │ │ │ ├── SEM_TwoMachines_3 │ │ │ │ └── EventSentAfterSentHaltHandled.p │ │ │ ├── SEM_TwoMachines_5 │ │ │ │ └── RaisedHalt.p │ │ │ ├── SEM_TwoMachines_7 │ │ │ │ └── RaisedHalt_bugFound.p │ │ │ ├── SEM_TwoMachines_8 │ │ │ │ └── HaltTrigger4Do.p │ │ │ ├── TestMapSet │ │ │ │ └── TestMapSet.p │ │ │ ├── TokenRing │ │ │ │ ├── Prt_disabled │ │ │ │ │ └── README.txt │ │ │ │ └── TokenRing.p │ │ │ ├── openwsn1 │ │ │ │ └── openwsn1.p │ │ │ ├── pingPongExp │ │ │ │ └── pingPongExp.p │ │ │ ├── pingPongForeach │ │ │ │ └── pingPongForeach.p │ │ │ ├── pingPongNew │ │ │ │ └── pingPongNew.p │ │ │ ├── pingPongOld │ │ │ │ └── pingPongOld.p │ │ │ ├── pingPongReceive1 │ │ │ │ └── pingPongReceive1.p │ │ │ ├── pingPongReceive2 │ │ │ │ └── pingPongReceive2.p │ │ │ ├── pingPongReceive3 │ │ │ │ └── pingPongReceive3.p │ │ │ ├── pingPongReceive4 │ │ │ │ └── pingPongReceive4.p │ │ │ ├── pingPongTuple │ │ │ │ └── pingPongTuple.p │ │ │ └── two-phase-commit │ │ │ │ └── two-phase-commit.p │ │ ├── DynamicError │ │ │ ├── Actions_1 │ │ │ │ └── Actions_1.p │ │ │ ├── Actions_3 │ │ │ │ └── Actions_3.p │ │ │ ├── Actions_5 │ │ │ │ └── Actions_5.p │ │ │ ├── Actions_6 │ │ │ │ └── Actions_6.p │ │ │ ├── Multi_Paxos_3 │ │ │ │ └── Multi_Paxos_3.p │ │ │ ├── Multi_Paxos_4 │ │ │ │ └── Multi_Paxos_4.p │ │ │ ├── PingPongWithCall │ │ │ │ └── PingPongWithCall.p │ │ │ ├── SEM_OneMachine_1 │ │ │ │ └── SendRaiseInEntry.p │ │ │ ├── SEM_OneMachine_10 │ │ │ │ └── Push.p │ │ │ ├── SEM_OneMachine_11 │ │ │ │ └── PushImplicitPopWithSend.p │ │ │ ├── SEM_OneMachine_12 │ │ │ │ └── PushExplicitPop.p │ │ │ ├── SEM_OneMachine_13 │ │ │ │ └── PushTransInheritance.p │ │ │ ├── SEM_OneMachine_14 │ │ │ │ └── GotoTransInheritance.p │ │ │ ├── SEM_OneMachine_15 │ │ │ │ └── ImplicitPopExit.p │ │ │ ├── SEM_OneMachine_16 │ │ │ │ └── ExplicitPopExit.p │ │ │ ├── SEM_OneMachine_20 │ │ │ │ └── BugReproIdenticalTerms.p │ │ │ ├── SEM_OneMachine_21 │ │ │ │ └── BugReproIdenticalTerms_workaround.p │ │ │ ├── SEM_OneMachine_25 │ │ │ │ └── NewInExit.p │ │ │ ├── SEM_OneMachine_28 │ │ │ │ └── DeferIgnore2.p │ │ │ ├── SEM_OneMachine_3 │ │ │ │ └── SendInEntry.p │ │ │ ├── SEM_OneMachine_32 │ │ │ │ └── RaisedHaltHandled.p │ │ │ ├── SEM_OneMachine_36 │ │ │ │ └── NullEventHandler1.p │ │ │ ├── SEM_OneMachine_37 │ │ │ │ └── NullEventHandler2.p │ │ │ ├── SEM_OneMachine_38 │ │ │ │ └── NullHandlerInheritedByPushTr.p │ │ │ ├── SEM_OneMachine_39 │ │ │ │ └── TopNullHandlerOverridesInherited.p │ │ │ ├── SEM_OneMachine_40 │ │ │ │ └── lvalues_runtimeError.p │ │ │ ├── SEM_OneMachine_41 │ │ │ │ └── NullHandlerInLoop.p │ │ │ ├── SEM_OneMachine_42 │ │ │ │ └── NullTriggerPayload.p │ │ │ ├── SEM_OneMachine_5 │ │ │ │ └── SendInExitUnhandledEvent.p │ │ │ ├── SEM_OneMachine_6 │ │ │ │ └── SendInExitHandledEvent.p │ │ │ ├── SEM_OneMachine_8 │ │ │ │ └── GotoToItself.p │ │ │ ├── SEM_OneMachine_9 │ │ │ │ └── PushItself.p │ │ │ ├── SEM_TwoMachines_10 │ │ │ │ └── NonConstantEventExpr1.p │ │ │ ├── SEM_TwoMachines_12 │ │ │ │ └── NonConstantEventExprMonitor1.p │ │ │ ├── SEM_TwoMachines_15 │ │ │ │ └── MonitorInvocationEventExprPayload.p │ │ │ ├── SEM_TwoMachines_16 │ │ │ │ └── NonConstantEventExpr2.p │ │ │ ├── SEM_TwoMachines_17 │ │ │ │ └── EventExprSemantics.p │ │ │ ├── SEM_TwoMachines_18 │ │ │ │ └── EventExprSemantics1.p │ │ │ ├── SEM_TwoMachines_19 │ │ │ │ └── EventExprSemantics2.p │ │ │ ├── SEM_TwoMachines_2 │ │ │ │ └── EventSentAfterSentHalt_v.p │ │ │ ├── SEM_TwoMachines_4 │ │ │ │ └── EventSentAfterSentHaltHandled_v.p │ │ │ ├── SEM_TwoMachines_6 │ │ │ │ └── RaisedHaltHandled.p │ │ │ ├── SEM_TwoMachines_9 │ │ │ │ └── NonConstantEventExpr.p │ │ │ └── two-phase-commit_1 │ │ │ │ └── two-phase-commit_1.p │ │ └── StaticError │ │ │ └── TokenRing_Typos │ │ │ └── TokenRing_Typos.p │ └── Liveness │ │ ├── Correct │ │ ├── Liveness_1 │ │ │ └── Liveness_1.p │ │ ├── Liveness_1_falsePass │ │ │ └── Liveness_1_falsePass.p │ │ ├── Liveness_FAIRNONDET │ │ │ └── Liveness_FAIRNONDET.p │ │ ├── Liveness_FAIRNONDET2 │ │ │ └── Liveness_FAIRNONDET.p │ │ └── WarmState_1 │ │ │ └── Liveness_2_WarmState.p │ │ └── DynamicError │ │ ├── InfiniteLoopInAtomicBlock │ │ ├── InfiniteLoopInAtomicBlock.p │ │ ├── Prt_disabled │ │ │ └── README.txt │ │ └── Pt_disabled │ │ │ └── acc_0.txt │ │ ├── Liveness_10 │ │ └── Liveness_10.p │ │ ├── Liveness_1_WarmState │ │ └── Liveness_1_WarmState.p │ │ ├── Liveness_2 │ │ ├── Liveness_2.p │ │ └── Prt_disabled │ │ │ └── README.txt │ │ ├── Liveness_2_LoopMachineAdded │ │ ├── Liveness_2_LoopMachineAdded.p │ │ └── Prt_disabled │ │ │ └── README.txt │ │ ├── Liveness_2_bugFound │ │ └── Liveness_2_bugFound.p │ │ ├── Liveness_3 │ │ ├── Liveness_3.p │ │ └── Prt_disabled │ │ │ └── README.txt │ │ ├── Liveness_4 │ │ ├── Liveness_4.p │ │ └── Prt_disabled │ │ │ └── README.txt │ │ ├── Liveness_5 │ │ └── Server.p │ │ ├── Liveness_5_deadlock │ │ └── Server.p │ │ ├── Liveness_6 │ │ └── Server1.p │ │ ├── Liveness_6_deadlock │ │ └── Server1.p │ │ ├── Liveness_7 │ │ ├── Liveness_4.p │ │ └── Prt_disabled │ │ │ └── README.txt │ │ ├── Liveness_9 │ │ └── Liveness_9.p │ │ ├── Liveness_NONDET │ │ └── Liveness_NONDET.p │ │ └── Liveness_NONDET2 │ │ └── Liveness_NONDET.p ├── TestPCompiler │ └── choose1.p ├── TestParamTester │ ├── .gitignore │ ├── 1_ClientServer │ │ ├── .gitignore │ │ ├── ClientServer.pproj │ │ ├── PSpec │ │ │ └── BankBalanceCorrect.p │ │ ├── PSrc │ │ │ ├── AbstractBankServer.p │ │ │ ├── Client.p │ │ │ ├── ClientServerModules.p │ │ │ └── Server.p │ │ ├── PTst │ │ │ ├── TestDriver.p │ │ │ └── Testscript.p │ │ └── fix.sh │ └── Timer │ │ ├── PSrc │ │ ├── Timer.p │ │ └── TimerModules.p │ │ └── Timer.pproj └── UnitTests │ ├── CSharpBackendTests.cs │ ├── CSharpValuesTest.cs │ ├── Core │ ├── CompilerTestCase.cs │ ├── CompilerTestException.cs │ ├── Constants.cs │ ├── ICompilerTestRunner.cs │ ├── ITestResultsValidator.cs │ ├── ProcessHelper.cs │ ├── TestCaseError.cs │ ├── TestCaseFactory.cs │ ├── TestCaseLoader.cs │ └── TestExecutionStream.cs │ ├── PCheckerLogGeneratorTests.cs │ ├── RegressionTests.cs │ ├── Runners │ ├── CompileOnlyRunner.cs │ ├── PCheckerRunner.cs │ └── PrtRunner.cs │ ├── SamplesTests.cs │ ├── TestAssertions.cs │ ├── TypeChecker │ └── ParamAssignmentTest.cs │ ├── TypeCheckingUtilsTest.cs │ ├── UnitTests.csproj │ ├── UnitTests.sln │ └── Validators │ ├── CompileSuccessValidator.cs │ ├── ExecutionOutputValidator.cs │ └── StaticErrorValidator.cs └── Tutorial ├── 1_ClientServer ├── .gitignore ├── ClientServer.pproj ├── PSpec │ └── BankBalanceCorrect.p ├── PSrc │ ├── AbstractBankServer.p │ ├── Client.p │ ├── ClientServerModules.p │ └── Server.p ├── PTst │ ├── TestDriver.p │ └── Testscript.p └── portfolio-config.json ├── 2_TwoPhaseCommit ├── .gitignore ├── PForeign │ └── PExForeignCode.java ├── PSpec │ └── Atomicity.p ├── PSrc │ ├── Coordinator.p │ ├── Participant.p │ └── TwoPhaseCommitModules.p ├── PTst │ ├── Client.p │ ├── TestDriver.p │ └── TestScripts.p └── TwoPhaseCommit.pproj ├── 3_EspressoMachine ├── .gitignore ├── EspressoMachine.pproj ├── PSpec │ └── Safety.p ├── PSrc │ ├── CoffeeMaker.p │ ├── CoffeeMakerControlPanel.p │ └── EspressoMachineModules.p └── PTst │ ├── TestDrivers.p │ ├── TestScripts.p │ └── Users.p ├── 4_FailureDetector ├── .gitignore ├── FailureDetector.pproj ├── PSpec │ └── ReliableFailureDetector.p ├── PSrc │ ├── Client.p │ ├── FailureDetector.p │ ├── FailureDetectorModules.p │ └── Node.p └── PTst │ ├── TestDriver.p │ └── TestScript.p ├── 5_Paxos ├── .gitignore ├── PSpec │ ├── ._spec.p │ ├── common.p │ └── spec.p ├── PSrc │ ├── acceptor.p │ ├── learner.p │ └── proposer.p ├── PTst │ └── test.p └── SingleDecreePaxos.pproj ├── 6_Raft ├── .gitignore ├── LICENSE ├── PSpec │ ├── LivenessClientsDone.p │ ├── LivenessProgress.p │ ├── SafetyLeaderCompleteness.p │ ├── SafetyLogMatching.p │ ├── SafetyOneLeader.p │ ├── SafetyStateMachine.p │ └── SafetySynchronization.p ├── PSrc │ ├── Application.p │ ├── Client.p │ ├── RaftModules.p │ ├── Server.p │ ├── Timer.p │ ├── Utils.p │ └── View.p ├── PTst │ ├── RaftTests.p │ └── Testscript.p └── Raft.pproj ├── Advanced ├── 1_ChainReplicationVerification │ ├── .gitignore │ ├── ChainReplicationVerification.pproj │ ├── PSrc │ │ └── System.p │ └── portfolio-config.json ├── 2_TwoPhaseCommitVerification │ ├── .gitignore │ ├── KeyValue │ │ ├── PSrc │ │ │ └── System.p │ │ └── TwoPhaseCommitVerification.pproj │ ├── Rounds │ │ ├── PSrc │ │ │ └── System.p │ │ └── TwoPhaseCommitVerification.pproj │ └── Single │ │ ├── PSrc │ │ └── System.p │ │ └── TwoPhaseCommitVerification.pproj ├── 3_RingLeaderVerification │ ├── .gitignore │ ├── PSrc │ │ └── System.p │ └── RingLeaderVerification.pproj ├── 4_Paxos │ ├── PSrc │ │ └── System.p │ └── PVerifiedPaxos.pproj ├── 5_Consensus │ ├── Consensus.pproj │ └── PSrc │ │ └── System.p ├── 6_DistributedLock │ ├── DistributedLock.pproj │ └── PSrc │ │ └── System.p ├── 7_ShardedKV │ ├── PSrc │ │ └── System.p │ └── ShardedKV.pproj └── 8_LockServer │ ├── LockServer.pproj │ └── PSrc │ └── System.p ├── Common ├── .gitignore ├── FailureInjector │ ├── FailureInjector.pproj │ └── PSrc │ │ ├── FailureInjector.p │ │ └── NetworkFunctions.p ├── SharedMemory │ ├── PSrc │ │ ├── LBSharedObject.p │ │ └── RWLBSharedObject.p │ ├── PTst │ │ ├── TestLBSharedObject.p │ │ └── TestRWLBSharedObject.p │ └── SharedMemory.pproj └── Timer │ ├── PSrc │ ├── Timer.p │ └── TimerModules.p │ └── Timer.pproj └── PriorityQueue ├── .gitignore ├── PForeign ├── ClientFunctions.cs ├── PriorityQueue.cs └── PriorityQueueFunctions.cs ├── PSrc └── PriorityQueue.p ├── PTst ├── Client.p └── TestScripts.p └── PriorityQueue.pproj /.gitattributes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/.gitattributes -------------------------------------------------------------------------------- /.github/workflows/macosci.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/.github/workflows/macosci.yml -------------------------------------------------------------------------------- /.github/workflows/maven-publish.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/.github/workflows/maven-publish.yml -------------------------------------------------------------------------------- /.github/workflows/pex.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/.github/workflows/pex.yml -------------------------------------------------------------------------------- /.github/workflows/publishdocs.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/.github/workflows/publishdocs.yml -------------------------------------------------------------------------------- /.github/workflows/regex_check.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/.github/workflows/regex_check.py -------------------------------------------------------------------------------- /.github/workflows/release.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/.github/workflows/release.yml -------------------------------------------------------------------------------- /.github/workflows/tutorials.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/.github/workflows/tutorials.yml -------------------------------------------------------------------------------- /.github/workflows/ubuntuci.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/.github/workflows/ubuntuci.yml -------------------------------------------------------------------------------- /.github/workflows/windowsci.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/.github/workflows/windowsci.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/.gitignore -------------------------------------------------------------------------------- /Bld/build.ps1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Bld/build.ps1 -------------------------------------------------------------------------------- /Bld/build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Bld/build.sh -------------------------------------------------------------------------------- /CODE_OF_CONDUCT.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/CODE_OF_CONDUCT.md -------------------------------------------------------------------------------- /CONTRIBUTING.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/CONTRIBUTING.md -------------------------------------------------------------------------------- /ChangeList.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/ChangeList.md -------------------------------------------------------------------------------- /Directory.Build.props: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Directory.Build.props -------------------------------------------------------------------------------- /Docs/docs/advanced/PProject.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Docs/docs/advanced/PProject.md -------------------------------------------------------------------------------- /Docs/docs/advanced/PVerifierLanguageExtensions/announcement.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Docs/docs/advanced/PVerifierLanguageExtensions/announcement.md -------------------------------------------------------------------------------- /Docs/docs/advanced/PVerifierLanguageExtensions/init-condition.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Docs/docs/advanced/PVerifierLanguageExtensions/init-condition.md -------------------------------------------------------------------------------- /Docs/docs/advanced/PVerifierLanguageExtensions/install-pverifier.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Docs/docs/advanced/PVerifierLanguageExtensions/install-pverifier.md -------------------------------------------------------------------------------- /Docs/docs/advanced/PVerifierLanguageExtensions/outline.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Docs/docs/advanced/PVerifierLanguageExtensions/outline.md -------------------------------------------------------------------------------- /Docs/docs/advanced/PVerifierLanguageExtensions/proof.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Docs/docs/advanced/PVerifierLanguageExtensions/proof.md -------------------------------------------------------------------------------- /Docs/docs/advanced/PVerifierLanguageExtensions/pure.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Docs/docs/advanced/PVerifierLanguageExtensions/pure.md -------------------------------------------------------------------------------- /Docs/docs/advanced/PVerifierLanguageExtensions/specification.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Docs/docs/advanced/PVerifierLanguageExtensions/specification.md -------------------------------------------------------------------------------- /Docs/docs/advanced/PVerifierLanguageExtensions/using-pverifier.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Docs/docs/advanced/PVerifierLanguageExtensions/using-pverifier.md -------------------------------------------------------------------------------- /Docs/docs/advanced/debuggingerror.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Docs/docs/advanced/debuggingerror.md -------------------------------------------------------------------------------- /Docs/docs/advanced/importanceliveness.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Docs/docs/advanced/importanceliveness.md -------------------------------------------------------------------------------- /Docs/docs/advanced/p2c.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Docs/docs/advanced/p2c.md -------------------------------------------------------------------------------- /Docs/docs/advanced/pex.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Docs/docs/advanced/pex.md -------------------------------------------------------------------------------- /Docs/docs/advanced/psemantics.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Docs/docs/advanced/psemantics.md -------------------------------------------------------------------------------- /Docs/docs/advanced/psym/install.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Docs/docs/advanced/psym/install.md -------------------------------------------------------------------------------- /Docs/docs/advanced/psym/usingPSym.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Docs/docs/advanced/psym/usingPSym.md -------------------------------------------------------------------------------- /Docs/docs/advanced/psym/whatisPSym.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Docs/docs/advanced/psym/whatisPSym.md -------------------------------------------------------------------------------- /Docs/docs/advanced/structureOfPProgram.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Docs/docs/advanced/structureOfPProgram.md -------------------------------------------------------------------------------- /Docs/docs/casestudies.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Docs/docs/casestudies.md -------------------------------------------------------------------------------- /Docs/docs/distsystem.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Docs/docs/distsystem.png -------------------------------------------------------------------------------- /Docs/docs/getstarted/PeasyIDE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Docs/docs/getstarted/PeasyIDE.md -------------------------------------------------------------------------------- /Docs/docs/getstarted/build.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Docs/docs/getstarted/build.md -------------------------------------------------------------------------------- /Docs/docs/getstarted/install.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Docs/docs/getstarted/install.md -------------------------------------------------------------------------------- /Docs/docs/getstarted/usingP.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Docs/docs/getstarted/usingP.md -------------------------------------------------------------------------------- /Docs/docs/icon.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Docs/docs/icon.png -------------------------------------------------------------------------------- /Docs/docs/index.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Docs/docs/index.md -------------------------------------------------------------------------------- /Docs/docs/manual/datatypes.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Docs/docs/manual/datatypes.md -------------------------------------------------------------------------------- /Docs/docs/manual/events.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Docs/docs/manual/events.md -------------------------------------------------------------------------------- /Docs/docs/manual/expressions.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Docs/docs/manual/expressions.md -------------------------------------------------------------------------------- /Docs/docs/manual/foriegntypesfunctions.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Docs/docs/manual/foriegntypesfunctions.md -------------------------------------------------------------------------------- /Docs/docs/manual/functions.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Docs/docs/manual/functions.md -------------------------------------------------------------------------------- /Docs/docs/manual/modulesystem.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Docs/docs/manual/modulesystem.md -------------------------------------------------------------------------------- /Docs/docs/manual/monitors.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Docs/docs/manual/monitors.md -------------------------------------------------------------------------------- /Docs/docs/manual/statemachines.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Docs/docs/manual/statemachines.md -------------------------------------------------------------------------------- /Docs/docs/manual/statements.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Docs/docs/manual/statements.md -------------------------------------------------------------------------------- /Docs/docs/manual/testcases.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Docs/docs/manual/testcases.md -------------------------------------------------------------------------------- /Docs/docs/manualoutline.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Docs/docs/manualoutline.md -------------------------------------------------------------------------------- /Docs/docs/old/advanced/debuggingerror.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Docs/docs/old/advanced/debuggingerror.md -------------------------------------------------------------------------------- /Docs/docs/old/getstarted/install.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Docs/docs/old/getstarted/install.md -------------------------------------------------------------------------------- /Docs/docs/old/getstarted/usingP.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Docs/docs/old/getstarted/usingP.md -------------------------------------------------------------------------------- /Docs/docs/publications.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Docs/docs/publications.md -------------------------------------------------------------------------------- /Docs/docs/toolchain.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Docs/docs/toolchain.png -------------------------------------------------------------------------------- /Docs/docs/tutorial/clientserver.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Docs/docs/tutorial/clientserver.md -------------------------------------------------------------------------------- /Docs/docs/tutorial/clientserver.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Docs/docs/tutorial/clientserver.png -------------------------------------------------------------------------------- /Docs/docs/tutorial/common.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Docs/docs/tutorial/common.md -------------------------------------------------------------------------------- /Docs/docs/tutorial/espressomachine.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Docs/docs/tutorial/espressomachine.md -------------------------------------------------------------------------------- /Docs/docs/tutorial/espressomachine.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Docs/docs/tutorial/espressomachine.png -------------------------------------------------------------------------------- /Docs/docs/tutorial/failuredetector.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Docs/docs/tutorial/failuredetector.md -------------------------------------------------------------------------------- /Docs/docs/tutorial/failuredetector.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Docs/docs/tutorial/failuredetector.png -------------------------------------------------------------------------------- /Docs/docs/tutorial/paxos.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Docs/docs/tutorial/paxos.md -------------------------------------------------------------------------------- /Docs/docs/tutorial/twophasecommit.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Docs/docs/tutorial/twophasecommit.md -------------------------------------------------------------------------------- /Docs/docs/tutorial/twophasecommit.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Docs/docs/tutorial/twophasecommit.png -------------------------------------------------------------------------------- /Docs/docs/tutsoutline.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Docs/docs/tutsoutline.md -------------------------------------------------------------------------------- /Docs/docs/videos.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Docs/docs/videos.md -------------------------------------------------------------------------------- /Docs/docs/whatisP.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Docs/docs/whatisP.md -------------------------------------------------------------------------------- /Docs/images/images.pptx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Docs/images/images.pptx -------------------------------------------------------------------------------- /Docs/images/tutorial_examples.pptx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Docs/images/tutorial_examples.pptx -------------------------------------------------------------------------------- /Docs/mkdocs.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Docs/mkdocs.yml -------------------------------------------------------------------------------- /Ext/P_FileTypeSettings_Intellij.zip: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Ext/P_FileTypeSettings_Intellij.zip -------------------------------------------------------------------------------- /Icon/icon.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Icon/icon.png -------------------------------------------------------------------------------- /Icon/new_icon_high_resolution.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Icon/new_icon_high_resolution.png -------------------------------------------------------------------------------- /Icon/new_icon_high_resolution.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Icon/new_icon_high_resolution.svg -------------------------------------------------------------------------------- /LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/LICENSE.txt -------------------------------------------------------------------------------- /P.sln: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/P.sln -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/README.md -------------------------------------------------------------------------------- /Src/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/CMakeLists.txt -------------------------------------------------------------------------------- /Src/PChecker/CheckerCore/Checker.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PChecker/CheckerCore/Checker.cs -------------------------------------------------------------------------------- /Src/PChecker/CheckerCore/CheckerConfiguration.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PChecker/CheckerCore/CheckerConfiguration.cs -------------------------------------------------------------------------------- /Src/PChecker/CheckerCore/CheckerCore.csproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PChecker/CheckerCore/CheckerCore.csproj -------------------------------------------------------------------------------- /Src/PChecker/CheckerCore/CheckerMode.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PChecker/CheckerCore/CheckerMode.cs -------------------------------------------------------------------------------- /Src/PChecker/CheckerCore/Coverage/ActivityCoverageReporter.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PChecker/CheckerCore/Coverage/ActivityCoverageReporter.cs -------------------------------------------------------------------------------- /Src/PChecker/CheckerCore/Coverage/ControlledRuntimeLogEventCoverage.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PChecker/CheckerCore/Coverage/ControlledRuntimeLogEventCoverage.cs -------------------------------------------------------------------------------- /Src/PChecker/CheckerCore/Coverage/ControlledRuntimeLogGraphBuilder.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PChecker/CheckerCore/Coverage/ControlledRuntimeLogGraphBuilder.cs -------------------------------------------------------------------------------- /Src/PChecker/CheckerCore/Coverage/CoverageInfo.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PChecker/CheckerCore/Coverage/CoverageInfo.cs -------------------------------------------------------------------------------- /Src/PChecker/CheckerCore/Exceptions/AssertionFailureException.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PChecker/CheckerCore/Exceptions/AssertionFailureException.cs -------------------------------------------------------------------------------- /Src/PChecker/CheckerCore/Exceptions/ExecutionCanceledException.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PChecker/CheckerCore/Exceptions/ExecutionCanceledException.cs -------------------------------------------------------------------------------- /Src/PChecker/CheckerCore/Exceptions/RuntimeException.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PChecker/CheckerCore/Exceptions/RuntimeException.cs -------------------------------------------------------------------------------- /Src/PChecker/CheckerCore/ExhaustiveEngine.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PChecker/CheckerCore/ExhaustiveEngine.cs -------------------------------------------------------------------------------- /Src/PChecker/CheckerCore/IO/Debugging/Debug.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PChecker/CheckerCore/IO/Debugging/Debug.cs -------------------------------------------------------------------------------- /Src/PChecker/CheckerCore/IO/Debugging/Error.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PChecker/CheckerCore/IO/Debugging/Error.cs -------------------------------------------------------------------------------- /Src/PChecker/CheckerCore/IO/ErrorReporter.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PChecker/CheckerCore/IO/ErrorReporter.cs -------------------------------------------------------------------------------- /Src/PChecker/CheckerCore/IO/Logging/ConsoleLogger.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PChecker/CheckerCore/IO/Logging/ConsoleLogger.cs -------------------------------------------------------------------------------- /Src/PChecker/CheckerCore/IO/Logging/InMemoryLogger.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PChecker/CheckerCore/IO/Logging/InMemoryLogger.cs -------------------------------------------------------------------------------- /Src/PChecker/CheckerCore/Random/Generator.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PChecker/CheckerCore/Random/Generator.cs -------------------------------------------------------------------------------- /Src/PChecker/CheckerCore/Random/IRandomValueGenerator.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PChecker/CheckerCore/Random/IRandomValueGenerator.cs -------------------------------------------------------------------------------- /Src/PChecker/CheckerCore/Random/RandomValueGenerator.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PChecker/CheckerCore/Random/RandomValueGenerator.cs -------------------------------------------------------------------------------- /Src/PChecker/CheckerCore/Runtime/Events/DefaultEvent.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PChecker/CheckerCore/Runtime/Events/DefaultEvent.cs -------------------------------------------------------------------------------- /Src/PChecker/CheckerCore/Runtime/Events/Event.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PChecker/CheckerCore/Runtime/Events/Event.cs -------------------------------------------------------------------------------- /Src/PChecker/CheckerCore/Runtime/Events/EventInfo.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PChecker/CheckerCore/Runtime/Events/EventInfo.cs -------------------------------------------------------------------------------- /Src/PChecker/CheckerCore/Runtime/Events/EventOriginInfo.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PChecker/CheckerCore/Runtime/Events/EventOriginInfo.cs -------------------------------------------------------------------------------- /Src/PChecker/CheckerCore/Runtime/Events/GotoStateEvent.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PChecker/CheckerCore/Runtime/Events/GotoStateEvent.cs -------------------------------------------------------------------------------- /Src/PChecker/CheckerCore/Runtime/Events/HaltEvent.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PChecker/CheckerCore/Runtime/Events/HaltEvent.cs -------------------------------------------------------------------------------- /Src/PChecker/CheckerCore/Runtime/Events/QuiescentEvent.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PChecker/CheckerCore/Runtime/Events/QuiescentEvent.cs -------------------------------------------------------------------------------- /Src/PChecker/CheckerCore/Runtime/Events/WildcardEvent.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PChecker/CheckerCore/Runtime/Events/WildcardEvent.cs -------------------------------------------------------------------------------- /Src/PChecker/CheckerCore/Runtime/Exceptions/PInternalException.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PChecker/CheckerCore/Runtime/Exceptions/PInternalException.cs -------------------------------------------------------------------------------- /Src/PChecker/CheckerCore/Runtime/Logging/IControlledRuntimeLog.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PChecker/CheckerCore/Runtime/Logging/IControlledRuntimeLog.cs -------------------------------------------------------------------------------- /Src/PChecker/CheckerCore/Runtime/Logging/JsonWriter.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PChecker/CheckerCore/Runtime/Logging/JsonWriter.cs -------------------------------------------------------------------------------- /Src/PChecker/CheckerCore/Runtime/Logging/LogWriter.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PChecker/CheckerCore/Runtime/Logging/LogWriter.cs -------------------------------------------------------------------------------- /Src/PChecker/CheckerCore/Runtime/Logging/PCheckerLogJsonFormatter.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PChecker/CheckerCore/Runtime/Logging/PCheckerLogJsonFormatter.cs -------------------------------------------------------------------------------- /Src/PChecker/CheckerCore/Runtime/Logging/PCheckerLogTextFormatter.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PChecker/CheckerCore/Runtime/Logging/PCheckerLogTextFormatter.cs -------------------------------------------------------------------------------- /Src/PChecker/CheckerCore/Runtime/Logging/PCheckerLogXmlFormatter.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PChecker/CheckerCore/Runtime/Logging/PCheckerLogXmlFormatter.cs -------------------------------------------------------------------------------- /Src/PChecker/CheckerCore/Runtime/PInterfaces.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PChecker/CheckerCore/Runtime/PInterfaces.cs -------------------------------------------------------------------------------- /Src/PChecker/CheckerCore/Runtime/PModule.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PChecker/CheckerCore/Runtime/PModule.cs -------------------------------------------------------------------------------- /Src/PChecker/CheckerCore/Runtime/PTypes.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PChecker/CheckerCore/Runtime/PTypes.cs -------------------------------------------------------------------------------- /Src/PChecker/CheckerCore/Runtime/Specifications/CachedDelegate.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PChecker/CheckerCore/Runtime/Specifications/CachedDelegate.cs -------------------------------------------------------------------------------- /Src/PChecker/CheckerCore/Runtime/Specifications/Monitor.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PChecker/CheckerCore/Runtime/Specifications/Monitor.cs -------------------------------------------------------------------------------- /Src/PChecker/CheckerCore/Runtime/StateMachines/StateMachine.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PChecker/CheckerCore/Runtime/StateMachines/StateMachine.cs -------------------------------------------------------------------------------- /Src/PChecker/CheckerCore/Runtime/StateMachines/StateMachineId.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PChecker/CheckerCore/Runtime/StateMachines/StateMachineId.cs -------------------------------------------------------------------------------- /Src/PChecker/CheckerCore/Runtime/Values/HashHelper.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PChecker/CheckerCore/Runtime/Values/HashHelper.cs -------------------------------------------------------------------------------- /Src/PChecker/CheckerCore/Runtime/Values/IPMutableValue.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PChecker/CheckerCore/Runtime/Values/IPMutableValue.cs -------------------------------------------------------------------------------- /Src/PChecker/CheckerCore/Runtime/Values/IPValue.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PChecker/CheckerCore/Runtime/Values/IPValue.cs -------------------------------------------------------------------------------- /Src/PChecker/CheckerCore/Runtime/Values/MutabilityHelper.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PChecker/CheckerCore/Runtime/Values/MutabilityHelper.cs -------------------------------------------------------------------------------- /Src/PChecker/CheckerCore/Runtime/Values/PBool.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PChecker/CheckerCore/Runtime/Values/PBool.cs -------------------------------------------------------------------------------- /Src/PChecker/CheckerCore/Runtime/Values/PEnum.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PChecker/CheckerCore/Runtime/Values/PEnum.cs -------------------------------------------------------------------------------- /Src/PChecker/CheckerCore/Runtime/Values/PFloat.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PChecker/CheckerCore/Runtime/Values/PFloat.cs -------------------------------------------------------------------------------- /Src/PChecker/CheckerCore/Runtime/Values/PInt.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PChecker/CheckerCore/Runtime/Values/PInt.cs -------------------------------------------------------------------------------- /Src/PChecker/CheckerCore/Runtime/Values/PMachineValue.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PChecker/CheckerCore/Runtime/Values/PMachineValue.cs -------------------------------------------------------------------------------- /Src/PChecker/CheckerCore/Runtime/Values/PMap.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PChecker/CheckerCore/Runtime/Values/PMap.cs -------------------------------------------------------------------------------- /Src/PChecker/CheckerCore/Runtime/Values/PSeq.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PChecker/CheckerCore/Runtime/Values/PSeq.cs -------------------------------------------------------------------------------- /Src/PChecker/CheckerCore/Runtime/Values/PSet.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PChecker/CheckerCore/Runtime/Values/PSet.cs -------------------------------------------------------------------------------- /Src/PChecker/CheckerCore/Runtime/Values/PString.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PChecker/CheckerCore/Runtime/Values/PString.cs -------------------------------------------------------------------------------- /Src/PChecker/CheckerCore/Runtime/Values/PTuple.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PChecker/CheckerCore/Runtime/Values/PTuple.cs -------------------------------------------------------------------------------- /Src/PChecker/CheckerCore/Runtime/Values/PValues.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PChecker/CheckerCore/Runtime/Values/PValues.cs -------------------------------------------------------------------------------- /Src/PChecker/CheckerCore/Runtime/VectorTime.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PChecker/CheckerCore/Runtime/VectorTime.cs -------------------------------------------------------------------------------- /Src/PChecker/CheckerCore/SystematicTesting/ControlledRuntime.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PChecker/CheckerCore/SystematicTesting/ControlledRuntime.cs -------------------------------------------------------------------------------- /Src/PChecker/CheckerCore/SystematicTesting/OnFailureHandler.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PChecker/CheckerCore/SystematicTesting/OnFailureHandler.cs -------------------------------------------------------------------------------- /Src/PChecker/CheckerCore/SystematicTesting/OperationScheduler.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PChecker/CheckerCore/SystematicTesting/OperationScheduler.cs -------------------------------------------------------------------------------- /Src/PChecker/CheckerCore/SystematicTesting/Operations/TaskOperation.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PChecker/CheckerCore/SystematicTesting/Operations/TaskOperation.cs -------------------------------------------------------------------------------- /Src/PChecker/CheckerCore/SystematicTesting/Resource.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PChecker/CheckerCore/SystematicTesting/Resource.cs -------------------------------------------------------------------------------- /Src/PChecker/CheckerCore/SystematicTesting/TaskController.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PChecker/CheckerCore/SystematicTesting/TaskController.cs -------------------------------------------------------------------------------- /Src/PChecker/CheckerCore/SystematicTesting/TestAttributes.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PChecker/CheckerCore/SystematicTesting/TestAttributes.cs -------------------------------------------------------------------------------- /Src/PChecker/CheckerCore/SystematicTesting/TestMethodInfo.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PChecker/CheckerCore/SystematicTesting/TestMethodInfo.cs -------------------------------------------------------------------------------- /Src/PChecker/CheckerCore/SystematicTesting/TestReport.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PChecker/CheckerCore/SystematicTesting/TestReport.cs -------------------------------------------------------------------------------- /Src/PChecker/CheckerCore/SystematicTesting/TestingEngine.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PChecker/CheckerCore/SystematicTesting/TestingEngine.cs -------------------------------------------------------------------------------- /Src/PChecker/CheckerCore/SystematicTesting/Traces/ScheduleStep.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PChecker/CheckerCore/SystematicTesting/Traces/ScheduleStep.cs -------------------------------------------------------------------------------- /Src/PChecker/CheckerCore/SystematicTesting/Traces/ScheduleStepType.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PChecker/CheckerCore/SystematicTesting/Traces/ScheduleStepType.cs -------------------------------------------------------------------------------- /Src/PChecker/CheckerCore/SystematicTesting/Traces/ScheduleTrace.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PChecker/CheckerCore/SystematicTesting/Traces/ScheduleTrace.cs -------------------------------------------------------------------------------- /Src/PChecker/CheckerCore/Tasks/AsyncTaskMethodBuilder.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PChecker/CheckerCore/Tasks/AsyncTaskMethodBuilder.cs -------------------------------------------------------------------------------- /Src/PChecker/CheckerCore/Tasks/ConfiguredTaskAwaitable.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PChecker/CheckerCore/Tasks/ConfiguredTaskAwaitable.cs -------------------------------------------------------------------------------- /Src/PChecker/CheckerCore/Tasks/Task.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PChecker/CheckerCore/Tasks/Task.cs -------------------------------------------------------------------------------- /Src/PChecker/CheckerCore/Tasks/TaskAwaiter.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PChecker/CheckerCore/Tasks/TaskAwaiter.cs -------------------------------------------------------------------------------- /Src/PChecker/CheckerCore/Tasks/TaskCompletionSource.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PChecker/CheckerCore/Tasks/TaskCompletionSource.cs -------------------------------------------------------------------------------- /Src/PChecker/CheckerCore/Tasks/TaskExtensions.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PChecker/CheckerCore/Tasks/TaskExtensions.cs -------------------------------------------------------------------------------- /Src/PChecker/CheckerCore/Tasks/YieldAwaitable.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PChecker/CheckerCore/Tasks/YieldAwaitable.cs -------------------------------------------------------------------------------- /Src/PChecker/CheckerCore/Testing/TestingProcess.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PChecker/CheckerCore/Testing/TestingProcess.cs -------------------------------------------------------------------------------- /Src/PChecker/CheckerCore/Utilities/ExitCode.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PChecker/CheckerCore/Utilities/ExitCode.cs -------------------------------------------------------------------------------- /Src/PChecker/CheckerCore/Utilities/Profiler.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PChecker/CheckerCore/Utilities/Profiler.cs -------------------------------------------------------------------------------- /Src/PChecker/CheckerCore/Utilities/Reporter.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PChecker/CheckerCore/Utilities/Reporter.cs -------------------------------------------------------------------------------- /Src/PChecker/CoverageReportMerger/CoverageReportMerger.csproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PChecker/CoverageReportMerger/CoverageReportMerger.csproj -------------------------------------------------------------------------------- /Src/PChecker/CoverageReportMerger/Program.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PChecker/CoverageReportMerger/Program.cs -------------------------------------------------------------------------------- /Src/PChecker/PChecker.sln: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PChecker/PChecker.sln -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/AssemblyInfo.cs: -------------------------------------------------------------------------------- 1 | using System; 2 | 3 | [assembly: CLSCompliant(false)] -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/Backend/ASTExt/CloneExpr.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/Backend/ASTExt/CloneExpr.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/Backend/CompilationContextBase.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/Backend/CompilationContextBase.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/Backend/CompiledFile.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/Backend/CompiledFile.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/Backend/Debugging/IrRenderer.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/Backend/Debugging/IrRenderer.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/Backend/Debugging/IrToPseudoP.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/Backend/Debugging/IrToPseudoP.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/Backend/ICodeGenerator.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/Backend/ICodeGenerator.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/Backend/IRTransformer.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/Backend/IRTransformer.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/Backend/NameManagerBase.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/Backend/NameManagerBase.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/Backend/PChecker/CompilationContext.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/Backend/PChecker/CompilationContext.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/Backend/PChecker/Constants.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/Backend/PChecker/Constants.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/Backend/PChecker/PCheckerCodeGenerator.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/Backend/PChecker/PCheckerCodeGenerator.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/Backend/PChecker/PCheckerNameManager.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/Backend/PChecker/PCheckerNameManager.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/Backend/PEx/CompilationContext.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/Backend/PEx/CompilationContext.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/Backend/PEx/Constants.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/Backend/PEx/Constants.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/Backend/PEx/Continuation.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/Backend/PEx/Continuation.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/Backend/PEx/PExCodeGenerator.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/Backend/PEx/PExCodeGenerator.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/Backend/PEx/ReceiveSplitStmt.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/Backend/PEx/ReceiveSplitStmt.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/Backend/PEx/TransformASTPass.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/Backend/PEx/TransformASTPass.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/Backend/PEx/WhileFunction.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/Backend/PEx/WhileFunction.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/Backend/PObserve/CompilationContext.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/Backend/PObserve/CompilationContext.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/Backend/PObserve/Constants.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/Backend/PObserve/Constants.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/Backend/PObserve/EventGenerator.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/Backend/PObserve/EventGenerator.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/Backend/PObserve/FFIStubGenerator.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/Backend/PObserve/FFIStubGenerator.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/Backend/PObserve/JavaSourceGenerator.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/Backend/PObserve/JavaSourceGenerator.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/Backend/PObserve/MachineGenerator.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/Backend/PObserve/MachineGenerator.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/Backend/PObserve/NameManager.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/Backend/PObserve/NameManager.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/Backend/PObserve/PObserveCodeGenerator.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/Backend/PObserve/PObserveCodeGenerator.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/Backend/PObserve/TypeManager.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/Backend/PObserve/TypeManager.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/Backend/PObserve/TypesGenerator.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/Backend/PObserve/TypesGenerator.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/Backend/PVerifier/CompilationContext.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/Backend/PVerifier/CompilationContext.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/Backend/PVerifier/Uclid5CodeGenerator.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/Backend/PVerifier/Uclid5CodeGenerator.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/Backend/Stately/CompilationContext.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/Backend/Stately/CompilationContext.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/Backend/Stately/StatelyCodeGenerator.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/Backend/Stately/StatelyCodeGenerator.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/Backend/TargetLanguage.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/Backend/TargetLanguage.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/Compiler.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/Compiler.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/CompilerConfiguration.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/CompilerConfiguration.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/CompilerCore.csproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/CompilerCore.csproj -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/CompilerOutput.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/CompilerOutput.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/DefaultCompilerOutput.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/DefaultCompilerOutput.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/DefaultLocationResolver.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/DefaultLocationResolver.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/DefaultTranslationErrorHandler.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/DefaultTranslationErrorHandler.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/ICompiler.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/ICompiler.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/ICompilerConfiguration.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/ICompilerConfiguration.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/ICompilerOutput.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/ICompilerOutput.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/ITranslationErrorHandler.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/ITranslationErrorHandler.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/Parser/PLexer.g4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/Parser/PLexer.g4 -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/Parser/PParser.g4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/Parser/PParser.g4 -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/SeverityKind.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/SeverityKind.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/SourceLocation.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/SourceLocation.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/TranslationException.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/TranslationException.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/TypeChecker/AST/Declarations/Axiom.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/TypeChecker/AST/Declarations/Axiom.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/TypeChecker/AST/Declarations/EnumElem.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/TypeChecker/AST/Declarations/EnumElem.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/TypeChecker/AST/Declarations/Event.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/TypeChecker/AST/Declarations/Event.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/TypeChecker/AST/Declarations/Function.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/TypeChecker/AST/Declarations/Function.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/TypeChecker/AST/Declarations/Interface.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/TypeChecker/AST/Declarations/Interface.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/TypeChecker/AST/Declarations/Invariant.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/TypeChecker/AST/Declarations/Invariant.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/TypeChecker/AST/Declarations/Machine.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/TypeChecker/AST/Declarations/Machine.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/TypeChecker/AST/Declarations/NamedModule.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/TypeChecker/AST/Declarations/NamedModule.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/TypeChecker/AST/Declarations/PEnum.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/TypeChecker/AST/Declarations/PEnum.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/TypeChecker/AST/Declarations/ProofBlock.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/TypeChecker/AST/Declarations/ProofBlock.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/TypeChecker/AST/Declarations/Pure.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/TypeChecker/AST/Declarations/Pure.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/TypeChecker/AST/Declarations/SafetyTest.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/TypeChecker/AST/Declarations/SafetyTest.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/TypeChecker/AST/Declarations/TypeDef.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/TypeChecker/AST/Declarations/TypeDef.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/TypeChecker/AST/Declarations/Variable.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/TypeChecker/AST/Declarations/Variable.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/TypeChecker/AST/Expressions/BinOpExpr.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/TypeChecker/AST/Expressions/BinOpExpr.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/TypeChecker/AST/Expressions/BinOpType.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/TypeChecker/AST/Expressions/BinOpType.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/TypeChecker/AST/Expressions/CastExpr.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/TypeChecker/AST/Expressions/CastExpr.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/TypeChecker/AST/Expressions/ChooseExpr.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/TypeChecker/AST/Expressions/ChooseExpr.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/TypeChecker/AST/Expressions/CoerceExpr.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/TypeChecker/AST/Expressions/CoerceExpr.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/TypeChecker/AST/Expressions/ContainsExpr.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/TypeChecker/AST/Expressions/ContainsExpr.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/TypeChecker/AST/Expressions/CtorExpr.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/TypeChecker/AST/Expressions/CtorExpr.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/TypeChecker/AST/Expressions/DefaultExpr.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/TypeChecker/AST/Expressions/DefaultExpr.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/TypeChecker/AST/Expressions/EventRefExpr.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/TypeChecker/AST/Expressions/EventRefExpr.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/TypeChecker/AST/Expressions/FlyingExpr.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/TypeChecker/AST/Expressions/FlyingExpr.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/TypeChecker/AST/Expressions/FunCallExpr.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/TypeChecker/AST/Expressions/FunCallExpr.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/TypeChecker/AST/Expressions/IExprTerm.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/TypeChecker/AST/Expressions/IExprTerm.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/TypeChecker/AST/Expressions/IStaticTerm.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/TypeChecker/AST/Expressions/IStaticTerm.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/TypeChecker/AST/Expressions/IVariableRef.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/TypeChecker/AST/Expressions/IVariableRef.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/TypeChecker/AST/Expressions/KeysExpr.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/TypeChecker/AST/Expressions/KeysExpr.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/TypeChecker/AST/Expressions/NondetExpr.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/TypeChecker/AST/Expressions/NondetExpr.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/TypeChecker/AST/Expressions/PureCallExpr.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/TypeChecker/AST/Expressions/PureCallExpr.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/TypeChecker/AST/Expressions/QuantExpr.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/TypeChecker/AST/Expressions/QuantExpr.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/TypeChecker/AST/Expressions/QuantType.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/TypeChecker/AST/Expressions/QuantType.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/TypeChecker/AST/Expressions/SentExpr.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/TypeChecker/AST/Expressions/SentExpr.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/TypeChecker/AST/Expressions/SizeofExpr.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/TypeChecker/AST/Expressions/SizeofExpr.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/TypeChecker/AST/Expressions/SpecRefExpr.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/TypeChecker/AST/Expressions/SpecRefExpr.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/TypeChecker/AST/Expressions/StringExpr.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/TypeChecker/AST/Expressions/StringExpr.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/TypeChecker/AST/Expressions/TargetsExpr.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/TypeChecker/AST/Expressions/TargetsExpr.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/TypeChecker/AST/Expressions/TestExpr.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/TypeChecker/AST/Expressions/TestExpr.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/TypeChecker/AST/Expressions/ThisRefExpr.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/TypeChecker/AST/Expressions/ThisRefExpr.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/TypeChecker/AST/Expressions/UnaryOpExpr.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/TypeChecker/AST/Expressions/UnaryOpExpr.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/TypeChecker/AST/Expressions/UnaryOpType.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/TypeChecker/AST/Expressions/UnaryOpType.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/TypeChecker/AST/Expressions/ValuesExpr.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/TypeChecker/AST/Expressions/ValuesExpr.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/TypeChecker/AST/IHasScope.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/TypeChecker/AST/IHasScope.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/TypeChecker/AST/IPAST.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/TypeChecker/AST/IPAST.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/TypeChecker/AST/IPDecl.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/TypeChecker/AST/IPDecl.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/TypeChecker/AST/IPExpr.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/TypeChecker/AST/IPExpr.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/TypeChecker/AST/IPModuleExpr.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/TypeChecker/AST/IPModuleExpr.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/TypeChecker/AST/IPStmt.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/TypeChecker/AST/IPStmt.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/TypeChecker/AST/IStateAction.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/TypeChecker/AST/IStateAction.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/TypeChecker/AST/IStateContainer.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/TypeChecker/AST/IStateContainer.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/TypeChecker/AST/Statements/AddStmt.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/TypeChecker/AST/Statements/AddStmt.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/TypeChecker/AST/Statements/AnnounceStmt.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/TypeChecker/AST/Statements/AnnounceStmt.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/TypeChecker/AST/Statements/AssertStmt.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/TypeChecker/AST/Statements/AssertStmt.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/TypeChecker/AST/Statements/AssignStmt.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/TypeChecker/AST/Statements/AssignStmt.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/TypeChecker/AST/Statements/AssumeStmt.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/TypeChecker/AST/Statements/AssumeStmt.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/TypeChecker/AST/Statements/BreakStmt.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/TypeChecker/AST/Statements/BreakStmt.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/TypeChecker/AST/Statements/CompoundStmt.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/TypeChecker/AST/Statements/CompoundStmt.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/TypeChecker/AST/Statements/ContinueStmt.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/TypeChecker/AST/Statements/ContinueStmt.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/TypeChecker/AST/Statements/CtorStmt.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/TypeChecker/AST/Statements/CtorStmt.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/TypeChecker/AST/Statements/ForeachStmt.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/TypeChecker/AST/Statements/ForeachStmt.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/TypeChecker/AST/Statements/FunCallStmt.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/TypeChecker/AST/Statements/FunCallStmt.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/TypeChecker/AST/Statements/GotoStmt.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/TypeChecker/AST/Statements/GotoStmt.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/TypeChecker/AST/Statements/IfStmt.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/TypeChecker/AST/Statements/IfStmt.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/TypeChecker/AST/Statements/InsertStmt.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/TypeChecker/AST/Statements/InsertStmt.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/TypeChecker/AST/Statements/NoStmt.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/TypeChecker/AST/Statements/NoStmt.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/TypeChecker/AST/Statements/PrintStmt.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/TypeChecker/AST/Statements/PrintStmt.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/TypeChecker/AST/Statements/RaiseStmt.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/TypeChecker/AST/Statements/RaiseStmt.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/TypeChecker/AST/Statements/ReceiveStmt.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/TypeChecker/AST/Statements/ReceiveStmt.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/TypeChecker/AST/Statements/RemoveStmt.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/TypeChecker/AST/Statements/RemoveStmt.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/TypeChecker/AST/Statements/ReturnStmt.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/TypeChecker/AST/Statements/ReturnStmt.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/TypeChecker/AST/Statements/SendStmt.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/TypeChecker/AST/Statements/SendStmt.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/TypeChecker/AST/Statements/WhileStmt.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/TypeChecker/AST/Statements/WhileStmt.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/TypeChecker/AST/States/EventDefer.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/TypeChecker/AST/States/EventDefer.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/TypeChecker/AST/States/EventDoAction.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/TypeChecker/AST/States/EventDoAction.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/TypeChecker/AST/States/EventGotoState.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/TypeChecker/AST/States/EventGotoState.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/TypeChecker/AST/States/EventIgnore.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/TypeChecker/AST/States/EventIgnore.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/TypeChecker/AST/States/State.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/TypeChecker/AST/States/State.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/TypeChecker/AST/States/StateTemperature.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/TypeChecker/AST/States/StateTemperature.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/TypeChecker/Analyzer.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/TypeChecker/Analyzer.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/TypeChecker/ControlFlowChecker.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/TypeChecker/ControlFlowChecker.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/TypeChecker/DeclarationStubVisitor.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/TypeChecker/DeclarationStubVisitor.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/TypeChecker/DeclarationVisitor.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/TypeChecker/DeclarationVisitor.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/TypeChecker/ExprVisitor.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/TypeChecker/ExprVisitor.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/TypeChecker/FunctionBodyVisitor.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/TypeChecker/FunctionBodyVisitor.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/TypeChecker/FunctionValidator.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/TypeChecker/FunctionValidator.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/TypeChecker/ILocationResolver.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/TypeChecker/ILocationResolver.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/TypeChecker/InferMachineCreates.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/TypeChecker/InferMachineCreates.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/TypeChecker/MachineChecker.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/TypeChecker/MachineChecker.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/TypeChecker/ModuleExprVisitor.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/TypeChecker/ModuleExprVisitor.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/TypeChecker/ModuleSystemTypeChecker.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/TypeChecker/ModuleSystemTypeChecker.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/TypeChecker/ParamAssignment.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/TypeChecker/ParamAssignment.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/TypeChecker/ParamVisitor.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/TypeChecker/ParamVisitor.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/TypeChecker/ProofBlockVisitor.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/TypeChecker/ProofBlockVisitor.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/TypeChecker/Scope.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/TypeChecker/Scope.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/TypeChecker/SimpleExprEval.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/TypeChecker/SimpleExprEval.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/TypeChecker/StatementVisitor.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/TypeChecker/StatementVisitor.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/TypeChecker/TypeCheckingUtils.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/TypeChecker/TypeCheckingUtils.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/TypeChecker/TypeResolver.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/TypeChecker/TypeResolver.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/TypeChecker/Types/DataType.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/TypeChecker/Types/DataType.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/TypeChecker/Types/EnumType.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/TypeChecker/Types/EnumType.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/TypeChecker/Types/ForeignType.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/TypeChecker/Types/ForeignType.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/TypeChecker/Types/MapType.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/TypeChecker/Types/MapType.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/TypeChecker/Types/NamedTupleEntry.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/TypeChecker/Types/NamedTupleEntry.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/TypeChecker/Types/NamedTupleType.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/TypeChecker/Types/NamedTupleType.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/TypeChecker/Types/PLanguageType.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/TypeChecker/Types/PLanguageType.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/TypeChecker/Types/PermissionType.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/TypeChecker/Types/PermissionType.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/TypeChecker/Types/PrimitiveType.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/TypeChecker/Types/PrimitiveType.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/TypeChecker/Types/SequenceType.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/TypeChecker/Types/SequenceType.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/TypeChecker/Types/SetType.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/TypeChecker/Types/SetType.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/TypeChecker/Types/TupleType.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/TypeChecker/Types/TupleType.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/TypeChecker/Types/TypeDefType.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/TypeChecker/Types/TypeDefType.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/TypeChecker/Types/TypeKind.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/TypeChecker/Types/TypeKind.cs -------------------------------------------------------------------------------- /Src/PCompiler/CompilerCore/Util/StackProperty.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/CompilerCore/Util/StackProperty.cs -------------------------------------------------------------------------------- /Src/PCompiler/PCommandLine/CheckFileValidity.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/PCommandLine/CheckFileValidity.cs -------------------------------------------------------------------------------- /Src/PCompiler/PCommandLine/CommandLine.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/PCommandLine/CommandLine.cs -------------------------------------------------------------------------------- /Src/PCompiler/PCommandLine/CommandLineOutput.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/PCommandLine/CommandLineOutput.cs -------------------------------------------------------------------------------- /Src/PCompiler/PCommandLine/Options/PCheckerOptions.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/PCommandLine/Options/PCheckerOptions.cs -------------------------------------------------------------------------------- /Src/PCompiler/PCommandLine/Options/PCompilerOptions.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/PCommandLine/Options/PCompilerOptions.cs -------------------------------------------------------------------------------- /Src/PCompiler/PCommandLine/PCommandLine.csproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/PCommandLine/PCommandLine.csproj -------------------------------------------------------------------------------- /Src/PCompiler/PCommandLine/Parser/CommandLineArgumentParser.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/PCommandLine/Parser/CommandLineArgumentParser.cs -------------------------------------------------------------------------------- /Src/PCompiler/PCommandLine/Parser/CommandLineParsingError.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/PCommandLine/Parser/CommandLineParsingError.cs -------------------------------------------------------------------------------- /Src/PCompiler/PCommandLine/Parser/ParsePProjectFile.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PCompiler/PCommandLine/Parser/ParsePProjectFile.cs -------------------------------------------------------------------------------- /Src/PEx/pom.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PEx/pom.xml -------------------------------------------------------------------------------- /Src/PEx/scripts/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PEx/scripts/README.md -------------------------------------------------------------------------------- /Src/PEx/scripts/build_and_test.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PEx/scripts/build_and_test.sh -------------------------------------------------------------------------------- /Src/PEx/src/main/java/META-INF/MANIFEST.MF: -------------------------------------------------------------------------------- 1 | Manifest-Version: 0.0.1 2 | Main-Class: pex.PEx 3 | Multi-Release: true 4 | -------------------------------------------------------------------------------- /Src/PEx/src/main/java/pex/PEx.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PEx/src/main/java/pex/PEx.java -------------------------------------------------------------------------------- /Src/PEx/src/main/java/pex/RuntimeExecutor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PEx/src/main/java/pex/RuntimeExecutor.java -------------------------------------------------------------------------------- /Src/PEx/src/main/java/pex/commandline/PExConfig.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PEx/src/main/java/pex/commandline/PExConfig.java -------------------------------------------------------------------------------- /Src/PEx/src/main/java/pex/commandline/PExOptions.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PEx/src/main/java/pex/commandline/PExOptions.java -------------------------------------------------------------------------------- /Src/PEx/src/main/java/pex/runtime/ForeignFunctionInterface.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PEx/src/main/java/pex/runtime/ForeignFunctionInterface.java -------------------------------------------------------------------------------- /Src/PEx/src/main/java/pex/runtime/PExGlobal.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PEx/src/main/java/pex/runtime/PExGlobal.java -------------------------------------------------------------------------------- /Src/PEx/src/main/java/pex/runtime/PModel.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PEx/src/main/java/pex/runtime/PModel.java -------------------------------------------------------------------------------- /Src/PEx/src/main/java/pex/runtime/STATUS.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PEx/src/main/java/pex/runtime/STATUS.java -------------------------------------------------------------------------------- /Src/PEx/src/main/java/pex/runtime/logger/Log4JConfig.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PEx/src/main/java/pex/runtime/logger/Log4JConfig.java -------------------------------------------------------------------------------- /Src/PEx/src/main/java/pex/runtime/logger/LogType.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PEx/src/main/java/pex/runtime/logger/LogType.java -------------------------------------------------------------------------------- /Src/PEx/src/main/java/pex/runtime/logger/PExLogger.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PEx/src/main/java/pex/runtime/logger/PExLogger.java -------------------------------------------------------------------------------- /Src/PEx/src/main/java/pex/runtime/logger/ScheduleWriter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PEx/src/main/java/pex/runtime/logger/ScheduleWriter.java -------------------------------------------------------------------------------- /Src/PEx/src/main/java/pex/runtime/logger/SchedulerLogger.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PEx/src/main/java/pex/runtime/logger/SchedulerLogger.java -------------------------------------------------------------------------------- /Src/PEx/src/main/java/pex/runtime/logger/ScratchLogger.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PEx/src/main/java/pex/runtime/logger/ScratchLogger.java -------------------------------------------------------------------------------- /Src/PEx/src/main/java/pex/runtime/logger/StatWriter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PEx/src/main/java/pex/runtime/logger/StatWriter.java -------------------------------------------------------------------------------- /Src/PEx/src/main/java/pex/runtime/logger/TextWriter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PEx/src/main/java/pex/runtime/logger/TextWriter.java -------------------------------------------------------------------------------- /Src/PEx/src/main/java/pex/runtime/machine/MachineLocalState.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PEx/src/main/java/pex/runtime/machine/MachineLocalState.java -------------------------------------------------------------------------------- /Src/PEx/src/main/java/pex/runtime/machine/PMachine.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PEx/src/main/java/pex/runtime/machine/PMachine.java -------------------------------------------------------------------------------- /Src/PEx/src/main/java/pex/runtime/machine/PMachineId.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PEx/src/main/java/pex/runtime/machine/PMachineId.java -------------------------------------------------------------------------------- /Src/PEx/src/main/java/pex/runtime/machine/PMonitor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PEx/src/main/java/pex/runtime/machine/PMonitor.java -------------------------------------------------------------------------------- /Src/PEx/src/main/java/pex/runtime/machine/PTestDriver.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PEx/src/main/java/pex/runtime/machine/PTestDriver.java -------------------------------------------------------------------------------- /Src/PEx/src/main/java/pex/runtime/machine/State.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PEx/src/main/java/pex/runtime/machine/State.java -------------------------------------------------------------------------------- /Src/PEx/src/main/java/pex/runtime/machine/StateTemperature.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PEx/src/main/java/pex/runtime/machine/StateTemperature.java -------------------------------------------------------------------------------- /Src/PEx/src/main/java/pex/runtime/machine/buffer/BufferSemantics.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PEx/src/main/java/pex/runtime/machine/buffer/BufferSemantics.java -------------------------------------------------------------------------------- /Src/PEx/src/main/java/pex/runtime/machine/buffer/DeferQueue.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PEx/src/main/java/pex/runtime/machine/buffer/DeferQueue.java -------------------------------------------------------------------------------- /Src/PEx/src/main/java/pex/runtime/machine/buffer/EventBuffer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PEx/src/main/java/pex/runtime/machine/buffer/EventBuffer.java -------------------------------------------------------------------------------- /Src/PEx/src/main/java/pex/runtime/machine/buffer/MessageQueue.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PEx/src/main/java/pex/runtime/machine/buffer/MessageQueue.java -------------------------------------------------------------------------------- /Src/PEx/src/main/java/pex/runtime/machine/buffer/SenderQueue.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PEx/src/main/java/pex/runtime/machine/buffer/SenderQueue.java -------------------------------------------------------------------------------- /Src/PEx/src/main/java/pex/runtime/machine/events/PContinuation.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PEx/src/main/java/pex/runtime/machine/events/PContinuation.java -------------------------------------------------------------------------------- /Src/PEx/src/main/java/pex/runtime/machine/events/PLoopObject.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PEx/src/main/java/pex/runtime/machine/events/PLoopObject.java -------------------------------------------------------------------------------- /Src/PEx/src/main/java/pex/runtime/machine/events/StateEvents.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PEx/src/main/java/pex/runtime/machine/events/StateEvents.java -------------------------------------------------------------------------------- /Src/PEx/src/main/java/pex/runtime/scheduler/Schedule.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PEx/src/main/java/pex/runtime/scheduler/Schedule.java -------------------------------------------------------------------------------- /Src/PEx/src/main/java/pex/runtime/scheduler/Scheduler.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PEx/src/main/java/pex/runtime/scheduler/Scheduler.java -------------------------------------------------------------------------------- /Src/PEx/src/main/java/pex/runtime/scheduler/SchedulerInterface.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PEx/src/main/java/pex/runtime/scheduler/SchedulerInterface.java -------------------------------------------------------------------------------- /Src/PEx/src/main/java/pex/runtime/scheduler/choice/Choice.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PEx/src/main/java/pex/runtime/scheduler/choice/Choice.java -------------------------------------------------------------------------------- /Src/PEx/src/main/java/pex/runtime/scheduler/choice/DataChoice.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PEx/src/main/java/pex/runtime/scheduler/choice/DataChoice.java -------------------------------------------------------------------------------- /Src/PEx/src/main/java/pex/runtime/scheduler/choice/DataSearchUnit.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PEx/src/main/java/pex/runtime/scheduler/choice/DataSearchUnit.java -------------------------------------------------------------------------------- /Src/PEx/src/main/java/pex/runtime/scheduler/choice/ScheduleChoice.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PEx/src/main/java/pex/runtime/scheduler/choice/ScheduleChoice.java -------------------------------------------------------------------------------- /Src/PEx/src/main/java/pex/runtime/scheduler/choice/SearchUnit.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PEx/src/main/java/pex/runtime/scheduler/choice/SearchUnit.java -------------------------------------------------------------------------------- /Src/PEx/src/main/java/pex/runtime/scheduler/explicit/StepState.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PEx/src/main/java/pex/runtime/scheduler/explicit/StepState.java -------------------------------------------------------------------------------- /Src/PEx/src/main/java/pex/utils/exceptions/BugFoundException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PEx/src/main/java/pex/utils/exceptions/BugFoundException.java -------------------------------------------------------------------------------- /Src/PEx/src/main/java/pex/utils/exceptions/DeadlockException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PEx/src/main/java/pex/utils/exceptions/DeadlockException.java -------------------------------------------------------------------------------- /Src/PEx/src/main/java/pex/utils/exceptions/LivenessException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PEx/src/main/java/pex/utils/exceptions/LivenessException.java -------------------------------------------------------------------------------- /Src/PEx/src/main/java/pex/utils/exceptions/MemoutException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PEx/src/main/java/pex/utils/exceptions/MemoutException.java -------------------------------------------------------------------------------- /Src/PEx/src/main/java/pex/utils/exceptions/PExRuntimeException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PEx/src/main/java/pex/utils/exceptions/PExRuntimeException.java -------------------------------------------------------------------------------- /Src/PEx/src/main/java/pex/utils/misc/Assert.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PEx/src/main/java/pex/utils/misc/Assert.java -------------------------------------------------------------------------------- /Src/PEx/src/main/java/pex/utils/monitor/MemoryMonitor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PEx/src/main/java/pex/utils/monitor/MemoryMonitor.java -------------------------------------------------------------------------------- /Src/PEx/src/main/java/pex/utils/monitor/TimeMonitor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PEx/src/main/java/pex/utils/monitor/TimeMonitor.java -------------------------------------------------------------------------------- /Src/PEx/src/main/java/pex/utils/monitor/TimedCall.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PEx/src/main/java/pex/utils/monitor/TimedCall.java -------------------------------------------------------------------------------- /Src/PEx/src/main/java/pex/utils/random/NondetUtil.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PEx/src/main/java/pex/utils/random/NondetUtil.java -------------------------------------------------------------------------------- /Src/PEx/src/main/java/pex/utils/random/RandomNumberGenerator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PEx/src/main/java/pex/utils/random/RandomNumberGenerator.java -------------------------------------------------------------------------------- /Src/PEx/src/main/java/pex/utils/serialize/SerializableBiFunction.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PEx/src/main/java/pex/utils/serialize/SerializableBiFunction.java -------------------------------------------------------------------------------- /Src/PEx/src/main/java/pex/utils/serialize/SerializableRunnable.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PEx/src/main/java/pex/utils/serialize/SerializableRunnable.java -------------------------------------------------------------------------------- /Src/PEx/src/main/java/pex/values/ComputeHash.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PEx/src/main/java/pex/values/ComputeHash.java -------------------------------------------------------------------------------- /Src/PEx/src/main/java/pex/values/Event.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PEx/src/main/java/pex/values/Event.java -------------------------------------------------------------------------------- /Src/PEx/src/main/java/pex/values/PBool.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PEx/src/main/java/pex/values/PBool.java -------------------------------------------------------------------------------- /Src/PEx/src/main/java/pex/values/PCollection.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PEx/src/main/java/pex/values/PCollection.java -------------------------------------------------------------------------------- /Src/PEx/src/main/java/pex/values/PEnum.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PEx/src/main/java/pex/values/PEnum.java -------------------------------------------------------------------------------- /Src/PEx/src/main/java/pex/values/PFloat.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PEx/src/main/java/pex/values/PFloat.java -------------------------------------------------------------------------------- /Src/PEx/src/main/java/pex/values/PInt.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PEx/src/main/java/pex/values/PInt.java -------------------------------------------------------------------------------- /Src/PEx/src/main/java/pex/values/PMachineValue.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PEx/src/main/java/pex/values/PMachineValue.java -------------------------------------------------------------------------------- /Src/PEx/src/main/java/pex/values/PMap.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PEx/src/main/java/pex/values/PMap.java -------------------------------------------------------------------------------- /Src/PEx/src/main/java/pex/values/PMessage.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PEx/src/main/java/pex/values/PMessage.java -------------------------------------------------------------------------------- /Src/PEx/src/main/java/pex/values/PNamedTuple.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PEx/src/main/java/pex/values/PNamedTuple.java -------------------------------------------------------------------------------- /Src/PEx/src/main/java/pex/values/PSeq.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PEx/src/main/java/pex/values/PSeq.java -------------------------------------------------------------------------------- /Src/PEx/src/main/java/pex/values/PSet.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PEx/src/main/java/pex/values/PSet.java -------------------------------------------------------------------------------- /Src/PEx/src/main/java/pex/values/PString.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PEx/src/main/java/pex/values/PString.java -------------------------------------------------------------------------------- /Src/PEx/src/main/java/pex/values/PTuple.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PEx/src/main/java/pex/values/PTuple.java -------------------------------------------------------------------------------- /Src/PEx/src/main/java/pex/values/PValue.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PEx/src/main/java/pex/values/PValue.java -------------------------------------------------------------------------------- /Src/PEx/src/main/java/pex/values/exceptions/InvalidIndexException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PEx/src/main/java/pex/values/exceptions/InvalidIndexException.java -------------------------------------------------------------------------------- /Src/PEx/src/main/java/pex/values/exceptions/KeyNotFoundException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PEx/src/main/java/pex/values/exceptions/KeyNotFoundException.java -------------------------------------------------------------------------------- /Src/PEx/src/main/resources/log4j2.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PEx/src/main/resources/log4j2.xml -------------------------------------------------------------------------------- /Src/PEx/src/test/java/pex/PExTestLogger.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PEx/src/test/java/pex/PExTestLogger.java -------------------------------------------------------------------------------- /Src/PEx/src/test/java/pex/TestCaseExecutor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PEx/src/test/java/pex/TestCaseExecutor.java -------------------------------------------------------------------------------- /Src/PEx/src/test/java/pex/TestPEx.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/PEx/src/test/java/pex/TestPEx.java -------------------------------------------------------------------------------- /Src/Scripts/PortfolioChecker/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/Scripts/PortfolioChecker/README.md -------------------------------------------------------------------------------- /Src/Scripts/PortfolioChecker/pmc.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/Scripts/PortfolioChecker/pmc.py -------------------------------------------------------------------------------- /Src/Scripts/TutorialsChecker/check.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/Scripts/TutorialsChecker/check.sh -------------------------------------------------------------------------------- /Src/Scripts/TutorialsChecker/compile.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Src/Scripts/TutorialsChecker/compile.sh -------------------------------------------------------------------------------- /Tst/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/.gitignore -------------------------------------------------------------------------------- /Tst/CorrectLogs/bugs2/bug2.coverage.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/CorrectLogs/bugs2/bug2.coverage.txt -------------------------------------------------------------------------------- /Tst/CorrectLogs/bugs2/bug2_0_0.trace.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/CorrectLogs/bugs2/bug2_0_0.trace.json -------------------------------------------------------------------------------- /Tst/CorrectLogs/bugs2/bug2_0_0.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/CorrectLogs/bugs2/bug2_0_0.txt -------------------------------------------------------------------------------- /Tst/PortfolioTests/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/PortfolioTests/.gitignore -------------------------------------------------------------------------------- /Tst/PortfolioTests/2PC/2PCwithBTM/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/PortfolioTests/2PC/2PCwithBTM/README.md -------------------------------------------------------------------------------- /Tst/PortfolioTests/2PC/2PCwithBTM/TwoPC.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/PortfolioTests/2PC/2PCwithBTM/TwoPC.p -------------------------------------------------------------------------------- /Tst/PortfolioTests/2PC/TwoPhaseCommit/Common/Timer/PSrc/Timer.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/PortfolioTests/2PC/TwoPhaseCommit/Common/Timer/PSrc/Timer.p -------------------------------------------------------------------------------- /Tst/PortfolioTests/2PC/TwoPhaseCommit/Common/Timer/PSrc/TimerModules.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/PortfolioTests/2PC/TwoPhaseCommit/Common/Timer/PSrc/TimerModules.p -------------------------------------------------------------------------------- /Tst/PortfolioTests/2PC/TwoPhaseCommit/Common/Timer/Timer.pproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/PortfolioTests/2PC/TwoPhaseCommit/Common/Timer/Timer.pproj -------------------------------------------------------------------------------- /Tst/PortfolioTests/2PC/TwoPhaseCommit/PSpec/Atomicity.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/PortfolioTests/2PC/TwoPhaseCommit/PSpec/Atomicity.p -------------------------------------------------------------------------------- /Tst/PortfolioTests/2PC/TwoPhaseCommit/PSrc/Coordinator.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/PortfolioTests/2PC/TwoPhaseCommit/PSrc/Coordinator.p -------------------------------------------------------------------------------- /Tst/PortfolioTests/2PC/TwoPhaseCommit/PSrc/Participant.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/PortfolioTests/2PC/TwoPhaseCommit/PSrc/Participant.p -------------------------------------------------------------------------------- /Tst/PortfolioTests/2PC/TwoPhaseCommit/PSrc/TwoPhaseCommitModules.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/PortfolioTests/2PC/TwoPhaseCommit/PSrc/TwoPhaseCommitModules.p -------------------------------------------------------------------------------- /Tst/PortfolioTests/2PC/TwoPhaseCommit/PTst/Client.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/PortfolioTests/2PC/TwoPhaseCommit/PTst/Client.p -------------------------------------------------------------------------------- /Tst/PortfolioTests/2PC/TwoPhaseCommit/PTst/TestDriver.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/PortfolioTests/2PC/TwoPhaseCommit/PTst/TestDriver.p -------------------------------------------------------------------------------- /Tst/PortfolioTests/2PC/TwoPhaseCommit/PTst/TestScripts.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/PortfolioTests/2PC/TwoPhaseCommit/PTst/TestScripts.p -------------------------------------------------------------------------------- /Tst/PortfolioTests/2PC/TwoPhaseCommit/README.md: -------------------------------------------------------------------------------- 1 | Source: https://github.com/p-org/P/tree/master/Tutorial/2_TwoPhaseCommit 2 | -------------------------------------------------------------------------------- /Tst/PortfolioTests/2PC/TwoPhaseCommit/TwoPhaseCommit.pproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/PortfolioTests/2PC/TwoPhaseCommit/TwoPhaseCommit.pproj -------------------------------------------------------------------------------- /Tst/PortfolioTests/BenOr/BenOr.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/PortfolioTests/BenOr/BenOr.p -------------------------------------------------------------------------------- /Tst/PortfolioTests/BenOr/README.md: -------------------------------------------------------------------------------- 1 | Source: https://github.com/muratdem/PlusCal-examples/tree/master/BenOr 2 | -------------------------------------------------------------------------------- /Tst/PortfolioTests/ChangRob/ChangRoberts.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/PortfolioTests/ChangRob/ChangRoberts.p -------------------------------------------------------------------------------- /Tst/PortfolioTests/ChangRob/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/PortfolioTests/ChangRob/README.md -------------------------------------------------------------------------------- /Tst/PortfolioTests/DAO/DAO.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/PortfolioTests/DAO/DAO.p -------------------------------------------------------------------------------- /Tst/PortfolioTests/DAO/README.md: -------------------------------------------------------------------------------- 1 | Source: https://github.com/muratdem/PlusCal-examples/tree/master/DAO 2 | -------------------------------------------------------------------------------- /Tst/PortfolioTests/German/German.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/PortfolioTests/German/German.p -------------------------------------------------------------------------------- /Tst/PortfolioTests/German/README.md: -------------------------------------------------------------------------------- 1 | Source: https://doi.org/10.1007/3-540-45319-9_7 2 | -------------------------------------------------------------------------------- /Tst/PortfolioTests/HClock/HLC.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/PortfolioTests/HClock/HLC.p -------------------------------------------------------------------------------- /Tst/PortfolioTests/HClock/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/PortfolioTests/HClock/README.md -------------------------------------------------------------------------------- /Tst/PortfolioTests/Paxos/Paxos/Paxos.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/PortfolioTests/Paxos/Paxos/Paxos.p -------------------------------------------------------------------------------- /Tst/PortfolioTests/Paxos/Paxos/README.md: -------------------------------------------------------------------------------- 1 | Source: https://github.com/muratdem/PlusCal-examples/tree/master/Paxos 2 | -------------------------------------------------------------------------------- /Tst/PortfolioTests/Paxos/Paxos_map/Paxos_map.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/PortfolioTests/Paxos/Paxos_map/Paxos_map.p -------------------------------------------------------------------------------- /Tst/PortfolioTests/Paxos/Paxos_map/README.md: -------------------------------------------------------------------------------- 1 | Source: https://github.com/muratdem/PlusCal-examples/tree/master/Paxos 2 | -------------------------------------------------------------------------------- /Tst/PortfolioTests/Paxos/Paxos_seq/Paxos_seq.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/PortfolioTests/Paxos/Paxos_seq/Paxos_seq.p -------------------------------------------------------------------------------- /Tst/PortfolioTests/Paxos/Paxos_seq/README.md: -------------------------------------------------------------------------------- 1 | Source: https://github.com/muratdem/PlusCal-examples/tree/master/Paxos 2 | -------------------------------------------------------------------------------- /Tst/PortfolioTests/Paxos/paxosV2/PaxosV2.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/PortfolioTests/Paxos/paxosV2/PaxosV2.p -------------------------------------------------------------------------------- /Tst/PortfolioTests/Paxos/paxosV2/README.md: -------------------------------------------------------------------------------- 1 | Source: https://github.com/aman-goel/ivybench/tree/master/paxos/ivy 2 | -------------------------------------------------------------------------------- /Tst/PortfolioTests/Paxos/paxosV3/PaxosV3.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/PortfolioTests/Paxos/paxosV3/PaxosV3.p -------------------------------------------------------------------------------- /Tst/PortfolioTests/Paxos/paxosV3/README.md: -------------------------------------------------------------------------------- 1 | Source: https://github.com/aman-goel/ivybench/tree/master/paxos/ivy 2 | -------------------------------------------------------------------------------- /Tst/PortfolioTests/Paxos/paxosV4/PaxosV4.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/PortfolioTests/Paxos/paxosV4/PaxosV4.p -------------------------------------------------------------------------------- /Tst/PortfolioTests/Paxos/paxosV4/README.md: -------------------------------------------------------------------------------- 1 | Source: https://github.com/aman-goel/ivybench/tree/master/paxos/ivy 2 | -------------------------------------------------------------------------------- /Tst/PortfolioTests/Paxos/paxosV5/PaxosV5.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/PortfolioTests/Paxos/paxosV5/PaxosV5.p -------------------------------------------------------------------------------- /Tst/PortfolioTests/Paxos/paxosV5/README.md: -------------------------------------------------------------------------------- 1 | Source: https://github.com/aman-goel/ivybench/tree/master/paxos/ivy 2 | -------------------------------------------------------------------------------- /Tst/PortfolioTests/Paxos/paxosV5_no_requires/PaxosV5.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/PortfolioTests/Paxos/paxosV5_no_requires/PaxosV5.p -------------------------------------------------------------------------------- /Tst/PortfolioTests/Paxos/paxosV5_no_requires/README.md: -------------------------------------------------------------------------------- 1 | Source: https://github.com/aman-goel/ivybench/tree/master/paxos/ivy 2 | -------------------------------------------------------------------------------- /Tst/PortfolioTests/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/PortfolioTests/README.md -------------------------------------------------------------------------------- /Tst/PortfolioTests/Scripts/coyote_compile_results.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/PortfolioTests/Scripts/coyote_compile_results.py -------------------------------------------------------------------------------- /Tst/PortfolioTests/Scripts/coyote_stats.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/PortfolioTests/Scripts/coyote_stats.py -------------------------------------------------------------------------------- /Tst/PortfolioTests/Scripts/deploy_coyote.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/PortfolioTests/Scripts/deploy_coyote.sh -------------------------------------------------------------------------------- /Tst/PortfolioTests/Scripts/deploy_psym.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/PortfolioTests/Scripts/deploy_psym.sh -------------------------------------------------------------------------------- /Tst/PortfolioTests/Scripts/psym_compile_results.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/PortfolioTests/Scripts/psym_compile_results.py -------------------------------------------------------------------------------- /Tst/PortfolioTests/Streamlet/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/PortfolioTests/Streamlet/README.md -------------------------------------------------------------------------------- /Tst/PortfolioTests/Streamlet/str0.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/PortfolioTests/Streamlet/str0.p -------------------------------------------------------------------------------- /Tst/PortfolioTests/TokenRing/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/PortfolioTests/TokenRing/README.md -------------------------------------------------------------------------------- /Tst/PortfolioTests/TokenRing/TokenRing.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/PortfolioTests/TokenRing/TokenRing.p -------------------------------------------------------------------------------- /Tst/PortfolioTests/VoldKV/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/PortfolioTests/VoldKV/README.md -------------------------------------------------------------------------------- /Tst/PortfolioTests/VoldKV/VoldChain.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/PortfolioTests/VoldKV/VoldChain.p -------------------------------------------------------------------------------- /Tst/PrtTester/Tester.sln: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/PrtTester/Tester.sln -------------------------------------------------------------------------------- /Tst/PrtTester/Tester.vcxproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/PrtTester/Tester.vcxproj -------------------------------------------------------------------------------- /Tst/PrtTester/tester.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/PrtTester/tester.c -------------------------------------------------------------------------------- /Tst/RegressionTests/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/RegressionTests/.gitignore -------------------------------------------------------------------------------- /Tst/RegressionTests/Combined/Correct/nullPayload/nullPayload.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/RegressionTests/Combined/Correct/nullPayload/nullPayload.p -------------------------------------------------------------------------------- /Tst/RegressionTests/Combined/Correct/variableType/variableType.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/RegressionTests/Combined/Correct/variableType/variableType.p -------------------------------------------------------------------------------- /Tst/RegressionTests/Combined/StaticError/DuplicateStart/Duplicates.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/RegressionTests/Combined/StaticError/DuplicateStart/Duplicates.p -------------------------------------------------------------------------------- /Tst/RegressionTests/Combined/StaticError/Duplicates1/Duplicates.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/RegressionTests/Combined/StaticError/Duplicates1/Duplicates.p -------------------------------------------------------------------------------- /Tst/RegressionTests/Combined/StaticError/Duplicates10/Duplicates.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/RegressionTests/Combined/StaticError/Duplicates10/Duplicates.p -------------------------------------------------------------------------------- /Tst/RegressionTests/Combined/StaticError/Duplicates2/Duplicates.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/RegressionTests/Combined/StaticError/Duplicates2/Duplicates.p -------------------------------------------------------------------------------- /Tst/RegressionTests/Combined/StaticError/Duplicates3/Duplicates.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/RegressionTests/Combined/StaticError/Duplicates3/Duplicates.p -------------------------------------------------------------------------------- /Tst/RegressionTests/Combined/StaticError/Duplicates4/Duplicates.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/RegressionTests/Combined/StaticError/Duplicates4/Duplicates.p -------------------------------------------------------------------------------- /Tst/RegressionTests/Combined/StaticError/Duplicates5/Duplicates.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/RegressionTests/Combined/StaticError/Duplicates5/Duplicates.p -------------------------------------------------------------------------------- /Tst/RegressionTests/Combined/StaticError/Duplicates6/Duplicates.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/RegressionTests/Combined/StaticError/Duplicates6/Duplicates.p -------------------------------------------------------------------------------- /Tst/RegressionTests/Combined/StaticError/Duplicates7/Duplicates.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/RegressionTests/Combined/StaticError/Duplicates7/Duplicates.p -------------------------------------------------------------------------------- /Tst/RegressionTests/Combined/StaticError/Duplicates8/Duplicates.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/RegressionTests/Combined/StaticError/Duplicates8/Duplicates.p -------------------------------------------------------------------------------- /Tst/RegressionTests/Combined/StaticError/Duplicates9/Duplicates.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/RegressionTests/Combined/StaticError/Duplicates9/Duplicates.p -------------------------------------------------------------------------------- /Tst/RegressionTests/Combined/StaticError/PopInExitFun/PopInExitFun.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/RegressionTests/Combined/StaticError/PopInExitFun/PopInExitFun.p -------------------------------------------------------------------------------- /Tst/RegressionTests/Feature1SMLevelDecls/Correct/BugRepro/Timer.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/RegressionTests/Feature1SMLevelDecls/Correct/BugRepro/Timer.p -------------------------------------------------------------------------------- /Tst/RegressionTests/Feature1SMLevelDecls/Correct/Monitors/Monitors.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/RegressionTests/Feature1SMLevelDecls/Correct/Monitors/Monitors.p -------------------------------------------------------------------------------- /Tst/RegressionTests/Feature1SMLevelDecls/Correct/ParamTest/ParamTest.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/RegressionTests/Feature1SMLevelDecls/Correct/ParamTest/ParamTest.p -------------------------------------------------------------------------------- /Tst/RegressionTests/Feature1SMLevelDecls/Correct/PingPong/PingPong.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/RegressionTests/Feature1SMLevelDecls/Correct/PingPong/PingPong.p -------------------------------------------------------------------------------- /Tst/RegressionTests/Feature1SMLevelDecls/Correct/bug1/bug1.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/RegressionTests/Feature1SMLevelDecls/Correct/bug1/bug1.p -------------------------------------------------------------------------------- /Tst/RegressionTests/Feature1SMLevelDecls/Correct/bug3/bug3.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/RegressionTests/Feature1SMLevelDecls/Correct/bug3/bug3.p -------------------------------------------------------------------------------- /Tst/RegressionTests/Feature1SMLevelDecls/Correct/bug4/bug4.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/RegressionTests/Feature1SMLevelDecls/Correct/bug4/bug4.p -------------------------------------------------------------------------------- /Tst/RegressionTests/Feature1SMLevelDecls/DynamicError/ParamTest2/ExpectedParametricTests.txt: -------------------------------------------------------------------------------- 1 | TestParam___g1_neg1__g2_3 -------------------------------------------------------------------------------- /Tst/RegressionTests/Feature1SMLevelDecls/DynamicError/bug2/bug2.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/RegressionTests/Feature1SMLevelDecls/DynamicError/bug2/bug2.p -------------------------------------------------------------------------------- /Tst/RegressionTests/Feature1SMLevelDecls/StaticError/LexerError1/LexerError1.p: -------------------------------------------------------------------------------- 1 | type ListUsersPayload = (_: any?); 2 | -------------------------------------------------------------------------------- /Tst/RegressionTests/Feature1SMLevelDecls/StaticError/LexerError2/LexerError2.p: -------------------------------------------------------------------------------- 1 | machine Name@@?@ { 2 | } 3 | -------------------------------------------------------------------------------- /Tst/RegressionTests/Feature2Stmts/Correct/NondetFun/NondetFun.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/RegressionTests/Feature2Stmts/Correct/NondetFun/NondetFun.p -------------------------------------------------------------------------------- /Tst/RegressionTests/Feature2Stmts/Correct/foreach/foreach1.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/RegressionTests/Feature2Stmts/Correct/foreach/foreach1.p -------------------------------------------------------------------------------- /Tst/RegressionTests/Feature2Stmts/Correct/foreach1/foreach1.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/RegressionTests/Feature2Stmts/Correct/foreach1/foreach1.p -------------------------------------------------------------------------------- /Tst/RegressionTests/Feature2Stmts/Correct/foreach2/foreach2.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/RegressionTests/Feature2Stmts/Correct/foreach2/foreach2.p -------------------------------------------------------------------------------- /Tst/RegressionTests/Feature2Stmts/Correct/foreach3/foreach3.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/RegressionTests/Feature2Stmts/Correct/foreach3/foreach3.p -------------------------------------------------------------------------------- /Tst/RegressionTests/Feature2Stmts/Correct/foreach4/foreach4.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/RegressionTests/Feature2Stmts/Correct/foreach4/foreach4.p -------------------------------------------------------------------------------- /Tst/RegressionTests/Feature2Stmts/Correct/goto1/goto1.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/RegressionTests/Feature2Stmts/Correct/goto1/goto1.p -------------------------------------------------------------------------------- /Tst/RegressionTests/Feature2Stmts/Correct/goto2/goto2.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/RegressionTests/Feature2Stmts/Correct/goto2/goto2.p -------------------------------------------------------------------------------- /Tst/RegressionTests/Feature2Stmts/Correct/goto3/goto3.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/RegressionTests/Feature2Stmts/Correct/goto3/goto3.p -------------------------------------------------------------------------------- /Tst/RegressionTests/Feature2Stmts/Correct/goto4/goto4.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/RegressionTests/Feature2Stmts/Correct/goto4/goto4.p -------------------------------------------------------------------------------- /Tst/RegressionTests/Feature2Stmts/Correct/linear2/linear2.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/RegressionTests/Feature2Stmts/Correct/linear2/linear2.p -------------------------------------------------------------------------------- /Tst/RegressionTests/Feature2Stmts/Correct/newMachine1/newMachine1.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/RegressionTests/Feature2Stmts/Correct/newMachine1/newMachine1.p -------------------------------------------------------------------------------- /Tst/RegressionTests/Feature2Stmts/Correct/raise1/raise1.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/RegressionTests/Feature2Stmts/Correct/raise1/raise1.p -------------------------------------------------------------------------------- /Tst/RegressionTests/Feature2Stmts/Correct/raise2/raise2.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/RegressionTests/Feature2Stmts/Correct/raise2/raise2.p -------------------------------------------------------------------------------- /Tst/RegressionTests/Feature2Stmts/Correct/raise3/raise3.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/RegressionTests/Feature2Stmts/Correct/raise3/raise3.p -------------------------------------------------------------------------------- /Tst/RegressionTests/Feature2Stmts/Correct/receive1/receive1.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/RegressionTests/Feature2Stmts/Correct/receive1/receive1.p -------------------------------------------------------------------------------- /Tst/RegressionTests/Feature2Stmts/Correct/receive11/receive11.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/RegressionTests/Feature2Stmts/Correct/receive11/receive11.p -------------------------------------------------------------------------------- /Tst/RegressionTests/Feature2Stmts/Correct/receive111/receive1.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/RegressionTests/Feature2Stmts/Correct/receive111/receive1.p -------------------------------------------------------------------------------- /Tst/RegressionTests/Feature2Stmts/Correct/receive13/receive13.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/RegressionTests/Feature2Stmts/Correct/receive13/receive13.p -------------------------------------------------------------------------------- /Tst/RegressionTests/Feature2Stmts/Correct/receive18/receive18.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/RegressionTests/Feature2Stmts/Correct/receive18/receive18.p -------------------------------------------------------------------------------- /Tst/RegressionTests/Feature2Stmts/Correct/receive19/receive19.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/RegressionTests/Feature2Stmts/Correct/receive19/receive19.p -------------------------------------------------------------------------------- /Tst/RegressionTests/Feature2Stmts/DynamicError/break1/break1.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/RegressionTests/Feature2Stmts/DynamicError/break1/break1.p -------------------------------------------------------------------------------- /Tst/RegressionTests/Feature2Stmts/DynamicError/foreach/foreach1.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/RegressionTests/Feature2Stmts/DynamicError/foreach/foreach1.p -------------------------------------------------------------------------------- /Tst/RegressionTests/Feature2Stmts/DynamicError/foreach2/foreach2.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/RegressionTests/Feature2Stmts/DynamicError/foreach2/foreach2.p -------------------------------------------------------------------------------- /Tst/RegressionTests/Feature2Stmts/DynamicError/foreach3/foreach3.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/RegressionTests/Feature2Stmts/DynamicError/foreach3/foreach3.p -------------------------------------------------------------------------------- /Tst/RegressionTests/Feature2Stmts/DynamicError/foreach4/foreach4.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/RegressionTests/Feature2Stmts/DynamicError/foreach4/foreach4.p -------------------------------------------------------------------------------- /Tst/RegressionTests/Feature2Stmts/DynamicError/goto2/goto2.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/RegressionTests/Feature2Stmts/DynamicError/goto2/goto2.p -------------------------------------------------------------------------------- /Tst/RegressionTests/Feature2Stmts/DynamicError/goto3/goto3.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/RegressionTests/Feature2Stmts/DynamicError/goto3/goto3.p -------------------------------------------------------------------------------- /Tst/RegressionTests/Feature2Stmts/DynamicError/goto4/goto4.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/RegressionTests/Feature2Stmts/DynamicError/goto4/goto4.p -------------------------------------------------------------------------------- /Tst/RegressionTests/Feature2Stmts/DynamicError/raise1/raise1.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/RegressionTests/Feature2Stmts/DynamicError/raise1/raise1.p -------------------------------------------------------------------------------- /Tst/RegressionTests/Feature2Stmts/DynamicError/raise2/raise2.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/RegressionTests/Feature2Stmts/DynamicError/raise2/raise2.p -------------------------------------------------------------------------------- /Tst/RegressionTests/Feature2Stmts/DynamicError/raise3/raise3.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/RegressionTests/Feature2Stmts/DynamicError/raise3/raise3.p -------------------------------------------------------------------------------- /Tst/RegressionTests/Feature2Stmts/DynamicError/receive17/temp.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/RegressionTests/Feature2Stmts/DynamicError/receive17/temp.p -------------------------------------------------------------------------------- /Tst/RegressionTests/Feature2Stmts/DynamicError/receive2/receive2.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/RegressionTests/Feature2Stmts/DynamicError/receive2/receive2.p -------------------------------------------------------------------------------- /Tst/RegressionTests/Feature2Stmts/DynamicError/receive3/receive3.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/RegressionTests/Feature2Stmts/DynamicError/receive3/receive3.p -------------------------------------------------------------------------------- /Tst/RegressionTests/Feature2Stmts/DynamicError/receive4/receive4.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/RegressionTests/Feature2Stmts/DynamicError/receive4/receive4.p -------------------------------------------------------------------------------- /Tst/RegressionTests/Feature2Stmts/DynamicError/receive6/receive6.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/RegressionTests/Feature2Stmts/DynamicError/receive6/receive6.p -------------------------------------------------------------------------------- /Tst/RegressionTests/Feature2Stmts/DynamicError/receive7/receive7.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/RegressionTests/Feature2Stmts/DynamicError/receive7/receive7.p -------------------------------------------------------------------------------- /Tst/RegressionTests/Feature2Stmts/DynamicError/receive8/receive8.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/RegressionTests/Feature2Stmts/DynamicError/receive8/receive8.p -------------------------------------------------------------------------------- /Tst/RegressionTests/Feature2Stmts/DynamicError/receive9/receive9.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/RegressionTests/Feature2Stmts/DynamicError/receive9/receive9.p -------------------------------------------------------------------------------- /Tst/RegressionTests/Feature2Stmts/StaticError/TransactionType/bug.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/RegressionTests/Feature2Stmts/StaticError/TransactionType/bug.p -------------------------------------------------------------------------------- /Tst/RegressionTests/Feature2Stmts/StaticError/entryExit/entryExit.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/RegressionTests/Feature2Stmts/StaticError/entryExit/entryExit.p -------------------------------------------------------------------------------- /Tst/RegressionTests/Feature2Stmts/StaticError/foreach1/foreach1.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/RegressionTests/Feature2Stmts/StaticError/foreach1/foreach1.p -------------------------------------------------------------------------------- /Tst/RegressionTests/Feature2Stmts/StaticError/foreach2/foreach2.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/RegressionTests/Feature2Stmts/StaticError/foreach2/foreach2.p -------------------------------------------------------------------------------- /Tst/RegressionTests/Feature2Stmts/StaticError/foreach3/foreach3.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/RegressionTests/Feature2Stmts/StaticError/foreach3/foreach3.p -------------------------------------------------------------------------------- /Tst/RegressionTests/Feature2Stmts/StaticError/goto1/goto1.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/RegressionTests/Feature2Stmts/StaticError/goto1/goto1.p -------------------------------------------------------------------------------- /Tst/RegressionTests/Feature2Stmts/StaticError/goto2/goto2.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/RegressionTests/Feature2Stmts/StaticError/goto2/goto2.p -------------------------------------------------------------------------------- /Tst/RegressionTests/Feature2Stmts/StaticError/goto3/goto3.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/RegressionTests/Feature2Stmts/StaticError/goto3/goto3.p -------------------------------------------------------------------------------- /Tst/RegressionTests/Feature2Stmts/StaticError/linear/linear.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/RegressionTests/Feature2Stmts/StaticError/linear/linear.p -------------------------------------------------------------------------------- /Tst/RegressionTests/Feature2Stmts/StaticError/linear3/linear3.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/RegressionTests/Feature2Stmts/StaticError/linear3/linear3.p -------------------------------------------------------------------------------- /Tst/RegressionTests/Feature2Stmts/StaticError/linear4/linear4.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/RegressionTests/Feature2Stmts/StaticError/linear4/linear4.p -------------------------------------------------------------------------------- /Tst/RegressionTests/Feature2Stmts/StaticError/lvalues/lvalues.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/RegressionTests/Feature2Stmts/StaticError/lvalues/lvalues.p -------------------------------------------------------------------------------- /Tst/RegressionTests/Feature2Stmts/StaticError/nmdType/nmdType.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/RegressionTests/Feature2Stmts/StaticError/nmdType/nmdType.p -------------------------------------------------------------------------------- /Tst/RegressionTests/Feature2Stmts/StaticError/raise1/raise1.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/RegressionTests/Feature2Stmts/StaticError/raise1/raise1.p -------------------------------------------------------------------------------- /Tst/RegressionTests/Feature2Stmts/StaticError/raise2/raise2.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/RegressionTests/Feature2Stmts/StaticError/raise2/raise2.p -------------------------------------------------------------------------------- /Tst/RegressionTests/Feature2Stmts/StaticError/sends/sends.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/RegressionTests/Feature2Stmts/StaticError/sends/sends.p -------------------------------------------------------------------------------- /Tst/RegressionTests/Feature3Exprs/Correct/ModExpr1/modexpr1.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/RegressionTests/Feature3Exprs/Correct/ModExpr1/modexpr1.p -------------------------------------------------------------------------------- /Tst/RegressionTests/Feature3Exprs/Correct/NestedFun/NestedFun.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/RegressionTests/Feature3Exprs/Correct/NestedFun/NestedFun.p -------------------------------------------------------------------------------- /Tst/RegressionTests/Feature3Exprs/Correct/cast1/cast1.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/RegressionTests/Feature3Exprs/Correct/cast1/cast1.p -------------------------------------------------------------------------------- /Tst/RegressionTests/Feature3Exprs/Correct/cast2/cast2.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/RegressionTests/Feature3Exprs/Correct/cast2/cast2.p -------------------------------------------------------------------------------- /Tst/RegressionTests/Feature3Exprs/Correct/cast3/cast3.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/RegressionTests/Feature3Exprs/Correct/cast3/cast3.p -------------------------------------------------------------------------------- /Tst/RegressionTests/Feature3Exprs/Correct/chooseExpr1/choose1.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/RegressionTests/Feature3Exprs/Correct/chooseExpr1/choose1.p -------------------------------------------------------------------------------- /Tst/RegressionTests/Feature3Exprs/Correct/chooseExpr2/choose2.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/RegressionTests/Feature3Exprs/Correct/chooseExpr2/choose2.p -------------------------------------------------------------------------------- /Tst/RegressionTests/Feature3Exprs/Correct/events1/events1.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/RegressionTests/Feature3Exprs/Correct/events1/events1.p -------------------------------------------------------------------------------- /Tst/RegressionTests/Feature3Exprs/Correct/float1/float1.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/RegressionTests/Feature3Exprs/Correct/float1/float1.p -------------------------------------------------------------------------------- /Tst/RegressionTests/Feature3Exprs/Correct/float2/float2.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/RegressionTests/Feature3Exprs/Correct/float2/float2.p -------------------------------------------------------------------------------- /Tst/RegressionTests/Feature3Exprs/Correct/float3/float3.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/RegressionTests/Feature3Exprs/Correct/float3/float3.p -------------------------------------------------------------------------------- /Tst/RegressionTests/Feature3Exprs/Correct/issue511/issue511.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/RegressionTests/Feature3Exprs/Correct/issue511/issue511.p -------------------------------------------------------------------------------- /Tst/RegressionTests/Feature3Exprs/DynamicError/ModExpr1/modexpr1.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/RegressionTests/Feature3Exprs/DynamicError/ModExpr1/modexpr1.p -------------------------------------------------------------------------------- /Tst/RegressionTests/Feature3Exprs/StaticError/ModExpr1/modexpr1.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/RegressionTests/Feature3Exprs/StaticError/ModExpr1/modexpr1.p -------------------------------------------------------------------------------- /Tst/RegressionTests/Feature3Exprs/StaticError/choose3/choose3.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/RegressionTests/Feature3Exprs/StaticError/choose3/choose3.p -------------------------------------------------------------------------------- /Tst/RegressionTests/Feature3Exprs/StaticError/fields/fields.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/RegressionTests/Feature3Exprs/StaticError/fields/fields.p -------------------------------------------------------------------------------- /Tst/RegressionTests/Feature4DataTypes/Correct/EnumType/enumType.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/RegressionTests/Feature4DataTypes/Correct/EnumType/enumType.p -------------------------------------------------------------------------------- /Tst/RegressionTests/Feature4DataTypes/Correct/SetImpl0/SetImpl0.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/RegressionTests/Feature4DataTypes/Correct/SetImpl0/SetImpl0.p -------------------------------------------------------------------------------- /Tst/RegressionTests/Feature4DataTypes/Correct/SetImpl2/SetImpl2.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/RegressionTests/Feature4DataTypes/Correct/SetImpl2/SetImpl2.p -------------------------------------------------------------------------------- /Tst/RegressionTests/Feature4DataTypes/Correct/SetImpl3/SetImpl3.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/RegressionTests/Feature4DataTypes/Correct/SetImpl3/SetImpl3.p -------------------------------------------------------------------------------- /Tst/RegressionTests/Feature4DataTypes/Correct/enum1/enum1.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/RegressionTests/Feature4DataTypes/Correct/enum1/enum1.p -------------------------------------------------------------------------------- /Tst/RegressionTests/Feature4DataTypes/Correct/enum2/enum2.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/RegressionTests/Feature4DataTypes/Correct/enum2/enum2.p -------------------------------------------------------------------------------- /Tst/RegressionTests/Feature4DataTypes/Correct/enum3/enum3.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/RegressionTests/Feature4DataTypes/Correct/enum3/enum3.p -------------------------------------------------------------------------------- /Tst/RegressionTests/Feature4DataTypes/Correct/enum4/enum4.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/RegressionTests/Feature4DataTypes/Correct/enum4/enum4.p -------------------------------------------------------------------------------- /Tst/RegressionTests/Feature4DataTypes/Correct/float1/float1.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/RegressionTests/Feature4DataTypes/Correct/float1/float1.p -------------------------------------------------------------------------------- /Tst/RegressionTests/Feature4DataTypes/Correct/float4/float4.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/RegressionTests/Feature4DataTypes/Correct/float4/float4.p -------------------------------------------------------------------------------- /Tst/RegressionTests/Feature4DataTypes/Correct/seq1/seq1.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/RegressionTests/Feature4DataTypes/Correct/seq1/seq1.p -------------------------------------------------------------------------------- /Tst/RegressionTests/Feature4DataTypes/Correct/string0/string0.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/RegressionTests/Feature4DataTypes/Correct/string0/string0.p -------------------------------------------------------------------------------- /Tst/RegressionTests/Feature4DataTypes/Correct/typedef/typedef.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/RegressionTests/Feature4DataTypes/Correct/typedef/typedef.p -------------------------------------------------------------------------------- /Tst/RegressionTests/Feature4DataTypes/Correct/typedef2/equality.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/RegressionTests/Feature4DataTypes/Correct/typedef2/equality.p -------------------------------------------------------------------------------- /Tst/RegressionTests/Feature4DataTypes/Correct/typedef3/typedef3.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/RegressionTests/Feature4DataTypes/Correct/typedef3/typedef3.p -------------------------------------------------------------------------------- /Tst/RegressionTests/Feature4DataTypes/DynamicError/enum1/enum1.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/RegressionTests/Feature4DataTypes/DynamicError/enum1/enum1.p -------------------------------------------------------------------------------- /Tst/RegressionTests/Feature4DataTypes/DynamicError/seq1/seq1.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/RegressionTests/Feature4DataTypes/DynamicError/seq1/seq1.p -------------------------------------------------------------------------------- /Tst/RegressionTests/Feature4DataTypes/DynamicError/typedef2/Timer.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/RegressionTests/Feature4DataTypes/DynamicError/typedef2/Timer.p -------------------------------------------------------------------------------- /Tst/RegressionTests/Feature4DataTypes/StaticError/enum1/enum1.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/RegressionTests/Feature4DataTypes/StaticError/enum1/enum1.p -------------------------------------------------------------------------------- /Tst/RegressionTests/Feature4DataTypes/StaticError/float4/float4.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/RegressionTests/Feature4DataTypes/StaticError/float4/float4.p -------------------------------------------------------------------------------- /Tst/RegressionTests/Feature4DataTypes/StaticError/string2/string2.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/RegressionTests/Feature4DataTypes/StaticError/string2/string2.p -------------------------------------------------------------------------------- /Tst/RegressionTests/Feature4DataTypes/StaticError/typedef/typedef.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/RegressionTests/Feature4DataTypes/StaticError/typedef/typedef.p -------------------------------------------------------------------------------- /Tst/RegressionTests/Feature5ModuleSystem/Correct/OSR/Headers.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/RegressionTests/Feature5ModuleSystem/Correct/OSR/Headers.p -------------------------------------------------------------------------------- /Tst/RegressionTests/Feature5ModuleSystem/Correct/OSR/Link.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/RegressionTests/Feature5ModuleSystem/Correct/OSR/Link.p -------------------------------------------------------------------------------- /Tst/RegressionTests/Feature5ModuleSystem/Correct/OSR/OS.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/RegressionTests/Feature5ModuleSystem/Correct/OSR/OS.p -------------------------------------------------------------------------------- /Tst/RegressionTests/Feature5ModuleSystem/Correct/OSR/OSRDriver.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/RegressionTests/Feature5ModuleSystem/Correct/OSR/OSRDriver.p -------------------------------------------------------------------------------- /Tst/RegressionTests/Feature5ModuleSystem/Correct/OSR/User.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/RegressionTests/Feature5ModuleSystem/Correct/OSR/User.p -------------------------------------------------------------------------------- /Tst/RegressionTests/Feature5ModuleSystem/DynamicError/comingsoon.txt: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /Tst/RegressionTests/Feature5ModuleSystem/StaticError/comingsoon.txt: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /Tst/RegressionTests/Integration/Correct/BoundedAsync/boundedasync.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/RegressionTests/Integration/Correct/BoundedAsync/boundedasync.p -------------------------------------------------------------------------------- /Tst/RegressionTests/Integration/Correct/German/German.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/RegressionTests/Integration/Correct/German/German.p -------------------------------------------------------------------------------- /Tst/RegressionTests/Integration/Correct/PingPong/PingPong.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/RegressionTests/Integration/Correct/PingPong/PingPong.p -------------------------------------------------------------------------------- /Tst/RegressionTests/Integration/Correct/TestMapSet/TestMapSet.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/RegressionTests/Integration/Correct/TestMapSet/TestMapSet.p -------------------------------------------------------------------------------- /Tst/RegressionTests/Integration/Correct/TokenRing/TokenRing.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/RegressionTests/Integration/Correct/TokenRing/TokenRing.p -------------------------------------------------------------------------------- /Tst/RegressionTests/Integration/Correct/openwsn1/openwsn1.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/RegressionTests/Integration/Correct/openwsn1/openwsn1.p -------------------------------------------------------------------------------- /Tst/RegressionTests/Integration/Correct/pingPongExp/pingPongExp.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/RegressionTests/Integration/Correct/pingPongExp/pingPongExp.p -------------------------------------------------------------------------------- /Tst/RegressionTests/Integration/Correct/pingPongNew/pingPongNew.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/RegressionTests/Integration/Correct/pingPongNew/pingPongNew.p -------------------------------------------------------------------------------- /Tst/RegressionTests/Integration/Correct/pingPongOld/pingPongOld.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/RegressionTests/Integration/Correct/pingPongOld/pingPongOld.p -------------------------------------------------------------------------------- /Tst/RegressionTests/Integration/DynamicError/Actions_1/Actions_1.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/RegressionTests/Integration/DynamicError/Actions_1/Actions_1.p -------------------------------------------------------------------------------- /Tst/RegressionTests/Integration/DynamicError/Actions_3/Actions_3.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/RegressionTests/Integration/DynamicError/Actions_3/Actions_3.p -------------------------------------------------------------------------------- /Tst/RegressionTests/Integration/DynamicError/Actions_5/Actions_5.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/RegressionTests/Integration/DynamicError/Actions_5/Actions_5.p -------------------------------------------------------------------------------- /Tst/RegressionTests/Integration/DynamicError/Actions_6/Actions_6.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/RegressionTests/Integration/DynamicError/Actions_6/Actions_6.p -------------------------------------------------------------------------------- /Tst/RegressionTests/Liveness/Correct/Liveness_1/Liveness_1.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/RegressionTests/Liveness/Correct/Liveness_1/Liveness_1.p -------------------------------------------------------------------------------- /Tst/RegressionTests/Liveness/DynamicError/InfiniteLoopInAtomicBlock/Prt_disabled/README.txt: -------------------------------------------------------------------------------- 1 | Non-terminating program (infinite loop) -------------------------------------------------------------------------------- /Tst/RegressionTests/Liveness/DynamicError/Liveness_10/Liveness_10.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/RegressionTests/Liveness/DynamicError/Liveness_10/Liveness_10.p -------------------------------------------------------------------------------- /Tst/RegressionTests/Liveness/DynamicError/Liveness_2/Liveness_2.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/RegressionTests/Liveness/DynamicError/Liveness_2/Liveness_2.p -------------------------------------------------------------------------------- /Tst/RegressionTests/Liveness/DynamicError/Liveness_2_LoopMachineAdded/Prt_disabled/README.txt: -------------------------------------------------------------------------------- 1 | non-terminating -------------------------------------------------------------------------------- /Tst/RegressionTests/Liveness/DynamicError/Liveness_3/Liveness_3.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/RegressionTests/Liveness/DynamicError/Liveness_3/Liveness_3.p -------------------------------------------------------------------------------- /Tst/RegressionTests/Liveness/DynamicError/Liveness_3/Prt_disabled/README.txt: -------------------------------------------------------------------------------- 1 | Non-terminating program -------------------------------------------------------------------------------- /Tst/RegressionTests/Liveness/DynamicError/Liveness_4/Liveness_4.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/RegressionTests/Liveness/DynamicError/Liveness_4/Liveness_4.p -------------------------------------------------------------------------------- /Tst/RegressionTests/Liveness/DynamicError/Liveness_4/Prt_disabled/README.txt: -------------------------------------------------------------------------------- 1 | Non-terminating program -------------------------------------------------------------------------------- /Tst/RegressionTests/Liveness/DynamicError/Liveness_5/Server.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/RegressionTests/Liveness/DynamicError/Liveness_5/Server.p -------------------------------------------------------------------------------- /Tst/RegressionTests/Liveness/DynamicError/Liveness_6/Server1.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/RegressionTests/Liveness/DynamicError/Liveness_6/Server1.p -------------------------------------------------------------------------------- /Tst/RegressionTests/Liveness/DynamicError/Liveness_7/Liveness_4.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/RegressionTests/Liveness/DynamicError/Liveness_7/Liveness_4.p -------------------------------------------------------------------------------- /Tst/RegressionTests/Liveness/DynamicError/Liveness_7/Prt_disabled/README.txt: -------------------------------------------------------------------------------- 1 | Non-terminating program -------------------------------------------------------------------------------- /Tst/RegressionTests/Liveness/DynamicError/Liveness_9/Liveness_9.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/RegressionTests/Liveness/DynamicError/Liveness_9/Liveness_9.p -------------------------------------------------------------------------------- /Tst/TestPCompiler/choose1.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/TestPCompiler/choose1.p -------------------------------------------------------------------------------- /Tst/TestParamTester/.gitignore: -------------------------------------------------------------------------------- 1 | *.out 2 | *.err 3 | portfolio/ 4 | Test.cs 5 | pom.xml 6 | *.csproj 7 | PCheckerOutput/ 8 | -------------------------------------------------------------------------------- /Tst/TestParamTester/1_ClientServer/.gitignore: -------------------------------------------------------------------------------- 1 | *.out 2 | *.err 3 | portfolio/ 4 | Test.cs 5 | pom.xml 6 | *.csproj 7 | PCheckerOutput/ 8 | -------------------------------------------------------------------------------- /Tst/TestParamTester/1_ClientServer/ClientServer.pproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/TestParamTester/1_ClientServer/ClientServer.pproj -------------------------------------------------------------------------------- /Tst/TestParamTester/1_ClientServer/PSpec/BankBalanceCorrect.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/TestParamTester/1_ClientServer/PSpec/BankBalanceCorrect.p -------------------------------------------------------------------------------- /Tst/TestParamTester/1_ClientServer/PSrc/AbstractBankServer.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/TestParamTester/1_ClientServer/PSrc/AbstractBankServer.p -------------------------------------------------------------------------------- /Tst/TestParamTester/1_ClientServer/PSrc/Client.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/TestParamTester/1_ClientServer/PSrc/Client.p -------------------------------------------------------------------------------- /Tst/TestParamTester/1_ClientServer/PSrc/ClientServerModules.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/TestParamTester/1_ClientServer/PSrc/ClientServerModules.p -------------------------------------------------------------------------------- /Tst/TestParamTester/1_ClientServer/PSrc/Server.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/TestParamTester/1_ClientServer/PSrc/Server.p -------------------------------------------------------------------------------- /Tst/TestParamTester/1_ClientServer/PTst/TestDriver.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/TestParamTester/1_ClientServer/PTst/TestDriver.p -------------------------------------------------------------------------------- /Tst/TestParamTester/1_ClientServer/PTst/Testscript.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/TestParamTester/1_ClientServer/PTst/Testscript.p -------------------------------------------------------------------------------- /Tst/TestParamTester/1_ClientServer/fix.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/TestParamTester/1_ClientServer/fix.sh -------------------------------------------------------------------------------- /Tst/TestParamTester/Timer/PSrc/Timer.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/TestParamTester/Timer/PSrc/Timer.p -------------------------------------------------------------------------------- /Tst/TestParamTester/Timer/PSrc/TimerModules.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/TestParamTester/Timer/PSrc/TimerModules.p -------------------------------------------------------------------------------- /Tst/TestParamTester/Timer/Timer.pproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/TestParamTester/Timer/Timer.pproj -------------------------------------------------------------------------------- /Tst/UnitTests/CSharpBackendTests.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/UnitTests/CSharpBackendTests.cs -------------------------------------------------------------------------------- /Tst/UnitTests/CSharpValuesTest.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/UnitTests/CSharpValuesTest.cs -------------------------------------------------------------------------------- /Tst/UnitTests/Core/CompilerTestCase.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/UnitTests/Core/CompilerTestCase.cs -------------------------------------------------------------------------------- /Tst/UnitTests/Core/CompilerTestException.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/UnitTests/Core/CompilerTestException.cs -------------------------------------------------------------------------------- /Tst/UnitTests/Core/Constants.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/UnitTests/Core/Constants.cs -------------------------------------------------------------------------------- /Tst/UnitTests/Core/ICompilerTestRunner.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/UnitTests/Core/ICompilerTestRunner.cs -------------------------------------------------------------------------------- /Tst/UnitTests/Core/ITestResultsValidator.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/UnitTests/Core/ITestResultsValidator.cs -------------------------------------------------------------------------------- /Tst/UnitTests/Core/ProcessHelper.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/UnitTests/Core/ProcessHelper.cs -------------------------------------------------------------------------------- /Tst/UnitTests/Core/TestCaseError.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/UnitTests/Core/TestCaseError.cs -------------------------------------------------------------------------------- /Tst/UnitTests/Core/TestCaseFactory.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/UnitTests/Core/TestCaseFactory.cs -------------------------------------------------------------------------------- /Tst/UnitTests/Core/TestCaseLoader.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/UnitTests/Core/TestCaseLoader.cs -------------------------------------------------------------------------------- /Tst/UnitTests/Core/TestExecutionStream.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/UnitTests/Core/TestExecutionStream.cs -------------------------------------------------------------------------------- /Tst/UnitTests/PCheckerLogGeneratorTests.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/UnitTests/PCheckerLogGeneratorTests.cs -------------------------------------------------------------------------------- /Tst/UnitTests/RegressionTests.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/UnitTests/RegressionTests.cs -------------------------------------------------------------------------------- /Tst/UnitTests/Runners/CompileOnlyRunner.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/UnitTests/Runners/CompileOnlyRunner.cs -------------------------------------------------------------------------------- /Tst/UnitTests/Runners/PCheckerRunner.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/UnitTests/Runners/PCheckerRunner.cs -------------------------------------------------------------------------------- /Tst/UnitTests/Runners/PrtRunner.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/UnitTests/Runners/PrtRunner.cs -------------------------------------------------------------------------------- /Tst/UnitTests/SamplesTests.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/UnitTests/SamplesTests.cs -------------------------------------------------------------------------------- /Tst/UnitTests/TestAssertions.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/UnitTests/TestAssertions.cs -------------------------------------------------------------------------------- /Tst/UnitTests/TypeChecker/ParamAssignmentTest.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/UnitTests/TypeChecker/ParamAssignmentTest.cs -------------------------------------------------------------------------------- /Tst/UnitTests/TypeCheckingUtilsTest.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/UnitTests/TypeCheckingUtilsTest.cs -------------------------------------------------------------------------------- /Tst/UnitTests/UnitTests.csproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/UnitTests/UnitTests.csproj -------------------------------------------------------------------------------- /Tst/UnitTests/UnitTests.sln: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/UnitTests/UnitTests.sln -------------------------------------------------------------------------------- /Tst/UnitTests/Validators/CompileSuccessValidator.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/UnitTests/Validators/CompileSuccessValidator.cs -------------------------------------------------------------------------------- /Tst/UnitTests/Validators/ExecutionOutputValidator.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/UnitTests/Validators/ExecutionOutputValidator.cs -------------------------------------------------------------------------------- /Tst/UnitTests/Validators/StaticErrorValidator.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tst/UnitTests/Validators/StaticErrorValidator.cs -------------------------------------------------------------------------------- /Tutorial/1_ClientServer/.gitignore: -------------------------------------------------------------------------------- 1 | *.out 2 | *.err 3 | portfolio/ 4 | Test.cs 5 | pom.xml 6 | *.csproj 7 | PCheckerOutput/ 8 | -------------------------------------------------------------------------------- /Tutorial/1_ClientServer/ClientServer.pproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tutorial/1_ClientServer/ClientServer.pproj -------------------------------------------------------------------------------- /Tutorial/1_ClientServer/PSpec/BankBalanceCorrect.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tutorial/1_ClientServer/PSpec/BankBalanceCorrect.p -------------------------------------------------------------------------------- /Tutorial/1_ClientServer/PSrc/AbstractBankServer.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tutorial/1_ClientServer/PSrc/AbstractBankServer.p -------------------------------------------------------------------------------- /Tutorial/1_ClientServer/PSrc/Client.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tutorial/1_ClientServer/PSrc/Client.p -------------------------------------------------------------------------------- /Tutorial/1_ClientServer/PSrc/ClientServerModules.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tutorial/1_ClientServer/PSrc/ClientServerModules.p -------------------------------------------------------------------------------- /Tutorial/1_ClientServer/PSrc/Server.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tutorial/1_ClientServer/PSrc/Server.p -------------------------------------------------------------------------------- /Tutorial/1_ClientServer/PTst/TestDriver.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tutorial/1_ClientServer/PTst/TestDriver.p -------------------------------------------------------------------------------- /Tutorial/1_ClientServer/PTst/Testscript.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tutorial/1_ClientServer/PTst/Testscript.p -------------------------------------------------------------------------------- /Tutorial/1_ClientServer/portfolio-config.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tutorial/1_ClientServer/portfolio-config.json -------------------------------------------------------------------------------- /Tutorial/2_TwoPhaseCommit/.gitignore: -------------------------------------------------------------------------------- 1 | *.out 2 | *.err 3 | portfolio/ 4 | Test.cs 5 | pom.xml 6 | *.csproj 7 | PCheckerOutput/ 8 | -------------------------------------------------------------------------------- /Tutorial/2_TwoPhaseCommit/PForeign/PExForeignCode.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tutorial/2_TwoPhaseCommit/PForeign/PExForeignCode.java -------------------------------------------------------------------------------- /Tutorial/2_TwoPhaseCommit/PSpec/Atomicity.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tutorial/2_TwoPhaseCommit/PSpec/Atomicity.p -------------------------------------------------------------------------------- /Tutorial/2_TwoPhaseCommit/PSrc/Coordinator.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tutorial/2_TwoPhaseCommit/PSrc/Coordinator.p -------------------------------------------------------------------------------- /Tutorial/2_TwoPhaseCommit/PSrc/Participant.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tutorial/2_TwoPhaseCommit/PSrc/Participant.p -------------------------------------------------------------------------------- /Tutorial/2_TwoPhaseCommit/PSrc/TwoPhaseCommitModules.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tutorial/2_TwoPhaseCommit/PSrc/TwoPhaseCommitModules.p -------------------------------------------------------------------------------- /Tutorial/2_TwoPhaseCommit/PTst/Client.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tutorial/2_TwoPhaseCommit/PTst/Client.p -------------------------------------------------------------------------------- /Tutorial/2_TwoPhaseCommit/PTst/TestDriver.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tutorial/2_TwoPhaseCommit/PTst/TestDriver.p -------------------------------------------------------------------------------- /Tutorial/2_TwoPhaseCommit/PTst/TestScripts.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tutorial/2_TwoPhaseCommit/PTst/TestScripts.p -------------------------------------------------------------------------------- /Tutorial/2_TwoPhaseCommit/TwoPhaseCommit.pproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tutorial/2_TwoPhaseCommit/TwoPhaseCommit.pproj -------------------------------------------------------------------------------- /Tutorial/3_EspressoMachine/.gitignore: -------------------------------------------------------------------------------- 1 | *.out 2 | *.err 3 | portfolio/ 4 | Test.cs 5 | pom.xml 6 | *.csproj 7 | PCheckerOutput/ 8 | -------------------------------------------------------------------------------- /Tutorial/3_EspressoMachine/EspressoMachine.pproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tutorial/3_EspressoMachine/EspressoMachine.pproj -------------------------------------------------------------------------------- /Tutorial/3_EspressoMachine/PSpec/Safety.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tutorial/3_EspressoMachine/PSpec/Safety.p -------------------------------------------------------------------------------- /Tutorial/3_EspressoMachine/PSrc/CoffeeMaker.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tutorial/3_EspressoMachine/PSrc/CoffeeMaker.p -------------------------------------------------------------------------------- /Tutorial/3_EspressoMachine/PSrc/CoffeeMakerControlPanel.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tutorial/3_EspressoMachine/PSrc/CoffeeMakerControlPanel.p -------------------------------------------------------------------------------- /Tutorial/3_EspressoMachine/PSrc/EspressoMachineModules.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tutorial/3_EspressoMachine/PSrc/EspressoMachineModules.p -------------------------------------------------------------------------------- /Tutorial/3_EspressoMachine/PTst/TestDrivers.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tutorial/3_EspressoMachine/PTst/TestDrivers.p -------------------------------------------------------------------------------- /Tutorial/3_EspressoMachine/PTst/TestScripts.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tutorial/3_EspressoMachine/PTst/TestScripts.p -------------------------------------------------------------------------------- /Tutorial/3_EspressoMachine/PTst/Users.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tutorial/3_EspressoMachine/PTst/Users.p -------------------------------------------------------------------------------- /Tutorial/4_FailureDetector/.gitignore: -------------------------------------------------------------------------------- 1 | *.out 2 | *.err 3 | portfolio/ 4 | Test.cs 5 | pom.xml 6 | *.csproj 7 | PCheckerOutput/ 8 | -------------------------------------------------------------------------------- /Tutorial/4_FailureDetector/FailureDetector.pproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tutorial/4_FailureDetector/FailureDetector.pproj -------------------------------------------------------------------------------- /Tutorial/4_FailureDetector/PSpec/ReliableFailureDetector.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tutorial/4_FailureDetector/PSpec/ReliableFailureDetector.p -------------------------------------------------------------------------------- /Tutorial/4_FailureDetector/PSrc/Client.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tutorial/4_FailureDetector/PSrc/Client.p -------------------------------------------------------------------------------- /Tutorial/4_FailureDetector/PSrc/FailureDetector.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tutorial/4_FailureDetector/PSrc/FailureDetector.p -------------------------------------------------------------------------------- /Tutorial/4_FailureDetector/PSrc/FailureDetectorModules.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tutorial/4_FailureDetector/PSrc/FailureDetectorModules.p -------------------------------------------------------------------------------- /Tutorial/4_FailureDetector/PSrc/Node.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tutorial/4_FailureDetector/PSrc/Node.p -------------------------------------------------------------------------------- /Tutorial/4_FailureDetector/PTst/TestDriver.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tutorial/4_FailureDetector/PTst/TestDriver.p -------------------------------------------------------------------------------- /Tutorial/4_FailureDetector/PTst/TestScript.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tutorial/4_FailureDetector/PTst/TestScript.p -------------------------------------------------------------------------------- /Tutorial/5_Paxos/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tutorial/5_Paxos/.gitignore -------------------------------------------------------------------------------- /Tutorial/5_Paxos/PSpec/._spec.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tutorial/5_Paxos/PSpec/._spec.p -------------------------------------------------------------------------------- /Tutorial/5_Paxos/PSpec/common.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tutorial/5_Paxos/PSpec/common.p -------------------------------------------------------------------------------- /Tutorial/5_Paxos/PSpec/spec.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tutorial/5_Paxos/PSpec/spec.p -------------------------------------------------------------------------------- /Tutorial/5_Paxos/PSrc/acceptor.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tutorial/5_Paxos/PSrc/acceptor.p -------------------------------------------------------------------------------- /Tutorial/5_Paxos/PSrc/learner.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tutorial/5_Paxos/PSrc/learner.p -------------------------------------------------------------------------------- /Tutorial/5_Paxos/PSrc/proposer.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tutorial/5_Paxos/PSrc/proposer.p -------------------------------------------------------------------------------- /Tutorial/5_Paxos/PTst/test.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tutorial/5_Paxos/PTst/test.p -------------------------------------------------------------------------------- /Tutorial/5_Paxos/SingleDecreePaxos.pproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tutorial/5_Paxos/SingleDecreePaxos.pproj -------------------------------------------------------------------------------- /Tutorial/6_Raft/.gitignore: -------------------------------------------------------------------------------- 1 | **/PGenerated 2 | **/PCheckerOutput 3 | -------------------------------------------------------------------------------- /Tutorial/6_Raft/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tutorial/6_Raft/LICENSE -------------------------------------------------------------------------------- /Tutorial/6_Raft/PSpec/LivenessClientsDone.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tutorial/6_Raft/PSpec/LivenessClientsDone.p -------------------------------------------------------------------------------- /Tutorial/6_Raft/PSpec/LivenessProgress.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tutorial/6_Raft/PSpec/LivenessProgress.p -------------------------------------------------------------------------------- /Tutorial/6_Raft/PSpec/SafetyLeaderCompleteness.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tutorial/6_Raft/PSpec/SafetyLeaderCompleteness.p -------------------------------------------------------------------------------- /Tutorial/6_Raft/PSpec/SafetyLogMatching.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tutorial/6_Raft/PSpec/SafetyLogMatching.p -------------------------------------------------------------------------------- /Tutorial/6_Raft/PSpec/SafetyOneLeader.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tutorial/6_Raft/PSpec/SafetyOneLeader.p -------------------------------------------------------------------------------- /Tutorial/6_Raft/PSpec/SafetyStateMachine.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tutorial/6_Raft/PSpec/SafetyStateMachine.p -------------------------------------------------------------------------------- /Tutorial/6_Raft/PSpec/SafetySynchronization.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tutorial/6_Raft/PSpec/SafetySynchronization.p -------------------------------------------------------------------------------- /Tutorial/6_Raft/PSrc/Application.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tutorial/6_Raft/PSrc/Application.p -------------------------------------------------------------------------------- /Tutorial/6_Raft/PSrc/Client.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tutorial/6_Raft/PSrc/Client.p -------------------------------------------------------------------------------- /Tutorial/6_Raft/PSrc/RaftModules.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tutorial/6_Raft/PSrc/RaftModules.p -------------------------------------------------------------------------------- /Tutorial/6_Raft/PSrc/Server.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tutorial/6_Raft/PSrc/Server.p -------------------------------------------------------------------------------- /Tutorial/6_Raft/PSrc/Timer.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tutorial/6_Raft/PSrc/Timer.p -------------------------------------------------------------------------------- /Tutorial/6_Raft/PSrc/Utils.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tutorial/6_Raft/PSrc/Utils.p -------------------------------------------------------------------------------- /Tutorial/6_Raft/PSrc/View.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tutorial/6_Raft/PSrc/View.p -------------------------------------------------------------------------------- /Tutorial/6_Raft/PTst/RaftTests.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tutorial/6_Raft/PTst/RaftTests.p -------------------------------------------------------------------------------- /Tutorial/6_Raft/PTst/Testscript.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tutorial/6_Raft/PTst/Testscript.p -------------------------------------------------------------------------------- /Tutorial/6_Raft/Raft.pproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tutorial/6_Raft/Raft.pproj -------------------------------------------------------------------------------- /Tutorial/Advanced/1_ChainReplicationVerification/.gitignore: -------------------------------------------------------------------------------- 1 | *.out 2 | *.err 3 | portfolio/ 4 | Test.cs 5 | pom.xml 6 | *.csproj 7 | PCheckerOutput/ 8 | -------------------------------------------------------------------------------- /Tutorial/Advanced/1_ChainReplicationVerification/PSrc/System.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tutorial/Advanced/1_ChainReplicationVerification/PSrc/System.p -------------------------------------------------------------------------------- /Tutorial/Advanced/2_TwoPhaseCommitVerification/.gitignore: -------------------------------------------------------------------------------- 1 | *.out 2 | *.err 3 | portfolio/ 4 | Test.cs 5 | pom.xml 6 | *.csproj 7 | PCheckerOutput/ 8 | -------------------------------------------------------------------------------- /Tutorial/Advanced/2_TwoPhaseCommitVerification/Rounds/PSrc/System.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tutorial/Advanced/2_TwoPhaseCommitVerification/Rounds/PSrc/System.p -------------------------------------------------------------------------------- /Tutorial/Advanced/2_TwoPhaseCommitVerification/Single/PSrc/System.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tutorial/Advanced/2_TwoPhaseCommitVerification/Single/PSrc/System.p -------------------------------------------------------------------------------- /Tutorial/Advanced/3_RingLeaderVerification/.gitignore: -------------------------------------------------------------------------------- 1 | *.out 2 | *.err 3 | portfolio/ 4 | Test.cs 5 | pom.xml 6 | *.csproj 7 | PCheckerOutput/ 8 | -------------------------------------------------------------------------------- /Tutorial/Advanced/3_RingLeaderVerification/PSrc/System.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tutorial/Advanced/3_RingLeaderVerification/PSrc/System.p -------------------------------------------------------------------------------- /Tutorial/Advanced/4_Paxos/PSrc/System.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tutorial/Advanced/4_Paxos/PSrc/System.p -------------------------------------------------------------------------------- /Tutorial/Advanced/4_Paxos/PVerifiedPaxos.pproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tutorial/Advanced/4_Paxos/PVerifiedPaxos.pproj -------------------------------------------------------------------------------- /Tutorial/Advanced/5_Consensus/Consensus.pproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tutorial/Advanced/5_Consensus/Consensus.pproj -------------------------------------------------------------------------------- /Tutorial/Advanced/5_Consensus/PSrc/System.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tutorial/Advanced/5_Consensus/PSrc/System.p -------------------------------------------------------------------------------- /Tutorial/Advanced/6_DistributedLock/DistributedLock.pproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tutorial/Advanced/6_DistributedLock/DistributedLock.pproj -------------------------------------------------------------------------------- /Tutorial/Advanced/6_DistributedLock/PSrc/System.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tutorial/Advanced/6_DistributedLock/PSrc/System.p -------------------------------------------------------------------------------- /Tutorial/Advanced/7_ShardedKV/PSrc/System.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tutorial/Advanced/7_ShardedKV/PSrc/System.p -------------------------------------------------------------------------------- /Tutorial/Advanced/7_ShardedKV/ShardedKV.pproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tutorial/Advanced/7_ShardedKV/ShardedKV.pproj -------------------------------------------------------------------------------- /Tutorial/Advanced/8_LockServer/LockServer.pproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tutorial/Advanced/8_LockServer/LockServer.pproj -------------------------------------------------------------------------------- /Tutorial/Advanced/8_LockServer/PSrc/System.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tutorial/Advanced/8_LockServer/PSrc/System.p -------------------------------------------------------------------------------- /Tutorial/Common/.gitignore: -------------------------------------------------------------------------------- 1 | *.out 2 | *.err 3 | portfolio/ 4 | Test.cs 5 | pom.xml 6 | *.csproj 7 | PCheckerOutput/ 8 | -------------------------------------------------------------------------------- /Tutorial/Common/FailureInjector/FailureInjector.pproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tutorial/Common/FailureInjector/FailureInjector.pproj -------------------------------------------------------------------------------- /Tutorial/Common/FailureInjector/PSrc/FailureInjector.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tutorial/Common/FailureInjector/PSrc/FailureInjector.p -------------------------------------------------------------------------------- /Tutorial/Common/FailureInjector/PSrc/NetworkFunctions.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tutorial/Common/FailureInjector/PSrc/NetworkFunctions.p -------------------------------------------------------------------------------- /Tutorial/Common/SharedMemory/PSrc/LBSharedObject.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tutorial/Common/SharedMemory/PSrc/LBSharedObject.p -------------------------------------------------------------------------------- /Tutorial/Common/SharedMemory/PSrc/RWLBSharedObject.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tutorial/Common/SharedMemory/PSrc/RWLBSharedObject.p -------------------------------------------------------------------------------- /Tutorial/Common/SharedMemory/PTst/TestLBSharedObject.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tutorial/Common/SharedMemory/PTst/TestLBSharedObject.p -------------------------------------------------------------------------------- /Tutorial/Common/SharedMemory/PTst/TestRWLBSharedObject.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tutorial/Common/SharedMemory/PTst/TestRWLBSharedObject.p -------------------------------------------------------------------------------- /Tutorial/Common/SharedMemory/SharedMemory.pproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tutorial/Common/SharedMemory/SharedMemory.pproj -------------------------------------------------------------------------------- /Tutorial/Common/Timer/PSrc/Timer.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tutorial/Common/Timer/PSrc/Timer.p -------------------------------------------------------------------------------- /Tutorial/Common/Timer/PSrc/TimerModules.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tutorial/Common/Timer/PSrc/TimerModules.p -------------------------------------------------------------------------------- /Tutorial/Common/Timer/Timer.pproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tutorial/Common/Timer/Timer.pproj -------------------------------------------------------------------------------- /Tutorial/PriorityQueue/.gitignore: -------------------------------------------------------------------------------- 1 | *.out 2 | *.err 3 | portfolio/ 4 | Test.cs 5 | pom.xml 6 | *.csproj 7 | PCheckerOutput/ 8 | -------------------------------------------------------------------------------- /Tutorial/PriorityQueue/PForeign/ClientFunctions.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tutorial/PriorityQueue/PForeign/ClientFunctions.cs -------------------------------------------------------------------------------- /Tutorial/PriorityQueue/PForeign/PriorityQueue.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tutorial/PriorityQueue/PForeign/PriorityQueue.cs -------------------------------------------------------------------------------- /Tutorial/PriorityQueue/PForeign/PriorityQueueFunctions.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tutorial/PriorityQueue/PForeign/PriorityQueueFunctions.cs -------------------------------------------------------------------------------- /Tutorial/PriorityQueue/PSrc/PriorityQueue.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tutorial/PriorityQueue/PSrc/PriorityQueue.p -------------------------------------------------------------------------------- /Tutorial/PriorityQueue/PTst/Client.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tutorial/PriorityQueue/PTst/Client.p -------------------------------------------------------------------------------- /Tutorial/PriorityQueue/PTst/TestScripts.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tutorial/PriorityQueue/PTst/TestScripts.p -------------------------------------------------------------------------------- /Tutorial/PriorityQueue/PriorityQueue.pproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/p-org/P/HEAD/Tutorial/PriorityQueue/PriorityQueue.pproj --------------------------------------------------------------------------------