Skip to content

Actions: viklauverk/EventBTool

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
44 workflow runs
44 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add source file. Build Ubuntu #44: Commit 29fbe8b pushed by weetmuts
July 18, 2024 17:27 2m 25s main
main
July 18, 2024 17:27 2m 25s
Added defi to operators. Build Ubuntu #43: Commit ca739c7 pushed by weetmuts
July 17, 2024 22:34 2m 36s main
main
July 17, 2024 22:34 2m 36s
Update tests for docgen. Build Ubuntu #42: Commit bbc0c0c pushed by weetmuts
July 17, 2024 21:32 2m 16s main
main
July 17, 2024 21:32 2m 16s
Simplify event-b grammar. Build Ubuntu #41: Commit 0034950 pushed by weetmuts
July 16, 2024 21:38 2m 12s main
main
July 16, 2024 21:38 2m 12s
Update copyright year. Build Ubuntu #40: Commit 54e9e28 pushed by weetmuts
July 16, 2024 20:11 2m 21s main
main
July 16, 2024 20:11 2m 21s
Update copyright year. Build Ubuntu #39: Commit 60e4aa3 pushed by weetmuts
July 16, 2024 20:09 2m 22s main
main
July 16, 2024 20:09 2m 22s
Put detection of prefix operators in lexer as well. Build Ubuntu #38: Commit e4e74ca pushed by weetmuts
July 16, 2024 20:09 1m 58s main
main
July 16, 2024 20:09 1m 58s
Add missing java source file. Build Ubuntu #37: Commit 0528f98 pushed by weetmuts
July 15, 2024 09:40 2m 22s main
main
July 15, 2024 09:40 2m 22s
Re-add pre-generated pdfs. Build Ubuntu #36: Commit 299fa1d pushed by weetmuts
July 15, 2024 09:40 1m 41s main
main
July 15, 2024 09:40 1m 41s
Temporarily stop docgen of theory. Build Ubuntu #35: Commit a9428c7 pushed by weetmuts
July 14, 2024 09:21 2m 18s main
main
July 14, 2024 09:21 2m 18s
Temporarily stop testing theories. Build Ubuntu #34: Commit 444ff72 pushed by weetmuts
July 14, 2024 09:12 2m 18s main
main
July 14, 2024 09:12 2m 18s
Work on rendering of theories. Build Ubuntu #33: Commit 6a34c9e pushed by weetmuts
July 13, 2024 16:27 2m 23s main
main
July 13, 2024 16:27 2m 23s
Parse constructors/destructors with arguments. Build Ubuntu #32: Commit 2a939d8 pushed by weetmuts
July 12, 2024 20:51 2m 29s main
main
July 12, 2024 20:51 2m 29s
Jump into console with correct symbol table set when parse fails. Thi… Build Ubuntu #31: Commit 833949f pushed by weetmuts
July 12, 2024 20:28 2m 54s main
main
July 12, 2024 20:28 2m 54s
Parse theorems inside Theory using parameter types in local symbol ta… Build Ubuntu #30: Commit 36f9fd8 pushed by weetmuts
July 12, 2024 19:22 2m 27s main
main
July 12, 2024 19:22 2m 27s
Track specialised DataTypes and list the in the console using sys.ls.… Build Ubuntu #29: Commit 2864bf3 pushed by weetmuts
July 12, 2024 14:36 2m 13s main
main
July 12, 2024 14:36 2m 13s
Added missing pdf. Build Ubuntu #28: Commit b16afd2 pushed by weetmuts
July 11, 2024 22:10 2m 29s main
main
July 11, 2024 22:10 2m 29s
Added project info to new test model. Build Ubuntu #27: Commit b1b2bcc pushed by weetmuts
July 11, 2024 21:20 2m 14s main
main
July 11, 2024 21:20 2m 14s
Added theory test case. Build Ubuntu #26: Commit 5a0d790 pushed by weetmuts
July 11, 2024 21:13 2m 19s main
main
July 11, 2024 21:13 2m 19s
Load imported theories from a theory. Build Ubuntu #25: Commit 8049ea3 pushed by weetmuts
July 11, 2024 20:50 2m 11s main
main
July 11, 2024 20:50 2m 11s
Adjust TeX template. Build Ubuntu #24: Commit becd7a4 pushed by weetmuts
July 10, 2024 21:36 2m 41s main
main
July 10, 2024 21:36 2m 41s
Properly parse formulas with theory operators that are infix/prefix a… Build Ubuntu #23: Commit dbfbe7f pushed by weetmuts
July 10, 2024 21:28 2m 18s main
main
July 10, 2024 21:28 2m 18s
Generate not-broken tex for theory. Build Ubuntu #22: Commit 6f1edb6 pushed by weetmuts
July 10, 2024 02:57 2m 16s main
main
July 10, 2024 02:57 2m 16s
Console command eb.show.part now has tab-completion. Build Ubuntu #21: Commit 414a7ce pushed by weetmuts
July 10, 2024 02:28 2m 28s main
main
July 10, 2024 02:28 2m 28s
Can read simple theory. Build Ubuntu #20: Commit 21d139f pushed by weetmuts
July 9, 2024 17:38 2m 39s main
main
July 9, 2024 17:38 2m 39s