changeset | 8428c534913a |
---|---|
branch | |
bookmark | |
tag | |
user | Ziv Scully <ziv@mit.edu> |
description | Use new refactored urlification in Sqlcache. |
files |
changeset | e843a04499d4 |
---|---|
branch | |
bookmark | |
tag | |
user | Ziv Scully <ziv@mit.edu> |
description | Revert to revision 2222. |
files |
changeset | 25874084bf1f |
---|---|
branch | |
bookmark | |
tag | |
user | Ziv Scully <ziv@mit.edu> |
description | Make Mono.file a record for readability upon extension. |
files |
changeset | 278e10629ba1 |
---|---|
branch | |
bookmark | |
tag | |
user | Ziv Scully <ziv@mit.edu> |
description | Basic field-resolution invalidation. |
files |
changeset | a9159911c3ba |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adam@chlipala.net> |
description | New phase: Dbmodecheck |
files |
changeset | 4d64af730e35 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adam@chlipala.net> |
description | Differentiate between HTML and normal string literals |
files |
changeset | 98895243b5b6 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adam@chlipala.net> |
description | Change handling of returned text blobs, to activate the normal EWrite optimizations |
files |
changeset | c1e3805e604e |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adam@chlipala.net> |
description | Make Scriptcheck catch more script/message-passing uses, and move the phase earlier in compilation |
files |
changeset | e8149592990e |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adam@chlipala.net> |
description | Better error message about signals remaining in server-side code |
files |
changeset | 0577be31a435 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adam@chlipala.net> |
description | First part of changes to avoid depending on C function call argument order of evaluation (omitting normal Ur function calls, so far) |
files |
changeset | 78e0d56b594e |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adam@chlipala.net> |
description | Better error messages when client-side constructs are detected in Cjrize |
files |
changeset | 36f7d1debb37 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adam@chlipala.net> |
description | Each context gets its own non-repeating sequence of source numbers |
files |
changeset | 02fc16faecf3 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adam@chlipala.net> |
description | [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 |
files |
changeset | 87156c44824f |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adam@chlipala.net> |
description | Periodic tasks |
files |
changeset | 8a169fc0838b |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adam@chlipala.net> |
description | Change tasks to support parametric code; add clientLeaves |
files |
changeset | 6c2e565adca6 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adam@chlipala.net> |
description | Fixes for nasty bugs in Reduce and Especialize |
files |
changeset | b4480a56cab7 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adam@chlipala.net> |
description | Server-side 'onError' |
files |
changeset | acabf3935060 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adam@chlipala.net> |
description | tryDml |
files |
changeset | c316ca3c9ec6 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Pushing policies through |
files |
changeset | 7a31e0cf25e9 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Proper C-side deserialization; Shake.sliceDb |
files |
changeset | 72670131dace |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Basis.serialize; separate file for mhash; run transactional finishers in reverse order; set needs_sig properly |
files |
changeset | 0657e5adc938 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Convert to task syntax |
files |
changeset | b2311dfb3158 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Initializers and setval |
files |
changeset | 217eb87dde31 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Basis.url and redirects |
files |
changeset | 7a4a55e05081 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Use call/cc for recv and sleep |
files |
changeset | 10114d7b7477 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | SELECT DISTINCT; eta expansion during Cjrization |
files |
changeset | 7a4b026e45dd |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Library improvements; proper list [un]urlification; remove server-side ServerCalls; eta reduction in type inference |
files |
changeset | 493f44759879 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Redo Jscomp |
files |
changeset | 81fce435e255 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Mutual datatypes through Cjrize |
files |
changeset | d8f58d488cfb |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Mutual datatypes through Pathcheck |
files |
changeset | fa2019a63ea4 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Basis.list |
files |
changeset | 8688e01ae469 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | A view query works |
files |
changeset | f7e2026dd5ae |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Returning a blob as page result |
files |
changeset | 4c5796512edc |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Catching duplicate cookie and style paths |
files |
changeset | f152f215a02c |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | style declarations |
files |
changeset | d8217b4cb617 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | PRIMARY KEY |
files |
changeset | 70cbdcf5989b |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | UNIQUE constraints |
files |
changeset | 500e93aa436f |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | sleep and better Scriptcheck |
files |
changeset | 655bcc9b77e0 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | _Really_ implement embedded closure GC; extend Scriptcheck to figure out when client IDs must be assigned |
files |
changeset | f73913d97a40 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Proper recv |
files |
changeset | aa2290c32ce2 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Avoid any JavaScript when pages don't need it; update demo prose |
files |
changeset | 63b0bcacd535 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | RPC returning a default datatype |
files |
changeset | 56aaa1941dad |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | First gimpy RPC |
files |
changeset | 330a7de47914 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Export RPC functions and push RPC calls through to Mono |
files |
changeset | 1e589a60b86f |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Harmonized source-setting between server and client |
files |
changeset | 3d56940120b1 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Setting a source server-side |
files |
changeset | ac947e2f29ff |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Trivial use of a source |
files |
changeset | 57018f21cd5c |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Handling singnal bind |
files |
changeset | 162d5308e34f |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Successfully generated a page element from a signal |
files |
changeset | 55fc747a67dc |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Initial <dyn> support |
files |
changeset | a152905c3c3b |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Displayed an alert dialog |
files |
changeset | bb27c7efcd90 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Reading cookies works |
files |
changeset | 787d4931fb07 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Almost have that nested save function compiling |
files |
changeset | 7abb28e9d51f |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Binops; equality tested on int; lame 404 substitute |
files |
changeset | e976b187d73a |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | SQL sequences |
files |
changeset | 04ebfe929a98 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Unpolyed a polymorphic function of two arguments |
files |
changeset | 52d4c60518d4 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | First INSERT works |
files |
changeset | 59dc042629b9 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | pquery working with all four types of columns |
files |
changeset | df00701f2323 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | 'read' type class |
files |
changeset | 4260ad920c36 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Converting string to int |
files |