search

dafny-lang / libraries

Libraries useful for Dafny programs
Other
43 stars 25 forks source link

Request: binary search #42

Closed robin-aws closed 2 years ago

robin-aws commented 2 years ago

Already implemented as a Dafny integration test: https://github.com/dafny-lang/dafny/blob/master/Test/dafny4/BinarySearch.dfy

robin-aws commented 2 years ago

Should also accept a comparator that is a total ordering over the sorted list as in https://github.com/dafny-lang/libraries/issues/39#issuecomment-1069669490

prvshah51 commented 2 years ago

Added with #49