Cosmin Radoi

Is oboe.js dead?

4

The last release is precisely three years ago and there have not been any code contributions in a year and a half. Should the project be considered dead/unmaintained? Do you...

Inheritance breaks fragments

1

see: #1918 and this branch: https://github.com/kframework/k/tree/inheritance-breaks-fragments

ran into trouble when running the samples

3

Hello, I'm running into trouble trying to create a kernel object from ptx: Assertion failed: (result == CL_SUCCESS && "Failed to extract kernel"), function initialize, file /Users/cos/Projects/cs526/test2/llvm-ptx-samples/opencl/matmul/matmul.cpp, line 75. Abort...

It would be great if the AST format would follow the de facto JS standard

4

The standard is informally maintained here: https://github.com/estree/estree

Remove spec-related syntax

2

## Description Removes the spec deprecated syntax: `spec`, `invariant`, quantifiers ## Test plan Unit tests still passing. Left the old spec snapshot tests in place to make sure we still...