Skip to content

Actions: UPPAALModelChecker/utap

Actions

Build and Test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
97 workflow runs
97 workflow runs
Event

Filter by event

Loading
Status

Filter by status

Loading
Branch
Actor

Filter by actor

Loading
Allows implicit clock to double conversions in ternary conditional operators during type checking Build and Test #235: Pull request #61 synchronize by thorulf4
September 1, 2023 12:36 4m 15s thorulf4:ternery_operator
thorulf4:ternery_operator
September 1, 2023 12:36 4m 15s
Allows implicit clock to double conversions in ternary conditional operators during type checking Build and Test #234: Pull request #61 synchronize by thorulf4
September 1, 2023 12:31 3m 53s thorulf4:ternery_operator
thorulf4:ternery_operator
September 1, 2023 12:31 3m 53s
Allows implicit clock to double conversions in ternary conditional operators during type checking Build and Test #233: Pull request #61 synchronize by thorulf4
September 1, 2023 12:25 5m 34s thorulf4:ternery_operator
thorulf4:ternery_operator
September 1, 2023 12:25 5m 34s
Allows implicit clock to double conversions in ternary conditional operators during type checking Build and Test #232: Pull request #61 synchronize by thorulf4
September 1, 2023 11:58 3m 44s thorulf4:ternery_operator
thorulf4:ternery_operator
September 1, 2023 11:58 3m 44s
Merge pull request #60 from thorulf4/expanded_structs Build and Test #231: Commit b3a2909 pushed by thorulf4
September 1, 2023 11:58 5m 15s main
main
September 1, 2023 11:58 5m 15s
Expanded structs to support clock and double fields Build and Test #230: Pull request #60 synchronize by thorulf4
September 1, 2023 07:40 4m 8s thorulf4:expanded_structs
thorulf4:expanded_structs
September 1, 2023 07:40 4m 8s
Allows implicit clock to double conversions in ternary conditional operators during type checking Build and Test #229: Pull request #61 synchronize by thorulf4
August 31, 2023 13:55 4m 16s thorulf4:ternery_operator
thorulf4:ternery_operator
August 31, 2023 13:55 4m 16s
Allows implicit clock to double conversions in ternary conditional operators during type checking Build and Test #228: Pull request #61 synchronize by thorulf4
August 31, 2023 13:55 5m 33s thorulf4:ternery_operator
thorulf4:ternery_operator
August 31, 2023 13:55 5m 33s
Allows implicit clock to double conversions in ternary conditional operators during type checking Build and Test #227: Pull request #61 synchronize by thorulf4
August 31, 2023 11:38 3m 58s thorulf4:ternery_operator
thorulf4:ternery_operator
August 31, 2023 11:38 3m 58s
Merge pr #62: fixed precedence issues between pre-increment and subsc… Build and Test #226: Commit b7e7640 pushed by mikucionisaau
August 31, 2023 10:46 4m 46s main
main
August 31, 2023 10:46 4m 46s
Fixed precedence issues with pre-increment and subscript Build and Test #225: Pull request #62 synchronize by thorulf4
August 31, 2023 10:20 3m 54s thorulf4:increment_precedence
thorulf4:increment_precedence
August 31, 2023 10:20 3m 54s
Allows implicit clock to double conversions in ternary conditional operators during type checking Build and Test #224: Pull request #61 synchronize by thorulf4
August 31, 2023 08:38 4m 20s thorulf4:ternery_operator
thorulf4:ternery_operator
August 31, 2023 08:38 4m 20s
Fixed precedence issues with pre-increment and subscript Build and Test #223: Pull request #62 synchronize by thorulf4
August 31, 2023 08:01 5m 21s thorulf4:increment_precedence
thorulf4:increment_precedence
August 31, 2023 08:01 5m 21s
Fixed precedence issues with pre-increment and subscript Build and Test #222: Pull request #62 synchronize by thorulf4
August 31, 2023 07:50 4m 19s thorulf4:increment_precedence
thorulf4:increment_precedence
August 31, 2023 07:50 4m 19s
Fixed precedence issues with pre-increment and subscript Build and Test #221: Pull request #62 opened by thorulf4
August 30, 2023 12:42 4m 17s thorulf4:increment_precedence
thorulf4:increment_precedence
August 30, 2023 12:42 4m 17s
Allows implicit clock to double conversions in ternary conditional operators during type checking Build and Test #220: Pull request #61 opened by thorulf4
August 25, 2023 13:12 3m 57s thorulf4:ternery_operator
thorulf4:ternery_operator
August 25, 2023 13:12 3m 57s
Simplified dependency to LibXml2 and updated the version number Build and Test #219: Commit b404e65 pushed by mikucionisaau
August 16, 2023 07:22 4m 6s main
main
August 16, 2023 07:22 4m 6s
Expanded structs to support clock and double fields Build and Test #218: Pull request #60 opened by thorulf4
August 14, 2023 12:50 5m 6s thorulf4:expanded_structs
thorulf4:expanded_structs
August 14, 2023 12:50 5m 6s
Merge pr #47 which simplifies LSC element memory management Build and Test #217: Commit 52d1348 pushed by mikucionisaau
August 9, 2023 10:57 4m 3s main
main
August 9, 2023 10:57 4m 3s
Fix double free for lsc models during parsing Build and Test #216: Pull request #47 synchronize by thorulf4
August 9, 2023 10:37 4m 11s thorulf4:fix_invalid_free
thorulf4:fix_invalid_free
August 9, 2023 10:37 4m 11s
Fix double free for lsc models during parsing Build and Test #215: Pull request #47 synchronize by thorulf4
July 13, 2023 07:21 4m 38s thorulf4:fix_invalid_free
thorulf4:fix_invalid_free
July 13, 2023 07:21 4m 38s
Merge pull request #57 from thorulf4/add_missing_print_kinds Build and Test #214: Commit d445690 pushed by thorulf4
July 12, 2023 15:35 9m 14s main
main
July 12, 2023 15:35 9m 14s
Merge pull request #58 from mikucionisaau/upgrade-libraries Build and Test #213: Commit 4184492 pushed by thorulf4
July 12, 2023 12:55 4m 7s main
main
July 12, 2023 12:55 4m 7s
Upgraded libxml2 and doctest library versions Build and Test #212: Pull request #58 opened by mikucionisaau
July 12, 2023 12:07 7m 38s mikucionisaau:upgrade-libraries
mikucionisaau:upgrade-libraries
July 12, 2023 12:07 7m 38s
Exhausted remaining enum values in expression_t::print Build and Test #211: Pull request #57 opened by thorulf4
July 12, 2023 11:45 5m 50s thorulf4:add_missing_print_kinds
thorulf4:add_missing_print_kinds
July 12, 2023 11:45 5m 50s