X Tutup
The Wayback Machine - https://web.archive.org/web/20200816042806/https://github.com/p-org/PSharp/issues
Skip to content

/ PSharp

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

43 Open 152 Closed
43 Open 152 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels.
Projects
Filter by project
Milestones
Filter by milestone
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀
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 usability
#437 opened Jun 14, 2019 by akashlal
Attributes and syntax extensions for the built-in timers compiler language-design usability
#420 opened Mar 22, 2019 by pdeligia
Setup liveness heuristics inside the BugFindingEngine controlled-testing 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
#396 opened Nov 23, 2018 by akashlal
code coverage for psharp files 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
#387 opened Nov 11, 2018 by pdeligia
Machine instantiation fials when it has an Initialize method bug
#375 opened Oct 2, 2018 by akashlal
@akashlal
PSharpSyntaxRewriter crashes when jump has no arguments bug
#374 opened Oct 2, 2018 by akashlal
Detect if user code catches P# exceptions 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 tools
#348 opened Sep 5, 2018 by pdeligia
1
Support compiler/language services in .NET Core builds compiler tools
#346 opened Aug 24, 2018 by pdeligia
Support parallel/portfolio testing in .NET Core builds controlled-testing 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
#253 opened Sep 1, 2017 by akashlal
ProTip! no:milestone will show everything without a milestone.
You can’t perform that action at this time.
X Tutup