Jiaming Lu

Build native libraries for Mac OS X and Windows on aarch64 machines

23

Build script modified to support build on windows/mac aarch64 platform. Binary generated on the following environments. ## Windows Build environment: msys2 Toolchain: `mingw-w64-clang-aarch64-toolchain` 14.0.0 Fortran compiler: `mingw-w64-clang-aarch64-flang` 14.0.4 BLAS library:...

# Steps to Reproduce Idris version: 1.3.1 ```idris test2 : Either Int (List Int) -> Int test2 _ = 0 test : Either Int (List Int) -> Int test (Left...

Totality doesn't check with`map`

1

Idris version: 1.3.1 # Steps to Reproduce For example, I have the following code: ```idris data Tree = Branches (List Tree) | Node Int sumTree : Tree -> Int sumTree...

[close #712] Filter out META-INF/LICENSE when packaging

1

Fixes duplicated files in the resulting jar archieve.

Duplicate file in the shade jar

1

## Bug Report ### 1. Describe the bug There are duplicate files in the shade jar. If I unzip the `tikv-client-java-3.3.0-SNAPSHOT.jar`, there will be a promt: `replace META-INF/LICENSE? [y]es, [n]o,...

I need a `reverseScan` so I implemented it. This PR added `scan` methods with a `boolean reverse` argument, and also a seperate `reverseScan` method. I exchanges the position of startKey...