Vaibhav Yenamandra

Posting TODO here from #141: Compatibility so far for `time.1`: - [x] [POSIX.2](https://pubs.opengroup.org/onlinepubs/9699919799/utilities/time.html) - [x] [MacOS](https://ss64.com/osx/time.html) - [x] [Linux WITHOUT GNU extensions](https://man7.org/linux/man-pages/man1/time.1.html) - [x] [Linux GNU extensions](https://man7.org/linux/man-pages/man1/time.1.html) - [x] [FreeBSD](https://www.freebsd.org/cgi/man.cgi?query=time)...

#144 adds features from BSD `time` commands. `-l` is still unimplemented, as that requires some more work on macos (discussed on the PR)

I'll give this a shot. Been meaning to contribute here!

> I've had this problem when i was trying to setup via lua and ended up using vimscript. Just now i tried again and moved the call to coq before...

@ms-jpq Tried to minimize it as much as I could, here's a working version I was able to use to reproduce the issue. COQ complains about snippets in case 1...

``` 'C:\Users\26dwi\AppData\Local\Microsoft\WindowsApps\python3.exe' is not executable ``` Are you sure that `C:\Users\26dwi\AppData\Local\Microsoft\WindowsApps\python3.exe` is executable? I recall more recent versions of windows (intercept?) turn that into a MS Store link. Also try...

On a related note, we've attempted to fix this by padding the image with a border of zeros and discarding the padded pixels after damascene finishes computing. It doesn't work,...

I ran cuda-memcheck on the executable, here's the output if anyone else is looking at this. It seems that computeGradients makes invalid writes into `__shared__` memory [memerrors.txt](https://github.com/bryancatanzaro/damascene/files/1043120/memerrors.txt) Edit: I found...

@idank Is there a fix for this somewhere on the horizon? I'd like to use this library for some transpilers.

I'm familiar with C and the ruby-c-api from some time back, would you say this is a good issue to start with, given that libraries to handle time exist /...