Skip to content

Actions: marcoeilers/nagini

Actions

Nagini Tests Ubuntu

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test.yml
232 workflow runs
232 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Viper Update Nagini Tests Ubuntu #80: Pull request #166 opened by marcoeilers
February 6, 2024 19:13 52m 0s viper_24_01
viper_24_01
February 6, 2024 19:13 52m 0s
Merge branch 'master' into viper_24_01 Nagini Tests Ubuntu #79: Commit 8ff203a pushed by marcoeilers
February 6, 2024 19:13 47m 10s viper_24_01
viper_24_01
February 6, 2024 19:13 47m 10s
Merge pull request #165 from marcoeilers/better_equality Nagini Tests Ubuntu #78: Commit 2ed1a90 pushed by marcoeilers
February 6, 2024 19:10 44m 28s master
master
February 6, 2024 19:10 44m 28s
Better equality for tuples (and in general) Nagini Tests Ubuntu #77: Pull request #165 synchronize by marcoeilers
February 6, 2024 18:20 49m 9s better_equality
better_equality
February 6, 2024 18:20 49m 9s
Added missing position, fixed test annotation Nagini Tests Ubuntu #76: Commit 43dba19 pushed by marcoeilers
February 6, 2024 18:20 49m 35s better_equality
better_equality
February 6, 2024 18:20 49m 35s
Better equality for tuples (and in general) Nagini Tests Ubuntu #75: Pull request #165 opened by marcoeilers
February 6, 2024 16:15 1h 7m 7s better_equality
better_equality
February 6, 2024 16:15 1h 7m 7s
Added test Nagini Tests Ubuntu #74: Commit 4746509 pushed by marcoeilers
February 6, 2024 16:13 45m 10s better_equality
better_equality
February 6, 2024 16:13 45m 10s
Fixed rerouting of object___eq__ calls Nagini Tests Ubuntu #73: Commit 4ce4ceb pushed by marcoeilers
February 6, 2024 16:07 47m 12s better_equality
better_equality
February 6, 2024 16:07 47m 12s
Merge pull request #163 from marcoeilers/abstract_predicates Nagini Tests Ubuntu #72: Commit d09df40 pushed by marcoeilers
January 25, 2024 14:01 45m 57s master
master
January 25, 2024 14:01 45m 57s
Abstract predicates Nagini Tests Ubuntu #71: Pull request #163 synchronize by marcoeilers
January 25, 2024 13:04 57m 43s abstract_predicates
abstract_predicates
January 25, 2024 13:04 57m 43s
Fixing tests Nagini Tests Ubuntu #70: Commit 12f52b9 pushed by marcoeilers
January 25, 2024 13:04 49m 57s abstract_predicates
abstract_predicates
January 25, 2024 13:04 49m 57s
Abstract predicates Nagini Tests Ubuntu #69: Pull request #163 opened by marcoeilers
January 25, 2024 11:53 42m 57s abstract_predicates
abstract_predicates
January 25, 2024 11:53 42m 57s
Abstract predicates Nagini Tests Ubuntu #68: Commit fabb8dc pushed by marcoeilers
January 25, 2024 11:52 54m 34s abstract_predicates
abstract_predicates
January 25, 2024 11:52 54m 34s
Merge pull request #160 from marcoeilers/floats Nagini Tests Ubuntu #67: Commit 0100a7e pushed by marcoeilers
January 20, 2024 18:11 47m 23s master
master
January 20, 2024 18:11 47m 23s
Merge pull request #162 from marcoeilers/fix_161 Nagini Tests Ubuntu #66: Commit 03c1bca pushed by marcoeilers
January 20, 2024 16:56 49m 7s master
master
January 20, 2024 16:56 49m 7s
Correctly tracking assignments to static fields Nagini Tests Ubuntu #65: Pull request #162 opened by marcoeilers
January 20, 2024 16:06 49m 27s fix_161
fix_161
January 20, 2024 16:06 49m 27s
Adding check to prevent incorrectly treating non-final variables as f… Nagini Tests Ubuntu #64: Commit b5126ed pushed by marcoeilers
January 20, 2024 16:05 50m 7s fix_161
fix_161
January 20, 2024 16:05 50m 7s
Optional modes for interpreted floats Nagini Tests Ubuntu #63: Pull request #160 synchronize by marcoeilers
January 20, 2024 14:35 58m 17s floats
floats
January 20, 2024 14:35 58m 17s
Floats from string literals, tests Nagini Tests Ubuntu #62: Commit 87dfcd1 pushed by marcoeilers
January 20, 2024 14:35 44m 53s floats
floats
January 20, 2024 14:35 44m 53s
Optional modes for interpreted floats Nagini Tests Ubuntu #61: Pull request #160 opened by marcoeilers
December 10, 2023 20:20 53m 10s floats
floats
December 10, 2023 20:20 53m 10s
Tests, outputting warnings when uninterpreted floats are used Nagini Tests Ubuntu #60: Commit 523447e pushed by marcoeilers
December 10, 2023 20:17 6h 0m 23s floats
floats
December 10, 2023 20:17 6h 0m 23s
Fixed type inference for float literals, added some Viper-level depen… Nagini Tests Ubuntu #59: Commit bcf5ec7 pushed by marcoeilers
December 6, 2023 23:37 45m 18s floats
floats
December 6, 2023 23:37 45m 18s
Supporting optional real and ieee32 encodings for floats Nagini Tests Ubuntu #58: Commit f3ee12f pushed by marcoeilers
December 6, 2023 22:03 47m 17s floats
floats
December 6, 2023 22:03 47m 17s
Better list triggers, quicksort example with good spec (Carbon only) Nagini Tests Ubuntu #57: Commit 7d77a1a pushed by marcoeilers
September 19, 2023 13:20 6h 0m 24s quicksort
quicksort
September 19, 2023 13:20 6h 0m 24s
Merge pull request #157 from marcoeilers/meilers_version_bump Nagini Tests Ubuntu #56: Commit b947185 pushed by marcoeilers
September 12, 2023 00:12 1h 24m 55s master
master
September 12, 2023 00:12 1h 24m 55s