| Sat, 20 Oct 2012 13:51:46 -0400 |
Adam Chlipala |
Switch linker order |
| Tue, 25 Sep 2012 08:29:27 -0400 |
Adam Chlipala |
Return to working version mode |
| Tue, 25 Sep 2012 08:16:58 -0400 |
Adam Chlipala |
New release |
| Sun, 23 Sep 2012 20:47:20 -0500 |
Austin Seipp |
Fix compilation when using Clang on OS X; it doesn't like -pthread |
| Wed, 19 Sep 2012 18:01:22 -0400 |
Adam Chlipala |
Paranoid inlining prevention for FFI types at the Core level; less paranoid inlining promotion for passive values at the Mono level |
| Wed, 19 Sep 2012 14:36:12 -0400 |
Adam Chlipala |
Merge |
| Wed, 19 Sep 2012 14:20:47 -0400 |
Adam Chlipala |
Edward Z. Yang's patch to avoid repeating linker arguments |
| Sun, 16 Sep 2012 08:31:54 -0400 |
Adam Chlipala |
Better error message about signals remaining in server-side code |
| Fri, 14 Sep 2012 07:35:48 -0400 |
Adam Chlipala |
Reduce default inlining thresholds; improve a let-substitution optimization to compensate |
| Fri, 14 Sep 2012 06:44:14 -0400 |
Adam Chlipala |
Merge |
| Wed, 12 Sep 2012 19:49:02 +0400 |
Vladimir Shabanov |
Fixed HTTP date format and added Cache-Control to app.js |
| Sun, 05 Aug 2012 14:55:28 -0400 |
Adam Chlipala |
Tweaking treatment of function application: substitute or introduce a 'let'? |
| Tue, 04 Sep 2012 16:30:22 -0400 |
Adam Chlipala |
Manual addition for last changeset |
| Tue, 04 Sep 2012 03:32:59 +0400 |
Vladimir Shabanov |
Added 'coreInline' and 'monoInline' .urp options |
| Mon, 03 Sep 2012 09:51:23 -0400 |
Adam Chlipala |
Update tutorial for Ur/Web changes |
| Thu, 30 Aug 2012 17:58:37 +0400 |
Vladimir Shabanov |
Minor js optimizations. |
| Thu, 30 Aug 2012 17:04:30 +0400 |
Vladimir Shabanov |
Removed setting of ignored XMLHttpRequest headers. |
| Thu, 30 Aug 2012 17:00:18 +0400 |
Vladimir Shabanov |
Fixed memory leak in dynClass |
| Wed, 22 Aug 2012 08:46:32 -0400 |
Adam Chlipala |
show_sql_query |
| Sat, 18 Aug 2012 13:57:48 -0400 |
Adam Chlipala |
Add list of files to new error message |
| Sat, 18 Aug 2012 13:51:41 -0400 |
Adam Chlipala |
Better error message for funky command lines |
| Tue, 07 Aug 2012 10:02:19 -0400 |
Adam Chlipala |
Return to working version mode |
| Tue, 07 Aug 2012 09:41:02 -0400 |
Adam Chlipala |
New release |
| Sun, 05 Aug 2012 17:11:39 -0400 |
Adam Chlipala |
Revert last changeset for now; needs more thought |
