maul.esel

The methods - `IPropertyStore::GetValue` - `IPropertyStore::SetValue` - `IPropertyStoreCache::GetValueAndState` and - `IPropertyStoreCache::SetValueAndState` need some handling for **[PROPVARIANT](http://msdn.microsoft.com/en-us/library/windows/desktop/aa380072%28v=vs.85%29.aspx)** structures. This may must be done as a structure class or similar to the...

Tests & examples

2

## Write tests and usage examples! Show the full power of CCF, and verify methods work as intended. Right now, many methods (and entire classes) are untested **_!**_

minimize dependencies

1

## Minimize dependencies Achieve less dependencies for each class by - ensuring every function that accepts another instance of a COM class can also handle a raw pointer - the...

There should be a documentation on CCF that includes general information, i.e. a more noob-friendly version of the spec.

- investigate on and implement `IImageList2::SetCallback` / `IImageList2::GetCallback` - add an example - fix methods marked as "NOT WORKING" in ImageList

- implement `IShellLink::GetIDList` / `IShellLink::SetIDList` and `IShellLink::GetHotkey` / `IShellLink::SetHotkey`. - add ShellLinkA class

## return types Change all COM methods to explicitly specify their return type (most of the time `"UInt"`) to ensure the code doesn't break on a possible future change in...

Substitution with term containing bound variables

1

The method `FNode::substitute` does not behave as expected, when the right-hand side of a subsitution (i.e. the terms being inserted) make reference to a bound variable. In such cases, a...

This PR adds support for the builtin atomic functions `__atomic_compare_exchange_n` and `__atomic_compare_exchange`.

As observed in #676, TreeAutomizer does not support Horn clauses with Skolem functions, which our frontend introduces for existentially-quantified variables. We need to figure out how to treat Skolem functions...