Skip to content

Actions: p-org/P

Actions

P release

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
release.yml
30 workflow runs
30 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fixed a bug related to duplicate bindings (#756) P release #81: Commit 57d200e pushed by ankushdesai
August 12, 2024 23:29 41s p-2.2.2
p-2.2.2
August 12, 2024 23:29 41s
Remove optional parameters in Monitor (#747) P release #80: Commit 5da26ab pushed by ankushdesai
July 1, 2024 21:00 44s p-2.2.1
p-2.2.1
July 1, 2024 21:00 44s
Adding "max_memory" to pchecker_summary.txt (#741) P release #79: Commit ac82d2c pushed by ankushdesai
May 30, 2024 17:14 44s p-2.2.0
p-2.2.0
May 30, 2024 17:14 44s
[C#] Minor: correct handling of default memout P release #78: Commit 836e51c pushed by ankushdesai
May 21, 2024 23:21 20m 37s p-2.1.5
p-2.1.5
May 21, 2024 23:21 20m 37s
Make PMachines serializable in java (#729) P release #77: Commit fe1e4f7 pushed by ankushdesai
May 20, 2024 20:31 44s p-2.1.4
p-2.1.4
May 20, 2024 20:31 44s
Make PEvents and PTypes serializable in java (#726) P release #76: Commit 43a9803 pushed by ankushdesai
May 3, 2024 20:50 44s p-2.1.3
p-2.1.3
May 3, 2024 20:50 44s
Added support for generating a warning when spec handles an event but… P release #75: Commit 7ded321 pushed by ankushdesai
April 9, 2024 21:41 43s p-2.1.2
p-2.1.2
April 9, 2024 21:41 43s
Fixes a null pointer exception reported by the PChecker (#713) P release #74: Commit 59e3312 pushed by ankushdesai
April 3, 2024 22:26 43s p-2.1.1
p-2.1.1
April 3, 2024 22:26 43s
[P 2.1] Upgrade to .NET 8 (#705) P release #73: Commit f428ce4 pushed by ankushdesai
March 15, 2024 00:28 44s p-2.1.0
p-2.1.0
March 15, 2024 00:28 44s
[PCompiler] Remove test cases from imported projects (#702) P release #72: Commit 788a48e pushed by ankushdesai
March 7, 2024 22:18 41s p-2.0.33
p-2.0.33
March 7, 2024 22:18 41s
Minor fix for the case where assert false (#697) P release #71: Commit 24f64b7 pushed by ankushdesai
February 22, 2024 05:51 40s p-2.0.32
p-2.0.32
February 22, 2024 05:51 40s
Fixes the early evaluation problem with assert statements in P (#695) P release #70: Commit e7634dd pushed by ankushdesai
February 15, 2024 00:22 53s p-2.0.31
p-2.0.31
February 15, 2024 00:22 53s
[PCompiler] Support any type in foreign functions in verification/cov… P release #69: Commit da637d9 pushed by ankushdesai
January 8, 2024 15:49 5m 5s p-2.0.30
p-2.0.30
January 8, 2024 15:49 5m 5s
Merge pull request #685 from mchadalavada/master P release #68: Commit e49a7b1 pushed by ankushdesai
December 7, 2023 05:04 43s p-2.0.29
p-2.0.29
December 7, 2023 05:04 43s
Adding a temporary fix for the P JsonFormatter Exception (#683) P release #67: Commit 2f3eff7 pushed by ankushdesai
November 25, 2023 06:28 38s p-2.0.28
p-2.0.28
November 25, 2023 06:28 38s
Merge remote-tracking branch 'origin/master' P release #66: Commit 13da285 pushed by ankushdesai
November 15, 2023 00:14 54s p-2.0.27
p-2.0.27
November 15, 2023 00:14 54s
Fixed an issue in the java generated code for deepclone of values (#680) P release #65: Commit ed6f19c pushed by ankushdesai
November 14, 2023 20:24 48s p-2.0.26
p-2.0.26
November 14, 2023 20:24 48s
Merge pull request #670 from p-org/codegen/pobserve P release #64: Commit 1e11ea7 pushed by ankushdesai
November 7, 2023 02:12 59s p-2.0.25
p-2.0.25
November 7, 2023 02:12 59s
Bump org.json:json in /Src/PRuntimes/PSymRuntime (#668) P release #63: Commit 6cf2838 pushed by ankushdesai
October 18, 2023 06:39 49s p-2.0.24
p-2.0.24
October 18, 2023 06:39 49s
[C#] Correct error in coverage reporting (#662) P release #62: Commit f0b286f pushed by ankushdesai
October 5, 2023 01:01 2m 33s p-2.0.23
p-2.0.23
October 5, 2023 01:01 2m 33s
Add logic to remove null key-value pairs in trace json (#659) P release #61: Commit 39fb385 pushed by ankushdesai
September 26, 2023 01:36 58s p-2.0.22
p-2.0.22
September 26, 2023 01:36 58s
[PObserve/CLI] Updates (#656) P release #60: Commit 1092c3b pushed by ankushdesai
September 20, 2023 16:36 57s p-2.0.21
p-2.0.21
September 20, 2023 16:36 57s
Some more changes P release #59: Commit b7cdb70 pushed by ankushdesai
September 19, 2023 18:04 52s p-2.0.20
p-2.0.20
September 19, 2023 18:04 52s
Fix p check replay bug and stately code generator bug (#654) P release #58: Commit 27ce96c pushed by ankushdesai
September 14, 2023 23:28 1m 2s p-2.0.19
p-2.0.19
September 14, 2023 23:28 1m 2s
Fixing the missing ToDict function in PEvent (#652) P release #57: Commit 1e99f40 pushed by ankushdesai
September 13, 2023 17:56 1m 11s p-2.0.18
p-2.0.18
September 13, 2023 17:56 1m 11s