Skip to content

Actions: mchadalavada/P

Actions

PSym on Ubuntu

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
psym.yml
29 workflow runs
29 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branch 'p-org:master' into master PSym on Ubuntu #29: Commit d59de38 pushed by mchadalavada
June 29, 2024 07:38 27m 54s master
master
June 29, 2024 07:38 27m 54s
Remove optional parameters in monitor PSym on Ubuntu #28: Commit 79f4eb8 pushed by mchadalavada
June 29, 2024 00:10 27m 33s master
master
June 29, 2024 00:10 27m 33s
Make monitor a serializle object PSym on Ubuntu #27: Commit 03401ac pushed by mchadalavada
June 29, 2024 00:02 29m 22s master
master
June 29, 2024 00:02 29m 22s
Updating import from Plang to PChecker (#742) PSym on Ubuntu #26: Commit e629bad pushed by mchadalavada
June 21, 2024 18:22 29m 5s master
master
June 21, 2024 18:22 29m 5s
Make PMachines in java generated code serializable PSym on Ubuntu #25: Commit 9bc0184 pushed by mchadalavada
May 20, 2024 18:41 27m 44s master
master
May 20, 2024 18:41 27m 44s
Merge branch 'p-org:master' into master PSym on Ubuntu #24: Commit 84d01d3 pushed by mchadalavada
May 20, 2024 17:49 27m 39s master
master
May 20, 2024 17:49 27m 39s
Make PEvents and PTypes serializable in java PSym on Ubuntu #23: Commit 0af3b5e pushed by mchadalavada
May 3, 2024 18:03 27m 23s master
master
May 3, 2024 18:03 27m 23s
Make PEvents and PTypes serializable in java PSym on Ubuntu #22: Commit 3ce2046 pushed by mchadalavada
May 3, 2024 17:44 34m 52s major_version/move_to_P2.1.0
major_version/move_to_P2.1.0
May 3, 2024 17:44 34m 52s
Limit number of choices in choose expression to at most 10000 (#725) PSym on Ubuntu #21: Commit 5f96108 pushed by mchadalavada
May 3, 2024 02:02 28m 3s master
master
May 3, 2024 02:02 28m 3s
Fixes a null pointer exception reported by the PChecker (#713) PSym on Ubuntu #20: Commit 59e3312 pushed by mchadalavada
April 5, 2024 21:33 27m 27s master
master
April 5, 2024 21:33 27m 27s
Add installation details url for .net AL2 PSym on Ubuntu #19: Commit 6a55087 pushed by mchadalavada
March 14, 2024 23:44 26m 52s major_version/move_to_P2.1.0
major_version/move_to_P2.1.0
March 14, 2024 23:44 26m 52s
Merge branch 'master' into major_version/move_to_P2.1.0 PSym on Ubuntu #18: Commit 374d076 pushed by mchadalavada
March 14, 2024 23:31 27m 35s major_version/move_to_P2.1.0
major_version/move_to_P2.1.0
March 14, 2024 23:31 27m 35s
Update dotnet sdk 8.0 installation instructions for AL2 PSym on Ubuntu #17: Commit de92008 pushed by mchadalavada
March 13, 2024 23:44 28m 22s major_version/move_to_P2.1.0
major_version/move_to_P2.1.0
March 13, 2024 23:44 28m 22s
Merge branch 'p-org:major_version/move_to_P2.1.0' into major_version/… PSym on Ubuntu #16: Commit 16b27b1 pushed by mchadalavada
March 13, 2024 21:29 31m 33s major_version/move_to_P2.1.0
major_version/move_to_P2.1.0
March 13, 2024 21:29 31m 33s
Update .net 8 installation in docs PSym on Ubuntu #15: Commit f2b0534 pushed by mchadalavada
March 13, 2024 21:25 27m 0s major_version/move_to_P2.1.0
major_version/move_to_P2.1.0
March 13, 2024 21:25 27m 0s
[PCompiler] Remove test cases from imported projects (#702) PSym on Ubuntu #14: Commit 788a48e pushed by mchadalavada
March 13, 2024 21:23 27m 43s master
master
March 13, 2024 21:23 27m 43s
Update .net sdk 8.0 commands for AL2 PSym on Ubuntu #13: Commit 599556d pushed by mchadalavada
March 13, 2024 21:21 27m 27s major_version/move_to_P2.1.0
major_version/move_to_P2.1.0
March 13, 2024 21:21 27m 27s
Update .net 8 installation in docs PSym on Ubuntu #12: Commit f2b0534 pushed by mchadalavada
March 8, 2024 01:11 28m 26s major_version/move_to_P2.1.0
major_version/move_to_P2.1.0
March 8, 2024 01:11 28m 26s
Update .net version to 8.0 in build scripts PSym on Ubuntu #11: Commit 243d238 pushed by mchadalavada
March 7, 2024 23:14 27m 0s major_version/move_to_P2.1.0
major_version/move_to_P2.1.0
March 7, 2024 23:14 27m 0s
[PSym] Upgrade to .NET 8.0 PSym on Ubuntu #10: Commit 7aa3930 pushed by mchadalavada
March 7, 2024 23:08 26m 58s major_version/move_to_P2.1.0
major_version/move_to_P2.1.0
March 7, 2024 23:08 26m 58s
Minor fix for the case where assert false (#697) PSym on Ubuntu #9: Commit 24f64b7 pushed by mchadalavada
March 7, 2024 20:10 28m 19s major_version/move_to_P2.1.0
major_version/move_to_P2.1.0
March 7, 2024 20:10 28m 19s
Minor fix for the case where assert false (#697) PSym on Ubuntu #8: Commit 24f64b7 pushed by mchadalavada
March 5, 2024 20:08 27m 50s master
master
March 5, 2024 20:08 27m 50s
Merge branch 'p-org:master' into master PSym on Ubuntu #7: Commit 702d1df pushed by mchadalavada
February 9, 2024 00:04 26m 47s master
master
February 9, 2024 00:04 26m 47s
Update P overview video PSym on Ubuntu #6: Commit ef5f155 pushed by mchadalavada
February 8, 2024 23:34 27m 6s master
master
February 8, 2024 23:34 27m 6s
Add high resolution icons PSym on Ubuntu #5: Commit 7a1daab pushed by mchadalavada
February 8, 2024 23:02 27m 13s master
master
February 8, 2024 23:02 27m 13s