Skip to content

Actions: rhartert/gofzn

Actions

Tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
32 workflow runs
32 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Parse predicates with non-constant array sizes
Tests #32: Commit 8f6ad53 pushed by rhartert
July 13, 2024 18:52 2m 30s main
July 13, 2024 18:52 2m 30s
Generate String() for common enums in fzn/types.go
Tests #31: Commit 71e4cc7 pushed by rhartert
June 4, 2024 05:14 17s main
June 4, 2024 05:14 17s
Minor rewriting of README + fix comment typo
Tests #30: Commit 4490b17 pushed by rhartert
May 29, 2024 03:59 13s main
May 29, 2024 03:59 13s
Noop lex reordering of the token types
Tests #29: Commit d0f580a pushed by rhartert
May 29, 2024 01:17 12s main
May 29, 2024 01:17 12s
Remove a redundant error message prefix
Tests #28: Commit d2102bf pushed by rhartert
May 28, 2024 09:39 21s main
May 28, 2024 09:39 21s
Fix a few comment typos
Tests #27: Commit 0757615 pushed by rhartert
May 28, 2024 09:39 18s main
May 28, 2024 09:39 18s
Change contact email in README
Tests #26: Commit 3638f53 pushed by rhartert
May 28, 2024 09:38 13s main
May 28, 2024 09:38 13s
Rephrase the motivation behind the project
Tests #25: Commit c2afb3b pushed by rhartert
May 27, 2024 13:13 14s main
May 27, 2024 13:13 14s
Minor change to Expr + more godoc
Tests #24: Commit 8f85ee5 pushed by rhartert
May 27, 2024 12:35 13s main
May 27, 2024 12:35 13s
Slightly increase coverage of test case cakes.fzn
Tests #23: Commit 9aa3e70 pushed by rhartert
May 27, 2024 12:06 15s main
May 27, 2024 12:06 15s
Rename Handler.AddXXX to HandleXXX + more godoc
Tests #22: Commit 86dfbe9 pushed by rhartert
May 27, 2024 12:03 13s main
May 27, 2024 12:03 13s
Add godoc to the parser public types
Tests #21: Commit 34682d3 pushed by rhartert
May 27, 2024 11:19 14s main
May 27, 2024 11:19 14s
Add predicate parsing
Tests #20: Commit 85a44f1 pushed by rhartert
May 27, 2024 10:16 12s main
May 27, 2024 10:16 12s
Minor rewording in README.md
Tests #19: Commit 7a437de pushed by rhartert
May 27, 2024 09:13 15s main
May 27, 2024 09:13 15s
Clarify behavior of fzn.Parse
Tests #18: Commit 3a3e3a2 pushed by rhartert
May 27, 2024 08:19 15s main
May 27, 2024 08:19 15s
Make parser properly handle multiline inputs
Tests #17: Commit 2c4ea3e pushed by rhartert
May 27, 2024 08:08 18s main
May 27, 2024 08:08 18s
Fix comment tokenization to properly handle '\n'
Tests #16: Commit bfe0288 pushed by rhartert
May 27, 2024 08:01 21s main
May 27, 2024 08:01 21s
Add missing check for EOI in parseSolveGoal
Tests #15: Commit 909b712 pushed by rhartert
May 27, 2024 07:47 16s main
May 27, 2024 07:47 16s
Refactor Variable and Parameter structs
Tests #14: Commit 829c646 pushed by rhartert
May 27, 2024 07:29 16s main
May 27, 2024 07:29 16s
Add a test for parsing invalid runes
Tests #13: Commit c48ae9d pushed by rhartert
May 27, 2024 06:15 17s main
May 27, 2024 06:15 17s
Replace BasicExpr with Literal
Tests #12: Commit f3a87e7 pushed by rhartert
May 27, 2024 06:09 27s main
May 27, 2024 06:09 27s
Add a test for parsing invalid runes
Tests #11: Commit c48ae9d pushed by rhartert
May 27, 2024 02:41 14s main
May 27, 2024 02:41 14s
Complete moving tests from parser_test to fzn_test
Tests #10: Commit 1f41005 pushed by rhartert
May 27, 2024 02:38 15s main
May 27, 2024 02:38 15s
Rename AnnExpr to AnnParam
Tests #9: Commit 869bd1b pushed by rhartert
May 27, 2024 02:08 11s main
May 27, 2024 02:08 11s
Simplify data model by removing SetInt + renaming
Tests #8: Commit 78bccdf pushed by rhartert
May 27, 2024 01:11 17s main
May 27, 2024 01:11 17s