Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on Oct 28, 2025

• build(deps): bump actions/upload-artifact in the github_actions group

  Show description for eb3bdad
  

  dependabot[bot]

  authored and

  adsharma

  committed
  eb3bdad

  Copy full SHA for eb3bdad

Commits on Sep 9, 2025

• build(deps): bump the github_actions group across 1 directory with 4 updates

  Show description for f5e7497
  

  dependabot[bot]

  authored and

  adsharma

  committed
  f5e7497

  Copy full SHA for f5e7497

Commits on Aug 11, 2025

• Fix setup/runner for zig

  adsharma

  committed
  b701e90

  Copy full SHA for b701e90

Commits on Aug 10, 2025

• [zig] checkpoint pylib container handling

  adsharma

  committed
  dbe29bf

  Copy full SHA for dbe29bf

• Fix math_func.zig

  adsharma

  committed
  fc7cfff

  Copy full SHA for fc7cfff

• [zig] Fix assert.zig

  Show description for 91a6b4a
  adsharma

  committed
  91a6b4a

  Copy full SHA for 91a6b4a

Commits on Jul 27, 2025

• Fix the buggy triangle classifier with counter example

  adsharma

  committed
  9c917d0

  Copy full SHA for 9c917d0

• pysmt: fix bugs and get closer to desired output

  adsharma

  committed
  0a0d9ae

  Copy full SHA for 0a0d9ae

• pysmt: some fixes and a new test case

  adsharma

  committed
  adb9111

  Copy full SHA for adb9111

Commits on Jul 26, 2025

• Fix deprecation warnings

  adsharma

  committed
  358aa7a

  Copy full SHA for 358aa7a

Commits on Jul 21, 2025

• Update CHANGELOG.md with 0.7 release date

  adsharma

  authored
  798c21a

  Copy full SHA for 798c21a

• Release 0.7

  adsharma

  committed
  b0fa843

  Copy full SHA for b0fa843

• Update to match README.md

  adsharma

  committed
  179b7b5

  Copy full SHA for 179b7b5

Commits on Jul 20, 2025

• Update README for better visibility

  adsharma

  committed
  951b267

  Copy full SHA for 951b267

Commits on Jun 17, 2025

• Fix cpplint: one more test failure

  adsharma

  committed
  10f8977

  Copy full SHA for 10f8977

• Fix cpplint - a few files were missed

  adsharma

  committed
  5c095d7

  Copy full SHA for 5c095d7

• Fix cpplint

  adsharma

  committed
  5d96223

  Copy full SHA for 5d96223

• build(deps): bump mlugg/setup-zig

  Show description for 75e7561
  

  dependabot[bot]

  authored and

  adsharma

  committed
  75e7561

  Copy full SHA for 75e7561

Commits on Jun 15, 2025

• Use the same version of black as fast.yaml

  adsharma

  committed
  9c3384b

  Copy full SHA for 9c3384b

• Upgrade setup-mojo-action

  adsharma

  committed
  4c4002b

  Copy full SHA for 4c4002b

Commits on Jun 14, 2025

• Test fixes for Mojo 25.5.0.dev2025061405

  adsharma

  committed
  4e4a2be

  Copy full SHA for 4e4a2be

• Add mojo to Dockerfile

  adsharma

  committed
  efd14de

  Copy full SHA for efd14de

• Ignore uv.lock for now

  adsharma

  committed
  3f52f7b

  Copy full SHA for 3f52f7b

Commits on Jun 10, 2025

• [rust] fix an efficiency issue flagged by recent stable toolchain

  adsharma

  committed
  b4b2de4

  Copy full SHA for b4b2de4

• Fix package names

  adsharma

  committed
  7d0ccbf

  Copy full SHA for 7d0ccbf

• Use uv for managing dependencies

  adsharma

  committed
  0f687ed

  Copy full SHA for 0f687ed

Commits on Apr 17, 2025

• smt: support float/real

  adsharma

  committed
  001e247

  Copy full SHA for 001e247

Commits on Mar 11, 2025

• python: honor --no-prologue

  adsharma

  committed
  d34241f

  Copy full SHA for d34241f

Commits on Mar 5, 2025

• Add cpplint to pre-commit

  

  cclauss

  authored and

  adsharma

  committed
  75d8511

  Copy full SHA for 75d8511

• Add cpplint to pre-commit

  

  cclauss

  authored and

  adsharma

  committed
  206f96b

  Copy full SHA for 206f96b

• Fix a few more regressions

  adsharma

  committed
  f7003db

  Copy full SHA for f7003db

• Fix test errors exposed by refactor

  adsharma

  committed
  0b9f919

  Copy full SHA for 0b9f919

• Fix test failure

  adsharma

  committed
  a67b163

  Copy full SHA for a67b163

• AI deleted some rust specific logic. Restore

  adsharma

  committed
  4d46b12

  Copy full SHA for 4d46b12

• Keep the order of checks the same as baseline

  adsharma

  committed
  7c0cd4d

  Copy full SHA for 7c0cd4d

Pagination

Previous

Next