Ack Pascal in the ChangeLog.

Note to self and a tiny feature suggested by Alastair in c_delta
csmith-project · Nov 19, 2011 · e951ffe · e951ffe
1 parent e876ed1
commit e951ffe
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/ChangeLog b/ChangeLog
@@ -48,6 +48,8 @@ Changes since 2.0.0 release:
 		--upper-expr-complexity <N>
 		--max-block-depth <N>
 
-	Several bugs were fixed.
+	Quite a few bugs were fixed, many found by Pascal Cuoq using
+	Frama-C to detect undefined or unspecified behaviors in programs
+	generated by Csmith.
 
 	Re-organize and clean up unnecessary code.