Skip to content

Actions: formalsec/ast-gen

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
140 workflow runs
140 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

small refactor + while ifp bug fixes Build #65: Commit eb42b56 pushed by Th0mz
May 14, 2024 13:37 2m 46s main
main
May 14, 2024 13:37 2m 46s
assignmetcall done Build #64: Commit e72870e pushed by Th0mz
May 13, 2024 09:41 2m 45s main
main
May 13, 2024 09:41 2m 45s
MDG to svg done Build #63: Commit 7881958 pushed by Th0mz
May 13, 2024 09:12 3m 25s main
main
May 13, 2024 09:12 3m 25s
paper examples Build #62: Commit 3c53a47 pushed by Th0mz
May 10, 2024 13:41 2m 44s main
main
May 10, 2024 13:41 2m 44s
function processing refactored Build #61: Commit 6662647 pushed by Th0mz
May 10, 2024 11:34 3m 5s main
main
May 10, 2024 11:34 3m 5s
updated store and graph structures Build #60: Commit 75e1231 pushed by Th0mz
May 10, 2024 11:04 2m 43s main
main
May 10, 2024 11:04 2m 43s
found minor bug Build #59: Commit 33e2919 pushed by Th0mz
May 9, 2024 16:30 2m 50s main
main
May 9, 2024 16:30 2m 50s
function definition analysis Build #58: Commit 4fafe2c pushed by Th0mz
May 9, 2024 16:17 2m 53s main
main
May 9, 2024 16:17 2m 53s
updated print Build #57: Commit 877b7ac pushed by Th0mz
May 9, 2024 11:21 2m 38s main
main
May 9, 2024 11:21 2m 38s
analysis graph structure updated Build #56: Commit af15ce8 pushed by Th0mz
May 9, 2024 11:14 3m 15s main
main
May 9, 2024 11:14 3m 15s
function information collected Build #55: Commit f063012 pushed by Th0mz
May 8, 2024 16:09 3m 11s main
main
May 8, 2024 16:09 3m 11s
some refactor Build #54: Commit 584b236 pushed by Th0mz
May 8, 2024 11:06 2m 50s main
main
May 8, 2024 11:06 2m 50s
callee changed to identifier Build #53: Commit 62a37f0 pushed by Th0mz
May 8, 2024 09:57 2m 39s main
main
May 8, 2024 09:57 2m 39s
while execution done Build #52: Commit 57423f4 pushed by Th0mz
May 8, 2024 09:08 3m 59s main
main
May 8, 2024 09:08 3m 59s
ifp implemented/while analysis Build #51: Commit 4bb8ca3 pushed by Th0mz
May 6, 2024 10:10 2m 47s main
main
May 6, 2024 10:10 2m 47s
store simplification on weak udpate Build #50: Commit 6a0f5f0 pushed by Th0mz
May 3, 2024 14:49 2m 30s main
main
May 3, 2024 14:49 2m 30s
property lookup Build #49: Commit c314d5a pushed by Th0mz
May 3, 2024 11:47 2m 39s main
main
May 3, 2024 11:47 2m 39s
highlevel implementation of Static/Dynamic Property Update Build #48: Commit 92e8a5d pushed by Th0mz
May 2, 2024 14:38 2m 25s main
main
May 2, 2024 14:38 2m 25s
dynamic property lookup done Build #47: Commit 23393c3 pushed by Th0mz
May 2, 2024 14:09 2m 24s main
main
May 2, 2024 14:09 2m 24s
static member fully implemented and auxiliary functions Build #46: Commit 9446921 pushed by Th0mz
May 2, 2024 11:26 2m 57s main
main
May 2, 2024 11:26 2m 57s
graph/store union, if analisys, graph/store/state copy Build #45: Commit fdabc53 pushed by Th0mz
May 1, 2024 11:08 2m 39s main
main
May 1, 2024 11:08 2m 39s
mutable data structures and eval expr done Build #44: Commit 6b66187 pushed by Th0mz
April 30, 2024 15:12 3m 21s main
main
April 30, 2024 15:12 3m 21s
fixed bugs related with assignments being expressions Build #43: Commit f1c133a pushed by Th0mz
April 30, 2024 14:20 2m 57s main
main
April 30, 2024 14:20 2m 57s
conditional expression -> if statement Build #42: Commit 2c35fe6 pushed by Th0mz
April 30, 2024 13:44 2m 59s main
main
April 30, 2024 13:44 2m 59s
sequence expression -> sequence of statements Build #41: Commit 5fe8f7f pushed by Th0mz
April 30, 2024 11:03 2m 18s main
main
April 30, 2024 11:03 2m 18s