Christopher Schuster
Christopher Schuster
There is no standard way of export tags in Netscape's bookmarks file format. When exporting from Google Bookmarks, folders are used as tags. The following example shows a bookmark that...
esverify currently generates verifications and dispatches these sequentially to the SMT solver. As a performance improvement, it would be possible to parallize this process. In addition to solving VCs, this...
There is already adhoc support for higher-order annotations by using `spec` with verification-only functions. However, this should become a core langauge feature to provide better support for parametric polymorphism, etc.
esverify should support mutually recursive functions. Example: ```javascript function isEven(n) { requires(Number.isInteger(n) && n >= 0); return n === 0 ? true : isOdd(n - 1); } function isOdd(n) {...
The current rudamentary support for (immutable) classes does not include inheritance. However, it should be possible to extend a superclass, use `super` and check whether the overriden methods adhere to...
Adding support for import and export statements. This also includes importing and exporting of annotations such as pre-, postconditions and invariants. Example: ```javascript // File a.js export function f(x) {...
esverify currently only supports immutable object literals and arrays. Improved support for mutability probably requires some redesign of the fundamental base of the vcgen, e.g. segmentation logic or frames/regions. Example:...
Check loops and recursive functions for termination. This requires an explicit annotation with a well founded measure such as "decreases" from LiquidHaskell or even a specified relation between iterations. Examples:...
Instrumented logging with Javassist renders non-primitive method parameters using the _ToStringHelper_. This patch makes sure that the same also happens to non-primitive return values of method calls.
The guide tools can be very helpful for creating layouts in Inkscape. However, it can be tricky to pick the right column width or row height to fill a whole...