Age | Commit message (Expand) | Author |
---|---|---|
2013-06-21 | update tests | Alon Zakai |
2012-11-08 | rename __label__ => label | Alon Zakai |
2012-10-26 | remove unGlobalize tests and update others | Alon Zakai |
2012-09-05 | Bitshift optimizer anticipates fns with switches | Benjamin Stover |