All pull requests

Pull requests

• Bump mkdocs-material from 9.6.23 to 9.7.7 in /Docs

  dependenciespython
  #1000·dependabot[bot] opened Sep 3, 2026Bot·

  ·

• Bump org.apache.logging.log4j:log4j-api from 2.25.4 to 2.25.5 in /Src/PEx

  dependenciesjava
  #997·dependabot[bot] opened Aug 13, 2026Bot·

  ·

• Bump dotnet/sdk from 8.0 to 10.0

  dependenciesdocker
  #996·dependabot[bot] opened Aug 5, 2026Bot·

  ·

• docs: add a code example and checker findings to the landing page

  #995·crowecawcaw opened Aug 3, 2026Contributor·

  ·

• Bump actions/setup-dotnet from 1 to 6

  dependenciesgithub_actions
  #994·dependabot[bot] opened Aug 3, 2026Bot·

  ·

• Bump actions/cache from 3 to 6

  dependenciesgithub_actions
  #993·dependabot[bot] opened Aug 3, 2026Bot·

  ·

• Bump actions/setup-java from 1 to 5

  dependenciesgithub_actions
  #992·dependabot[bot] opened Aug 3, 2026Bot·

  ·

• Bump crazy-max/ghaction-import-gpg from 6 to 7

  dependenciesgithub_actions
  #991·dependabot[bot] opened Aug 3, 2026Bot·

  ·

• Bump gradle/gradle-build-action from 2 to 3

  dependenciesgithub_actions
  #990·dependabot[bot] opened Aug 3, 2026Bot·

  ·

• Src/PeasyAI: add Gemini backend support.

  #988·avdva opened Aug 3, 2026·

  ·

• Unified agentic spec inference for P: frozen candidate schema, robust validation backbone, ranking (PLAN.md Phases 0-4)

  #977·ankushdesai opened Jul 2, 2026Member·

  ·
  9

• PVerifier: handle choose in expression contexts to avoid internal codegen crash

  #972·ankushdesai with CopilotAI opened Jun 1, 2026·

  ·
  1

  

• Bump org.apache.logging.log4j:log4j-core from 2.20.0 to 2.25.4 in /Src/PObserve/PObserveJavaUnitTest

  dependenciesjava
  #966·dependabot[bot] opened May 26, 2026Bot·

  ·

• Add @Generated annotation to PObserve generated Java classes

  #941·ylecaillez opened Mar 26, 2026·

  ·
  3

• [PVerifier] Improve proof speed by not generating unused procedures

  #934·TheKK opened Feb 13, 2026·

  ·
  3

• Add sequence literals

  #901·anmolsahoo25 opened Aug 10, 2025·

  ·
  14