Skip to content

Actions: SemGuS-git/Semgus-Parser

Actions

.NET

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
dotnet.yml
23 workflow runs
23 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

2.6.0 Release .NET #194: Release v2.6.0 published by kjcjohnson
April 7, 2024 03:02 2m 14s
April 7, 2024 03:02 2m 14s
2.6.0 Preview 3 .NET #193: Release v2.6.0-preview3 published by kjcjohnson
March 24, 2024 18:47 2m 36s
March 24, 2024 18:47 2m 36s
Merge pull request #118 from SemGuS-git/kjcjohnson/sexpr-term-annotat… .NET #192: Commit b5e6ccc pushed by kjcjohnson
March 24, 2024 18:07 3m 22s main
main
March 24, 2024 18:07 3m 22s
Add option for term annotations in s-expression format .NET #191: Pull request #118 opened by kjcjohnson
March 24, 2024 18:05 1m 43s kjcjohnson/sexpr-term-annotations
kjcjohnson/sexpr-term-annotations
March 24, 2024 18:05 1m 43s
2.6.0 Preview 2 .NET #190: Release v2.6.0-preview2 published by kjcjohnson
March 23, 2024 18:18 4m 22s
March 23, 2024 18:18 4m 22s
Merge pull request #116 from SemGuS-git/kjcjohnson/theory-of-sequences .NET #189: Commit 8956eeb pushed by kjcjohnson
March 20, 2024 00:52 3m 28s main
main
March 20, 2024 00:52 3m 28s
Add the (experimental cvc5) theory of sequences .NET #188: Pull request #116 synchronize by kjcjohnson
March 20, 2024 00:44 2m 4s kjcjohnson/theory-of-sequences
kjcjohnson/theory-of-sequences
March 20, 2024 00:44 2m 4s
Add the (experimental cvc5) theory of sequences .NET #187: Pull request #116 opened by kjcjohnson
March 19, 2024 02:52 2m 10s kjcjohnson/theory-of-sequences
kjcjohnson/theory-of-sequences
March 19, 2024 02:52 2m 10s
Merge pull request #115 from SemGuS-git/kjcjohnson/legacy-symbols-option .NET #186: Commit 78de212 pushed by kjcjohnson
March 19, 2024 01:02 2m 9s main
main
March 19, 2024 01:02 2m 9s
Add option to disable legacy symbols in CHC JSON events .NET #185: Pull request #115 opened by kjcjohnson
March 19, 2024 00:54 2m 26s kjcjohnson/legacy-symbols-option
kjcjohnson/legacy-symbols-option
March 19, 2024 00:54 2m 26s
2.6.0 Preview 1 .NET #184: Release v2.6.0-preview1 published by kjcjohnson
March 12, 2024 01:54 2m 44s
March 12, 2024 01:54 2m 44s
Merge pull request #114 from SemGuS-git/kjcjohnson/intrinsics .NET #183: Commit 01c2d33 pushed by kjcjohnson
March 12, 2024 01:50 1m 44s main
main
March 12, 2024 01:50 1m 44s
Support "intrinsic" declarations .NET #182: Pull request #114 opened by kjcjohnson
March 12, 2024 01:48 1m 30s kjcjohnson/intrinsics
kjcjohnson/intrinsics
March 12, 2024 01:48 1m 30s
Merge pull request #112 from SemGuS-git/kjcjohnson/array-ex-theory .NET #181: Commit 6739757 pushed by kjcjohnson
February 25, 2024 04:08 1m 45s main
main
February 25, 2024 04:08 1m 45s
ArraysEx and Parametric Sorts in Function Ranks .NET #180: Pull request #112 synchronize by kjcjohnson
February 25, 2024 04:05 1m 39s kjcjohnson/array-ex-theory
kjcjohnson/array-ex-theory
February 25, 2024 04:05 1m 39s
ArraysEx and Parametric Sorts in Function Ranks .NET #179: Pull request #112 opened by kjcjohnson
February 24, 2024 23:08 1m 44s kjcjohnson/array-ex-theory
kjcjohnson/array-ex-theory
February 24, 2024 23:08 1m 44s
Merge pull request #111 from Shoooooon/main .NET #178: Commit 884868e pushed by kjcjohnson
February 23, 2024 02:05 1m 45s main
main
February 23, 2024 02:05 1m 45s
Parametric Sort .NET #177: Pull request #111 synchronize by Shoooooon
February 23, 2024 02:01 1m 30s Shoooooon:main
Shoooooon:main
February 23, 2024 02:01 1m 30s
Parametric Sort .NET #176: Pull request #111 opened by Shoooooon
February 22, 2024 01:17 2m 6s Shoooooon:main
Shoooooon:main
February 22, 2024 01:17 2m 6s
2.5.0 Release .NET #174: Release v2.5.0 published by kjcjohnson
January 4, 2024 01:10 4m 2s
January 4, 2024 01:10 4m 2s
2.5.0 Preview 1 .NET #173: Release v2.5.0-preview1 published by kjcjohnson
August 22, 2023 01:09 3m 19s
August 22, 2023 01:09 3m 19s
Merge pull request #106 from SemGuS-git/bv-ext .NET #172: Commit 31624ca pushed by kjcjohnson
August 22, 2023 01:05 2m 38s main
main
August 22, 2023 01:05 2m 38s
Move BV extensions .NET #171: Pull request #106 opened by kjcjohnson
August 22, 2023 00:52 2m 13s bv-ext
bv-ext
August 22, 2023 00:52 2m 13s