changeset | f1485ed65d6c |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adam@chlipala.net> |
description | Avoid some spurious error messages about link/form incompatibility; change the text of that error message to include RPC handlers |
files |
changeset | 6745eafff617 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adam@chlipala.net> |
description | Start SQL transactions as read-only when possible, based on conservative program analysis |
files |
changeset | a1380fc15cb5 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adam@chlipala.net> |
description | Fix bugs in support for 'style' and 'dynStyle' |
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 | ca3b73a7b4d0 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adam@chlipala.net> |
description | Get a few more source files up-to-date with change to [tag] type |
files |
changeset | 3621f486ce72 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adam@chlipala.net> |
description | Don't crash on invalid URL head terms during Tag |
files |
changeset | 44a12a321150 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adam@chlipala.net> |
description | queryString and effectfulUrl |
files |
changeset | 503d4ec93494 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Allow complex attribute records in Tag |
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 | 50dd937c4cb9 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Bug fixes in redirect-related stuff |
files |
changeset | 217eb87dde31 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Basis.url and redirects |
files |
changeset | 3bc726a822fb |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Shake bug fix; pattern reduction in ReduceLocal |
files |
changeset | a5eb8f87bc17 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Better error message for link-handler conflicts |
files |
changeset | 5fe49effbc83 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | JavaScript urlifying of bools; correct Link attribute escaping |
files |
changeset | e0dd85ea58e1 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Label exported symbols by effect-ness; factor out some common datatypes |
files |
changeset | 9864b64b1700 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Classes as optional arguments to Basis.tag |
files |
changeset | 4a241d108a2c |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Handle nullary transaction pages; avoid marking up headers array when reading cookies |
files |
changeset | 9117a7bf229c |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Especialize working reasonably well; need to add new closure representation pass |
files |
changeset | fdd7a698be01 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Compiling a parametrized query the inefficient way |
files |
changeset | 3bbed533fbd2 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Cases through monoize |
files |
changeset | 80192edca30d |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Datatypes through corify |
files |
changeset | f0d3402184d1 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Simple forms work |
files |
changeset | 4b9c2bd6157c |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Almost ready to have a form work |
files |
changeset | f214c535d253 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | A simpler context encoding |
files |
changeset | 76a4d69719d8 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Tagging (non-mutual) 'val rec' |
files |
changeset | fd98dd10dce7 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Corifying (non-mutual) 'val rec' |
files |
changeset | 7fdc146b2bc2 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Proper handling of non-function-call links |
files |
changeset | 94856a3b4752 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Serving pages |
files |
changeset | 690d72c92a15 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Handling duplicate tags |
files |
changeset | 2d6116de9cca |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Closure code generation almost there |
files |
changeset | 3739af9e727a |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Starting with closure links |
files |