Federico Mora Rocha

ConCrest (or just Crest https://www.burn.im/crest/) - Farzan, Azadeh, et al. "Con2colic testing." Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering. ACM, 2013. Cortex (https://github.com/nunomachado/cortex-tool) - Machado,...

Here are a few papers/tools that deal with floating-point numbers. I think their addition would be interesting! - Lakhotia, Kiran, et al. "Flopsy-search-based floating point constraint solving for symbolic execution."...

Lean Version

2

I am using Lean version 3.2.1, but can't seem to sort out the imports and opens. For example, inside core/generated.lean, at the first line, I get the error "file 'core/pre'...

floordiv and mod

4

I needed floordiv and mod for one of my projects, so I implemented them in the most naive way. If the code is useful to you, take it! Feel free...

Generate BMC style functional equivalence checking queries

2

The clever generator simulates bounded model checker client-specific equivalence queries. In particular, the generator produces: * a client that calls a library n times * two different versions of the...

Random-ast has option to create random word equations

6

I want to create word equations that don't have higher order functions or regular expressions for testing word equation solving. This does what I want.