Skip to content

Actions: divark/TSLCompiler

Actions

Continuous Integration / Continuous Deployment (Unix-based)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
170 workflow runs
170 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Expand on how to build with apt, pacman, and dnf packages.
Continuous Integration / Continuous Deployment (Unix-based) #170: Commit 4e525eb pushed by divark
3m 7s main
Rearrange choice definition items.
Continuous Integration / Continuous Deployment (Unix-based) #169: Commit 8ef41db pushed by divark
3m 17s main
Polish wording of help dialogue.
Continuous Integration / Continuous Deployment (Unix-based) #168: Commit 31af7ee pushed by divark
3m 19s v1.0.8
Polish wording of help dialogue.
Continuous Integration / Continuous Deployment (Unix-based) #167: Commit 31af7ee pushed by divark
2m 45s main
Fix binary expressions not forming correctly if there is a chain of o…
Continuous Integration / Continuous Deployment (Unix-based) #166: Commit 8545636 pushed by divark
3m 14s main
Clarify optional elements in conditional statements
Continuous Integration / Continuous Deployment (Unix-based) #165: Commit 243cdb7 pushed by divark
3m 24s main
Be more thorough in user manual.
Continuous Integration / Continuous Deployment (Unix-based) #164: Commit 04a88c4 pushed by divark
2m 41s main
Fix N/A being applied incorrectly for complex-if-else case.
Continuous Integration / Continuous Deployment (Unix-based) #163: Commit aad8053 pushed by divark
2m 56s main
Remove old comment about property limit in user manual
Continuous Integration / Continuous Deployment (Unix-based) #162: Commit 90b9de9 pushed by divark
Port argument parsing to use args library.
Continuous Integration / Continuous Deployment (Unix-based) #161: Commit 48e6c5a pushed by divark
2m 47s main
Use shared pointers when referencing Nodes.
Continuous Integration / Continuous Deployment (Unix-based) #160: Commit be8c4b8 pushed by divark
3m 10s v1.0.7
Add boost dependency to tests. Specify container_hash module for boost.
Continuous Integration / Continuous Deployment (Unix-based) #159: Commit 6417a2a pushed by divark
3m 11s boost-hashing
Add boost dependency detection to meson.
Continuous Integration / Continuous Deployment (Unix-based) #158: Commit 1811157 pushed by divark
1m 20s boost-hashing
Use hashing to infer if test case already found.
Continuous Integration / Continuous Deployment (Unix-based) #157: Commit 2ff44b7 pushed by divark
1m 13s boost-hashing
Use shared pointers when referencing Nodes.
Continuous Integration / Continuous Deployment (Unix-based) #156: Commit be8c4b8 pushed by divark
2m 43s main
Revise running and compiling instructions in README
Continuous Integration / Continuous Deployment (Unix-based) #155: Commit 0eac12b pushed by divark
3m 16s main
Add instructions on how to build on Windows
Continuous Integration / Continuous Deployment (Unix-based) #154: Commit a60ae86 pushed by divark
3m 5s main
Update Bison version requirement in README
Continuous Integration / Continuous Deployment (Unix-based) #153: Commit 2397992 pushed by divark
5m 0s main
Update README to bring attention to pre-built binaries.
Continuous Integration / Continuous Deployment (Unix-based) #152: Commit 0d288ba pushed by divark
3m 29s main
Increase bison version to account for counterexample flag.
Continuous Integration / Continuous Deployment (Unix-based) #151: Commit ac6c4f1 pushed by divark
3m 36s main
Specify minimum versions for bison and meson.
Continuous Integration / Continuous Deployment (Unix-based) #150: Commit 19e37de pushed by divark
3m 22s main
Report duplicate Categories as an error.
Continuous Integration / Continuous Deployment (Unix-based) #149: Commit ef972d9 pushed by divark
9m 50s main
Remove unsupported package comment in Windows CI/CD.
Continuous Integration / Continuous Deployment (Unix-based) #148: Commit 7c65084 pushed by divark
3m 46s v1.0.6
Remove unsupported package comment in Windows CI/CD.
Continuous Integration / Continuous Deployment (Unix-based) #147: Commit 7c65084 pushed by divark
49s main
Make zip files for Windows using 7z in Windows CI/CD.
Continuous Integration / Continuous Deployment (Unix-based) #146: Commit 99b9e5c pushed by divark
6m 43s v1.0.6