Commits

Branch selector

 master

User selector

All users

All time

Commit History

Commits on Aug 6, 2025

• Update java generator code to generate updated imports from maven

  mchadalavada

  committed
  934a4da

  Copy full SHA for 934a4da

Commits on Jul 22, 2025

• Prevent liveness issues due to timers (#881)

  Show description for 9dca1bc
  b-hilprecht

  authored
  9dca1bc

  Copy full SHA for 9dca1bc

Commits on May 15, 2025

• Add Java equality and hash functions to machines in pobser… (#861)

  Show description for ee36fb1
  lewisbru

  authored
  ee36fb1

  Copy full SHA for ee36fb1

Commits on Apr 24, 2025

• Update build system and Java compiler, remove dependency JARs (#849)

  Show description for c5c6c72
  ankushdesai

  authored
  c5c6c72

  Copy full SHA for c5c6c72

• Dev/remove libhandler (#847)

  ankushdesai

  authored
  55a1199

  Copy full SHA for 55a1199

Commits on Apr 23, 2025

• Change p compiler to return a syntax error for lexical errors (#846)

  Show description for acc5581
  lewisbru

  authored
  acc5581

  Copy full SHA for acc5581

Commits on Apr 21, 2025

• Add toString() to generated Java code for spec machines in pobserve mode (#844)

  Show description for 7af9a21
  lewisbru

  authored
  7af9a21

  Copy full SHA for 7af9a21

Commits on Mar 27, 2025

• Use foreground color in p cli text for theme compatibility (#836)

  mchadalavada

  authored
  b1133d5

  Copy full SHA for b1133d5

Commits on Mar 17, 2025

• Remove footnote content without reference (#827)

  tonygooseduck

  authored
  b92e2aa

  Copy full SHA for b92e2aa

• Updated excercise requirements (#834)

  Show description for 873f641
  amol

  authored
  873f641

  Copy full SHA for 873f641

Commits on Mar 13, 2025

• Added better error messages for assertion and ran auto code cleanup. (#831)

  ankushdesai

  authored
  7d910aa

  Copy full SHA for 7d910aa

Commits on Mar 12, 2025

• Remove feedback strategy stats dump in console (#832)

  ChristineZh0u

  authored
  4762db7

  Copy full SHA for 4762db7

Commits on Mar 11, 2025

• Fix feedback strategy pct (#830)

  ChristineZh0u

  authored
  e49c17f

  Copy full SHA for e49c17f

• Merge pull request #828 from p-org/fix/console_output_log_path

  Show description for 44c806c
  ChristineZh0u

  authored
  44c806c

  Copy full SHA for 44c806c

• Merge branch 'master' into fix/console_output_log_path

  ChristineZh0u

  authored
  5e682cd

  Copy full SHA for 5e682cd

• Fix logs path missing in console output

  

  Christine Zhou

  committed
  f023d62

  Copy full SHA for f023d62

Commits on Feb 24, 2025

• Merge pull request #821 from p-org/gh-actions-upgrade

  Show description for 10dd56e
  lewisbru

  authored
  10dd56e

  Copy full SHA for 10dd56e

• Upgrade cache action to suggested version

  Show description for a3b2d93
  lewisbru

  committed
  a3b2d93

  Copy full SHA for a3b2d93

Commits on Feb 18, 2025

• Delete PJavaRuntime module (#820)

  mchadalavada

  authored
  83bce93

  Copy full SHA for 83bce93

• Update java generator code to output updated prt imports (#819)

  mchadalavada

  authored
  31a8660

  Copy full SHA for 31a8660

Commits on Jan 28, 2025

• Added test for generated PChecker logs (#815)

  Show description for 27a1d2f
  

  ChristineZh0u

  and

  Christine Zhou

  authored
  27a1d2f

  Copy full SHA for 27a1d2f

Commits on Jan 16, 2025

• Fixed json log generation bug (#812)

  Show description for db51c8e
  

  ChristineZh0u

  and

  Christine Zhou

  authored
  db51c8e

  Copy full SHA for db51c8e

Commits on Jan 8, 2025

• Fix odd indenting of "else" in generated Java code (#810)

  Show description for a7bbb1f
  

  lewisbru

  and

  ankushdesai

  authored
  a7bbb1f

  Copy full SHA for a7bbb1f

• Java code generation fixes (#809)

  Show description for 49055ad
  

  ChristineZh0u

  and

  Christine Zhou

  authored
  49055ad

  Copy full SHA for 49055ad

Commits on Dec 10, 2024

• Fix divide by zero exception. (#808)

  aoli-al

  authored
  545dec4

  Copy full SHA for 545dec4

Commits on Nov 20, 2024

• Revert the dynamic sync point generation algorithm for PCT scheduler. (#802)

  Show description for 65042fe
  aoli-al

  authored
  65042fe

  Copy full SHA for 65042fe

• Removed unwanted console logging

  ankushdesai

  committed
  ec71574

  Copy full SHA for ec71574

Commits on Oct 18, 2024

• Add feedback-guided scheduling algorithms (#791)

  Show description for b45194b
  

  4 peopleauthored
  b45194b

  Copy full SHA for b45194b

Commits on Oct 17, 2024

• revert publishdocs.yml changes (#798)

  Show description for b7c44e2
  aishu-j

  authored
  b7c44e2

  Copy full SHA for b7c44e2

Commits on Oct 16, 2024

• Fixed a bug in handling of null values in the type checker (#797)

  Show description for 8f08205
  

  ankushdesai

  and

  Christine Zhou

  authored
  8f08205

  Copy full SHA for 8f08205

Commits on Oct 14, 2024

• updated publish docs (#796)

  Show description for 63e2e31
  

  aishu-j

  and

  Aishwarya Jagarapu

  authored
  63e2e31

  Copy full SHA for 63e2e31

Commits on Oct 11, 2024

• Update publishdocs - install mkdocs (#795)

  Show description for d5bae52
  

  aishu-j

  and

  Aishwarya Jagarapu

  authored
  d5bae52

  Copy full SHA for d5bae52

• Update publishdocs.yml (#794)

  aishu-j

  authored
  15a78d2

  Copy full SHA for 15a78d2

Commits on Oct 10, 2024

• Merge pull request #793 from p-org/fix/publishdocs

  Show description for 0eae4e9
  aishu-j

  authored
  0eae4e9

  Copy full SHA for 0eae4e9

• Update publishdocs.yml

  aishu-j

  committed
  f510227

  Copy full SHA for f510227