Skip to content

Actions: formalsec/ast-gen

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
134 workflow runs
134 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

function info refactor Build #84: Commit 3081eb3 pushed by Th0mz
June 5, 2024 11:02 4m 46s main
main
June 5, 2024 11:02 4m 46s
Missing depends Build #83: Pull request #1 synchronize by filipeom
May 31, 2024 10:24 5m 20s fix-depency
fix-depency
May 31, 2024 10:24 5m 20s
Missing depends Build #82: Pull request #1 opened by filipeom
May 31, 2024 10:19 4m 45s fix-depency
fix-depency
May 31, 2024 10:19 4m 45s
refactor functioninfo construction and usage Build #81: Commit cf9b413 pushed by Th0mz
May 30, 2024 10:24 6m 27s main
main
May 30, 2024 10:24 6m 27s
function info refactor Build #80: Commit 6eecad5 pushed by Th0mz
May 28, 2024 14:38 5m 28s main
main
May 28, 2024 14:38 5m 28s
function definition context and return statement analysis Build #79: Commit bb70e89 pushed by Th0mz
May 28, 2024 09:30 2m 39s main
main
May 28, 2024 09:30 2m 39s
simple function definition analysis done Build #78: Commit f4311cd pushed by Th0mz
May 27, 2024 14:56 2m 13s main
main
May 27, 2024 14:56 2m 13s
function call analysis update Build #77: Commit 1b95864 pushed by Th0mz
May 27, 2024 10:30 2m 24s main
main
May 27, 2024 10:30 2m 24s
analysis of switch, for, try-catch, with, labeled, variable declarati… Build #76: Commit 83cf6c9 pushed by Th0mz
May 24, 2024 15:56 2m 19s main
main
May 24, 2024 15:56 2m 19s
array analysis Build #75: Commit 262ff52 pushed by Th0mz
May 24, 2024 13:52 2m 36s main
main
May 24, 2024 13:52 2m 36s
array normalization is now similar to object one Build #74: Commit 03837a1 pushed by Th0mz
May 24, 2024 13:49 2m 30s main
main
May 24, 2024 13:49 2m 30s
literal properties are now considered static ones Build #73: Commit a160080 pushed by Th0mz
May 24, 2024 13:28 2m 23s main
main
May 24, 2024 13:28 2m 23s
expressions are no longer statements Build #72: Commit 2194761 pushed by Th0mz
May 24, 2024 10:33 6m 18s main
main
May 24, 2024 10:33 6m 18s
prevented infinit origin and lookup searches Build #71: Commit 0ce0ae5 pushed by Th0mz
May 24, 2024 10:17 4m 0s main
main
May 24, 2024 10:17 4m 0s
lookup fix + better graph output Build #70: Commit 0e53329 pushed by Th0mz
May 20, 2024 16:55 2m 30s main
main
May 20, 2024 16:55 2m 30s
lookup fixed Build #69: Commit 082f1c0 pushed by Th0mz
May 16, 2024 12:18 2m 42s main
main
May 16, 2024 12:18 2m 42s
simpler graph structure Build #68: Commit b2902d6 pushed by Th0mz
May 16, 2024 10:37 2m 30s main
main
May 16, 2024 10:37 2m 30s
ifp uses now last upper bound of states Build #67: Commit e1b4998 pushed by Th0mz
May 15, 2024 11:06 2m 28s main
main
May 15, 2024 11:06 2m 28s
alias for ocamlgraph library Build #66: Commit 4a6aac8 pushed by Th0mz
May 14, 2024 14:08 2m 21s main
main
May 14, 2024 14:08 2m 21s
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