Skip to content
This repository has been archived by the owner on Aug 26, 2022. It is now read-only.

Issues: p-org/PSharp

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort

Issues list

Bug in Coverage Reporter
#471 opened Oct 22, 2019 by ankushdesai
PSharpSyntax for async handlers
#454 opened Aug 12, 2019 by akashlal
Model CancellationToken controlled-testing Feature related to controlled testing usability Issue or update regarding usability
#437 opened Jun 14, 2019 by akashlal
Attributes and syntax extensions for the built-in timers compiler Feature related to the compiler language-design Feature related to the language design usability Issue or update regarding usability
#420 opened Mar 22, 2019 by pdeligia
Setup liveness heuristics inside the BugFindingEngine controlled-testing Feature related to controlled testing usability Issue or update regarding usability
#416 opened Mar 13, 2019 by pdeligia
FairRandom API on the runtime
#409 opened Feb 26, 2019 by akashlal
Syntax shorthands
#405 opened Feb 18, 2019 by akashlal
Graceful failure
#400 opened Jan 24, 2019 by akashlal
Async OnException
#397 opened Dec 17, 2018 by akashlal
Assume treated as assert bug Something isn't working
#396 opened Nov 23, 2018 by akashlal
code coverage for psharp files usability Issue or update regarding usability
#389 opened Nov 14, 2018 by akashlal
Loading settings from the .config file
#388 opened Nov 13, 2018 by akashlal
Document P# coding patterns to avoid documentation New or updated documentation
#387 opened Nov 11, 2018 by pdeligia
Machine instantiation fials when it has an Initialize method bug Something isn't working
#375 opened Oct 2, 2018 by akashlal
PSharpSyntaxRewriter crashes when jump has no arguments bug Something isn't working
#374 opened Oct 2, 2018 by akashlal
Detect if user code catches P# exceptions tools Request or feature related to the tools
#372 opened Sep 23, 2018 by akashlal
Load assemblies with nuget package dependencies in the PSharpTester bug Something isn't working tools Request or feature related to the tools
#348 opened Sep 5, 2018 by pdeligia
Support compiler/language services in .NET Core builds compiler Feature related to the compiler tools Request or feature related to the tools
#346 opened Aug 24, 2018 by pdeligia
Support parallel/portfolio testing in .NET Core builds controlled-testing Feature related to controlled testing tools Request or feature related to the tools
#345 opened Aug 24, 2018 by pdeligia
Randomness in StateMachineRuntime
#299 opened Apr 17, 2018 by akashlal
Support Cancelleation in PSharpTester
#281 opened Jan 20, 2018 by akashlal
Detecting non-determinism in tests usability Issue or update regarding usability
#253 opened Sep 1, 2017 by akashlal
ProTip! Updated in the last three days: updated:>2024-12-20.