2010-12-23 |
Adam Chlipala |
[De]serialization of times in JavaScript; proper integer division in JavaScript; Basis.crypt; Top.mkRead'; more aggressive Mono-level inlining, for values of function-y types |
2010-11-26 |
Adam Chlipala |
Fix JavaScript unit unurlification; URL blessing client-side |
2010-08-22 |
Adam Chlipala |
Confirm boxes; proper event handler setting for ctags |
2010-05-22 |
Adam Chlipala |
Switch to strings and eval for thunkifying JavaScripted functions |
2010-05-22 |
Adam Chlipala |
Thunking recursive JavaScripted function ASTs, to reduce page load time dramatically |
2010-05-18 |
Adam Chlipala |
URL-escape with '.' instead of '%', to avoid confusing proxies |
2010-03-04 |
Adam Chlipala |
Louder jscomp; toUpper/Lower fix for JavaScript |
2010-02-09 |
Adam Chlipala |
Set additional request headers for POST RPCs |
2010-01-02 |
Adam Chlipala |
JavaScript urlification; more lenient export pattern in Corify; only include scripts in pages that use JavaScript |
2010-01-01 |
Adam Chlipala |
Proper client-side attrifyString |
2009-12-29 |
Adam Chlipala |
ctextarea; s/header/include in the manual |
2009-12-25 |
Adam Chlipala |
Alter JavaScript lastParent() to play nice with Firebug |
2009-12-24 |
Adam Chlipala |
Proper JavaScript-side URI escaping/de-escaping; fix C-side URL encoding of big characters |
2009-12-08 |
Adam Chlipala |
Context globals; ctype functions |
2009-12-05 |
Adam Chlipala |
Represent FFI function names as strings, to deal with cross-file recursion |
2009-11-24 |
Adam Chlipala |
Explicitly abort in-flight RPCs onunload |
2009-11-22 |
Adam Chlipala |
Proper initial values of dynamic checkboxes in IE |
2009-11-22 |
Adam Chlipala |
Get dynamic <select> working in IE |
2009-11-22 |
Adam Chlipala |
grid0 working in IE |
2009-11-21 |
Adam Chlipala |
Get message-passing working in IE6 |
2009-11-21 |
Adam Chlipala |
Send RPCs with POST, to avoid caching |
2009-11-21 |
Adam Chlipala |
Deal with bizarre IE6 .innerHTML behavior (which eats some <script> tags) |
2009-11-21 |
Adam Chlipala |
Fix for lack of 'apply' method of IE6 native functions |
2009-10-25 |
Adam Chlipala |
Use call/cc for recv and sleep |
2009-10-25 |
Adam Chlipala |
RPC uses VM support for call/cc |
2009-09-24 |
Adam Chlipala |
Add tail call optimization to interpretation |
2009-09-24 |
Adam Chlipala |
Grid1 seems to work in latest Firefox |
2009-09-24 |
Adam Chlipala |
Main demo pieces all seem to work with interpretation |
2009-09-24 |
Adam Chlipala |
demo/increment works with interpretation |
2009-09-24 |
Adam Chlipala |
Might have fixed demo/listEdit |
2009-09-22 |
Adam Chlipala |
demo/react works with interpretation |
2009-09-22 |
Adam Chlipala |
Quoting JavaScript working |
2009-09-22 |
Adam Chlipala |
Compiled an 'option' pattern-match |
2009-09-22 |
Adam Chlipala |
More interpreter debugging |
2009-09-22 |
Adam Chlipala |
Basic arithmetic working with interpretation |
2009-09-22 |
Adam Chlipala |
Hopefully complete refactoring of Jscomp to output ASTs; partial implementation of interpreter in runtime system (demo/alert works) |
2009-09-22 |
Adam Chlipala |
Iterative versions of some JavaScript list functions |
2009-09-19 |
Adam Chlipala |
Plugged a JavaScript memory leak |
2009-09-19 |
Adam Chlipala |
Grid sorting working |
2009-09-15 |
Adam Chlipala |
Filters displaying properly |
2009-09-15 |
Adam Chlipala |
Filters displaying awfully |
2009-09-12 |
Adam Chlipala |
Debugging new string urlification |
2009-09-12 |
Adam Chlipala |
Change string URLification to avoid using the empty string, which confuses Apache no2slash() |
2009-08-25 |
Adam Chlipala |
Fix inconsistency in bool URLification between C and JavaScript |
2009-08-09 |
Adam Chlipala |
Library improvements; proper list [un]urlification; remove server-side ServerCalls; eta reduction in type inference |
2009-08-06 |
Adam Chlipala |
<dyn> inside <tr> |
2009-08-06 |
Adam Chlipala |
dlist add and delete both working in Iceape and Konqueror |
2009-08-06 |
Adam Chlipala |
dlist row add working with Konqueror |
2009-08-06 |
Adam Chlipala |
Tweaking dyn() implementation to get grid working |
2009-08-06 |
Adam Chlipala |
dtable example and demos both working |
2009-07-19 |
Adam Chlipala |
Working on Grid; have gone from one dynamic table bizareness to another |
2009-07-18 |
Adam Chlipala |
Key events get key code input |
2009-07-17 |
Adam Chlipala |
Tweaking demos a bit |
2009-06-13 |
Adam Chlipala |
<dyn> inside <table>; fix Specialize bug with datatype decls generating other mutually-recursive datatype decls |
2009-06-07 |
Adam Chlipala |
Start of Option; Basis.current; fix missed cases in Jscomp.isNullable |
2009-06-02 |
Adam Chlipala |
Lexing some more string escape sequences; JS versions of number read; fix problem with signature unification; escape < more often in Jscomp |
2009-06-02 |
Adam Chlipala |
Less whining about match failures; fix singleton record Jscomp bug |
2009-05-31 |
Adam Chlipala |
strcspn and friends |
2009-05-30 |
Adam Chlipala |
Substring functions; fix a nasty MonoReduce pattern match substitution bug |
2009-05-30 |
Adam Chlipala |
String.length |
2009-05-28 |
Adam Chlipala |
Use a timeout to avoid errors after unload |
2009-05-26 |
Adam Chlipala |
Chars and more string operations |
2009-05-21 |
Adam Chlipala |
ccheckbox |
2009-05-21 |
Adam Chlipala |
Split JavaScript inp() into separate functions |
2009-05-16 |
Adam Chlipala |
Loading an FCKeditor |
2009-05-16 |
Adam Chlipala |
Fix initialization of cselect from source |
2009-05-16 |
Adam Chlipala |
Fix another problem with overwrites during JavaScript pattern matching |
2009-05-14 |
Adam Chlipala |
Proper lifting of MonoEnv stored expressions; avoidance of onchange clobbering |
2009-05-14 |
Adam Chlipala |
Improvements while working on Graftid |
2009-05-14 |
Adam Chlipala |
cselect |
2009-04-23 |
Adam Chlipala |
Cookie signatures for RPCs |
2009-04-16 |
Adam Chlipala |
Some client-side error handling |
2009-04-16 |
Adam Chlipala |
Avoid thread death via message receive |
2009-04-16 |
Adam Chlipala |
onError |
2009-04-05 |
Adam Chlipala |
Fixing some regressions and other bugs |
2009-04-04 |
Adam Chlipala |
_Really_ implement embedded closure GC; extend Scriptcheck to figure out when client IDs must be assigned |
2009-04-04 |
Adam Chlipala |
Fix overzealous Marshalcheck; garbage-collect string-embedded closures when no dyns are active |
2009-04-04 |
Adam Chlipala |
Checking spans in dyns |
2009-04-02 |
Adam Chlipala |
Redo signal implementation to avoid memory leaks |
2009-04-02 |
Adam Chlipala |
Don't self-update ctextboxes unnecessarily |
2009-03-29 |
Adam Chlipala |
Redo channels, making them single-client |
2009-03-28 |
Adam Chlipala |
Switch back to starting listener on load |
2009-03-26 |
Adam Chlipala |
Chat example working nicely, but without dead channel removal |
2009-03-24 |
Adam Chlipala |
Variable timeouts and client keep-alive |
2009-03-24 |
Adam Chlipala |
Fix some AJAX annoyances |
2009-03-24 |
Adam Chlipala |
Transactionalize channel operations |
2009-03-22 |
Adam Chlipala |
Proper recv |
2009-03-22 |
Adam Chlipala |
Press a button to send a message |
2009-03-22 |
Adam Chlipala |
First message send delivered, but not interpreted |
2009-03-19 |
Adam Chlipala |
Dummy message delivery to clients |
2009-03-10 |
Adam Chlipala |
Batch example |
2009-03-10 |
Adam Chlipala |
ListEdit demo, minus prose |
2009-02-15 |
Adam Chlipala |
Initial parsing of RPC results |
2009-02-15 |
Adam Chlipala |
Detect AJAX call failures |
2009-02-15 |
Adam Chlipala |
First gimpy RPC |
2009-01-27 |
Adam Chlipala |
Use normal fields of ctextboxes |
2009-01-17 |
Adam Chlipala |
Add dynamic content under proper parents |
2009-01-16 |
Adam Chlipala |
dlist example working |
2009-01-13 |
Adam Chlipala |
Combine lib* directories
base
jslib/urweb.js@62125d3bafca
|