Skip to content

Actions: ultimate-pa/benchexec

Actions

JavaScript Pipeline

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
javascript.yml
25 workflow runs
25 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

add support for different "modes" in table definitions: first match a… JavaScript Pipeline #25: Commit 7c7a8e1 pushed by maul-esel
November 15, 2024 20:13 1m 11s memory_assignment
memory_assignment
November 15, 2024 20:13 1m 11s
Modify the project_url in aise.py (#1104) JavaScript Pipeline #24: Commit 86252f4 pushed by maul-esel
November 14, 2024 00:00 1m 11s main
main
November 14, 2024 00:00 1m 11s
add support for different "modes" in table definitions: first match a… JavaScript Pipeline #23: Commit e5efee5 pushed by maul-esel
November 13, 2024 23:58 1m 11s memory_assignment
memory_assignment
November 13, 2024 23:58 1m 11s
use result.RESULT_FALSE_DATARACE for data race violations JavaScript Pipeline #22: Commit 5bd103a pushed by maul-esel
November 13, 2024 12:44 1m 9s ultimate-dataraces
ultimate-dataraces
November 13, 2024 12:44 1m 9s
use result.RESULT_FALSE_DATARACE for data race violations JavaScript Pipeline #21: Commit bbcdf65 pushed by maul-esel
November 13, 2024 09:27 1m 18s ultimate-dataraces
ultimate-dataraces
November 13, 2024 09:27 1m 18s
Merge pull request #1106 from hernanponcedeleon/no-data-race JavaScript Pipeline #20: Commit d8b67f1 pushed by maul-esel
November 13, 2024 09:22 1m 8s main
main
November 13, 2024 09:22 1m 8s
add support for different "modes" in table definitions: first match a… JavaScript Pipeline #19: Commit 5025280 pushed by danieldietsch
November 7, 2024 17:03 1m 12s memory_assignment
memory_assignment
November 7, 2024 17:03 1m 12s
Apply flake8 suggestion to make any() lazy JavaScript Pipeline #18: Commit 6b427e5 pushed by danieldietsch
November 7, 2024 17:02 1m 21s main
main
November 7, 2024 17:02 1m 21s
Merge pull request #1102 from ultimate-pa/update-ultimate-jdk21 JavaScript Pipeline #17: Commit 2ca9b4a pushed by maul-esel
November 7, 2024 14:57 1m 21s main
main
November 7, 2024 14:57 1m 21s
do not look for Ultimate binary to verify Ultimate dir, look for one … JavaScript Pipeline #16: Commit e292b96 pushed by maul-esel
November 7, 2024 14:29 1m 12s update-ultimate-jdk21
update-ultimate-jdk21
November 7, 2024 14:29 1m 12s
do not look for Ultimate binary to verify Ultimate dir, look for one … JavaScript Pipeline #15: Commit 9017b59 pushed by maul-esel
November 7, 2024 14:24 1m 10s update-ultimate-jdk21
update-ultimate-jdk21
November 7, 2024 14:24 1m 10s
Fix Korn toolinfo module, include data_model (#1101) JavaScript Pipeline #14: Commit f7d8955 pushed by maul-esel
November 7, 2024 14:20 1m 14s main
main
November 7, 2024 14:20 1m 14s
do not look for Ultimate binary to verify Ultimate dir, look for one … JavaScript Pipeline #13: Commit a25517e pushed by maul-esel
November 6, 2024 19:15 1m 8s update-ultimate-jdk21
update-ultimate-jdk21
November 6, 2024 19:15 1m 8s
do not look for Ultimate binary to verify Ultimate dir, look for one … JavaScript Pipeline #12: Commit 888a0ad pushed by danieldietsch
November 6, 2024 19:00 1m 24s update-ultimate-jdk21
update-ultimate-jdk21
November 6, 2024 19:00 1m 24s
do not look for Ultimate binary to verify Ultimate dir, look for one … JavaScript Pipeline #11: Commit e0883cb pushed by danieldietsch
November 6, 2024 18:59 1m 16s update-ultimate-jdk21
update-ultimate-jdk21
November 6, 2024 18:59 1m 16s
Ultimate: fix search for available java JavaScript Pipeline #10: Commit 3cc5b52 pushed by maul-esel
November 6, 2024 17:22 1m 6s update-ultimate-jdk21
update-ultimate-jdk21
November 6, 2024 17:22 1m 6s
Prepare version number for next development cycle. JavaScript Pipeline #9: Commit 79ed29a pushed by maul-esel
November 6, 2024 17:13 1m 16s main
main
November 6, 2024 17:13 1m 16s
add support for different "modes" in table definitions: first match a… JavaScript Pipeline #8: Commit 0b03547 pushed by maul-esel
October 29, 2024 10:05 1m 46s memory_assignment
memory_assignment
October 29, 2024 10:05 1m 46s
local changes from bench02 JavaScript Pipeline #7: Commit e7d1e7f pushed by danieldietsch
October 27, 2024 17:05 1m 9s memory_assignment
memory_assignment
October 27, 2024 17:05 1m 9s
local changes from bench02 JavaScript Pipeline #6: Commit ec25f9d pushed by danieldietsch
October 27, 2024 16:49 1m 22s memory_assignment
memory_assignment
October 27, 2024 16:49 1m 22s
Normalize line endings JavaScript Pipeline #5: Commit e091c78 pushed by danieldietsch
October 27, 2024 16:48 1m 14s main
main
October 27, 2024 16:48 1m 14s
add Ultimate Referee, a witness validator JavaScript Pipeline #4: Commit a321056 pushed by danieldietsch
October 12, 2024 19:54 1m 18s main
main
October 12, 2024 19:54 1m 18s
local changes from bench02 JavaScript Pipeline #3: Commit 3570492 pushed by danieldietsch
October 9, 2024 07:06 1m 14s memory_assignment
memory_assignment
October 9, 2024 07:06 1m 14s
Fix development installation on Windows JavaScript Pipeline #2: Commit 7b04ac9 pushed by danieldietsch
October 9, 2024 07:06 1m 22s main
main
October 9, 2024 07:06 1m 22s
Disable some tests during build of Debian package JavaScript Pipeline #1: Commit fae2bf9 pushed by danieldietsch
October 9, 2024 07:06 1m 17s main
main
October 9, 2024 07:06 1m 17s