| Sat, 07 Jan 2012 16:49:19 -0500 |
Adam Chlipala |
Finish function argument order-of-operations fix |
| Sat, 07 Jan 2012 15:56:22 -0500 |
Adam Chlipala |
First part of changes to avoid depending on C function call argument order of evaluation (omitting normal Ur function calls, so far) |
| Sat, 07 Jan 2012 11:01:21 -0500 |
Adam Chlipala |
Make wildification a bit smarter about ordering of new wildcard declarations |
| Fri, 06 Jan 2012 18:09:50 -0500 |
Adam Chlipala |
Switch default linking order for OpenSSL libs |
| Fri, 06 Jan 2012 09:40:20 -0500 |
Adam Chlipala |
Revert last unification tweak |
| Thu, 05 Jan 2012 19:23:34 -0500 |
Adam Chlipala |
Change linking argument order, based on reported problems in Ubuntu 11.10 |
| Thu, 05 Jan 2012 19:13:31 -0500 |
Adam Chlipala |
Tweak new unification heuristic |
| Thu, 05 Jan 2012 17:10:43 -0500 |
Adam Chlipala |
Prevent unifications of 'others' pieces in record summaries, when both pieces contain unification variables (to prevent undesired unifications) |
| Mon, 02 Jan 2012 17:08:39 -0500 |
Adam Chlipala |
Fix handling of quotes in generating C literals |
| Mon, 02 Jan 2012 16:54:18 -0500 |
Adam Chlipala |
Adapt Monoize serialization to handle freshly created variant types |
| Mon, 02 Jan 2012 15:38:52 -0500 |
Adam Chlipala |
Add arguments to [type] declarations and signature items |
| Sat, 31 Dec 2011 16:08:17 -0500 |
Adam Chlipala |
More documentation on URL generation and free variables |
