Skip to content

Actions: costa-group/grey

Actions

SimpleTesting

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test.yml
418 workflow runs
418 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

#18 Add number of stack vars computed in the stack SimpleTesting #343: Commit cd04602 pushed by alexcere
December 16, 2024 10:43 56s second_version_greedy
second_version_greedy
December 16, 2024 10:43 56s
#18 Determine from which point we fix the stack SimpleTesting #342: Commit 600f3ce pushed by alexcere
December 12, 2024 14:38 58s second_version_greedy
second_version_greedy
December 12, 2024 14:38 58s
#18 Print trace after whole process SimpleTesting #341: Commit 8a3ac17 pushed by alexcere
December 12, 2024 09:10 1m 15s second_version_greedy
second_version_greedy
December 12, 2024 09:10 1m 15s
#18 Modifications to score candidates and compute instructions SimpleTesting #340: Commit 0a7b4a9 pushed by alexcere
December 11, 2024 16:57 53s second_version_greedy
second_version_greedy
December 11, 2024 16:57 53s
#18 Compute solved inside symbolic state SimpleTesting #339: Commit e6e394b pushed by alexcere
December 11, 2024 15:42 1m 15s second_version_greedy
second_version_greedy
December 11, 2024 15:42 1m 15s
#18 Store possible candidates in symbolic state SimpleTesting #338: Commit 7e80076 pushed by alexcere
December 11, 2024 14:12 57s second_version_greedy
second_version_greedy
December 11, 2024 14:12 57s
#18 Compute next available position w.r.t. the current stack SimpleTesting #337: Commit b23b39b pushed by alexcere
December 11, 2024 10:06 52s greedy_extended
greedy_extended
December 11, 2024 10:06 52s
Function to process sol files SimpleTesting #336: Commit fa18868 pushed by alexcere
December 10, 2024 16:15 57s main
main
December 10, 2024 16:15 57s
#18 Fix var uses + handle case in which computations can be reused SimpleTesting #335: Commit 0076dc6 pushed by alexcere
December 10, 2024 15:53 58s greedy_extended
greedy_extended
December 10, 2024 15:53 58s
#18 Minor corrections SimpleTesting #334: Commit 30deaf0 pushed by alexcere
December 10, 2024 08:55 1m 22s greedy_extended
greedy_extended
December 10, 2024 08:55 1m 22s
"commented_version" SimpleTesting #333: Commit f50299c pushed by giuliamatri
December 8, 2024 11:49 2m 17s commented_version
commented_version
December 8, 2024 11:49 2m 17s
#18 Choose next computation SimpleTesting #332: Commit d597670 pushed by alexcere
December 4, 2024 15:18 56s greedy_extended
greedy_extended
December 4, 2024 15:18 56s
Enable importer after generating the asm file SimpleTesting #331: Commit 8791ac4 pushed by alexcere
December 3, 2024 16:48 57s main
main
December 3, 2024 16:48 57s
adding new examples SimpleTesting #330: Commit d6d0b0c pushed by tutugordillo
December 2, 2024 18:44 54s main
main
December 2, 2024 18:44 54s
updating examples SimpleTesting #329: Commit a1fe1f0 pushed by tutugordillo
November 26, 2024 15:45 55s main
main
November 26, 2024 15:45 55s
adding files SimpleTesting #328: Commit 5a755e9 pushed by tutugordillo
November 26, 2024 15:40 56s main
main
November 26, 2024 15:40 56s
updating examples SimpleTesting #327: Commit 86764b7 pushed by tutugordillo
November 26, 2024 15:39 49s main
main
November 26, 2024 15:39 49s
working on scripts SimpleTesting #326: Commit 0ac8966 pushed by tutugordillo
November 26, 2024 14:19 1m 6s main
main
November 26, 2024 14:19 1m 6s
adding examples SimpleTesting #325: Commit b124d11 pushed by tutugordillo
November 26, 2024 14:17 49s main
main
November 26, 2024 14:17 49s
adding compilation options SimpleTesting #324: Commit c249ecd pushed by tutugordillo
November 26, 2024 13:59 58s main
main
November 26, 2024 13:59 58s
adding new structure SimpleTesting #323: Commit 3bf745c pushed by tutugordillo
November 26, 2024 13:56 58s main
main
November 26, 2024 13:56 58s
modifying structure SimpleTesting #322: Commit e66ffb9 pushed by tutugordillo
November 26, 2024 13:32 59s main
main
November 26, 2024 13:32 59s
do not include interface/abstract contracts in generation SimpleTesting #321: Commit d214d5f pushed by tutugordillo
November 26, 2024 10:53 55s main
main
November 26, 2024 10:53 55s
working on scripts SimpleTesting #320: Commit 1f93155 pushed by tutugordillo
November 25, 2024 19:11 57s main
main
November 25, 2024 19:11 57s
working on scripts SimpleTesting #319: Commit 2dc832c pushed by tutugordillo
November 25, 2024 16:38 55s main
main
November 25, 2024 16:38 55s