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

Issues: p-org/PSharp

43 Open 152 Closed
43 Open 152 Closed
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
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

No benchmarks or comparison to other
#478 opened Jan 17, 2020 by voltcode
1
Bug in Coverage Reporter
#471 opened Oct 22, 2019 by ankushdesai
2
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
Building PSharp-as-language samples fails on macOS
#413 opened Mar 7, 2019 by fniksic
6
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
@akashlal
1
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
@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
OnEventHandledAsync not called for ignored events
#364 opened Sep 19, 2018 by akashlal
1
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
1
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
1
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! Add no:assignee to see everything that’s not assigned.