Sat, 30 Aug 2014 08:28:59 -0400 |
Adam Chlipala |
New release |
Sun, 24 Aug 2014 11:43:49 -0400 |
Adam Chlipala |
Extend ScriptCheck to take RPCs into account |
Sat, 23 Aug 2014 11:59:34 +0000 |
Sergey Mironov |
Check realloc's return code to prevent segfault on out of memoty condition |
Mon, 07 Jul 2014 10:05:04 +0400 |
Sergey Mironov |
Add 'role' data attribute. |
Tue, 19 Aug 2014 11:23:26 -0400 |
Adam Chlipala |
Return to working version mode |
Tue, 19 Aug 2014 11:17:39 -0400 |
Adam Chlipala |
<cselect> and <coption> type fixes (grandfathered into release) |
Tue, 19 Aug 2014 11:08:25 -0400 |
Adam Chlipala |
New release |
Sun, 17 Aug 2014 15:56:43 -0400 |
Adam Chlipala |
A new test for <button> |
Sun, 17 Aug 2014 18:28:37 +0000 |
Sergey Mironov |
Allow Body tags inside cformTags |
Sun, 17 Aug 2014 13:07:56 -0400 |
Adam Chlipala |
New phase: Dbmodecheck |
Sun, 10 Aug 2014 13:40:53 -0400 |
Ziv Scully |
Adds AJAX-oriented widget cpassword. |
Fri, 15 Aug 2014 18:25:56 -0400 |
Adam Chlipala |
Don't use uw_malloc() or equivalent in generating error messages while parsing HTTP request |
Fri, 15 Aug 2014 07:11:31 +0000 |
Sergey Mironov |
Add tests/dbupload2.* files |
Thu, 07 Aug 2014 09:28:41 -0400 |
Adam Chlipala |
Return to working version mode |
Thu, 07 Aug 2014 09:17:52 -0400 |
Adam Chlipala |
New release |
Wed, 06 Aug 2014 09:50:02 -0400 |
Adam Chlipala |
MonoReduce bug involving 'error' |
Fri, 01 Aug 2014 16:11:36 -0400 |
Adam Chlipala |
When unifying constructor-level unification variables, also unify their kinds |
Fri, 01 Aug 2014 15:44:17 -0400 |
Adam Chlipala |
Differentiate between HTML and normal string literals |
Fri, 01 Aug 2014 11:43:44 -0400 |
Adam Chlipala |
'aria-*' attributes |
Thu, 31 Jul 2014 09:56:41 -0400 |
Adam Chlipala |
New .urp directive: file |
Mon, 28 Jul 2014 20:18:43 -0400 |
Samuel Dukhovni |
Added javascript for Basis.strsindex |
Tue, 29 Jul 2014 14:46:06 -0400 |
Adam Chlipala |
Retweak the last tweak to allow type inference to succeed in a strict superset of the places where it used to succeed |
Tue, 29 Jul 2014 14:38:50 -0400 |
Adam Chlipala |
Small tweak to ordering of unification rules, to support better record matching |
Sat, 26 Jul 2014 09:39:45 -0400 |
Adam Chlipala |
Manual: Heuristic compilation warning |