Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Sep 16, 2025

• release: bump version to 3.4.0

  Show description for 6641e77
  ljedrz

  committed
  6641e77

  Copy full SHA for 6641e77

• handle free variables correctly (#58)

  Show description for 4a73ed8
  

  hiratara

  and

  ljedrz

  authored
  4a73ed8

  Copy full SHA for 4a73ed8

Commits on Jul 23, 2024

• fix: printing Var(27) and beyond overflowed ASCII (#55)

  Show description for c961a86
  

  AgentElement

  and

  ljedrz

  authored
  c961a86

  Copy full SHA for c961a86

Commits on May 30, 2024

• release: bump version to 3.3.0

  Show description for 7a24943
  ljedrz

  committed
  7a24943

  Copy full SHA for 7a24943

• `Term::has_free_variables`: check if an expression has free variables (#54)

  Show description for 971f18f
  AgentElement

  authored
  971f18f

  Copy full SHA for 971f18f

Commits on May 29, 2024

• `Term::is_isomorphic_to`: A function to determine if two term objects describe identical expressions. (#53)

  Show description for 221c85c
  

  AgentElement

  and

  ljedrz

  authored
  221c85c

  Copy full SHA for 221c85c

Commits on May 27, 2024

• fix: tokenize alphanumeric strings correctly (#52)

  Show description for ef56824
  AgentElement

  authored
  ef56824

  Copy full SHA for ef56824

• clippy: fix a new lint

  Show description for 78f5e75
  ljedrz

  committed
  78f5e75

  Copy full SHA for 78f5e75

Commits on Sep 20, 2023

• release: bump version to 3.2.2

  Show description for 0a613d8
  ljedrz

  committed
  0a613d8

  Copy full SHA for 0a613d8

• Merge pull request #51 from hiratara/free-variable-context

  Show description for 14fad22
  ljedrz

  authored
  14fad22

  Copy full SHA for 14fad22

• drive-by: a small clippy fix in a test

  Show description for 5505945
  ljedrz

  committed
  5505945

  Copy full SHA for 5505945

• refactor: simplify Term::max_depth

  Show description for 7e46add
  ljedrz

  committed
  7e46add

  Copy full SHA for 7e46add

Commits on Sep 16, 2023

• fix: keep free variables from conflicting bound variables

  

  Masahiro Honma

  committed
  3fdc516

  Copy full SHA for 3fdc516

• feat: introduce max_depth() method

  

  Masahiro Honma

  committed
  c8d3bbb

  Copy full SHA for c8d3bbb

Commits on Aug 17, 2023

• release: bump version to 3.2.1

  Show description for 104ceab
  ljedrz

  committed
  104ceab

  Copy full SHA for 104ceab

• Merge pull request #50 from hiratara/fix-free-vars

  Show description for dfcf4e7
  ljedrz

  authored
  dfcf4e7

  Copy full SHA for dfcf4e7

Commits on Aug 12, 2023

• refactor: use VecDeque instead of Vec

  Show description for 190c29f
  

  Masahiro Honma

  committed
  190c29f

  Copy full SHA for 190c29f

• refactor: put free variables on `stack` too

  

  Masahiro Honma

  committed
  5227a11

  Copy full SHA for 5227a11

Commits on Aug 11, 2023

• test: reduce a classic notation

  

  Masahiro Honma

  committed
  dc70c4c

  Copy full SHA for dc70c4c

• fix: parse free variables correctly

  

  Masahiro Honma

  committed
  0351f75

  Copy full SHA for 0351f75

Commits on Aug 5, 2023

• chore: fix formatting in CHANGELOG

  Show description for a369ffd
  ljedrz

  committed
  a369ffd

  Copy full SHA for a369ffd

• release: bump version to 3.2.0

  Show description for 32bc08f
  ljedrz

  committed
  32bc08f

  Copy full SHA for 32bc08f

• Merge pull request #49 from hiratara/support-anyhow

  Show description for 5791e67
  ljedrz

  authored
  5791e67

  Copy full SHA for 5791e67

• fmt: adjust the Display impl for ParseError

  ljedrz

  authored
  a58a546

  Copy full SHA for a58a546

• tweak: adjust an error message

  ljedrz

  authored
  ee838ee

  Copy full SHA for ee838ee

• feat: implement Error trait for TermError

  

  Masahiro Honma

  committed
  a0ff3c9

  Copy full SHA for a0ff3c9

Commits on Aug 4, 2023

• feat: implement Error trait for ParseError

  

  Masahiro Honma

  committed
  6e155a1

  Copy full SHA for 6e155a1

Commits on Apr 30, 2023

• docs: remove an outdated README section

  Show description for ebd9d68
  ljedrz

  committed
  ebd9d68

  Copy full SHA for ebd9d68

• chore: tweak the TOML

  Show description for 4fd21b1
  ljedrz

  committed
  4fd21b1

  Copy full SHA for 4fd21b1

• docs: tweak the README

  Show description for 52ecfaf
  ljedrz

  committed
  52ecfaf

  Copy full SHA for 52ecfaf

Commits on Feb 17, 2023

• Merge pull request #48 from zicklag/patch-1

  Show description for 8ca6513
  ljedrz

  authored
  8ca6513

  Copy full SHA for 8ca6513

• docs: add languages to code-blocks in README.

  zicklag

  authored
  9b263dc

  Copy full SHA for 9b263dc

• refactor: elide one lifetime in _convert_classic_tokens

  Show description for 728e266
  ljedrz

  committed
  728e266

  Copy full SHA for 728e266

Commits on Nov 13, 2022

• refactor: remove an unused param in an internal function

  Show description for cae2bda
  ljedrz

  committed
  cae2bda

  Copy full SHA for cae2bda

Commits on Aug 22, 2022

• release: bump version to 3.1

  Show description for 9fec578
  ljedrz

  committed
  9fec578

  Copy full SHA for 9fec578

Pagination

Previous

Next