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

Eager casesplits on enum constructors Documentation #943: Commit dd0bfd9 pushed by Halbaroth
June 11, 2024 15:29 3m 45s casesplit-enum-cstr
casesplit-enum-cstr
June 11, 2024 15:29 3m 45s
Poetry Documentation #942: Commit ca3d3d1 pushed by Halbaroth
June 11, 2024 15:22 3m 23s fix-1099
fix-1099
June 11, 2024 15:22 3m 23s
Clarify the documentation Documentation #941: Commit 45174bf pushed by Halbaroth
June 11, 2024 15:21 3m 18s fix-1099
fix-1099
June 11, 2024 15:21 3m 18s
Factorize the code of split_enum and split_best Documentation #940: Commit f3fe7c3 pushed by Halbaroth
June 11, 2024 13:58 3m 48s merge-enum
merge-enum
June 11, 2024 13:58 3m 48s
Store the enum flag in the type_body Documentation #939: Commit ef91b81 pushed by Halbaroth
June 11, 2024 13:44 3m 19s merge-enum
merge-enum
June 11, 2024 13:44 3m 19s
Use a polymorphic variant for the enum flag Documentation #938: Commit b7ffc74 pushed by Halbaroth
June 11, 2024 11:57 3m 46s merge-enum
merge-enum
June 11, 2024 11:57 3m 46s
Eager casesplits on enum constructors Documentation #937: Commit 1a056a7 pushed by Halbaroth
June 11, 2024 11:53 6m 53s casesplit-enum-cstr
casesplit-enum-cstr
June 11, 2024 11:53 6m 53s
Clarify the meaning of top level in quantified type Documentation #936: Commit 2d823b5 pushed by Halbaroth
June 11, 2024 11:14 3m 24s fix-1099
fix-1099
June 11, 2024 11:14 3m 24s
Enforce prenex polymorphism Documentation #935: Commit de37c06 pushed by Halbaroth
June 11, 2024 09:27 6m 32s fix-1099
fix-1099
June 11, 2024 09:27 6m 32s
poetry Documentation #934: Commit 40afba3 pushed by Halbaroth
June 11, 2024 09:22 6m 18s merge-enum
merge-enum
June 11, 2024 09:22 6m 18s
Attempt to fix regressions Documentation #933: Commit 408d33a pushed by Halbaroth
June 10, 2024 19:49 3m 16s merge-enum
merge-enum
June 10, 2024 19:49 3m 16s
Clarify doc of reinit Documentation #932: Commit 280eb2f pushed by Halbaroth
June 10, 2024 16:16 3m 24s adt-model-generation-bis
adt-model-generation-bis
June 10, 2024 16:16 3m 24s
type error Documentation #931: Commit 7842716 pushed by Halbaroth
June 10, 2024 13:48 5m 1s support-custom-attribute
support-custom-attribute
June 10, 2024 13:48 5m 1s
add a TODO for custom printer Documentation #930: Commit b6c7e97 pushed by Halbaroth
June 10, 2024 13:48 3m 26s support-custom-attribute
support-custom-attribute
June 10, 2024 13:48 3m 26s
review changes Documentation #929: Commit e1a6081 pushed by Halbaroth
June 10, 2024 13:46 3m 35s support-custom-attribute
support-custom-attribute
June 10, 2024 13:46 3m 35s
send enum adt to the legacy adt theory Documentation #928: Commit ce456f6 pushed by Halbaroth
June 10, 2024 13:38 3m 36s adt-model-generation-bis
adt-model-generation-bis
June 10, 2024 13:38 3m 36s
Fix headers of Nest Documentation #927: Commit 8a42861 pushed by Halbaroth
June 10, 2024 13:22 3m 41s adt-model-generation-bis
adt-model-generation-bis
June 10, 2024 13:22 3m 41s
Add a TODO comment for pending destructors Documentation #926: Commit 375339a pushed by Halbaroth
June 10, 2024 13:03 6m 15s adt-model-generation-bis
adt-model-generation-bis
June 10, 2024 13:03 6m 15s
Update copyrights Documentation #925: Commit ea5a2df pushed by Halbaroth
June 10, 2024 12:58 6m 7s separated-headers
separated-headers
June 10, 2024 12:58 6m 7s
Update copyrights Documentation #924: Commit fa5e53d pushed by Halbaroth
June 10, 2024 12:57 4m 32s separated-headers
separated-headers
June 10, 2024 12:57 4m 32s
Update copyrights Documentation #923: Commit e52182b pushed by Halbaroth
June 10, 2024 12:55 3m 39s separated-headers
separated-headers
June 10, 2024 12:55 3m 39s
Update copyrights Documentation #922: Commit e1616a6 pushed by Halbaroth
June 10, 2024 12:55 3m 13s separated-headers
separated-headers
June 10, 2024 12:55 3m 13s
Use a custom attribute to name lemma Documentation #921: Commit 8a82bd3 pushed by Halbaroth
June 10, 2024 12:41 3m 18s support-custom-attribute
support-custom-attribute
June 10, 2024 12:41 3m 18s
Use separated headers Documentation #920: Commit 4122c1f pushed by Halbaroth
June 7, 2024 11:41 3m 33s separated-headers
separated-headers
June 7, 2024 11:41 3m 33s
Named lemmas in SMT-LIB format (#1141) Documentation #919: Commit 63393ce pushed by Halbaroth
June 7, 2024 11:26 4m 58s next
next
June 7, 2024 11:26 4m 58s