| Tue, 12 Jan 2010 11:07:39 -0500 |
Adam Chlipala |
-path and -root command-line flags |
| Tue, 12 Jan 2010 10:33:03 -0500 |
Adam Chlipala |
Supporting any number of arguments for explicitly exported functions |
| Tue, 12 Jan 2010 09:58:14 -0500 |
Adam Chlipala |
Makefile fix for release |
| Tue, 12 Jan 2010 09:42:13 -0500 |
Adam Chlipala |
New release |
| Sun, 10 Jan 2010 13:44:22 -0500 |
Adam Chlipala |
Reduce concatenations of the empty record; unpoly non-recursive functions |
| Sun, 10 Jan 2010 10:40:57 -0500 |
Adam Chlipala |
Support for protocol-specific expunger dispatch |
| Thu, 07 Jan 2010 14:02:58 -0500 |
Adam Chlipala |
Basis.debug; more restrictive type for Basis.form; weaken definition of polymorphic-ness for especialization |
| Tue, 05 Jan 2010 15:53:35 -0500 |
Adam Chlipala |
Basis.textBlob; support HTTP requests with no headers |
| Tue, 05 Jan 2010 14:57:35 -0500 |
Adam Chlipala |
uw_close() |
| Tue, 05 Jan 2010 13:30:27 -0500 |
Adam Chlipala |
Clear script_header in uw_reset() |
| Tue, 05 Jan 2010 10:22:55 -0500 |
Adam Chlipala |
Loosen parsing of multiplication |
| Sun, 03 Jan 2010 17:13:45 -0500 |
Adam Chlipala |
Database quotas |
| Sun, 03 Jan 2010 15:58:34 -0500 |
Adam Chlipala |
Deadlines |
| Sun, 03 Jan 2010 15:32:11 -0500 |
Adam Chlipala |
Memory limits |
| Sun, 03 Jan 2010 12:47:27 -0500 |
Adam Chlipala |
Proper C-side deserialization; Shake.sliceDb |
| Sat, 02 Jan 2010 14:54:15 -0500 |
Adam Chlipala |
JavaScript urlification; more lenient export pattern in Corify; only include scripts in pages that use JavaScript |
| Sat, 02 Jan 2010 13:31:59 -0500 |
Adam Chlipala |
Proper 404 generation |
| Fri, 01 Jan 2010 12:48:06 -0500 |
Adam Chlipala |
Proper [un]urlification of unit |
| Fri, 01 Jan 2010 10:49:36 -0500 |
Adam Chlipala |
Proper client-side attrifyString |
| Thu, 31 Dec 2009 18:07:53 -0500 |
Adam Chlipala |
Eta-expand bodies of transaction functions in Monoization, to enable later optimization |
| Thu, 31 Dec 2009 16:12:13 -0500 |
Adam Chlipala |
Change location of dynamic libraries |
| Thu, 31 Dec 2009 15:14:24 -0500 |
Adam Chlipala |
Protect against NULL applications in a few places |
| Thu, 31 Dec 2009 11:41:57 -0500 |
Adam Chlipala |
Basis.serialize; separate file for mhash; run transactional finishers in reverse order; set needs_sig properly |
| Wed, 30 Dec 2009 09:52:18 -0500 |
Adam Chlipala |
New release |
| Wed, 30 Dec 2009 09:48:32 -0500 |
Adam Chlipala |
Update manual's description of implicit arguments |
| Tue, 29 Dec 2009 16:48:27 -0500 |
Adam Chlipala |
Treat getCookie as effectful |
| Tue, 29 Dec 2009 15:03:44 -0500 |
Adam Chlipala |
Test case for character code escapes |
| Tue, 29 Dec 2009 13:34:03 -0500 |
Adam Chlipala |
ctextarea; s/header/include in the manual |
| Tue, 29 Dec 2009 12:55:26 -0500 |
Adam Chlipala |
Octal and hexidecimal string escapes |
| Tue, 29 Dec 2009 10:28:02 -0500 |
Adam Chlipala |
Move queue.h to include/ |
| Sun, 27 Dec 2009 14:25:22 -0500 |
Adam Chlipala |
Protocol-specific compiler options |
| Sun, 27 Dec 2009 13:18:32 -0500 |
Adam Chlipala |
Dynamic linking of the runtime system |
| Sun, 27 Dec 2009 10:37:24 -0500 |
Adam Chlipala |
All three current protocols work with move to using uw_app |
| Sat, 26 Dec 2009 11:56:40 -0500 |
Adam Chlipala |
Make summary unification more conservative; infer implicit arguments after applications |
| Fri, 25 Dec 2009 10:48:02 -0500 |
Adam Chlipala |
Catch attempts to mention multiple versions of the same rooted module |
| Fri, 25 Dec 2009 09:24:21 -0500 |
Adam Chlipala |
Alter JavaScript lastParent() to play nice with Firebug |
| Thu, 24 Dec 2009 16:35:09 -0500 |
Adam Chlipala |
Module roots |
| Thu, 24 Dec 2009 15:49:52 -0500 |
Adam Chlipala |
Convenience libifying; allow more NULLs with globals |
| Thu, 24 Dec 2009 10:59:35 -0500 |
Adam Chlipala |
Test for Firebug weirdness |
| Thu, 24 Dec 2009 10:44:53 -0500 |
Adam Chlipala |
Proper JavaScript-side URI escaping/de-escaping; fix C-side URL encoding of big characters |
| Thu, 24 Dec 2009 10:02:48 -0500 |
Adam Chlipala |
-tc flag |
| Thu, 24 Dec 2009 09:56:09 -0500 |
Adam Chlipala |
Updating the manual |
| Wed, 23 Dec 2009 14:27:12 -0500 |
Adam Chlipala |
Don't relify in bigLibs; fix some memory bugs in transactionals |
| Wed, 23 Dec 2009 12:25:34 -0500 |
Adam Chlipala |
Stop skipping Especialization of generated functions; fix Compiler.parseUrp; expose uw_really_write(); allow more NULL arguments to uw_register_transactional() |
| Tue, 22 Dec 2009 15:29:38 -0500 |
Adam Chlipala |
Alternate job-parsing interface, to avoid merging library directives |
| Tue, 22 Dec 2009 12:13:23 -0500 |
Adam Chlipala |
Basis.sql_nullable and Top.queryL |
| Sun, 20 Dec 2009 15:17:43 -0500 |
Adam Chlipala |
Another try at reasonable Especialize, this time with a custom traversal |
| Tue, 15 Dec 2009 19:26:52 -0500 |
Adam Chlipala |
Especialize uses a termination measure based on number of arguments introduced |
| Tue, 15 Dec 2009 13:20:13 -0500 |
Adam Chlipala |
Fix new Especialize security bug: do not duplicate free variables as specialized arguments |
| Tue, 15 Dec 2009 12:26:00 -0500 |
Adam Chlipala |
Initial generalization of Especialize, with security bug known |
| Tue, 15 Dec 2009 11:11:49 -0500 |
Adam Chlipala |
Allow same constructor shorthand for 'view' sig items as for 'table' |
| Tue, 15 Dec 2009 10:19:05 -0500 |
Adam Chlipala |
Convert to task syntax |
| Sun, 13 Dec 2009 14:34:18 -0500 |
Adam Chlipala |
Fixing a bug in DInitializer elaboration |
| Sun, 13 Dec 2009 14:20:41 -0500 |
Adam Chlipala |
Initializers and setval |
| Sun, 13 Dec 2009 13:00:55 -0500 |
Adam Chlipala |
Weakening-type coercions for SQL values |
| Sun, 13 Dec 2009 11:28:47 -0500 |
Adam Chlipala |
Better record summary error messages; more tweaking SQL usability |
| Sun, 13 Dec 2009 10:13:06 -0500 |
Adam Chlipala |
Tweaking SQL parsing and typing |
| Sat, 12 Dec 2009 14:51:10 -0500 |
Adam Chlipala |
Fix lexing of string literals in XML; treat EError as impure in MonoReduce |
| Sat, 12 Dec 2009 11:02:20 -0500 |
Adam Chlipala |
Checked-ness of radio options; Option.get |
| Thu, 10 Dec 2009 15:46:07 -0500 |
Adam Chlipala |
Bug fixes in redirect-related stuff |
| Thu, 10 Dec 2009 15:20:36 -0500 |
Adam Chlipala |
Basis.currentUrl, plus redirect debugging |
| Thu, 10 Dec 2009 13:32:09 -0500 |
Adam Chlipala |
Basis.url and redirects |
| Thu, 10 Dec 2009 12:06:03 -0500 |
Adam Chlipala |
Make oneRowE1 more general |
| Tue, 08 Dec 2009 12:06:41 -0500 |
Adam Chlipala |
Convert ctype is*() function results to booleans |
| Tue, 08 Dec 2009 11:45:19 -0500 |
Adam Chlipala |
Shake bug fix; pattern reduction in ReduceLocal |
| Tue, 08 Dec 2009 10:46:50 -0500 |
Adam Chlipala |
Context globals; ctype functions |
| Tue, 08 Dec 2009 09:33:08 -0500 |
Adam Chlipala |
Fix a Shake bug that led to missing some cons |
| Tue, 08 Dec 2009 08:48:29 -0500 |
Adam Chlipala |
Move to simpler HTML escaping |
| Sat, 05 Dec 2009 14:34:44 -0500 |
Adam Chlipala |
Recursive hnormSgn for projections of signatures from modules |
| Sat, 05 Dec 2009 14:01:34 -0500 |
Adam Chlipala |
Represent FFI function names as strings, to deal with cross-file recursion |
| Thu, 03 Dec 2009 14:32:47 -0500 |
Adam Chlipala |
New release |
| Thu, 03 Dec 2009 11:56:15 -0500 |
Adam Chlipala |
Merge |
| Thu, 03 Dec 2009 11:50:51 -0500 |
Adam Chlipala |
UTF-8 in dynamic escaping |
| Thu, 03 Dec 2009 11:20:13 -0500 |
Adam Chlipala |
Escaping UTF-8 in MonoOpt |
| Fri, 27 Nov 2009 09:12:46 -0500 |
Adam Chlipala |
Fix handling of clearCookie/getCookie in same page gen |
| Thu, 26 Nov 2009 14:58:03 -0500 |
Adam Chlipala |
Port rest of demo to new cookie signature; fix parsing of multiple incoming cookies |
| Thu, 26 Nov 2009 14:20:00 -0500 |
Adam Chlipala |
More fun with cookies |
| Thu, 26 Nov 2009 10:35:57 -0500 |
Adam Chlipala |
Fix parsing of long FastCGI lengths |
| Wed, 25 Nov 2009 09:48:23 -0500 |
Adam Chlipala |
Hint about disallowed attributes |
| Wed, 25 Nov 2009 09:30:44 -0500 |
Adam Chlipala |
Add 'id' attributes and <label> |
| Wed, 25 Nov 2009 09:03:08 -0500 |
Adam Chlipala |
Better error message for link-handler conflicts |
| Wed, 25 Nov 2009 08:52:32 -0500 |
Adam Chlipala |
Refactor compile functions; allow empty tag contents |
| Wed, 25 Nov 2009 08:38:12 -0500 |
Adam Chlipala |
Exit code of 1 on compilation failure |
| Tue, 24 Nov 2009 09:48:28 -0500 |
Adam Chlipala |
New release |
| Tue, 24 Nov 2009 09:24:25 -0500 |
Adam Chlipala |
Explicitly abort in-flight RPCs onunload |
| Sun, 22 Nov 2009 17:57:15 -0500 |
Adam Chlipala |
Proper initial values of dynamic checkboxes in IE |
| Sun, 22 Nov 2009 16:40:09 -0500 |
Adam Chlipala |
Get dynamic <select> working in IE |
| Sun, 22 Nov 2009 15:30:15 -0500 |
Adam Chlipala |
grid0 working in IE |
| Sat, 21 Nov 2009 15:48:08 -0500 |
Adam Chlipala |
Get message-passing working in IE6 |
| Sat, 21 Nov 2009 14:29:35 -0500 |
Adam Chlipala |
Send RPCs with POST, to avoid caching |
| Sat, 21 Nov 2009 13:50:59 -0500 |
Adam Chlipala |
Deal with bizarre IE6 .innerHTML behavior (which eats some <script> tags) |
| Sat, 21 Nov 2009 13:08:01 -0500 |
Adam Chlipala |
Fix for lack of 'apply' method of IE6 native functions |
| Tue, 17 Nov 2009 12:44:14 -0500 |
Adam Chlipala |
Hooks for measuring how much interesting proving is going on in elaboration |
| Sun, 08 Nov 2009 12:26:03 -0500 |
Adam Chlipala |
New release |
| Sat, 07 Nov 2009 11:06:38 -0500 |
Adam Chlipala |
Saving paper decisions |
| Mon, 02 Nov 2009 15:54:22 -0500 |
Adam Chlipala |
Decision status placeholder |
| Mon, 02 Nov 2009 15:48:06 -0500 |
Adam Chlipala |
Start of Decision |
| Mon, 02 Nov 2009 14:22:29 -0500 |
Adam Chlipala |
Seeing others' reviews |
| Mon, 02 Nov 2009 14:14:32 -0500 |
Adam Chlipala |
Preload current assignment status |
| Mon, 02 Nov 2009 14:11:08 -0500 |
Adam Chlipala |
Saving paper assignments |
| Mon, 02 Nov 2009 11:37:41 -0500 |
Adam Chlipala |
Switch Monoize back to POST forms |
| Sun, 01 Nov 2009 14:26:20 -0500 |
Adam Chlipala |
Initial form for paper assignment |
| Sun, 01 Nov 2009 10:31:18 -0500 |
Adam Chlipala |
Optimizing str1 in MonoOpt |
| Sun, 01 Nov 2009 10:20:20 -0500 |
Adam Chlipala |
Bidding interface |
| Sat, 31 Oct 2009 15:51:50 -0400 |
Adam Chlipala |
Start of bidding implementation compiles |
| Sun, 25 Oct 2009 15:29:21 -0400 |
Adam Chlipala |
Use call/cc for recv and sleep |
| Sun, 25 Oct 2009 14:07:10 -0400 |
Adam Chlipala |
RPC uses VM support for call/cc |
| Sun, 25 Oct 2009 13:12:24 -0400 |
Adam Chlipala |
Always inline records |
| Sun, 25 Oct 2009 13:02:13 -0400 |
Adam Chlipala |
Extend Fuse to work on non-recursive functions |
| Sun, 25 Oct 2009 12:48:50 -0400 |
Adam Chlipala |
Inlining threshold for Mono_reduce |
| Sun, 25 Oct 2009 12:08:21 -0400 |
Adam Chlipala |
Inlining threshold for Reduce |
| Sun, 25 Oct 2009 11:03:42 -0400 |
Adam Chlipala |
Factor Dnat into separate module |
