Skip to content

Actions: UPPAALModelChecker/docs.uppaal.org

Actions

github pages

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
39 workflow runs
39 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Added docker github pages #106: Commit 3e7ffb9 pushed by mikucionisaau
November 8, 2024 15:46 16s main
main
November 8, 2024 15:46 16s
Fix and update theme (#52) github pages #105: Commit 1198432 pushed by mikucionisaau
October 31, 2024 11:49 23s main
main
October 31, 2024 11:49 23s
Merge assumptions about external functions github pages #104: Commit 9ea8e10 pushed by mikucionisaau
October 29, 2024 15:32 17s main
main
October 29, 2024 15:32 17s
Fix hugo error on deprecated .Site.IsMultilingual (#61) github pages #103: Commit 16bad02 pushed by mikucionisaau
October 29, 2024 15:16 23s main
main
October 29, 2024 15:16 23s
Merge semantic illustrations for quantifiers in the symbolic properti… github pages #102: Commit c8a054b pushed by mikucionisaau
October 29, 2024 14:58 15s main
main
October 29, 2024 14:58 15s
Fixed link to strategy queries github pages #101: Commit 25f1f62 pushed by mikucionisaau
October 17, 2024 11:21 17s main
main
October 17, 2024 11:21 17s
Added a table of content to tools and apis github pages #100: Commit 2e02386 pushed by mikucionisaau
May 22, 2024 08:56 17s main
main
May 22, 2024 08:56 17s
Update formatting in javaapi.md github pages #99: Commit 7bd5fa1 pushed by mikucionisaau
May 22, 2024 08:49 17s main
main
May 22, 2024 08:49 17s
Update verifyta.md github pages #98: Commit 412f01f pushed by mikucionisaau
May 22, 2024 08:46 15s main
main
May 22, 2024 08:46 15s
Formatted the description list, added SMC tutorial to verifying.md github pages #97: Commit ce1ebad pushed by mikucionisaau
May 22, 2024 08:43 19s main
main
May 22, 2024 08:43 19s
Added more material on stopwatches and hybrid clocks with references github pages #96: Commit 1b2c0c5 pushed by mikucionisaau
May 22, 2024 08:32 16s main
main
May 22, 2024 08:32 16s
Merge a note on nested quantifiers (pr #57) github pages #95: Commit d3524ee pushed by mikucionisaau
May 22, 2024 07:43 22s main
main
May 22, 2024 07:43 22s
Added bounds query github pages #94: Commit 46c7230 pushed by mikucionisaau
May 22, 2024 07:38 16s main
main
May 22, 2024 07:38 16s
Merge description of concrete trace format (pr #56) github pages #93: Commit 078f9a1 pushed by mikucionisaau
May 21, 2024 09:16 18s main
main
May 21, 2024 09:16 18s
Fixed spelling github pages #92: Commit 71b5712 pushed by mikucionisaau
April 16, 2024 13:13 22s main
main
April 16, 2024 13:13 22s
Added a separate section on the external function assumptions github pages #91: Commit e7fd224 pushed by mikucionisaau
April 16, 2024 13:05 24s main
main
April 16, 2024 13:05 24s
fixed formatting github pages #90: Commit 72c0be1 pushed by mikucionisaau
April 16, 2024 05:32 16s main
main
April 16, 2024 05:32 16s
expanded on side-effect-free external functions github pages #89: Commit 30269bb pushed by mikucionisaau
April 16, 2024 05:31 19s main
main
April 16, 2024 05:31 19s
Split side-effect warning into multiple lines github pages #88: Commit d9016a4 pushed by mikucionisaau
April 16, 2024 05:22 14s main
main
April 16, 2024 05:22 14s
Compressed side-effect warning into one box github pages #87: Commit c6a7359 pushed by mikucionisaau
April 16, 2024 05:19 19s main
main
April 16, 2024 05:19 19s
Added a warning about side-effects in external functions github pages #86: Commit b3533fc pushed by mikucionisaau
April 16, 2024 05:17 16s main
main
April 16, 2024 05:17 16s
github pages github pages #85: by mikucionisaau
March 20, 2024 13:30 19s main
main
March 20, 2024 13:30 19s
Added explanation for "maybe satisfied" in case of stopwatches github pages #84: Commit 865e392 pushed by mikucionisaau
March 20, 2024 13:11 18s main
main
March 20, 2024 13:11 18s
Merge expression and engine options formatting (pr #50) github pages #83: Commit 0e8435d pushed by mikucionisaau
January 8, 2024 05:49 17s main
main
January 8, 2024 05:49 17s
Merge expression examples (pr #48) github pages #82: Commit 0211f00 pushed by mikucionisaau
January 3, 2024 07:15 17s main
main
January 3, 2024 07:15 17s