jetbrains-research/humaneval-dafny issues and pull requests

#54 - Add text descriptions of the tasks

Pull Request - State: closed - Opened by WeetHet about 1 month ago

#53 - Correct annotations in 008-sum_product.dfy

Pull Request - State: closed - Opened by jesyspa about 2 months ago

#52 - Minor fixes, implementation of 018-how_many_times

Pull Request - State: closed - Opened by jesyspa about 2 months ago

#51 - 025-factorize does not guarantee that returned list contains prime factors

Issue - State: open - Opened by jesyspa about 2 months ago
Labels: weak postcondition

#50 - Change files to ensure correct codegen

Pull Request - State: closed - Opened by WeetHet about 2 months ago

#49 - 023-strlen does not have meaningful conditions

Issue - State: open - Opened by jesyspa about 2 months ago

#48 - 013-greatest_common_divisor does not guarantee that result is the gcd

Issue - State: open - Opened by jesyspa about 2 months ago - 3 comments
Labels: weak postcondition

#47 - 010-is_palindrome does not test palindrome minimality

Issue - State: open - Opened by jesyspa about 2 months ago
Labels: weak postcondition

#46 - 009-rolling-max does not show that bounds are tight

Issue - State: open - Opened by jesyspa about 2 months ago - 1 comment
Labels: weak postcondition

#45 - 007-filter_by_substring does not verify that filter condition is applicable

Issue - State: open - Opened by jesyspa about 2 months ago
Labels: weak postcondition

#44 - Tracking issue for benchmark review

Issue - State: open - Opened by WeetHet about 2 months ago
Labels: enhancement

#43 - 006-parse_nested_parens does not validate that the computed depth is correct

Issue - State: open - Opened by jesyspa about 2 months ago
Labels: weak postcondition

#42 - Review files 000 and 001

Pull Request - State: closed - Opened by jesyspa 2 months ago

#41 - Check all files contain an // impl-start comment

Pull Request - State: closed - Opened by WeetHet 3 months ago

#40 - 065, 079

Pull Request - State: closed - Opened by WeetHet 3 months ago

#39 - 025

Pull Request - State: closed - Opened by WeetHet 3 months ago

#38 - 107, 111

Pull Request - State: closed - Opened by WeetHet 3 months ago

#37 - 036, 087, 161

Pull Request - State: closed - Opened by WeetHet 3 months ago

#36 - 84, 134

Pull Request - State: closed - Opened by WeetHet 3 months ago

#35 - Markup file parts

Pull Request - State: closed - Opened by WeetHet 3 months ago

#34 - 049, 073, 081, 089, 108, 114, 128

Pull Request - State: closed - Opened by WeetHet 3 months ago

#33 - 094, 098, 115

Pull Request - State: closed - Opened by WeetHet 3 months ago

#32 - Make all asserts one-liners (easier to strip when neccesary)

Pull Request - State: closed - Opened by gt22 3 months ago - 1 comment

#31 - 105, 116, 123, 155, add a file with remaining tasks

Pull Request - State: closed - Opened by WeetHet 3 months ago

#30 - 126, 146

Pull Request - State: closed - Opened by WeetHet 3 months ago

#29 - 041, 045, 046, 135, 136, 138

Pull Request - State: closed - Opened by WeetHet 3 months ago

#28 - 004, 016, 026, 029

Pull Request - State: closed - Opened by WeetHet 3 months ago

#27 - Print filename and count in CI

Pull Request - State: closed - Opened by WeetHet 3 months ago

#26 - 120, 145

Pull Request - State: closed - Opened by WeetHet 3 months ago

#25 - 033, 088

Pull Request - State: closed - Opened by WeetHet 3 months ago

#24 - Rewrite 037 using sort with predicate

Pull Request - State: closed - Opened by WeetHet 3 months ago

#23 - Fix predicate in 104

Pull Request - State: closed - Opened by WeetHet 3 months ago

#22 - 104-unique_digits

Issue - State: closed - Opened by alex28sh 3 months ago

#21 - Categorize hard-to-represent tasks

Pull Request - State: closed - Opened by gt22 3 months ago - 1 comment

#20 - Update README.md

Pull Request - State: closed - Opened by alex28sh 3 months ago

#19 - 149,158

Pull Request - State: closed - Opened by alex28sh 3 months ago

#18 - 34, 37, increase limit to 2400s for now (so 37 verifies)

Pull Request - State: closed - Opened by WeetHet 3 months ago

#17 - 27, 75, 76, 80

Pull Request - State: closed - Opened by gt22 3 months ago

#16 - 055, 057, 062, 063, 064, 066

Pull Request - State: closed - Opened by WeetHet 4 months ago

#15 - 68, 69, 70, 72, 74

Pull Request - State: closed - Opened by WeetHet 4 months ago

#14 - 43,48

Pull Request - State: closed - Opened by alex28sh 4 months ago

#13 - [WIP] 075

Pull Request - State: closed - Opened by WeetHet 4 months ago

#12 - 77, 78, 82, 83

Pull Request - State: closed - Opened by WeetHet 4 months ago

#11 - 30, 31, 35, 40, 42

Pull Request - State: closed - Opened by alex28sh 4 months ago - 1 comment

#10 - 60, 85, 133, 142, 151 - generalized sum method

Pull Request - State: closed - Opened by gt22 4 months ago

#9 - 60, 85, 133, 142, 151

Pull Request - State: closed - Opened by gt22 4 months ago

#8 - 96, 97, 100, 104, 110, 118, 122, 127

Pull Request - State: closed - Opened by WeetHet 4 months ago

#7 - 130, 139, 148, 150, 153, 154

Pull Request - State: closed - Opened by WeetHet 4 months ago

#6 - 2, 3, 8, 20, 21, 23, 24

Pull Request - State: closed - Opened by gt22 4 months ago

#5 - New tests

Pull Request - State: closed - Opened by WeetHet 4 months ago

#4 - 102, 106, 142, 157, 159, 163

Pull Request - State: closed - Opened by WeetHet 4 months ago

#3 - Name files for better sorting

Pull Request - State: closed - Opened by WeetHet 4 months ago

#2 - another bench of programs

Pull Request - State: closed - Opened by alex28sh 4 months ago

#1 - Remove unused arguments from perSystem

Pull Request - State: closed - Opened by WeetHet 4 months ago

GitHub / jetbrains-research/humaneval-dafny issues and pull requests