Skip to content

Actions: sisinflab-swot/cowl

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
68 workflow runs
68 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bump version number to 0.7.1 Build and test #504: Commit 269ef7c pushed by IvanoBilenchi
February 13, 2024 15:10 2m 38s dev
dev
February 13, 2024 15:10 2m 38s
Minor documentation updates Build and test #503: Commit 5c5cceb pushed by IvanoBilenchi
February 13, 2024 15:06 2m 12s dev
dev
February 13, 2024 15:06 2m 12s
Add 'cowl_get_annot' Build and test #502: Commit ea68de9 pushed by IvanoBilenchi
January 27, 2024 17:43 2m 4s dev
dev
January 27, 2024 17:43 2m 4s
Remove axiom-specific annotation getters in favor of 'cowl_axiom_get_… Build and test #501: Commit 57b614a pushed by IvanoBilenchi
January 27, 2024 17:38 3m 4s dev
dev
January 27, 2024 17:38 3m 4s
Split 'cowl_compat.h' in 'cowl_attrs.h' and 'cowl_macros.h' Build and test #500: Commit 44052d2 pushed by IvanoBilenchi
January 27, 2024 17:11 4m 24s dev
dev
January 27, 2024 17:11 4m 24s
Fix small uLib types not used when COWL_EMBEDDED option is set Build and test #491: Commit 6746c39 pushed by IvanoBilenchi
December 14, 2023 13:32 1m 55s dev
dev
December 14, 2023 13:32 1m 55s
Update uLib Build and test #465: Commit a44721e pushed by IvanoBilenchi
October 18, 2023 15:22 3m 26s dev
dev
October 18, 2023 15:22 3m 26s
Update docs Build and test #464: Commit 2676584 pushed by IvanoBilenchi
September 22, 2023 09:14 3m 9s dev
dev
September 22, 2023 09:14 3m 9s
Explicitly account for reserved vocabulary Build and test #463: Commit 60785ac pushed by IvanoBilenchi
September 21, 2023 15:55 4m 17s dev
dev
September 21, 2023 15:55 4m 17s
Rework CowlObject internals Build and test #461: Commit ed395fd pushed by IvanoBilenchi
September 21, 2023 09:29 3m 11s dev
dev
September 21, 2023 09:29 3m 11s
Add 'retain' parameter to 'cowl_iterator_{vec,set}' Build and test #460: Commit 05f9e5a pushed by IvanoBilenchi
September 20, 2023 18:33 2m 39s dev
dev
September 20, 2023 18:33 2m 39s
Add 'cowl_iterator_contains'; disallow passing NULL to 'cowl_iterator… Build and test #458: Commit 778e7d9 pushed by IvanoBilenchi
September 20, 2023 15:48 3m 7s dev
dev
September 20, 2023 15:48 3m 7s
Add 'cowl_is_primitive' Build and test #457: Commit 6217203 pushed by IvanoBilenchi
September 17, 2023 18:12 2m 19s dev
dev
September 17, 2023 18:12 2m 19s
Add 'cowl_axiom_has_operand' and 'cowl_axiom_iterate_operands' Build and test #454: Commit 8221ee4 pushed by IvanoBilenchi
September 17, 2023 15:15 3m 0s dev
dev
September 17, 2023 15:15 3m 0s
Add 'cowl_get_fields' and refactor Build and test #453: Commit 56ac9c6 pushed by IvanoBilenchi
September 15, 2023 08:30 3m 25s dev
dev
September 15, 2023 08:30 3m 25s
Remove declaration of unimplemented function Build and test #452: Commit 382890c pushed by IvanoBilenchi
September 6, 2023 10:34 2m 43s dev
dev
September 6, 2023 10:34 2m 43s
Fix output formatting of query examples Build and test #451: Commit 9d1e6f7 pushed by IvanoBilenchi
September 6, 2023 10:27 4m 17s dev
dev
September 6, 2023 10:27 4m 17s
Minor documentation updates Build and test #450: Commit 7cd1979 pushed by IvanoBilenchi
September 5, 2023 16:07 3m 25s dev
dev
September 5, 2023 16:07 3m 25s