Alex Von Hoene

How does Moses compare to Lua Fun?

6

Apart from being more active, how does Moses compare to [Lua Fun](https://github.com/luafun/luafun)?

Hello, I found gpredict via its website. When I didn't see any mentions of windows on [the downloads page](http://gpredict.oz9aec.net/download.php), I thought it wasn't supported. Fortunately, I knew enough to find...

logging in with links2 doesn't work

1

When I use `rtv` in the linux console, logging in with `u` opens links2. I can put in my username and password, but when I select "log in" to post...

Returning a string from a function call requires converting to string

6

Given the following ImageJ macro: ``` function pickFile(){ return File.openDialog("Pick a file"); } function notBuggy(){ return toString(pickFile()); } function buggy(){ return pickFile(); } pickFile(); notBuggy(); buggy(); ``` This will ask...

Website doesn't easily answer: "What can KLEE do for me?"

4

**Problem**: It is difficult for readers who don't know what a "dynamic symbolic execution engine" is to figure out what KLEE can do, what it is useful for, and whether...