Commits

Breadcrumbs

History for

onmain

User selector

All users

All time

Commit history

Commits on Oct 29, 2025

• Decouple Z3 From Expressions (#60)

  rcosta358

  authored
  aed9efdView commit details

  Copy full SHA for aed9efd

  View code at this pointBrowse repository at this point

Commits on Sep 28, 2025

• Qualify Ghost Names (#52)

  rcosta358

  authored
  88f2c7fView commit details

  Copy full SHA for 88f2c7f

  View code at this pointBrowse repository at this point

Commits on Apr 10, 2025

• formatter (#40)

  CatarinaGamboa

  authored
  79afe64View commit details

  Copy full SHA for 79afe64

  View code at this pointBrowse repository at this point

Commits on Dec 12, 2024

• [chore] reformat everything

  GUIpsp

  committed
  012a813View commit details

  Copy full SHA for 012a813

  View code at this pointBrowse repository at this point

Commits on Dec 1, 2024

• Fix massive memory leak

  GUIpsp

  committed
  ae5becaView commit details

  Copy full SHA for ae5beca

  View code at this pointBrowse repository at this point

Commits on Oct 28, 2023

• Removed all debug printing

  alcides

  committed
  67f96ccView commit details

  Copy full SHA for 67f96cc

  View code at this pointBrowse repository at this point

Commits on Oct 26, 2023

• Formatter by MVN

  alcides

  committed
  e30149bView commit details

  Copy full SHA for e30149b

  View code at this pointBrowse repository at this point

• Added Formatter

  alcides

  committed
  7f08362View commit details

  Copy full SHA for 7f08362

  View code at this pointBrowse repository at this point

• Added Formatter

  alcides

  committed
  f9a8da3View commit details

  Copy full SHA for f9a8da3

  View code at this pointBrowse repository at this point

Loading