Skip to content

Actions: ljedrz/lambda_calculus

Actions

basics

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
check-and-lint.yml
20 workflow runs
20 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix: printing Var(27) and beyond overflowed ASCII (#55) basics #48: Commit c961a86 pushed by ljedrz
July 23, 2024 08:38 25s master
master
July 23, 2024 08:38 25s
fix: printing Var(27) and beyond overflowed ASCII basics #47: Pull request #55 synchronize by AgentElement
July 22, 2024 19:28 21s AgentElement:print-fix
AgentElement:print-fix
July 22, 2024 19:28 21s
fix: printing Var(27) and beyond overflowed ASCII basics #46: Pull request #55 synchronize by AgentElement
July 22, 2024 19:27 20s AgentElement:print-fix
AgentElement:print-fix
July 22, 2024 19:27 20s
fix: printing Var(27) and beyond overflowed ASCII basics #45: Pull request #55 synchronize by AgentElement
July 22, 2024 18:58 16s AgentElement:print-fix
AgentElement:print-fix
July 22, 2024 18:58 16s
fix: printing Var(27) and beyond overflowed ASCII basics #44: Pull request #55 synchronize by AgentElement
July 22, 2024 18:26 26s AgentElement:print-fix
AgentElement:print-fix
July 22, 2024 18:26 26s
fix: printing Var(27) and beyond overflowed ASCII basics #43: Pull request #55 opened by AgentElement
July 22, 2024 09:19 22s AgentElement:print-fix
AgentElement:print-fix
July 22, 2024 09:19 22s
release: bump version to 3.3.0 basics #42: Commit 7a24943 pushed by ljedrz
May 30, 2024 10:27 20s master
master
May 30, 2024 10:27 20s
Term::has_free_variables: check if an expression has free variables… basics #41: Commit 971f18f pushed by ljedrz
May 30, 2024 08:27 22s master
master
May 30, 2024 08:27 22s
Term::has_free_variables: check if an expression has free variables basics #40: Pull request #54 synchronize by AgentElement
May 30, 2024 08:21 17s AgentElement:has_free_vars-feat
AgentElement:has_free_vars-feat
May 30, 2024 08:21 17s
Term::has_free_variables: check if an expression has free variables basics #39: Pull request #54 opened by AgentElement
May 30, 2024 07:29 19s AgentElement:has_free_vars-feat
AgentElement:has_free_vars-feat
May 30, 2024 07:29 19s
Term::is_isomorphic_to: A function to determine if two term objects… basics #38: Commit 221c85c pushed by ljedrz
May 29, 2024 10:42 19s master
master
May 29, 2024 10:42 19s
Term::is_isomorphic_to: A function to determine if two term objects describe identical expressions. basics #37: Pull request #53 synchronize by AgentElement
May 29, 2024 10:27 23s AgentElement:equivalent-feat
AgentElement:equivalent-feat
May 29, 2024 10:27 23s
Term::is_isomorphic_to: A function to determine if two term objects describe identical expressions. basics #36: Pull request #53 synchronize by AgentElement
May 29, 2024 10:21 19s AgentElement:equivalent-feat
AgentElement:equivalent-feat
May 29, 2024 10:21 19s
Term::is_isomorphic_to: A function to determine if two term objects describe identical expressions. basics #35: Pull request #53 synchronize by AgentElement
May 29, 2024 09:50 31s AgentElement:equivalent-feat
AgentElement:equivalent-feat
May 29, 2024 09:50 31s
Term::is_isomorphic_to: A function to determine if two term objects describe identical expressions. basics #34: Pull request #53 synchronize by AgentElement
May 29, 2024 08:42 25s AgentElement:equivalent-feat
AgentElement:equivalent-feat
May 29, 2024 08:42 25s
Term::is_isomorphic_to: A function to determine if two term objects describe identical expressions. basics #33: Pull request #53 opened by AgentElement
May 29, 2024 08:38 30s AgentElement:equivalent-feat
AgentElement:equivalent-feat
May 29, 2024 08:38 30s
fix: tokenize alphanumeric strings correctly (#52) basics #32: Commit ef56824 pushed by ljedrz
May 27, 2024 18:05 32s master
master
May 27, 2024 18:05 32s
fix: tokenize alphanumeric strings correctly basics #31: Pull request #52 synchronize by AgentElement
May 27, 2024 17:59 24s AgentElement:alphanumeric-fix
AgentElement:alphanumeric-fix
May 27, 2024 17:59 24s
clippy: fix a new lint basics #29: Commit 78f5e75 pushed by ljedrz
May 27, 2024 08:55 18s master
master
May 27, 2024 08:55 18s
fix: tokenize alphanumeric strings correctly basics #28: Pull request #52 opened by AgentElement
May 26, 2024 11:35 23s AgentElement:alphanumeric-fix
AgentElement:alphanumeric-fix
May 26, 2024 11:35 23s