Jack J Garzella

Entry points with SMACK-escaped character

3

Right now, SMACK does not support having the entry point function have a character which Naming.cpp will escape. The problem is that the entry point annotation is done in top.py,...

devirtbounce name issues with Swift/OBJC method invocation

2

Currently, SMACK cannot tell between methods in Objective-C or Swift unless they have different method signatures. Both of these languages use devirtbounce to manage method invocation. Consider the following example:...

Update the README to reflect that SMACK now supports many languages Add a short tutorial on how to compile a new language into SMACK.

Pass arguments to test binary from `flit make`

1

## Feature Request **Describe the new feature:** Right now, if I run `flit make`, it runs each test in its default configuration, running all precisions and timing tests. However, for...

Oscar Integers not playing well with Julia collection types

17

Currently in Oscar, if one uses an Oscar integer as a dictionary key, it registers as a separate entry from a standard integer: ``` julia> D = Dict() Dict{Any,Any}() julia>...