CONTRIBUTORS
changeset 58626 6c473ed0ac70
parent 58196 1b3fbfb85980
child 59092 d469103c0737
     1.1 --- a/CONTRIBUTORS	Wed Oct 08 00:13:39 2014 +0200
     1.2 +++ b/CONTRIBUTORS	Wed Oct 08 09:09:12 2014 +0200
     1.3 @@ -10,6 +10,9 @@
     1.4    Lexicographic order on functions and
     1.5    sum/product over function bodies.
     1.6  
     1.7 +* August 2014: Andreas Lochbihler, ETH Zurich
     1.8 +  Test infrastructure for executing generated code in target langauges
     1.9 +
    1.10  * August 2014: Manuel Eberl, TUM
    1.11    Generic euclidean algorithms for gcd et al.
    1.12