Skip to content

Actions: staticafi/JetKlee

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
7 workflow runs
7 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Do not treat setlocale as pure function, fail instead. CI #8: Commit b24c160 pushed by vmihalko
April 5, 2025 11:47 14m 6s master
master
April 5, 2025 11:47 14m 6s
Changes for SV-COMP 2025 CI #7: Pull request #24 synchronize by vmihalko
April 5, 2025 11:47 14m 10s svcomp25
svcomp25
April 5, 2025 11:47 14m 10s
Mark log1p* as external. CI #6: Commit cf490d7 pushed by vmihalko
April 5, 2025 11:41 13m 51s master
master
April 5, 2025 11:41 13m 51s
Changes for SV-COMP 2025 CI #5: Pull request #24 opened by martinjonas
April 2, 2025 18:53 14m 54s svcomp25
svcomp25
April 2, 2025 18:53 14m 54s
Changes for SV-COMP 2024 CI #4: Pull request #23 opened by martinjonas
April 2, 2025 18:48 14m 28s svcomp24
svcomp24
April 2, 2025 18:48 14m 28s
Merge pull request #22 from staticafi/jnovak/lazy_init CI #3: Commit ef99913 pushed by martinjonas
April 2, 2025 18:39 14m 23s master
master
April 2, 2025 18:39 14m 23s
Merge lazy init by Jakub Novák CI #2: Pull request #22 opened by martinjonas
April 2, 2025 18:35 14m 46s jnovak/lazy_init
jnovak/lazy_init
April 2, 2025 18:35 14m 46s