July 2011
Saturday, July 30 2011
We have a Csmith-proof framework
By pascal
Tuesday, July 26 2011
Fun with usual arithmetic conversions
By pascal - 4 comments
Friday, July 22 2011
Animated donut verification
By pascal - 2 comments
Thursday, July 21 2011
Back to the drawing board
By pascal
Tuesday, July 19 2011
New version of some text editor
By pascal
Saturday, July 16 2011
Formal verification and SLOC
By pascal - 2 comments