| Commit message (Expand) | Author | Age |
* | Merge PVar and PWild, to get more reasonable type-class resolution | Adam Chlipala | 2016-02-07 |
* | Change MonoReduce to do fixed-pointing, since it sometimes enables more optim... | Adam Chlipala | 2015-03-06 |
* | A new MonoReduce optimization for lifting 'let' out of field projection; Java... | Adam Chlipala | 2015-02-01 |
* | More aggressive inlining of 'let' with record literals, plus some changes to ... | Adam Chlipala | 2014-12-04 |
* | Some more optimization of string expressions showing up in JSON generation (M... | Adam Chlipala | 2014-12-03 |
* | MonoReduce bug involving 'error' | Adam Chlipala | 2014-08-06 |
* | Differentiate between HTML and normal string literals | Adam Chlipala | 2014-08-01 |
* | Another MonoReduce fix | Adam Chlipala | 2014-07-26 |
* | Fix index-matching bug in MonoReduce effect calculation | Adam Chlipala | 2014-07-21 |
* | neverInline | Adam Chlipala | 2014-02-09 |
* | Make that purity analysis a bit more lax again | Adam Chlipala | 2014-01-19 |
* | Fix a soundness bug in purity analysis (mono_reduce) | Adam Chlipala | 2014-01-19 |
* | Change handling of returned text blobs, to activate the normal EWrite optimiz... | Adam Chlipala | 2013-12-11 |
* | Undo 'let' inlining tweak; improve optimization of 'case' of type 'transaction' | Adam Chlipala | 2013-06-07 |
* | Tweak to 'let' inlining behavior | Adam Chlipala | 2013-06-02 |
* | Get Iflow working again | Adam Chlipala | 2013-04-21 |
* | Basis.tryRpc | Adam Chlipala | 2013-04-16 |
* | Make Scriptcheck catch more script/message-passing uses, and move the phase e... | Adam Chlipala | 2013-03-15 |
* | Paranoid inlining prevention for FFI types at the Core level; less paranoid i... | Adam Chlipala | 2012-09-19 |
* | Reduce default inlining thresholds; improve a let-substitution optimization t... | Adam Chlipala | 2012-09-14 |
* | Tweaking treatment of function application: substitute or introduce a 'let'? | Adam Chlipala | 2012-08-05 |
* | Revert last changeset for now; needs more thought | Adam Chlipala | 2012-08-05 |
* | Tweaking treatment of function application: substitute or introduce a 'let'? | Adam Chlipala | 2012-08-05 |
* | First part of changes to avoid depending on C function call argument order of... | Adam Chlipala | 2012-01-07 |
* | Narrow Maybe match case. | Karn Kallio | 2011-07-06 |
* | To generate server-side source JavaScript, try both the old and new strategie... | Adam Chlipala | 2011-03-28 |
* | Fix some cookie-related bugs in MonoReduce | Adam Chlipala | 2011-02-10 |
* | Allow subqueries to reference aggregate-only columns of free tables; treat no... | Adam Chlipala | 2011-01-15 |
* | alwaysInline .urp setting | Adam Chlipala | 2011-01-13 |
* | [De]serialization of times in JavaScript; proper integer division in JavaScri... | Adam Chlipala | 2010-12-23 |
* | Support empty datatypes, which can now be generated via 'variant []' | Adam Chlipala | 2010-09-09 |
* | tryDml | Adam Chlipala | 2010-09-05 |
* | Tweaks to table signatures and MonoOpt summarizing | Adam Chlipala | 2010-04-11 |
* | Change query_policy to sendClient; all arguments passed to SQL predicates are... | Adam Chlipala | 2010-04-08 |
* | Introduced the known() predicate | Adam Chlipala | 2010-04-06 |
* | benignEffectful | Adam Chlipala | 2010-02-27 |
* | Proper C-side deserialization; Shake.sliceDb | Adam Chlipala | 2010-01-03 |
* | Eta-expand bodies of transaction functions in Monoization, to enable later op... | Adam Chlipala | 2009-12-31 |
* | Initializers and setval | Adam Chlipala | 2009-12-13 |
* | Fix lexing of string literals in XML; treat EError as impure in MonoReduce | Adam Chlipala | 2009-12-12 |
* | Basis.url and redirects | Adam Chlipala | 2009-12-10 |
* | Use call/cc for recv and sleep | Adam Chlipala | 2009-10-25 |
* | RPC uses VM support for call/cc | Adam Chlipala | 2009-10-25 |
* | Inlining threshold for Mono_reduce | Adam Chlipala | 2009-10-25 |
* | Versioned1 demo working | Adam Chlipala | 2009-10-06 |
* | Quoting JavaScript working | Adam Chlipala | 2009-09-22 |
* | Find more opportunities for 'let' inlining with better purity information | Adam Chlipala | 2009-09-17 |
* | Fixed a Mono_reduce bug, which was breaking selection enabling in Grid | Adam Chlipala | 2009-09-15 |
* | Full Grid1 compiles, thanks to avoiding code size blow-up in mono_reduce | Adam Chlipala | 2009-09-13 |
* | Don't replace <sc> in blob returns; optimize more 'option' pattern matches; d... | Adam Chlipala | 2009-09-09 |