Skip to content

Actions: whitemech/LydiaSyft

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
67 workflow runs
67 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

docs: add MONA installation instructions in README CMake #153: Commit 40d707c pushed by marcofavorito
April 23, 2024 17:47 7m 19s main
main
April 23, 2024 17:47 7m 19s
docs: add references to papers in README CMake #152: Commit a287ab7 pushed by marcofavorito
April 23, 2024 14:15 6m 38s main
main
April 23, 2024 14:15 6m 38s
Add docstrings, quickstart in README, and paper references in README CMake #151: Pull request #35 opened by marcofavorito
April 20, 2024 18:19 6m 32s add-docstrings
add-docstrings
April 20, 2024 18:19 6m 32s
pages build and deployment pages-build-deployment #7: by marcofavorito
April 20, 2024 18:17 38s
April 20, 2024 18:17 38s
pages build and deployment pages-build-deployment #6: by Shufang-Zhu
April 18, 2024 13:34 42s
April 18, 2024 13:34 42s
Merge pull request #34 from whitemech/docs-dev CMake #150: Commit 92a531b pushed by Shufang-Zhu
April 18, 2024 13:33 7m 30s main
main
April 18, 2024 13:33 7m 30s
Merge pull request #33 from whitemech/docs-synthesis CMake #149: Commit 8e5968b pushed by Shufang-Zhu
April 18, 2024 13:33 6m 58s main
main
April 18, 2024 13:33 6m 58s
Docs dev CMake #148: Pull request #34 synchronize by Shufang-Zhu
April 18, 2024 13:25 7m 15s docs-dev
docs-dev
April 18, 2024 13:25 7m 15s
Docs dev CMake #147: Pull request #34 opened by Shufang-Zhu
April 18, 2024 11:29 5m 50s docs-dev
docs-dev
April 18, 2024 11:29 5m 50s
pages build and deployment pages-build-deployment #5: by Shufang-Zhu
April 18, 2024 11:27 41s
April 18, 2024 11:27 41s
pages build and deployment pages-build-deployment #4: by Shufang-Zhu
April 16, 2024 18:10 47s
April 16, 2024 18:10 47s
Fixed synthesizers that skip the variable paritition CMake #146: Pull request #33 opened by Shufang-Zhu
April 16, 2024 09:04 6m 43s docs-synthesis
docs-synthesis
April 16, 2024 09:04 6m 43s
pages build and deployment pages-build-deployment #3: by Shufang-Zhu
April 15, 2024 21:04 53s
April 15, 2024 21:04 53s
pages build and deployment pages-build-deployment #2: by Shufang-Zhu
April 15, 2024 20:44 47s
April 15, 2024 20:44 47s
Configure and set up documentation via Doxygen CMake #145: Pull request #32 synchronize by marcofavorito
April 14, 2024 08:01 6m 35s docs
docs
April 14, 2024 08:01 6m 35s
Configure and set up documentation via Doxygen CMake #144: Pull request #32 opened by marcofavorito
April 13, 2024 21:03 6m 32s docs
docs
April 13, 2024 21:03 6m 32s
pages build and deployment pages-build-deployment #1: by marcofavorito
April 13, 2024 21:02 51s
April 13, 2024 21:02 51s
feat: add subcommands to CLI entrypoint CMake #143: Commit a2cffad pushed by marcofavorito
January 28, 2024 14:08 6m 22s main
main
January 28, 2024 14:08 6m 22s
Add CLI subcommands CMake #142: Pull request #31 opened by marcofavorito
January 27, 2024 23:47 6m 21s cli
cli
January 27, 2024 23:47 6m 21s
fix: use product_AND in GR1ReachabilitySynthesizer::run CMake #141: Commit 790cf4b pushed by marcofavorito
January 24, 2024 11:13 6m 12s main
main
January 24, 2024 11:13 6m 12s
added more basic dfa manipulations CMake #140: Pull request #30 synchronize by marcofavorito
January 24, 2024 11:02 5m 58s automata_manipulation
automata_manipulation
January 24, 2024 11:02 5m 58s
added bencharks for fairness, stability and gr1 CMake #139: Commit 63a33af pushed by marcofavorito
January 24, 2024 10:54 6m 1s main
main
January 24, 2024 10:54 6m 1s
added more basic dfa manipulations CMake #138: Pull request #30 opened by Shufang-Zhu
January 24, 2024 10:45 5m 18s automata_manipulation
automata_manipulation
January 24, 2024 10:45 5m 18s
added bencharks for fairness, stability and gr1 CMake #137: Pull request #29 opened by Shufang-Zhu
January 23, 2024 18:11 6m 35s test_benchmarks
test_benchmarks
January 23, 2024 18:11 6m 35s
fix: replace 'X\[\!\]' with 'strongX' in Catch test names CMake #136: Commit eb14f96 pushed by marcofavorito
January 22, 2024 21:43 6m 18s main
main
January 22, 2024 21:43 6m 18s