From 9da7213cfa9817f7d6a83f1da8b6dc501ddf59c0 Mon Sep 17 00:00:00 2001 From: alex28sh Date: Wed, 21 Aug 2024 15:58:23 +0200 Subject: [PATCH 1/9] smth --- Bench/000-has-close-elements.py | 1 + WIP/104-unique_digits.py | 6 +++--- 2 files changed, 4 insertions(+), 3 deletions(-) diff --git a/Bench/000-has-close-elements.py b/Bench/000-has-close-elements.py index 3c626c7..741af5e 100644 --- a/Bench/000-has-close-elements.py +++ b/Bench/000-has-close-elements.py @@ -35,6 +35,7 @@ def has_close_elements(numbers: List[int], threshold: int) -> bool: fn(x, numbers, threshold) ))) + flag = False i = 0 while i < len(numbers): diff --git a/WIP/104-unique_digits.py b/WIP/104-unique_digits.py index 5af77b3..c865bcd 100644 --- a/WIP/104-unique_digits.py +++ b/WIP/104-unique_digits.py @@ -21,9 +21,9 @@ def UniqueDigits(x : List[int]) -> List[int]: (d_9_j_ >= 0 and d_9_j_ < len(Result())) and Result()[d_9_j_] == x[d_8_e_])))) Ensures(Forall(int, lambda d_7_e_: not ((d_7_e_) >= 0 and d_7_e_ < len(Result())) or (Exists(int, lambda d_8_j_: (d_8_j_ >= 0 and d_8_j_ < len(x)) and x[d_8_j_] == Result()[d_7_e_])))) - # Ensures(Forall(int, lambda d_1_i_: - # Forall(int, lambda d_2_j_: - # not ((((0) <= (d_1_i_)) and ((d_1_i_) < (d_2_j_))) and ((d_2_j_) < (len(Result())))) or (((Result())[d_1_i_]) <= ((Result())[d_2_j_]))))) + Ensures(Forall(int, lambda d_1_i_: + Forall(int, lambda d_2_j_: + not ((((0) <= (d_1_i_)) and ((d_1_i_) < (d_2_j_))) and ((d_2_j_) < (len(Result())))) or (((Result())[d_1_i_]) <= ((Result())[d_2_j_]))))) result = list([int(0)] * 0) # type : List[int] result = list([]) d_5_i_ = 0 From 56a4ae259e39d45a4a32ae5069e9940bc868e930 Mon Sep 17 00:00:00 2001 From: alex28sh Date: Wed, 21 Aug 2024 16:06:34 +0200 Subject: [PATCH 2/9] Empty commit From c4a08905aee5445218350a208eef2dd7c3f4af6c Mon Sep 17 00:00:00 2001 From: alex28sh Date: Wed, 21 Aug 2024 16:09:07 +0200 Subject: [PATCH 3/9] Empty commit From f38d6d299ef13b942dc3bf6bb30f312f81eec1cd Mon Sep 17 00:00:00 2001 From: alex28sh Date: Wed, 21 Aug 2024 16:17:29 +0200 Subject: [PATCH 4/9] check --- Bench/072-will_it_fly.py | 1 + WIP/104-unique_digits.py | 1 + public/scripts/test-new.sh | 4 ++++ 3 files changed, 6 insertions(+) diff --git a/Bench/072-will_it_fly.py b/Bench/072-will_it_fly.py index 8793e95..4f679bf 100644 --- a/Bench/072-will_it_fly.py +++ b/Bench/072-will_it_fly.py @@ -24,6 +24,7 @@ def will__it__fly(s : List[int], w : int) -> bool: return result d_0_i_ = (d_0_i_) + (1) d_1_j_ = (d_1_j_) - (1) + d_3_total_ = int(0) # type : int d_3_total_ = 0 d_0_i_ = 0 diff --git a/WIP/104-unique_digits.py b/WIP/104-unique_digits.py index c865bcd..fd03258 100644 --- a/WIP/104-unique_digits.py +++ b/WIP/104-unique_digits.py @@ -27,6 +27,7 @@ def UniqueDigits(x : List[int]) -> List[int]: result = list([int(0)] * 0) # type : List[int] result = list([]) d_5_i_ = 0 + while d_5_i_ < len(x): Invariant(Acc(list_pred(result))) Invariant(Acc(list_pred(x), 1/2)) diff --git a/public/scripts/test-new.sh b/public/scripts/test-new.sh index 0040b29..b6d5f4f 100755 --- a/public/scripts/test-new.sh +++ b/public/scripts/test-new.sh @@ -10,7 +10,11 @@ file_count=0 echo "New files found:" for f in $1; do # Check if the file is in the known directory + echo "check" + echo $f if [[ $f == $DIRECTORY/* ]]; then + echo "check1" + echo $f if [[ $f == *.py ]]; then echo $f file_count=$((file_count+1)) From 99856d67fee694b146cfc5a689d0bba1308b30e3 Mon Sep 17 00:00:00 2001 From: alex28sh Date: Wed, 21 Aug 2024 16:21:16 +0200 Subject: [PATCH 5/9] check --- .github/workflows/test-new.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/workflows/test-new.yml b/.github/workflows/test-new.yml index facb55d..7368a4c 100644 --- a/.github/workflows/test-new.yml +++ b/.github/workflows/test-new.yml @@ -5,6 +5,7 @@ name: Nagini Tests (Changed) Ubuntu on: pull_request: + types: [synchronize] branches: - main From 08d86a748c18518552f4f1a77477af9f54f09ba6 Mon Sep 17 00:00:00 2001 From: alex28sh Date: Wed, 21 Aug 2024 16:22:02 +0200 Subject: [PATCH 6/9] Empty commit From f7dc7d04b1a985e9727ba3057b566a17aa94eb36 Mon Sep 17 00:00:00 2001 From: alex28sh Date: Wed, 21 Aug 2024 16:27:17 +0200 Subject: [PATCH 7/9] check --- Bench/072-will_it_fly.py | 1 - 1 file changed, 1 deletion(-) diff --git a/Bench/072-will_it_fly.py b/Bench/072-will_it_fly.py index 4f679bf..8793e95 100644 --- a/Bench/072-will_it_fly.py +++ b/Bench/072-will_it_fly.py @@ -24,7 +24,6 @@ def will__it__fly(s : List[int], w : int) -> bool: return result d_0_i_ = (d_0_i_) + (1) d_1_j_ = (d_1_j_) - (1) - d_3_total_ = int(0) # type : int d_3_total_ = 0 d_0_i_ = 0 From 25ba70c428feb9d324a0f442ce6278d0f02174ff Mon Sep 17 00:00:00 2001 From: alex28sh Date: Wed, 21 Aug 2024 16:28:15 +0200 Subject: [PATCH 8/9] Empty commit From 415901eacc23027d4c6e78db92910f9fea5cb1fb Mon Sep 17 00:00:00 2001 From: alex28sh Date: Wed, 21 Aug 2024 16:29:10 +0200 Subject: [PATCH 9/9] Empty commit