Skip to content
Archive of posts tagged Programming

Unicode and Beta

This may be the most niche post in the history of the internet.  Nay, since the invention of the wheel.  Make that since the invention of time. So, CPN Tools is written in Beta.  Beta is a programming language made Ole Lehrmann Madsen, Kristen [...]

Commit Comments Regarding Hudson

We’re using Hudson1) at work for continuous integration.  The setup of dependency detection is less than optimal, though, which is reflected in my commit comments (I’m, mwesterg): Though it has been renamed to Jenkins for stupid reasons. [↩]

Slicker Widgets for ProM

I’ve already earlier whined about SlickerBox, the look-and-feel (L&F) toolkit used in ProM.  Not how it looks, as that’s pretty neat, but that it is not a real L&F using Java’s pluggable L&F (PLAF) architecture, so as soon as you go beyond what is [...]

Intro to the New Operational Support Service

For the last couple weeks, I’ve been working on a new operational support service with, among others, Joyce Nakatumba and Fabrizio Maggi.  Work has basically been focusing on two points: making a new protocol with support for sessions and making a meta-model for queries, [...]

Well, isn’t this just a kick in the groin

After 6 hours of processing (thats roughly 36 hours of CPU time), SML decides to fail with a classical “You have an error in your program” failure. That’ll be grand to debug.