Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Add support for -boot flag, which allows in-tree execution of Ur/Web | Edward Z. Yang | 2012-05-02 |
* | Interface for setting memory limits | Adam Chlipala | 2010-10-14 |
* | sigfile directive | Adam Chlipala | 2010-02-11 |
* | First attempt to switch to Automake, to get shared libraries built in OSX | Adam Chlipala | 2010-01-28 |
* | Protocol-specific compiler options | Adam Chlipala | 2009-12-27 |
* | Dynamic linking of the runtime system | Adam Chlipala | 2009-12-27 |
* | Avoid using prepared statements for non-persistent protocols | Adam Chlipala | 2009-06-27 |