Commits

Branch selector

 master

User selector

All users

All time

Commit History

Commits on Apr 20, 2022

• Add document for P to C compilation

  beyazit-y

  committed
  fc0b2c7

  Copy full SHA for fc0b2c7

• Fixed cyclic dependency bug (#421)

  Show description for d7dd793
  ankushdesai

  authored
  d7dd793

  Copy full SHA for d7dd793

Commits on Apr 10, 2022

• More specific error reporting on goto arg mismatch (#419)

  Show description for e2e3b72
  dijkstracula

  authored
  e2e3b72

  Copy full SHA for e2e3b72

Commits on Mar 29, 2022

• Update casestudies.md

  ankushdesai

  authored
  9214f45

  Copy full SHA for 9214f45

Commits on Mar 25, 2022

• Fixed a (long standing) silly bug in the Tuple implementation with a single element in it (#416)

  ankushdesai

  authored
  da31386

  Copy full SHA for da31386

Commits on Mar 10, 2022

• Fixed a minor bug in the code generation for foreach statement (#415)

  ankushdesai

  authored
  39756a3

  Copy full SHA for 39756a3

Commits on Mar 9, 2022

• Added regressions for the foreach statement (#412)

  ankushdesai

  authored
  3c48768

  Copy full SHA for 3c48768

Commits on Mar 8, 2022

• Updated the documentation for foreach and % expressiion

  ankushdesai

  committed
  b6249a3

  Copy full SHA for b6249a3

Commits on Mar 7, 2022

• Removed the unwanted files

  ankushdesai

  committed
  2385586

  Copy full SHA for 2385586

• Foreach Statement and Mod (%) operation (#411)

  Show description for 3cfc173
  ankushdesai

  authored
  3cfc173

  Copy full SHA for 3cfc173

Commits on Feb 9, 2022

• Dev/eliminate simplify expression (#408)

  Show description for e07c995
  ankushdesai

  authored
  e07c995

  Copy full SHA for e07c995

Commits on Jan 31, 2022

• Updated the documentation related to functions in P (#406)

  ankushdesai

  authored
  0a32ba2

  Copy full SHA for 0a32ba2

Commits on Jan 18, 2022

• Directory fix in the script

  ankushdesai

  committed
  35eb13b

  Copy full SHA for 35eb13b

Commits on Jan 7, 2022

• Updated the documentation for PSemantics

  ankushdesai

  committed
  550eb69

  Copy full SHA for 550eb69

Commits on Dec 9, 2021

• Added support for Gradle and Maven both for the P Java (#403)

  Show description for fa4a178
  ankushdesai

  authored
  fa4a178

  Copy full SHA for fa4a178

Commits on Dec 1, 2021

• Bump guava from 28.2-jre to 29.0-jre in /Src/PRuntimes/PSymbolicRuntime (#401)

  Show description for c64616d
  dependabot[bot]

  authored
  c64616d

  Copy full SHA for c64616d

• Bump log4j-core from 2.11.0 to 2.13.2 in /Src/PRuntimes/PSymbolicRuntime (#402)

  Show description for 4f01e53
  dependabot[bot]

  authored
  4f01e53

  Copy full SHA for 4f01e53

• PSymbolic First Version (#400)

  Show description for 5f4e9d0
  

  4 peopleauthored
  5f4e9d0

  Copy full SHA for 5f4e9d0

Commits on Oct 21, 2021

• Added a link

  ankushdesai

  committed
  595588a

  Copy full SHA for 595588a

• Fixed a broken link

  ankushdesai

  committed
  e15e6cf

  Copy full SHA for e15e6cf

• Typo fix in the two phase commit protocol.

  ankushdesai

  committed
  613dd96

  Copy full SHA for 613dd96

• Fix typos in Advanced User Guide (#392)

  claudiacauli

  authored
  d2c3e26

  Copy full SHA for d2c3e26

• Manual 1 (#393)

  Show description for bbd0490
  ankushdesai

  authored
  bbd0490

  Copy full SHA for bbd0490

• Fix typos (#391)

  Show description for f558699
  claudiacauli

  authored
  f558699

  Copy full SHA for f558699

• Finished the two phase commit protocol

  ankushdesai

  committed
  7282959

  Copy full SHA for 7282959

• Fix typos in Failure Detector (#390)

  Show description for 6577c2b
  claudiacauli

  authored
  6577c2b

  Copy full SHA for 6577c2b

• Fix tutorials 1.6 (#389)

  Show description for 5fdb9ab
  ankushdesai

  authored
  5fdb9ab

  Copy full SHA for 5fdb9ab

Commits on Oct 20, 2021

• Fix tutorials 1.6 (#388)

  Show description for e31a3eb
  ankushdesai

  authored
  e31a3eb

  Copy full SHA for e31a3eb

• Fix tutorials 1.5 (#387)

  Show description for d38af43
  ankushdesai

  authored
  d38af43

  Copy full SHA for d38af43

• Proofread the ClientServer.md (#386)

  claudiacauli

  authored
  3d93951

  Copy full SHA for 3d93951

Commits on Oct 19, 2021

• Fix tutorials 1.4 (#385)

  Show description for 2a67eed
  ankushdesai

  authored
  2a67eed

  Copy full SHA for 2a67eed

• Fix some more typos in the documentation (#384)

  claudiacauli

  authored
  c4ad3c1

  Copy full SHA for c4ad3c1

• Fix tutorials 1.3 (#383)

  Show description for b126262
  ankushdesai

  authored
  b126262

  Copy full SHA for b126262

• Functions manual updated. (#382)

  ankushdesai

  authored
  ab84e0c

  Copy full SHA for ab84e0c

Commits on Oct 18, 2021

• Typo fix

  ankushdesai

  committed
  ce1b527

  Copy full SHA for ce1b527

Pagination

Previous

Next