Skip to content

Actions: plast-lab/souffle-addon

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
25 workflow runs
25 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

optimize, to eliminate copying Build and Test Functors #25: Commit e686f30 pushed by yanniss
January 14, 2025 01:24 1m 19s master
master
January 14, 2025 01:24 1m 19s
update model checking benchmark Build and Test Functors #24: Commit 0ec85d9 pushed by yanniss
January 12, 2025 20:39 1m 19s master
master
January 12, 2025 20:39 1m 19s
Fix both fold and hashsum TLA examples Build and Test Functors #23: Commit e9dc385 pushed by anantoni
January 12, 2025 13:13 1m 19s master
master
January 12, 2025 13:13 1m 19s
Keep both TLA examples with hashum and fold, as they produce the exac… Build and Test Functors #22: Commit 4418248 pushed by anantoni
January 12, 2025 12:50 1m 37s master
master
January 12, 2025 12:50 1m 37s
Fix tla-example-with-functor.dl to use list fold functor. Build and Test Functors #21: Commit 397def1 pushed by anantoni
January 12, 2025 11:43 1m 18s master
master
January 12, 2025 11:43 1m 18s
Add a list fold/list append functor for tla Build and Test Functors #20: Commit bbc6f40 pushed by anantoni
January 12, 2025 11:30 1m 38s master
master
January 12, 2025 11:30 1m 38s
some progress on hashsum (STILL DIRTY STATE) Build and Test Functors #19: Commit 3635fb6 pushed by yanniss
January 10, 2025 17:40 1m 24s master
master
January 10, 2025 17:40 1m 24s
Update tla-example-with-functor Build and Test Functors #18: Commit 096d971 pushed by anantoni
January 10, 2025 13:14 1m 37s master
master
January 10, 2025 13:14 1m 37s
Add hashsum functor with examples Build and Test Functors #17: Commit 75d5b70 pushed by anantoni
December 28, 2024 16:27 1m 23s master
master
December 28, 2024 16:27 1m 23s
Fix compilation for 64bit souffle wordsizes, add build and test actio… Build and Test Functors #16: Commit a0df883 pushed by sifislag
August 30, 2024 09:46 1m 20s master
master
August 30, 2024 09:46 1m 20s
Fix compilation for 64bit souffle wordsizes, add build and test action Build and Test Functors #15: Pull request #3 synchronize by sifislag
August 30, 2024 09:40 1m 21s build-and-test-action
build-and-test-action
August 30, 2024 09:40 1m 21s
Fix compilation for 64bit souffle wordsizes, add build and test action Build and Test Functors #14: Pull request #3 synchronize by sifislag
August 30, 2024 09:39 1m 23s build-and-test-action
build-and-test-action
August 30, 2024 09:39 1m 23s
Fix compilation for 64bit souffle wordsizes, add build and test action Build and Test Functors #13: Pull request #3 synchronize by sifislag
August 30, 2024 09:38 Startup failure build-and-test-action
build-and-test-action
August 30, 2024 09:38 Startup failure
Fix compilation for 64bit souffle wordsizes, add build and test action Build and Test Functors #12: Pull request #3 synchronize by sifislag
August 30, 2024 09:28 1m 28s build-and-test-action
build-and-test-action
August 30, 2024 09:28 1m 28s
Fix compilation for 64bit souffle wordsizes, add build and test action Build and Test Functors #11: Pull request #3 synchronize by sifislag
August 28, 2024 16:20 1m 22s build-and-test-action
build-and-test-action
August 28, 2024 16:20 1m 22s
Fix compilation for 64bit souffle wordsizes, add build and test action Build and Test Functors #10: Pull request #3 synchronize by sifislag
August 28, 2024 16:19 1m 54s build-and-test-action
build-and-test-action
August 28, 2024 16:19 1m 54s
Fix compilation for 64bit souffle wordsizes, add build and test action Build and Test Functors #9: Pull request #3 synchronize by sifislag
August 28, 2024 09:56 1m 18s build-and-test-action
build-and-test-action
August 28, 2024 09:56 1m 18s
Fix compilation for 64bit souffle wordsizes, add build and test action Build and Test Functors #8: Pull request #3 synchronize by sifislag
August 28, 2024 09:50 1m 18s build-and-test-action
build-and-test-action
August 28, 2024 09:50 1m 18s
Fix compilation for 64bit souffle wordsizes, add build and test action Build and Test Functors #7: Pull request #3 synchronize by sifislag
August 28, 2024 09:12 2m 17s build-and-test-action
build-and-test-action
August 28, 2024 09:12 2m 17s
Fix compilation for 64bit souffle wordsizes, add build and test action Build and Test Functors #6: Pull request #3 synchronize by sifislag
August 28, 2024 09:10 1m 35s build-and-test-action
build-and-test-action
August 28, 2024 09:10 1m 35s
Fix compilation for 64bit souffle wordsizes, add build and test action Build and Test Functors #5: Pull request #3 synchronize by sifislag
August 28, 2024 08:50 1m 25s build-and-test-action
build-and-test-action
August 28, 2024 08:50 1m 25s
Fix compilation for 64bit souffle wordsizes, add build and test action Build and Test Functors #4: Pull request #3 synchronize by sifislag
August 26, 2024 14:37 2m 7s build-and-test-action
build-and-test-action
August 26, 2024 14:37 2m 7s
Fix compilation for 64bit souffle wordsizes, add build and test action Build and Test Functors #3: Pull request #3 synchronize by sifislag
August 26, 2024 14:28 11m 53s build-and-test-action
build-and-test-action
August 26, 2024 14:28 11m 53s
Fix compilation for 64bit souffle wordsizes, add build and test action Build and Test Functors #2: Pull request #3 synchronize by sifislag
August 26, 2024 14:23 1m 18s build-and-test-action
build-and-test-action
August 26, 2024 14:23 1m 18s
Fix compilation for 64bit souffle wordsizes, add build and test action Build and Test Functors #1: Pull request #3 opened by sifislag
August 26, 2024 14:14 1m 27s build-and-test-action
build-and-test-action
August 26, 2024 14:14 1m 27s