Data

Tools

Indexes

Applications

Experiments

Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / p-org/PSharp issues and pull requests

#479 - switched to LTS dotnet sdk v2.1.513

Pull Request - State: closed - Opened by pdeligia over 5 years ago

#478 - No benchmarks or comparison to other

Issue - State: open - Opened by voltcode over 5 years ago - 1 comment

#477 - Update to 1.7.0

Pull Request - State: closed - Opened by pdeligia over 5 years ago

#476 - TraceViewer Crashing on Open

Issue - State: closed - Opened by jzhang919 over 5 years ago - 4 comments

#475 - Patch 1

Pull Request - State: closed - Opened by alexsyeo over 5 years ago

#474 - Printing Payload value in the Log generated

Issue - State: closed - Opened by ankushdesai over 5 years ago - 1 comment
Labels: question, controlled-testing, help wanted

#473 - Update to version 1.6.10

Pull Request - State: closed - Opened by pdeligia almost 6 years ago

#472 - PSharpTester portfolio on Mono?

Issue - State: closed - Opened by ankushdesai almost 6 years ago - 1 comment

#471 - Bug in Coverage Reporter

Issue - State: open - Opened by ankushdesai almost 6 years ago - 2 comments

#470 - Question regarding /coverage:activity

Issue - State: closed - Opened by ankushdesai almost 6 years ago - 3 comments

#469 - Issue using /coverage:code

Issue - State: closed - Opened by ankushdesai almost 6 years ago - 5 comments
Labels: bug

#468 - fix error code from dotnet core sdk check

Pull Request - State: closed - Opened by lovettchris almost 6 years ago

#467 - updated to version 1.6.9

Pull Request - State: closed - Opened by pdeligia almost 6 years ago

#466 - fix bug in brace matching and colors

Pull Request - State: closed - Opened by lovettchris almost 6 years ago

#465 - refactored logger to separate concerns

Pull Request - State: closed - Opened by pdeligia almost 6 years ago - 2 comments

#464 - brace matching fixes and switch to standard colors

Pull Request - State: closed - Opened by lovettchris almost 6 years ago

#463 - Removed copyright header from source files

Pull Request - State: closed - Opened by pdeligia almost 6 years ago - 1 comment

#462 - move global.json to .net core 2.2.400.

Pull Request - State: closed - Opened by lovettchris almost 6 years ago

#461 - Coverage report to include uncovered events

Pull Request - State: closed - Opened by akashlal almost 6 years ago

#460 - OnEventHandledAsync

Pull Request - State: closed - Opened by akashlal almost 6 years ago

#459 - Allow support for custom ILogger during testing

Issue - State: closed - Opened by pdeligia almost 6 years ago - 1 comment

#458 - add test script

Pull Request - State: closed - Opened by lovettchris almost 6 years ago

#457 - add test script

Pull Request - State: closed - Opened by lovettchris almost 6 years ago

#456 - Assert and Assume annotations on Events

Issue - State: closed - Opened by ankushdesai almost 6 years ago - 6 comments
Labels: question

#454 - PSharpSyntax for async handlers

Issue - State: open - Opened by akashlal almost 6 years ago

#453 - updated to version 1.6.8

Pull Request - State: closed - Opened by pdeligia about 6 years ago

#452 - Removed assert/assume parsing from psharp syntax.

Pull Request - State: closed - Opened by akashlal about 6 years ago

#451 - updated to version 1.6.7

Pull Request - State: closed - Opened by pdeligia about 6 years ago

#450 - Coverage reporting with multiple tests

Pull Request - State: closed - Opened by akashlal about 6 years ago

#449 - Exceptions in Machine callbacks

Pull Request - State: closed - Opened by akashlal about 6 years ago

#448 - Tools simple language service

Pull Request - State: closed - Opened by TedHartMS about 6 years ago - 2 comments

#447 - Updated version to 1.6.6

Pull Request - State: closed - Opened by pdeligia about 6 years ago

#446 - Akashl/monitor state inheritence wildcard

Pull Request - State: closed - Opened by akashlal about 6 years ago

#445 - updated version to 1.6.5

Pull Request - State: closed - Opened by pdeligia about 6 years ago

#444 - Various bug fixes in the testing runtime

Pull Request - State: closed - Opened by pdeligia about 6 years ago

#443 - Ellab/receive tests1

Pull Request - State: closed - Opened by ellab123 about 6 years ago - 1 comment

#442 - Using P# for ClojureCLR and IronPython

Issue - State: closed - Opened by ivanserdyuk about 6 years ago - 1 comment

#441 - Proposing a use case for integrating ZeroMQ binding

Issue - State: closed - Opened by ivanserdyuk about 6 years ago - 2 comments

#440 - Add unit tests for activity coverage

Issue - State: closed - Opened by pdeligia about 6 years ago - 1 comment
Labels: tests

#439 - Updated version to 1.6.4

Pull Request - State: closed - Opened by pdeligia about 6 years ago

#438 - Fixed race condition in periodic timers

Pull Request - State: closed - Opened by pdeligia about 6 years ago

#437 - Model CancellationToken

Issue - State: open - Opened by akashlal about 6 years ago
Labels: controlled-testing, usability

#436 - Updated to version 1.6.3

Pull Request - State: closed - Opened by pdeligia about 6 years ago

#435 - Fix in the parallel tester

Pull Request - State: closed - Opened by pdeligia about 6 years ago

#433 - Exposed new send event APIs that receive an operation group id

Pull Request - State: closed - Opened by pdeligia about 6 years ago

#432 - Support for internal async test harness and async tests

Pull Request - State: closed - Opened by pdeligia about 6 years ago

#431 - Updated version to v1.6.0

Pull Request - State: closed - Opened by pdeligia about 6 years ago

#430 - Support for running async methods in a test entry point

Pull Request - State: closed - Opened by pdeligia about 6 years ago
Labels: controlled-testing

#428 - Refactored various internal systematic testing and scheduling related APIs

Pull Request - State: closed - Opened by pdeligia over 6 years ago
Labels: controlled-testing

#427 - New test APIs for unit-testing machines in isolation

Pull Request - State: closed - Opened by pdeligia over 6 years ago - 1 comment

#426 - Redesign and performance improvements of the machine inbox

Pull Request - State: closed - Opened by pdeligia over 6 years ago
Labels: runtime

#424 - Added stylecop and fxcop analyzers

Pull Request - State: closed - Opened by pdeligia over 6 years ago

#423 - updated version to 1.5.1

Pull Request - State: closed - Opened by pdeligia over 6 years ago

#422 - fixed a bug in timers and added unit test

Pull Request - State: closed - Opened by pdeligia over 6 years ago
Labels: bug

#421 - refactored the P# runtime to expose an interface

Pull Request - State: closed - Opened by pdeligia over 6 years ago - 1 comment
Labels: runtime

#420 - Attributes and syntax extensions for the built-in timers

Issue - State: open - Opened by pdeligia over 6 years ago
Labels: language-design, usability, compiler

#419 - updated version to 1.5.0

Pull Request - State: closed - Opened by pdeligia over 6 years ago

#418 - Redesigned the built-in timer API

Pull Request - State: closed - Opened by pdeligia over 6 years ago

#417 - Updated performance benchmarks

Pull Request - State: closed - Opened by pdeligia over 6 years ago

#416 - Setup liveness heuristics inside the BugFindingEngine

Issue - State: open - Opened by pdeligia over 6 years ago
Labels: controlled-testing, usability

#415 - Improved unit test infrastructure

Pull Request - State: closed - Opened by pdeligia over 6 years ago

#414 - Make it easier to debug "using P# API after transition" errors

Issue - State: closed - Opened by pdeligia over 6 years ago - 2 comments
Labels: controlled-testing, usability

#413 - Building PSharp-as-language samples fails on macOS

Issue - State: open - Opened by fniksic over 6 years ago - 6 comments

#412 - Investigate InboxFlushOperationTest nondeterministically failing some times

Issue - State: closed - Opened by pdeligia over 6 years ago - 2 comments

#411 - Include shared objects in the netcoreapp target compilation

Pull Request - State: closed - Opened by pdeligia over 6 years ago

#410 - FairRandom API for the runtime. Fixes 409

Pull Request - State: closed - Opened by akashlal over 6 years ago

#409 - FairRandom API on the runtime

Issue - State: open - Opened by akashlal over 6 years ago

#408 - updated version and readme

Pull Request - State: closed - Opened by pdeligia over 6 years ago

#407 - added exit codes for the tester

Pull Request - State: closed - Opened by pdeligia over 6 years ago

#406 - PSharpTester should return error code

Issue - State: closed - Opened by akashlal over 6 years ago - 1 comment
Labels: tools, controlled-testing

#405 - Syntax shorthands

Issue - State: open - Opened by akashlal over 6 years ago

#404 - updating version to 1.4.5

Pull Request - State: closed - Opened by pdeligia over 6 years ago

#403 - Addon fix for #402

Pull Request - State: closed - Opened by akashlal over 6 years ago

#402 - Defend against potential null-deref in coverage reporting

Pull Request - State: closed - Opened by akashlal over 6 years ago

#401 - Update instructions to build

Pull Request - State: closed - Opened by suvamM over 6 years ago - 1 comment

#400 - Graceful failure

Issue - State: open - Opened by akashlal over 6 years ago

#399 - Disabled assert on sending QuisceEvent

Pull Request - State: closed - Opened by akashlal over 6 years ago

#398 - Question: Is it possible to use P# on a Linux system?

Issue - State: closed - Opened by pavelbraginskiy over 6 years ago - 2 comments

#397 - Async OnException

Issue - State: open - Opened by akashlal over 6 years ago - 1 comment

#395 - assume annotation on events

Issue - State: closed - Opened by shazqadeer over 6 years ago - 1 comment

#394 - Error trace output of PSharpTester

Issue - State: closed - Opened by shazqadeer over 6 years ago - 2 comments

#393 - How do I specify portfolio testing strategy?

Issue - State: closed - Opened by shazqadeer over 6 years ago - 1 comment

#373 - Add tool to produce state diagram dgml from psharp files

Pull Request - State: closed - Opened by krishnangovindraj almost 7 years ago - 1 comment

#303 - Avoid Event Assert/Assume checks in production

Issue - State: closed - Opened by akashlal about 7 years ago - 1 comment

#290 - VSCode extensions

Pull Request - State: closed - Opened by TedHartMS over 7 years ago - 1 comment

#288 - Vs code extensions

Pull Request - State: closed - Opened by TedHartMS over 7 years ago - 1 comment

#282 - On machine start

Pull Request - State: closed - Opened by akashlal over 7 years ago - 1 comment

#263 - Asynchronous Logger

Pull Request - State: open - Opened by anirudhsanthiar almost 8 years ago

#262 - Fast attribute

Pull Request - State: closed - Opened by anirudhsanthiar almost 8 years ago - 14 comments

#224 - Cycle detection optimizations

Pull Request - State: open - Opened by t-rasmud about 8 years ago - 2 comments

#179 - GC optimizations

Issue - State: closed - Opened by pdeligia about 8 years ago - 4 comments
Labels: runtime, performance

#139 - Continuous integration

Issue - State: closed - Opened by pdeligia over 8 years ago - 1 comment
Labels: tools

#132 - Adopt standard convention of SCT

Issue - State: closed - Opened by paulthomson over 8 years ago - 31 comments
Labels: runtime, controlled-testing

#100 - Improve the Raise/Goto/Pop assertion error message

Issue - State: closed - Opened by pdeligia almost 9 years ago - 1 comment
Labels: usability