Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on Feb 27, 2025

• copilot: Add example of how to use proveWithCounterExample. Refs #589.

  Show description for ed24a0e
  RyanGlScott

  committed
  ed24a0e

  Copy full SHA for ed24a0e

Commits on Jan 6, 2025

• copilot: Update struct examples to use generic method implementations. Refs #564.

  Show description for ae41a73
  RyanGlScott

  committed
  ae41a73

  Copy full SHA for ae41a73

Commits on Oct 18, 2024

• copilot: Give example of how to implement updateField. Refs #525.

  Show description for 2dc9fb4
  RyanGlScott

  committed
  2dc9fb4

  Copy full SHA for 2dc9fb4

• copilot: Update what4-propositional example's comments to match results. Refs #535.

  Show description for ceae648
  RyanGlScott

  committed
  ceae648

  Copy full SHA for ceae648

Commits on Sep 6, 2024

• copilot: Introduce example reasoning about array updates. Refs #36.

  Show description for 8e3bbba
  ivanperez-keera

  committed
  8e3bbba

  Copy full SHA for 8e3bbba

• copilot: Update array example to use new syntax. Refs #36.

  Show description for 219bd86
  ivanperez-keera

  committed
  219bd86

  Copy full SHA for 219bd86

Commits on Aug 30, 2024

• copilot: Update example to demonstrate struct update support. Refs #524.

  Show description for 634b928
  RyanGlScott

  committed
  634b928

  Copy full SHA for 634b928

Commits on Dec 28, 2023

• copilot: Update uses of forall. Refs #470.

  Show description for 6b4abda
  ivanperez-keera

  committed
  6b4abda

  Copy full SHA for 6b4abda

Commits on Nov 6, 2023

• copilot: Update uses of typename. Refs #457.

  Show description for 26cf867
  ivanperez-keera

  committed
  26cf867

  Copy full SHA for 26cf867

Commits on Apr 27, 2022

• Style: squash multiple consecutive empty lines. Refs #316.

  Show description for 6927353
  ivanperez-keera

  committed
  6927353

  Copy full SHA for 6927353

• Style: squash multiple consecutive empty lines. Refs #316.

  Show description for e3601e8
  ivanperez-keera

  committed
  e3601e8

  Copy full SHA for e3601e8

• Style: squash multiple consecutive empty lines. Refs #316.

  Show description for c8ff995
  ivanperez-keera

  committed
  c8ff995

  Copy full SHA for c8ff995

Commits on Sep 16, 2021

• Re-organize project in folders. Refs #248.

  Show description for da084f4
  ivanperez-keera

  committed
  da084f4

  Copy full SHA for da084f4

Loading