Age | Commit message (Expand) | Author |
---|---|---|
2015-12-14 | Refactoring Options Handler & Library Cycle Breaking | Tim King |
2013-07-29 | Fix numerous compiler warnings on various platforms | Morgan Deters |
2013-06-06 | IDL example theory (to be used with --use-theory=idl). | Dejan Jovanović |