cogumbreiro

public class Fin1 {
	public static def main(s:Array[String](1)) {
		val f = Clock.make();
		val c = Clock.make();
		async clocked(c, f) {
			Clock.advanceAll(); // deadlocks here
		}
		f.advance();
	}
}

cogumbreiro

public class Fin1 {
	public static def main(s:Array[String](1)) {
		//val f = Clock.make();
		val c = Clock.make();
		async clocked(c, /*f*/) {
			Clock.advanceAll(); // deadlocks here
		}
		//f.advance();
	}
}

cogumbreiro

public class Fin {
	public static def main(s:Array[String](1)) {
		finish {
			val c = Clock.make();
			async clocked(c) {
				c.advance(); // deadlocks here
			}
		} // deadlocks here
	}
}

cogumbreiro

public abstract class AbstractSettable[T] implements Settable[T] {
    public operator this()=(value:T) {
        set(value);
    }
}

cogumbreiro

def ordered_set(elems):
    """
    Returns a generator for an order set created from the given elements.
    """
    data = set()
    for elem in elems:
        before = len(data)
        data.add(elem)
        after = len(data)
        if before != after:

cogumbreiro

#!/usr/bin/env python3
import xml.etree.ElementTree as etree
from os.path import join, isfile
from os import listdir, unlink
from fnmatch import fnmatch

IGNORED = [
    '*.bak',
    '#*#',
    'why3session.xml',

cogumbreiro

# Assumes Why3 was installed locally with OPAM
cp ~/.opam/system/share/why3/lang/why3.lang ~/.local/share/gtksourceview-3.0/language-specs/

cogumbreiro

http://msgpack.org/

• No schema
• Binary representation (NOT READABLE)
• Fast implementation
• Compatible with JSON (in terms of data primitives)
• Discussion: https://gist.github.com/frsyuki/2908191

https://github.com/google/protobuf

cogumbreiro

C/C++ AST to XML generator:

• https://github.com/CastXML/CastXML
• http://xogastan.sourceforge.net/

Projects using libclang/gcc ASTs:

• https://github.com/cocos2d/bindings-generator/
• http://cpp2c.webs.com/

cogumbreiro

#!/usr/bin/env bash

FREQUENCY=20ms

"$@" &
jid=$!

trap cleanup INT

function cleanup() {