Skip to content

Actions: TOPLLab/WARDuino

Actions

Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
compile.yml
685 workflow runs
685 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Make analog read create a new symbolic variable Build #1434: Commit e0349df pushed by MaartenS11
November 25, 2023 17:22 32s feat/symbolic
feat/symbolic
November 25, 2023 17:22 32s
Print resulting models as json when the analysis is done Build #1433: Commit 0590510 pushed by MaartenS11
November 25, 2023 15:08 33s feat/symbolic
feat/symbolic
November 25, 2023 15:08 33s
Reset instructions_executed in every concolic iteration. Build #1432: Commit fd73c5c pushed by MaartenS11
November 25, 2023 13:31 26s feat/symbolic
feat/symbolic
November 25, 2023 13:31 26s
When using --snapshot create a symbolic state and continue the execut… Build #1431: Commit 6e4ef91 pushed by MaartenS11
November 25, 2023 10:53 40s feat/symbolic
feat/symbolic
November 25, 2023 10:53 40s
Continue program after loading snapshot using --snapshot Build #1430: Commit 42da16a pushed by MaartenS11
November 24, 2023 16:49 32s feat/symbolic
feat/symbolic
November 24, 2023 16:49 32s
Added --snapshot option to load snapshot when emulator starts Build #1429: Commit 97d291d pushed by MaartenS11
November 24, 2023 10:06 34s feat/symbolic
feat/symbolic
November 24, 2023 10:06 34s
Clear symbolic globals before creating symbolic state from concrete s… Build #1428: Commit 19af49d pushed by MaartenS11
November 23, 2023 18:23 34s feat/symbolic
feat/symbolic
November 23, 2023 18:23 34s
Set max_instructions in main to make it not always limited if running… Build #1427: Commit 03eaa42 pushed by MaartenS11
November 23, 2023 16:04 27s feat/symbolic
feat/symbolic
November 23, 2023 16:04 27s
Set interpreter in main file instead of using an ifdef Build #1426: Commit 2a08ffe pushed by MaartenS11
November 23, 2023 15:59 28s feat/symbolic
feat/symbolic
November 23, 2023 15:59 28s
Don't use std::cout, doesn't compile on arduino Build #1425: Commit dbedb1d pushed by MaartenS11
November 23, 2023 15:45 36s feat/symbolic
feat/symbolic
November 23, 2023 15:45 36s
Add a way to limit the total amount of instructions executed Build #1424: Commit 24de9e0 pushed by MaartenS11
November 23, 2023 15:36 31s feat/symbolic
feat/symbolic
November 23, 2023 15:36 31s
Fix arduino build external_memory Build #1423: Commit 1e56c04 pushed by MaartenS11
November 22, 2023 12:50 29s feat/symbolic
feat/symbolic
November 22, 2023 12:50 29s
More ifdefs to make it work on arduino Build #1422: Commit 06c435e pushed by MaartenS11
November 22, 2023 10:58 28s feat/symbolic
feat/symbolic
November 22, 2023 10:58 28s
Create symbolic state from concrete state after loading module Build #1421: Commit ef335bb pushed by MaartenS11
November 22, 2023 10:23 27s feat/symbolic
feat/symbolic
November 22, 2023 10:23 27s
Group all elements of symbolic state Build #1420: Commit 7cd2214 pushed by MaartenS11
November 22, 2023 09:19 39s feat/symbolic
feat/symbolic
November 22, 2023 09:19 39s
Remove header files from CMakeLists Build #1419: Commit d425da0 pushed by MaartenS11
November 21, 2023 17:51 34s feat/symbolic
feat/symbolic
November 21, 2023 17:51 34s
Make Interpreter functions not virtual when compiling for arduino Build #1418: Commit 5558977 pushed by MaartenS11
November 18, 2023 22:46 27s feat/symbolic
feat/symbolic
November 18, 2023 22:46 27s
Use && instead of & when updating path condition in br_if Build #1417: Commit 4fb95b8 pushed by MaartenS11
November 16, 2023 14:54 35s feat/symbolic
feat/symbolic
November 16, 2023 14:54 35s
WARDuino struct now contains a pointer to an interpreter object Build #1416: Commit 9d1acac pushed by MaartenS11
November 15, 2023 13:47 28s feat/symbolic
feat/symbolic
November 15, 2023 13:47 28s
WARDuino struct now contains a pointer to an interpreter object Build #1415: Commit 9d1acac pushed by MaartenS11
November 15, 2023 13:31 38s feat/symbolic-concrete-split
feat/symbolic-concrete-split
November 15, 2023 13:31 38s
Fixed a few memory leaks Build #1414: Commit 28cceb7 pushed by MaartenS11
November 15, 2023 13:14 28s feat/symbolic-concrete-split
feat/symbolic-concrete-split
November 15, 2023 13:14 28s
Fixed some mismatched free errors reported by valgrind Build #1413: Commit d83f3c6 pushed by MaartenS11
November 15, 2023 10:35 29s feat/symbolic-concrete-split
feat/symbolic-concrete-split
November 15, 2023 10:35 29s
Initial work on splitting the concrete and concolic interpreters Build #1412: Commit f7ef7c9 pushed by MaartenS11
November 15, 2023 10:07 30s feat/symbolic-concrete-split
feat/symbolic-concrete-split
November 15, 2023 10:07 30s
Print stack and current instruction while running Build #1411: Commit 9163e0b pushed by MaartenS11
November 14, 2023 16:45 35s feat/symbolic
feat/symbolic
November 14, 2023 16:45 35s
Fixed locals and current_memory not having symbolic values Build #1410: Commit 603ed51 pushed by MaartenS11
November 14, 2023 10:18 40s feat/symbolic
feat/symbolic
November 14, 2023 10:18 40s
ProTip! You can narrow down the results and go further in time using created:<2023-11-14 or the other filters available.