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 | f7113855f3b7 |
---|---|
branch | |
bookmark | |
tag | |
user | Ziv Scully <ziv@mit.edu> |
description | More invalidation progress. |
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 | e15234fbb163 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adam@chlipala.net> |
description | Basis.tryRpc |
files |
changeset | 8958b580d026 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adam@chlipala.net> |
description | Change Name_js to skip code snippets that depend on the CSRF-protection signature |
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 | 38297294cf98 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adam@chlipala.net> |
description | New NameJs phase, still needing some debugging |
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 | 7bb8c560f23d |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adam@chlipala.net> |
description | Announce sidedness errors with source locations |
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 | 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 | a9a500d22ebc |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adam@chlipala.net> |
description | Roll back WHERE checking |
files |
changeset | 60e19545841b |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adam@chlipala.net> |
description | equalAny policies |
files |
changeset | 3d06e0f7a6f3 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adam@chlipala.net> |
description | Initial version of equalKnown working for secret |
files |
changeset | a2cd6664f57f |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | sendOwnIds policies |
files |
changeset | 62af4cacd191 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Update policies |
files |
changeset | 00e628854005 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Delete policies |
files |
changeset | 526575a9537a |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Insert policies |
files |
changeset | 648e6b087dfb |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Change query_policy to sendClient; all arguments passed to SQL predicates are variables |
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 | dfe34fad749d |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | RPC uses VM support for call/cc |
files |
changeset | cc956020801b |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | 'more' demos working after optimizer fix |
files |
changeset | 8e540df3294d |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | grid1 compiles but gets stuck in JS |
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 | 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 | 796e42c93c48 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Cookie signatures for RPCs |
files |
changeset | 7c6b6c3c7b79 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Some client-side error handling |
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 | f73913d97a40 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Proper recv |
files |
changeset | 4a125bbc602d |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Conversion of functions to CPS, to facilitate ServerCall |
files |
changeset | 5891f47d7cff |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Parameterized RPC query |
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 | 1901db85acb4 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Start of JsComp |
files |
changeset | a152905c3c3b |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Displayed an alert dialog |
files |