Commits

Branch selector

 master

User selector

All users

All time

Commit History

Commits on Apr 15, 2024

• Create custom converter for JSON serialization in .NET8 (#717)

  Show description for 5e7f6c6
  

  ehua9146

  and

  Eric Hua

  authored
  5e7f6c6

  Copy full SHA for 5e7f6c6

Commits on Apr 9, 2024

• Added support for generating a warning when spec handles an event but does not add it in its observes list (#716)

  ankushdesai

  authored
  7ded321

  Copy full SHA for 7ded321

Commits on Apr 3, 2024

• Fixes a null pointer exception reported by the PChecker (#713)

  ankushdesai

  authored
  59e3312

  Copy full SHA for 59e3312

• Remove tailing spaces (#712)

  Show description for bec256f
  

  ankushdesai

  and

  aoli-al

  authored
  bec256f

  Copy full SHA for bec256f

Commits on Apr 1, 2024

• Update publishdocs.yml

  ankushdesai

  authored
  b6f9234

  Copy full SHA for b6f9234

• Update publishdocs.yml

  ankushdesai

  authored
  b9cf472

  Copy full SHA for b9cf472

• Update publishdocs.yml (#711)

  ankushdesai

  authored
  97e5600

  Copy full SHA for 97e5600

• Update README.md

  ankushdesai

  authored
  23f97ed

  Copy full SHA for 23f97ed

• Create an Action to Publish Docs automatically (#710)

  ankushdesai

  authored
  1528627

  Copy full SHA for 1528627

Commits on Mar 27, 2024

• PChecker Cleanup Phase 1. (#709)

  ankushdesai

  authored
  7828f5f

  Copy full SHA for 7828f5f

Commits on Mar 25, 2024

• Remove dead code in tutorial (#707)

  seanmcl

  authored
  8c004cf

  Copy full SHA for 8c004cf

Commits on Mar 15, 2024

• [P 2.1] Upgrade to .NET 8 (#705)

  Show description for f428ce4
  

  3 peopleauthored
  f428ce4

  Copy full SHA for f428ce4

Commits on Mar 7, 2024

• [PCompiler] Remove test cases from imported projects (#702)

  Show description for 788a48e
  aman-goel

  authored
  788a48e

  Copy full SHA for 788a48e

Commits on Feb 22, 2024

• Minor fix for the case where `assert false` (#697)

  ankushdesai

  authored
  24f64b7

  Copy full SHA for 24f64b7

• [PSym/PCover] Minor updates (#696)

  Show description for 5260881
  aman-goel

  authored
  5260881

  Copy full SHA for 5260881

Commits on Feb 14, 2024

• Fixes the early evaluation problem with assert statements in P (#695)

  ankushdesai

  authored
  e7634dd

  Copy full SHA for e7634dd

• [Tst] Adds a regression test with non-determistic jump in ping-pong example

  aman-goel

  committed
  0a56679

  Copy full SHA for 0a56679

• [Tutorial] 2PC: adds Java foreign functions for coverage/verification mode

  Show description for 9a1cefe
  aman-goel

  committed
  9a1cefe

  Copy full SHA for 9a1cefe

• [Tutorial] Correct infinite loop in Timer

  Show description for 770dc09
  aman-goel

  committed
  770dc09

  Copy full SHA for 770dc09

Commits on Feb 8, 2024

• Add high resolution icons and update P overview video (#692)

  Show description for c7dfc2d
  mchadalavada

  authored
  c7dfc2d

  Copy full SHA for c7dfc2d

Commits on Jan 8, 2024

• [PCompiler] Support any type in foreign functions in verification/coverage modes (#688)

  aman-goel

  authored
  da637d9

  Copy full SHA for da637d9

• Fix typo: s/insserts/inserts/ (#689)

  komamitsu

  authored
  fa821d1

  Copy full SHA for fa821d1

Commits on Jan 3, 2024

• Remove invalid '>' from while cond in doc-expr (#686)

  komamitsu

  authored
  1f58589

  Copy full SHA for 1f58589

Commits on Dec 1, 2023

• Merge pull request #685 from mchadalavada/master

  Show description for e49a7b1
  mchadalavada

  authored
  e49a7b1

  Copy full SHA for e49a7b1

• Make debug option boolean type

  mchadalavada

  committed
  2d26902

  Copy full SHA for 2d26902

Commits on Nov 30, 2023

• Add option to enable/disable logs in pobserve mode

  mchadalavada

  committed
  6b48fee

  Copy full SHA for 6b48fee

• Merge branch 'p-org:master' into master

  mchadalavada

  authored
  502b289

  Copy full SHA for 502b289

Commits on Nov 27, 2023

• [PCompiler] Correct foreach -> while transformation (#684)

  Show description for 19f9e97
  aman-goel

  authored
  19f9e97

  Copy full SHA for 19f9e97

Commits on Nov 25, 2023

• Adding a temporary fix for the P JsonFormatter Exception (#683)

  ankushdesai

  authored
  2f3eff7

  Copy full SHA for 2f3eff7

Commits on Nov 17, 2023

• [Docs] Updates P State Machines page (#682)

  aman-goel

  authored
  c39bb02

  Copy full SHA for c39bb02

Commits on Nov 15, 2023

• Merge remote-tracking branch 'origin/master'

  Show description for 13da285
  ankushdesai

  committed
  13da285

  Copy full SHA for 13da285

Commits on Nov 14, 2023

• Fixed a bug in the generated code for setting a field inside a sequence. (#681)

  Show description for 44b9f4f
  ankushdesai

  authored
  44b9f4f

  Copy full SHA for 44b9f4f

• Fixed a bug in the generated code for setting a field inside a sequence.

  ankushdesai

  committed
  d0b34d1

  Copy full SHA for d0b34d1

• Fixed an issue in the java generated code for deepclone of values (#680)

  ankushdesai

  authored
  ed6f19c

  Copy full SHA for ed6f19c

Commits on Oct 23, 2023

• Merge pull request #670 from p-org/codegen/pobserve

  Show description for 1e11ea7
  soumyasmruti

  authored
  1e11ea7

  Copy full SHA for 1e11ea7

Pagination

Previous

Next