1 Pull request merged by 1 person

• Add C++

  #532 merged Mar 24, 2025

1 Issue closed by 1 person

• Add C++ support

  #530 closed Mar 24, 2025

7 Unresolved conversations

Sometimes conversations happen on old items that aren’t yet closed. Here is a list of all the Issues and Pull Requests with unresolved conversations.

• Add natural translation for DSL

  #574 commented on Mar 27, 2025 • 38 new comments

• add file content

  #577 commented on Mar 26, 2025 • 2 new comments

• Use "type" statements

  #582 commented on Mar 24, 2025 • 0 new comments

• No evaluation when there are multiple expressions inside a single "script"

  #581 commented on Mar 24, 2025 • 0 new comments

• Support default implementations for language-specific oracles

  #579 commented on Mar 24, 2025 • 0 new comments

• Top-level specification of programming language is broken

  #578 commented on Mar 24, 2025 • 0 new comments

• Remove special case for JavaScript

  #560 commented on Mar 24, 2025 • 0 new comments