changeset | 5f9b9972e6b8 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Switch to using sql_from_items |
files |
changeset | f8d9395575ec |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Monoized binary operators |
files |
changeset | 7f6620853c36 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Monoized a WHERE clause with a comparison |
files |
changeset | 326fb4686f60 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Monoize transaction identifiers; improve disjointness prover on irreducible folds; change 'query' type |
files |
changeset | b6b75e6e0898 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Corify transaction wrappers |
files |
changeset | 71bafe66dbe1 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Laconic -> Ur |
files |