Commits

Branch selector

 master

User selector

All users

All time

Commit History

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

Commits on Oct 21, 2023

• [PObserve] Correct name conflict in FFI interface

  Show description for 39f0461
  aman-goel

  committed
  39f0461

  Copy full SHA for 39f0461

Commits on Oct 16, 2023

• Bump org.json:json in /Src/PRuntimes/PSymRuntime (#668)

  Show description for 6cf2838
  dependabot[bot]

  authored
  6cf2838

  Copy full SHA for 6cf2838

• [PSym] Support liveness checking with bounded symbolic (#667)

  Show description for 8a4d1c9
  aman-goel

  authored
  8a4d1c9

  Copy full SHA for 8a4d1c9

Commits on Oct 13, 2023

• [PCover] Update symmetry search, add concrete values (#665)

  Show description for be54c1f
  aman-goel

  authored
  be54c1f

  Copy full SHA for be54c1f

Commits on Oct 4, 2023

• [C#] Correct error in coverage reporting (#662)

  Show description for f0b286f
  aman-goel

  authored
  f0b286f

  Copy full SHA for f0b286f

Commits on Oct 3, 2023

• [CLI] Support compiling for multiple targets together (#660)

  Show description for 05c9862
  aman-goel

  authored
  05c9862

  Copy full SHA for 05c9862

Commits on Sep 22, 2023

• Add logic to remove null key-value pairs in trace json (#659)

  Show description for 39fb385
  mchadalavada

  authored
  39fb385

  Copy full SHA for 39fb385

• Modify logic to replace null with string null

  mchadalavada

  committed
  f8b0973

  Copy full SHA for f8b0973

• Add logic to remove null key-value pairs in trace json

  mchadalavada

  committed
  0992915

  Copy full SHA for 0992915

Commits on Sep 21, 2023

• add serializable to the Supplier in generated Java code. (#658)

  Show description for 6417c6b
  

  soumyasmruti

  and

  Soumya Smruti Mishra

  authored
  6417c6b

  Copy full SHA for 6417c6b

Commits on Sep 20, 2023

• [PObserve/CLI] Updates (#656)

  Show description for 1092c3b
  aman-goel

  authored
  1092c3b

  Copy full SHA for 1092c3b

Commits on Sep 19, 2023

• Updated the name and docs

  ankushdesai

  committed
  eac1f8b

  Copy full SHA for eac1f8b

Commits on Sep 18, 2023

• Some more changes

  ankushdesai

  committed
  b7cdb70

  Copy full SHA for b7cdb70

• Updated the documentation around Peasy

  ankushdesai

  committed
  8218d87

  Copy full SHA for 8218d87

• Update docs and fix stately generator code bug (#655)

  Show description for 29e0d47
  mchadalavada

  authored
  29e0d47

  Copy full SHA for 29e0d47

Commits on Sep 14, 2023

• Fix p check replay bug and stately code generator bug (#654)

  Show description for 27ce96c
  mchadalavada

  authored
  27ce96c

  Copy full SHA for 27ce96c

Commits on Sep 13, 2023

• Typo fixes (#653)

  Show description for e40925d
  

  ababber19

  and

  Aryaman Babber

  authored
  e40925d

  Copy full SHA for e40925d

• Updated docs

  ankushdesai

  committed
  630d906

  Copy full SHA for 630d906

• Fixing the missing ToDict function in PEvent (#652)

  ankushdesai

  authored
  1e99f40

  Copy full SHA for 1e99f40

Commits on Sep 11, 2023

• [CLI] Update iterations to schedules (#651)

  Show description for bf2394f
  aman-goel

  authored
  bf2394f

  Copy full SHA for bf2394f

Commits on Sep 6, 2023

• Fixed a bug in events comparison. (#650)

  ankushdesai

  authored
  508dc9a

  Copy full SHA for 508dc9a

Commits on Sep 5, 2023

• added sender machine's vector clock to onmonitorprocessevent (#648)

  haoran-wen

  authored
  dc86d8d

  Copy full SHA for dc86d8d

Commits on Aug 28, 2023

• JSON logs Announce and Print actions (#647)

  haoran-wen

  authored
  5ef1747

  Copy full SHA for 5ef1747

Pagination

Previous

Next