Skip to content

Actions: mchadalavada/P

Actions

PSymB on Ubuntu

Actions

Loading...
Loading

Show workflow options

Create status badge

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