changeset | 28a541bd2d23 |
---|---|
branch | |
bookmark | |
tag | |
user | Ziv Scully <ziv@mit.edu> |
description | Use referenced (rather than all) free variables as keys for pure caches. |
files |
changeset | 6f2ea4ed573a |
---|---|
branch | |
bookmark | |
tag | |
user | Ziv Scully <ziv@mit.edu> |
description | Pure caching sort of works. |
files |
changeset | d328983dc5a6 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adam@chlipala.net> |
description | Allow subqueries to reference aggregate-only columns of free tables; treat non-COUNT aggregate functions as possibly returning NULL |
files |
changeset | b4480a56cab7 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adam@chlipala.net> |
description | Server-side 'onError' |
files |
changeset | c316ca3c9ec6 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Pushing policies through |
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 | d8f58d488cfb |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Mutual datatypes through Pathcheck |
files |
changeset | e92cfac1608f |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Proper lifting of MonoEnv stored expressions; avoidance of onchange clobbering |
files |
changeset | 8688e01ae469 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | A view query works |
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 | 162d5308e34f |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Successfully generated a page element from a signal |
files |
changeset | 1901db85acb4 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Start of JsComp |
files |
changeset | e976b187d73a |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | SQL sequences |
files |
changeset | 4260ad920c36 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Converting string to int |
files |
changeset | 09c66a30ef32 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Table declarations pushed to Cjr |
files |
changeset | 42dfb0d61cf0 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | 'database' declaration threaded through compiler |
files |
changeset | ab86aa858e6c |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | 'Option' datatype encoding |
files |
changeset | 890a61991263 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Lists all the way through |
files |
changeset | 8e9f97508f0d |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Datatype representation optimization |
files |
changeset | c0ea24dcb86f |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Optimizing 'case' in Mono_reduce |
files |
changeset | d11754ffe252 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Compiled pattern matching to C |
files |
changeset | 3bbed533fbd2 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Cases through monoize |
files |
changeset | eb3f9913bf31 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | First part of getting cases through monoize |
files |
changeset | 25b169416ea8 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Storing datatype constructors in type references past monoize |
files |
changeset | 6847741e1f5f |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Datatypes through monoize |
files |
changeset | 76a4d69719d8 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Tagging (non-mutual) 'val rec' |
files |
changeset | 813e5a52063d |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Remove closure conversion in favor of zany fun with modules, which also replaces 'page' |
files |
changeset | f0f59e918cac |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | page declaration, up through monoize |
files |
changeset | d3cc191cb25f |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Separate compilation and automatic basis importation |
files |
changeset | 0a762c73824d |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Monoize |
files |