Commits

Branch selector

 main

User selector

fatho

Datepicker

All time

Commit History

Commits on Sep 27, 2025

• Merge pull request #40 from fatho/update-deps-2025-09

  Show description for e1092d8
  fatho

  authored
  e1092d8

  Copy full SHA for e1092d8

• Update CI pipeline

  Show description for c2cea69
  fatho

  committed
  c2cea69

  Copy full SHA for c2cea69

• Upgrade dependencies to new major releases

  fatho

  committed
  edf4486

  Copy full SHA for edf4486

• Fix new warnings

  fatho

  committed
  f874db5

  Copy full SHA for f874db5

• Upgrade minor versions of dependencies

  fatho

  committed
  03730cb

  Copy full SHA for 03730cb

• Upgrade rust to 1.90.0

  fatho

  committed
  b03b06d

  Copy full SHA for b03b06d

Commits on Jan 20, 2025

• Merge pull request #36 from duesee/main

  Show description for d19b318
  fatho

  authored
  d19b318

  Copy full SHA for d19b318

Commits on Dec 23, 2024

• Prepare v0.4.1

  fatho

  committed
  9eee1c0

  Copy full SHA for 9eee1c0

Commits on Dec 6, 2024

• Merge pull request #31 from dcz-self/pretty

  Show description for 35f3c23
  fatho

  authored
  35f3c23

  Copy full SHA for 35f3c23

Commits on Dec 1, 2024

• Merge pull request #30 from fatho/prepare-v0.4

  Show description for 1bcd45f
  fatho

  authored
  1bcd45f

  Copy full SHA for 1bcd45f

• Bump version to v0.4.0

  fatho

  committed
  e8d8666

  Copy full SHA for e8d8666

• Bump dependencies

  fatho

  committed
  8697844

  Copy full SHA for 8697844

• Update changelog for v0.4

  fatho

  committed
  3f681c2

  Copy full SHA for 3f681c2

• Check clippy on CI

  fatho

  committed
  fddae26

  Copy full SHA for fddae26

• Fix clippy hints

  fatho

  committed
  2469a7a

  Copy full SHA for 2469a7a

Commits on Nov 30, 2024

• Check formatting on CI

  fatho

  committed
  ed2f74d

  Copy full SHA for ed2f74d

Commits on Nov 29, 2024

• Merge pull request #28 from fatho/improve-ci

  Show description for b6f2227
  fatho

  authored
  b6f2227

  Copy full SHA for b6f2227

• Run CI for pull requests

  Show description for ed2906d
  fatho

  committed
  ed2906d

  Copy full SHA for ed2906d

• Add documentation check

  fatho

  committed
  0b1a99b

  Copy full SHA for 0b1a99b

Commits on Nov 24, 2024

• Update future plans

  fatho

  committed
  78e48cb

  Copy full SHA for 78e48cb

• Bump crate version to 0.3

  fatho

  committed
  80f5604

  Copy full SHA for 80f5604

• Add changelog

  fatho

  committed
  a69792d

  Copy full SHA for a69792d

• Add tests for arithmetic resolver

  fatho

  committed
  e22208e

  Copy full SHA for e22208e

• Merge branch 'cut'

  fatho

  committed
  2380716

  Copy full SHA for 2380716

• Update readme and add example

  fatho

  committed
  04eac26

  Copy full SHA for 04eac26

• Improve code structure of cut handling

  fatho

  committed
  ce9f971

  Copy full SHA for ce9f971

• Add tests for cut behavior

  fatho

  committed
  e4098b2

  Copy full SHA for e4098b2

• Implement support for cut in solver

  fatho

  committed
  348a428

  Copy full SHA for 348a428

• Allow cut and variables to appear in parsed terms

  fatho

  committed
  df327fe

  Copy full SHA for df327fe

• Introduce cut term

  fatho

  committed
  35c71b7

  Copy full SHA for 35c71b7

Commits on Nov 22, 2024

• Make zebra example more profiling friendly

  Show description for 732385b
  fatho

  committed
  732385b

  Copy full SHA for 732385b

• Restrict resolvers to `AppTerm`s

  fatho

  committed
  48be645

  Copy full SHA for 48be645

• Introduce explicit `AppTerm` representation for arena terms

  Show description for f7d9dd9
  fatho

  committed
  f7d9dd9

  Copy full SHA for f7d9dd9

• Simplify accessing arguments

  fatho

  committed
  dbb2213

  Copy full SHA for dbb2213

• Return Option from resolve

  Show description for 3f0adfd
  fatho

  committed
  3f0adfd

  Copy full SHA for 3f0adfd

Pagination

Previous

Next