Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | New release | Adam Chlipala | 2015-02-14 |
| | |||
* | New release | Adam Chlipala | 2015-01-03 |
| | |||
* | New release | Adam Chlipala | 2014-12-06 |
| | |||
* | New release | Adam Chlipala | 2014-08-30 |
| | |||
* | New release | Adam Chlipala | 2014-08-19 |
| | |||
* | New release | Adam Chlipala | 2014-08-07 |
| | |||
* | New release | Adam Chlipala | 2014-07-04 |
| | |||
* | New release | Adam Chlipala | 2014-06-15 |
| | |||
* | New release | Adam Chlipala | 2014-05-31 |
| | |||
* | New release | Adam Chlipala | 2014-04-26 |
| | |||
* | New release | Adam Chlipala | 2013-12-31 |
| | |||
* | New release | Adam Chlipala | 2013-11-24 |
| | |||
* | New release | Adam Chlipala | 2013-04-21 |
| | |||
* | New release | Adam Chlipala | 2012-09-25 |
| | |||
* | New release | Adam Chlipala | 2012-08-07 |
| | |||
* | New release | Adam Chlipala | 2012-05-19 |
| | |||
* | New release | Adam Chlipala | 2012-05-12 |
| | |||
* | New release | Adam Chlipala | 2012-03-29 |
| | |||
* | New release | Adam Chlipala | 2012-03-10 |
| | |||
* | New release | Adam Chlipala | 2012-01-10 |
| | |||
* | New release | Adam Chlipala | 2011-11-27 |
| | |||
* | New release | Adam Chlipala | 2011-09-17 |
| | |||
* | Remove some GCC-specific identifier choice and documentation | Adam Chlipala | 2011-08-02 |
| | |||
* | Document tutorial features | Adam Chlipala | 2011-07-17 |
| | |||
* | New release | Adam Chlipala | 2011-07-15 |
| | |||
* | Renumber version in CHANGELOG, since I wasn't ready to release as soon as I ↵ | Adam Chlipala | 2011-05-17 |
| | | | | expected | ||
* | New release | Adam Chlipala | 2011-05-15 |
| | |||
* | New release | Adam Chlipala | 2011-01-23 |
| | |||
* | Updating documentation in preparation for a release | Adam Chlipala | 2011-01-16 |
| | |||
* | New release | Adam Chlipala | 2010-11-02 |
| | |||
* | Documenting limits | Adam Chlipala | 2010-10-14 |
| | |||
* | Updating documentation | Adam Chlipala | 2010-09-07 |
| | |||
* | Polymorphic variants | Adam Chlipala | 2010-08-19 |
| | |||
* | New release | Adam Chlipala | 2010-06-03 |
| | |||
* | Add thunking to CHANGELOG | Adam Chlipala | 2010-05-22 |
| | |||
* | URL-escape with '.' instead of '%', to avoid confusing proxies | Adam Chlipala | 2010-05-18 |
| | |||
* | New release | Adam Chlipala | 2010-05-06 |
| | |||
* | New release | Adam Chlipala | 2010-04-01 |
| | |||
* | New release | Adam Chlipala | 2010-03-25 |
| | |||
* | Update manual for COUNT(col) | Adam Chlipala | 2010-03-16 |
| | |||
* | safeGet | Adam Chlipala | 2010-03-09 |
| | |||
* | New release | Adam Chlipala | 2010-02-13 |
| | |||
* | New release | Adam Chlipala | 2010-01-30 |
| | |||
* | New release | Adam Chlipala | 2010-01-12 |
| | |||
* | New release | Adam Chlipala | 2009-12-30 |
| | |||
* | Dynamic linking of the runtime system | Adam Chlipala | 2009-12-27 |
| | |||
* | Make summary unification more conservative; infer implicit arguments after ↵ | Adam Chlipala | 2009-12-26 |
| | | | | applications | ||
* | Initial generalization of Especialize, with security bug known | Adam Chlipala | 2009-12-15 |
| | |||
* | Convert to task syntax | Adam Chlipala | 2009-12-15 |
| | |||
* | Initializers and setval | Adam Chlipala | 2009-12-13 |
| |