This repository has been archived by the owner on Aug 26, 2022. It is now read-only.
-
Notifications
You must be signed in to change notification settings - Fork 37
Issues: p-org/PSharp
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
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
code coverage for psharp files
usability
Issue or update regarding usability
#389
opened Nov 14, 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
Detecting non-determinism in tests
usability
Issue or update regarding usability
#253
opened Sep 1, 2017 by
akashlal
Previous Next
ProTip!
Updated in the last three days: updated:>2024-12-24.