Age | Commit message (Collapse) | 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 | |
Conflicts: AUTHORS |