maul.esel
maul.esel
This is an attempt to fulfill the wish fragman posted [here](http://www.autohotkey.com/forum/viewtopic.php?t=83942) which can be **_VERY**_ useful when testing scripts.
Hi, I just added a small piece of code which allows to specify lower bounds for SAFEARRAYs created with `ComObjArray()`. Syntax is quite easy and intuitive: ``` ahk arr :=...
Hi, here's another _suggestion_ for extended SAFEARRAY support: - remove the 8 dimension limit (is there a reason for this that I'm missing?) - add a `Count()` method which returns...
Hi, I tried to run the following script with IronAHK ``` ahk ; ============= config ============= IronAHK := true ; set to true if you're using IronAHK. ; ================================= ptr_size...
This change fixes an unsoundness bug in `SdHoareTripleChecker`, shown by the failing test `HoareTripleCheckerTests::sdHtcTest02`. (It's probably best to review the two commits separately.)
Per witness specification, assumptions must not contain function call expressions. Instead, a variable `\result` can be used and the corresponding function can be given via the key `assumption.resultfunction`. Using functions...
As discussed, I'm opening an issue for my problems with LTLAutomizer. I've committed some workarounds and potential fixes in the [wip/dk/ltl-fixes](https://github.com/ultimate-pa/ultimate/compare/wip/dk/ltl-fixes) branch. I'm using the following Boogie program: ```bpl var...
Creates a new list that combines the values of the given lists. Unlike `FXCollections.concat()`, updates to the source lists propagate to the combined list. I needed this for a project...
Consistently use reference equality for transitions, events and conditions: * for performance reasons -- comparing sets is expensive; * and because in practice two different instances representing "equal" transitions /...
Just a small fix and an addition to `CCompoundControl`. If you think there should be added more stuff to it, just let me know.