Skip to content

Actions: marcoeilers/nagini

Actions

Nagini Basic Tests Windows

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
testWin.yml
97 workflow runs
97 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Call constructor of spec extractor only once, with list of all modules. Nagini Basic Tests Windows #97: Commit 4546957 pushed by marcoeilers
March 6, 2025 15:29 23m 35s extract_native_specs
extract_native_specs
March 6, 2025 15:29 23m 35s
some useful tests to not lose until turned into unit tests Nagini Basic Tests Windows #96: Commit 7771eb6 pushed by etiennebirling
March 6, 2025 10:13 22m 48s extract_native_specs
extract_native_specs
March 6, 2025 10:13 22m 48s
fix: (create has val) apply the path to pyobjname's pointer in tuple … Nagini Basic Tests Windows #95: Commit e3f91a2 pushed by etiennebirling
March 6, 2025 00:20 23m 18s extract_native_specs
extract_native_specs
March 6, 2025 00:20 23m 18s
finished a setup for unit tests Nagini Basic Tests Windows #94: Commit 6f6e06e pushed by etiennebirling
March 5, 2025 14:29 22m 59s extract_native_specs
extract_native_specs
March 5, 2025 14:29 22m 59s
moved test setup to parent dir ("native") Nagini Basic Tests Windows #93: Commit 698483f pushed by etiennebirling
March 4, 2025 11:25 23m 3s extract_native_specs
extract_native_specs
March 4, 2025 11:25 23m 3s
added some todos and did some cleanup Nagini Basic Tests Windows #92: Commit 8abe786 pushed by etiennebirling
March 3, 2025 23:22 23m 35s extract_native_specs
extract_native_specs
March 3, 2025 23:22 23m 35s
refactored setup method to return a list of facts and improved error … Nagini Basic Tests Windows #91: Commit 03155d1 pushed by etiennebirling
March 3, 2025 23:01 22m 55s extract_native_specs
extract_native_specs
March 3, 2025 23:01 22m 55s
- introduced PyClass translation (including env decl) Nagini Basic Tests Windows #90: Commit e4bc82b pushed by etiennebirling
March 3, 2025 22:44 22m 50s extract_native_specs
extract_native_specs
March 3, 2025 22:44 22m 50s
corrected a slight problem in the ternary fact VF stringification Nagini Basic Tests Windows #89: Commit 3cfe57f pushed by etiennebirling
March 3, 2025 19:18 24m 13s extract_native_specs
extract_native_specs
March 3, 2025 19:18 24m 13s
bufixed translate_generic_expr calls with missing or wrong (value Fal… Nagini Basic Tests Windows #88: Commit fcc25cf pushed by etiennebirling
February 28, 2025 23:08 23m 25s extract_native_specs
extract_native_specs
February 28, 2025 23:08 23m 25s
bugfixed a problem in retrieving the list's length Nagini Basic Tests Windows #87: Commit 685dd4a pushed by etiennebirling
February 28, 2025 19:18 23m 14s extract_native_specs
extract_native_specs
February 28, 2025 19:18 23m 14s
introduced access type class to postpone access Nagini Basic Tests Windows #86: Commit 8fce7f2 pushed by etiennebirling
February 28, 2025 18:52 23m 21s extract_native_specs
extract_native_specs
February 28, 2025 18:52 23m 21s
moved py2vf_ctx & translator to different files Nagini Basic Tests Windows #85: Commit 9fcd64d pushed by etiennebirling
February 27, 2025 19:16 22m 54s extract_native_specs
extract_native_specs
February 27, 2025 19:16 22m 54s
started extending facts to support fractions, started implementing at… Nagini Basic Tests Windows #84: Commit c4b5f87 pushed by etiennebirling
February 25, 2025 16:08 24m 11s extract_native_specs
extract_native_specs
February 25, 2025 16:08 24m 11s
removed unused import of partial from functools Nagini Basic Tests Windows #83: Commit 4c72f2c pushed by etiennebirling
February 20, 2025 16:24 23m 27s extract_native_specs
extract_native_specs
February 20, 2025 16:24 23m 27s
added most support for nagini-defined predicates Nagini Basic Tests Windows #82: Commit 360d3d2 pushed by etiennebirling
February 20, 2025 16:24 22m 40s extract_native_specs
extract_native_specs
February 20, 2025 16:24 22m 40s
expressions containing "is" now translate correctly Nagini Basic Tests Windows #81: Commit e7da948 pushed by etiennebirling
February 18, 2025 16:10 23m 14s extract_native_specs
extract_native_specs
February 18, 2025 16:10 23m 14s
preconditions with binary int ops work Nagini Basic Tests Windows #80: Commit 339199f pushed by etiennebirling
February 18, 2025 14:58 23m 14s extract_native_specs
extract_native_specs
February 18, 2025 14:58 23m 14s
finished printing pytuples in the setup Nagini Basic Tests Windows #79: Commit 46ec300 pushed by etiennebirling
February 17, 2025 22:11 22m 49s extract_native_specs
extract_native_specs
February 17, 2025 22:11 22m 49s
all changes and small bugfixes needed to get the setup working Nagini Basic Tests Windows #78: Commit a849ac4 pushed by etiennebirling
February 17, 2025 20:07 22m 54s extract_native_specs
extract_native_specs
February 17, 2025 20:07 22m 54s
removed valuelocation class and its uses, updated namedvalue conseque… Nagini Basic Tests Windows #77: Commit 06c564e pushed by etiennebirling
February 17, 2025 18:54 1m 50s extract_native_specs
extract_native_specs
February 17, 2025 18:54 1m 50s
finished setting up things to cleanly represent inductive expressions… Nagini Basic Tests Windows #76: Commit 3d17937 pushed by etiennebirling
February 17, 2025 16:11 1m 31s extract_native_specs
extract_native_specs
February 17, 2025 16:11 1m 31s
abstracted simplified PredicateFact abstract declaration Nagini Basic Tests Windows #75: Commit 468df6d pushed by etiennebirling
February 15, 2025 22:52 1m 58s extract_native_specs
extract_native_specs
February 15, 2025 22:52 1m 58s
moved valuelocations into anotherfile (avoid cyclic imports); update … Nagini Basic Tests Windows #74: Commit 98aaa5c pushed by etiennebirling
February 15, 2025 01:44 2m 15s extract_native_specs
extract_native_specs
February 15, 2025 01:44 2m 15s
cleaned the definition of pred class Nagini Basic Tests Windows #73: Commit 95c1cdb pushed by etiennebirling
February 15, 2025 01:04 2m 22s extract_native_specs
extract_native_specs
February 15, 2025 01:04 2m 22s