| Sun, 01 Feb 2015 12:29:14 -0500 |
Adam Chlipala |
A new MonoReduce optimization for lifting 'let' out of field projection; JavaScript compilation for exponentiation |
| Thu, 25 Dec 2014 18:32:27 -0500 |
Adam Chlipala |
Client-side conversion of string to bool |
| Sun, 16 Nov 2014 15:20:13 -0500 |
Adam Chlipala |
More HTML5 AJAX widgets |
| Sun, 16 Nov 2014 15:03:29 -0500 |
Adam Chlipala |
Textual HTML5 AJAX widgets |
| Sun, 10 Aug 2014 13:40:53 -0400 |
Ziv Scully |
Adds AJAX-oriented widget cpassword. |
| Mon, 28 Jul 2014 20:18:43 -0400 |
Samuel Dukhovni |
Added javascript for Basis.strsindex |
| Sun, 04 May 2014 12:33:44 -0400 |
Adam Chlipala |
Fix dynClass for non-<body> contexts |
| Fri, 02 May 2014 15:32:10 -0400 |
Adam Chlipala |
HTML5 data-* attributes |
| Mon, 21 Apr 2014 12:09:58 -0400 |
Adam Chlipala |
Change <active> to avoid generating an empty <span> for empty content |
| Tue, 18 Feb 2014 07:07:01 -0500 |
Adam Chlipala |
Merge with small clean-ups |
| Mon, 17 Feb 2014 19:21:46 -0500 |
Patrick Hurst |
Add Datetime JavaScript support. |
| Mon, 20 Jan 2014 04:34:42 -0500 |
Patrick Hurst |
Bare-bones Datetime JS support. |
| Fri, 27 Dec 2013 12:10:03 -0500 |
Adam Chlipala |
Raise exception when recv()ing from someone else's channel; improve setting of client ID in RPCs |
| Mon, 09 Dec 2013 17:23:25 -0500 |
Adam Chlipala |
Add JavaScript mappings for isprint and ord |
| Thu, 14 Nov 2013 06:36:36 -0500 |
Adam Chlipala |
Fix more of client-side error handlers |
| Thu, 14 Nov 2013 06:16:58 -0500 |
Adam Chlipala |
Fix regression in execution of 'onError' handlers |
| Tue, 16 Apr 2013 10:55:48 -0400 |
Adam Chlipala |
Basis.tryRpc |
| Fri, 30 Nov 2012 10:02:13 -0500 |
Adam Chlipala |
add Placeholder attribute to <password>; change <textbox> code generation to set 'type' to 'text' |
| Mon, 22 Oct 2012 01:49:22 +0400 |
Vladimir Shabanov |
Removed unused parent() function which conflicts with window.parent. |
| 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 |
| Fri, 03 Aug 2012 12:39:04 -0400 |
Adam Chlipala |
Back out last change and pursue a different fix, based on explicitly aborting script execution at times when we don't expect scripts to run |
| Fri, 03 Aug 2012 08:38:47 -0400 |
Adam Chlipala |
Undo change to script evaluation, originally made to support <active> + 'giveFocus'; alternate approach to making 'giveFocus' work in dynamic code generatione |
| Sun, 29 Jul 2012 12:54:17 -0400 |
Adam Chlipala |
Removed evaluation of js function name strings. (from Vladimir Shabanov) |
| Wed, 25 Jul 2012 08:20:15 -0400 |
Adam Chlipala |
Change 'spawn' implementation to allow blocking within <active code> |
| Tue, 24 Jul 2012 19:49:50 -0400 |
Adam Chlipala |
Fix JavaScript implementation of strcspn() |
| Mon, 23 Jul 2012 09:03:41 -0400 |
Adam Chlipala |
Disallow suspending operations in <active code={...}> |
| Mon, 23 Jul 2012 08:38:39 -0400 |
Adam Chlipala |
Add more global mouse event hooks |
| Sun, 22 Jul 2012 09:42:17 -0400 |
Adam Chlipala |
Nicer <active> semantics |
| Sat, 21 Jul 2012 13:55:35 -0400 |
Adam Chlipala |
<active> |
| Sat, 21 Jul 2012 11:59:41 -0400 |
Adam Chlipala |
Basis.giveFocus |
| Sat, 21 Jul 2012 10:02:53 -0400 |
Adam Chlipala |
New event records for key and mouse handlers |
| Fri, 13 Jul 2012 09:01:01 -0400 |
Adam Chlipala |
Change propagation of source value to textarea |
| Wed, 16 May 2012 22:46:35 +0400 |
Vladimir Shabanov |
Allow RPC and run it synchronously in onunload event. |
| Sun, 06 May 2012 16:08:48 -0400 |
Adam Chlipala |
Run-time CSS style validation |
| Sun, 06 May 2012 15:15:46 -0400 |
Adam Chlipala |
'dynStyle' pseudo-attribute |
| Fri, 16 Mar 2012 08:42:51 -0400 |
Adam Chlipala |
Change ID generation scheme to conform to HTML standards (thanks to Edward Yang for the catch) |
| Wed, 14 Mar 2012 10:10:56 -0400 |
Adam Chlipala |
New JavaScript FFI function: setInnerHTML |
| Sat, 03 Mar 2012 16:41:20 -0500 |
Adam Chlipala |
Avoid URL size limit in RPCs with large arguments |
| Sat, 04 Feb 2012 11:01:06 -0500 |
Adam Chlipala |
Basis.toMilliseconds and diffInMilliseconds, based on a patch from Gergely Buday |
| Sun, 22 Jan 2012 20:25:14 -0500 |
Adam Chlipala |
Fix runtime system handling of <dyn> inside <table> inside <dyn> |
| Sat, 14 Jan 2012 11:24:17 -0500 |
Adam Chlipala |
Fix bug with 'dynClass' immediately inside <dyn> |
| Sat, 31 Dec 2011 15:24:44 -0500 |
Adam Chlipala |
Undo change to dyn() in runtime system |
| Thu, 29 Dec 2011 16:08:34 -0500 |
Adam Chlipala |
Add dynamic content before running its scripts, to get IDs in scope; fix generation of Postgres queries with blobs |
| Tue, 27 Dec 2011 16:20:48 -0500 |
Adam Chlipala |
'dynClass' pseudo-attribute |
| Sun, 04 Dec 2011 16:32:06 -0500 |
Adam Chlipala |
Fix client-side [int] parsing and extend server-side [time] parsing to support a format that also works portably in JavaScript |
| Sun, 04 Dec 2011 15:18:41 -0500 |
Adam Chlipala |
Make last change nicer |
| Sun, 04 Dec 2011 15:13:53 -0500 |
Adam Chlipala |
Stop [read] from raising an exception for invalid [int] strings |
| Sun, 04 Dec 2011 14:40:12 -0500 |
Adam Chlipala |
timeFormat .urp directive |
| Sat, 03 Dec 2011 16:25:09 -0500 |
Adam Chlipala |
Change client-side debug to use console.debug |
| Sat, 03 Dec 2011 16:05:06 -0500 |
Adam Chlipala |
Client-side strlenGe |
| Sat, 03 Dec 2011 10:13:36 -0500 |
Adam Chlipala |
Avoid setting a Date's time with a non-integer value |
| Sat, 03 Dec 2011 10:07:50 -0500 |
Adam Chlipala |
Change client-side int parsing to match server-side, in ignoring initial zeroes |
| Sat, 03 Dec 2011 10:00:10 -0500 |
Adam Chlipala |
Allow sources to be returned by RPCs |
| Sat, 03 Dec 2011 09:44:07 -0500 |
Adam Chlipala |
Catching integer divisions by zero |
