Skip to content

Actions: Halbaroth/alt-ergo

Actions

Documentation

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
documentation.yml
826 workflow runs
826 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix the cram test for the AB plugin Documentation #368: Commit 9358985 pushed by Halbaroth
September 6, 2023 12:54 5m 57s fix-cram-tests
fix-cram-tests
September 6, 2023 12:54 5m 57s
Add email address Documentation #367: Commit bf75ea6 pushed by Halbaroth
September 6, 2023 09:37 6m 26s add-email-address
add-email-address
September 6, 2023 09:37 6m 26s
accumulate record accesses Documentation #366: Commit 1fed4ce pushed by Halbaroth
September 4, 2023 14:16 18s fix-record-models
fix-record-models
September 4, 2023 14:16 18s
Merge pull request #784 from Halbaroth/fix-long-lines Documentation #365: Commit 701d979 pushed by Halbaroth
September 4, 2023 14:14 7m 24s fix-record-models
fix-record-models
September 4, 2023 14:14 7m 24s
Fix lib_usage and worker_js Documentation #364: Commit ee7827d pushed by Halbaroth
September 4, 2023 11:37 6m 48s backporting-2.5.0-bis
backporting-2.5.0-bis
September 4, 2023 11:37 6m 48s
Fix lib_usage and worker_js Documentation #363: Commit cbd5e1b pushed by Halbaroth
September 4, 2023 11:28 5m 50s fix-777
fix-777
September 4, 2023 11:28 5m 50s
Use an adt to save the results of queries (bis) Documentation #362: Commit b4501b4 pushed by Halbaroth
September 4, 2023 09:33 5m 54s fix-777
fix-777
September 4, 2023 09:33 5m 54s
Use an adt to save the results of queries (bis) Documentation #361: Commit 4d381e8 pushed by Halbaroth
September 4, 2023 09:31 11m 50s next
next
September 4, 2023 09:31 11m 50s
Use an adt to save the results of queries Documentation #360: Commit ad9d4f0 pushed by Halbaroth
September 4, 2023 09:25 6m 18s fix-777
fix-777
September 4, 2023 09:25 6m 18s
Poetry Documentation #359: Commit c52ed0c pushed by Halbaroth
August 31, 2023 12:30 6m 5s cherry-pick-optimae
cherry-pick-optimae
August 31, 2023 12:30 6m 5s
Merge functions, arrays and constants modelmap Documentation #358: Commit bf7eab4 pushed by Halbaroth
August 31, 2023 12:11 6m 48s cherry-pick-optimae
cherry-pick-optimae
August 31, 2023 12:11 6m 48s
Update the lock file Documentation #357: Commit a27ed1d pushed by Halbaroth
August 30, 2023 15:52 6m 29s cherry-pick-optimae
cherry-pick-optimae
August 30, 2023 15:52 6m 29s
I create a new kind of values in Alt-Ergo, named model values, for co… Documentation #356: Commit 8233963 pushed by Halbaroth
August 30, 2023 14:53 5m 41s cherry-pick-optimae
cherry-pick-optimae
August 30, 2023 14:53 5m 41s
Print always smtlib comments in the models Documentation #355: Commit 77de5ad pushed by Halbaroth
August 29, 2023 12:03 6m 1s cherry-pick-optimae
cherry-pick-optimae
August 29, 2023 12:03 6m 1s
Fix indentation in the legacy lexer Documentation #354: Commit 6d4ff71 pushed by Halbaroth
August 29, 2023 11:43 6m 50s cherry-pick-optimae
cherry-pick-optimae
August 29, 2023 11:43 6m 50s
Fix indentation in the legacy parser Documentation #353: Commit 80a31cd pushed by Halbaroth
August 29, 2023 11:33 7m 5s cherry-pick-optimae
cherry-pick-optimae
August 29, 2023 11:33 7m 5s
Add timeout-as-unknown option Documentation #352: Commit 80ace04 pushed by Halbaroth
August 29, 2023 08:42 8m 17s cherry-pick-optimae
cherry-pick-optimae
August 29, 2023 08:42 8m 17s
Check ground models with Dolmen Documentation #351: Commit b66240a pushed by Halbaroth
August 24, 2023 08:27 6m 58s check-model-ci
check-model-ci
August 24, 2023 08:27 6m 58s
Promote tests Documentation #350: Commit 1ae7c7c pushed by Halbaroth
August 24, 2023 08:18 6m 27s fix-777
fix-777
August 24, 2023 08:18 6m 27s
Return the right environment Documentation #349: Commit 1e1bcb5 pushed by Halbaroth
August 24, 2023 08:06 7m 42s fix-777
fix-777
August 24, 2023 08:06 7m 42s
Fix too long lines Documentation #348: Commit 718e936 pushed by Halbaroth
August 23, 2023 16:08 6m 50s backporting-2.5.0-bis
backporting-2.5.0-bis
August 23, 2023 16:08 6m 50s
Rename output cli Documentation #347: Commit 68a7dd7 pushed by Halbaroth
August 23, 2023 16:06 6m 11s backporting-2.5.0-bis
backporting-2.5.0-bis
August 23, 2023 16:06 6m 11s
Ensure that definitions have the same ordering with dolmen Documentation #346: Commit 754a149 pushed by Halbaroth
August 23, 2023 15:55 5m 54s backporting-2.5.0-bis
backporting-2.5.0-bis
August 23, 2023 15:55 5m 54s
Promote tests Documentation #345: Commit 3479458 pushed by Halbaroth
August 23, 2023 15:36 7m 27s backporting-2.5.0-bis
backporting-2.5.0-bis
August 23, 2023 15:36 7m 27s
Rename output cli Documentation #344: Commit 875434d pushed by Halbaroth
August 23, 2023 14:44 7m 28s backporting-rename-output-cli
backporting-rename-output-cli
August 23, 2023 14:44 7m 28s
ProTip! You can narrow down the results and go further in time using created:<2023-08-23 or the other filters available.