Commits

Branch selector

 master

User selector

ankushdesai

All time

Commit History

Commits on Apr 9, 2024

• Added support for generating a warning when spec handles an event but does not add it in its observes list (#716)

  ankushdesai

  authored
  7ded321

  Copy full SHA for 7ded321

Commits on Apr 3, 2024

• Fixes a null pointer exception reported by the PChecker (#713)

  ankushdesai

  authored
  59e3312

  Copy full SHA for 59e3312

• Remove tailing spaces (#712)

  Show description for bec256f
  

  ankushdesai

  and

  aoli-al

  authored
  bec256f

  Copy full SHA for bec256f

Commits on Apr 1, 2024

• Update publishdocs.yml

  ankushdesai

  authored
  b6f9234

  Copy full SHA for b6f9234

• Update publishdocs.yml

  ankushdesai

  authored
  b9cf472

  Copy full SHA for b9cf472

• Update publishdocs.yml (#711)

  ankushdesai

  authored
  97e5600

  Copy full SHA for 97e5600

• Update README.md

  ankushdesai

  authored
  23f97ed

  Copy full SHA for 23f97ed

• Create an Action to Publish Docs automatically (#710)

  ankushdesai

  authored
  1528627

  Copy full SHA for 1528627

Commits on Mar 27, 2024

• PChecker Cleanup Phase 1. (#709)

  ankushdesai

  authored
  7828f5f

  Copy full SHA for 7828f5f

Commits on Feb 22, 2024

• Minor fix for the case where `assert false` (#697)

  ankushdesai

  authored
  24f64b7

  Copy full SHA for 24f64b7

Commits on Feb 14, 2024

• Fixes the early evaluation problem with assert statements in P (#695)

  ankushdesai

  authored
  e7634dd

  Copy full SHA for e7634dd

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 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 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

Commits on Sep 13, 2023

• 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 6, 2023

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

  ankushdesai

  authored
  508dc9a

  Copy full SHA for 508dc9a

Commits on Jul 19, 2023

• Fixed Minor bug (#625)

  ankushdesai

  authored
  1bff075

  Copy full SHA for 1bff075

Commits on Jul 14, 2023

• Cleaned up the checker code and removed unused code. (#618)

  Show description for a6f8734
  ankushdesai

  authored
  a6f8734

  Copy full SHA for a6f8734

Commits on Jul 13, 2023

• Minor code clean up (set output directory) (#617)

  ankushdesai

  authored
  618e20a

  Copy full SHA for 618e20a

Commits on Jul 6, 2023

• Fixed a null dereference bug in the monitor when printing monitor contents. (#615)

  ankushdesai

  authored
  de9ce32

  Copy full SHA for de9ce32

Commits on Jun 8, 2023

• Added support for providing location of the assertion failure in Error traces. (#604)

  Show description for 7f0955e
  ankushdesai

  authored
  7f0955e

  Copy full SHA for 7f0955e

Commits on Jun 5, 2023

• Added new line (#599)

  ankushdesai

  authored
  637e8c4

  Copy full SHA for 637e8c4

Commits on Jun 1, 2023

• Update README.md with a Tutorials Badge

  ankushdesai

  authored
  dcb122c

  Copy full SHA for dcb122c

• Added Support for running Tutorial examples in Github Actions (#596)

  Show description for aaeb9ad
  ankushdesai

  authored
  aaeb9ad

  Copy full SHA for aaeb9ad

Commits on May 16, 2023

• removed RVM support from mainline as its not used in P2.0 (#590)

  ankushdesai

  authored
  9e1cd30

  Copy full SHA for 9e1cd30

Commits on May 9, 2023

• Fixed the trace log (#587)

  Show description for bcf44fd
  ankushdesai

  authored
  bcf44fd

  Copy full SHA for bcf44fd

Commits on May 4, 2023

• Updated the error message (minor change)

  ankushdesai

  committed
  6db3c13

  Copy full SHA for 6db3c13

• Removed the unwanted check around Main function needed when no test case is declared (#586)

  ankushdesai

  authored
  b05c361

  Copy full SHA for b05c361

Commits on Apr 24, 2023

• [PCompiler Bug Fix]: Added the missing type checking for payload types in announce statements. (#583)

  Show description for a9a9760
  ankushdesai

  authored
  a9a9760

  Copy full SHA for a9a9760