Commits

Branch selector

main

User selector

All users

All time

Commit history

Commits on Feb 19, 2026

• native encoding

  namin

  committed
  65e9af0View commit details

  Copy full SHA for 65e9af0

  Browse repository at this point

Commits on Feb 18, 2026

• opus 4.6 full stats

  namin

  committed
  7f46ea3View commit details

  Copy full SHA for 7f46ea3

  Browse repository at this point

• fix

  namin

  committed
  a8af115View commit details

  Copy full SHA for a8af115

  Browse repository at this point

Commits on Feb 17, 2026

• resuming puzzle benchmark

  namin

  committed
  c4ce89eView commit details

  Copy full SHA for c4ce89e

  Browse repository at this point

• opus by default

  namin

  committed
  e00e8a2View commit details

  Copy full SHA for e00e8a2

  Browse repository at this point

Commits on Jan 22, 2026

• update log

  namin

  committed
  391477fView commit details

  Copy full SHA for 391477f

  Browse repository at this point

• Merge pull request #26 from namin/property

  Show description for 40856d4
  namin

  authored
  40856d4View commit details

  Copy full SHA for 40856d4

  Browse repository at this point

• fix

  namin

  committed
  99ef11fView commit details

  Copy full SHA for 99ef11f

  Browse repository at this point

• fix of the fix

  namin

  committed
  8156bd0View commit details

  Copy full SHA for 8156bd0

  Browse repository at this point

• sorted on bounded lists

  namin

  committed
  60cc43aView commit details

  Copy full SHA for 60cc43a

  Browse repository at this point

• fix numeric semantics

  namin

  committed
  2bed178View commit details

  Copy full SHA for 2bed178

  Browse repository at this point

• bug fix with not

  namin

  committed
  5c8c093View commit details

  Copy full SHA for 5c8c093

  Browse repository at this point

• strip errors

  namin

  committed
  c7f75f2View commit details

  Copy full SHA for c7f75f2

  Browse repository at this point

• support path ending in false

  namin

  committed
  928e73fView commit details

  Copy full SHA for 928e73f

  Browse repository at this point

Commits on Jan 19, 2026

• per-file summary

  namin

  committed
  24338d0View commit details

  Copy full SHA for 24338d0

  Browse repository at this point

• benchmark

  namin

  committed
  04220b2View commit details

  Copy full SHA for 04220b2

  Browse repository at this point

• property-based testing with holey

  namin

  committed
  604496dView commit details

  Copy full SHA for 604496d

  Browse repository at this point

• Update README with new link to PEPM'26 slides

  namin

  authored
  78ad503View commit details

  Copy full SHA for 78ad503

  Browse repository at this point

Commits on Jan 12, 2026

• add inlined example

  namin

  authored
  2e2715fView commit details

  Copy full SHA for 2e2715f

  Browse repository at this point

• smt -> SMTLIB

  namin

  authored
  028b887View commit details

  Copy full SHA for 028b887

  Browse repository at this point

• Improve formatting of examples in README

  namin

  authored
  2f1afb7View commit details

  Copy full SHA for 2f1afb7

  Browse repository at this point

• Add examples section to README

  namin

  authored
  dd4954fView commit details

  Copy full SHA for dd4954f

  Browse repository at this point

• Update stats in README

  namin

  authored
  87178f6View commit details

  Copy full SHA for 87178f6

  Browse repository at this point

Commits on Jan 3, 2026

• Merge branch 'misc-fixes'

  namin

  committed
  88aaceeView commit details

  Copy full SHA for 88aacee

  Browse repository at this point

• examples

  namin

  committed
  62eafbaView commit details

  Copy full SHA for 62eafba

  Browse repository at this point

• examples

  namin

  committed
  9f46aaaView commit details

  Copy full SHA for 9f46aaa

  Browse repository at this point

Commits on Dec 31, 2025

• fix add shape

  namin

  committed
  c7ad51dView commit details

  Copy full SHA for c7ad51d

  Browse repository at this point

• fix quantifier scope

  namin

  committed
  8595f1cView commit details

  Copy full SHA for 8595f1c

  Browse repository at this point

• u

  namin

  committed
  fc196b2View commit details

  Copy full SHA for fc196b2

  Browse repository at this point

• ite examples

  namin

  committed
  d029fc3View commit details

  Copy full SHA for d029fc3

  Browse repository at this point

• ite option

  namin

  committed
  7ae6cabView commit details

  Copy full SHA for 7ae6cab

  Browse repository at this point

• work around for ArithmeticSequence:3

  namin

  committed
  d4c3c38View commit details

  Copy full SHA for d4c3c38

  Browse repository at this point

• init sym-listcomp

  namin

  committed
  a42bf63View commit details

  Copy full SHA for a42bf63

  Browse repository at this point

• fix

  namin

  committed
  19bdc76View commit details

  Copy full SHA for 19bdc76

  Browse repository at this point

• u

  namin

  committed
  6c7fdcdView commit details

  Copy full SHA for 6c7fdcd

  Browse repository at this point