Matthew Do

Support TLA+ bags

4

TLA+ has a "bag" type which is better known as a multiset. We need to support bags and their corresponding operators and functions. A bare-bones Go multiset library is available...

Idris throws an error about non-exhaustive pattern matching in function `varRule` when typing checking the following code (as [zip file](https://github.com/idris-lang/Idris-dev/files/3175744/Error.zip)). ```idris module Error %access public export %default total data D...

Anyway to use Seer for concolic testing?

1

Hi, I'd like to use seer for [concolic testing](https://en.wikipedia.org/wiki/Concolic_testing). However, the examples are all code with main functions, and do not show how to hook into the engine for extension....