Skip to content

Actions: divark/TSLCompiler

Actions

Continuous Integration / Continuous Deployment (Windows)

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