Skip to content

Actions: marcoeilers/nagini

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
247 workflow runs
247 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Version bump, decreases clauses with predicates Nagini Tests Ubuntu #55: Pull request #157 synchronize by marcoeilers
August 28, 2023 22:16 1h 5m 25s meilers_version_bump
meilers_version_bump
August 28, 2023 22:16 1h 5m 25s
Fixing tests Nagini Tests Ubuntu #54: Commit db02d11 pushed by marcoeilers
August 28, 2023 22:16 1h 23m 2s meilers_version_bump
meilers_version_bump
August 28, 2023 22:16 1h 23m 2s
Version bump, decreases clauses with predicates Nagini Tests Ubuntu #53: Pull request #157 synchronize by marcoeilers
August 28, 2023 19:21 1h 11m 25s meilers_version_bump
meilers_version_bump
August 28, 2023 19:21 1h 11m 25s
Merge branch 'meilers_version_bump' of https://github.com/marcoeilers… Nagini Tests Ubuntu #52: Commit f3ddbc0 pushed by marcoeilers
August 28, 2023 19:20 1m 16s meilers_version_bump
meilers_version_bump
August 28, 2023 19:20 1m 16s
Version bump, decreases clauses with predicates Nagini Tests Ubuntu #51: Pull request #157 synchronize by marcoeilers
August 28, 2023 11:16 1h 39m 50s meilers_version_bump
meilers_version_bump
August 28, 2023 11:16 1h 39m 50s
Update VerifyThis22_Challenge2.py Nagini Tests Ubuntu #50: Commit 3706e5b pushed by marcoeilers
August 28, 2023 11:16 1h 47m 10s meilers_version_bump
meilers_version_bump
August 28, 2023 11:16 1h 47m 10s
Version bump, decreases clauses with predicates Nagini Tests Ubuntu #49: Pull request #157 synchronize by marcoeilers
August 28, 2023 10:57 1h 32m 55s meilers_version_bump
meilers_version_bump
August 28, 2023 10:57 1h 32m 55s
Updated referenced Boogie version Nagini Tests Ubuntu #48: Commit 979747f pushed by marcoeilers
August 28, 2023 10:57 1h 21m 46s meilers_version_bump
meilers_version_bump
August 28, 2023 10:57 1h 21m 46s
Version bump, decreases clauses with predicates Nagini Tests Ubuntu #47: Pull request #157 synchronize by marcoeilers
August 28, 2023 10:56 1h 2m 26s meilers_version_bump
meilers_version_bump
August 28, 2023 10:56 1h 2m 26s
Updated outdated parts of README.rst Nagini Tests Ubuntu #46: Commit ac65539 pushed by marcoeilers
August 28, 2023 10:56 1h 32m 44s meilers_version_bump
meilers_version_bump
August 28, 2023 10:56 1h 32m 44s