Malte Schwerhoff

Malte Schwerhoff has asked 34 questions and find answers to 78 problems.

Stats

About

Enjoying computer science and cheese. Working as a lecturer at ETH Zurich, my research area is automating deductive software verification. See my university web page for further information.

Malte Schwerhoff questions

Why do already popped scopes affect the check-sat time in subsequent scopes?
Explanation for GCC compiler optimisation's adverse performance effect?
Scala Macro annotations and IntelliJ code completion [duplicate]
Does `productElement(i)` on a case-class use reflection?
What is the relation between options `rlimit` and `timeout`?
Getting partial constructors for case classes "for free"
Java's File.toString or Path.toString with a specific path separator
Nested batch for loops
How to make IntelliJ IDEA recognise code created by macros?
Are HLists nothing more than a convoluted way of writing tuples?

Malte Schwerhoff answers

double permission inhale leads to unexpected verifications
z3py: how to represent an array of integers or characters in z3py
Overriding fields in subclasses
Scala: how to add type-dependent methods in trait?
Generically rewriting Scala case classes
iterate over case class data members
Implicit lifting in scala
Instantiate case class with values to be set for its members
Flatten Scala Try
Get defined parameters for partial function