Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Merge branch 'upstream' into dfsg_clean20170720+dfsg | Benjamin Barenblat | 2017-07-23 |
|\ | |||
| * | Grandfathered change for release: fix extended 'val' rule in grammar | Adam Chlipala | 2017-07-20 |
| | | |||
| * | New release | Adam Chlipala | 2017-07-20 |
| | | |||
| * | Make 'static' protocol commit transactions, to force rewriting of HTML ↵ | Adam Chlipala | 2017-07-12 |
| | | | | | | | | documents with JavaScript links, etc. | ||
| * | Allow inexhaustive patterns for lefthand sides of top-level 'val' declarations | Adam Chlipala | 2017-07-12 |
| | | |||
| * | Merge pull request #80 from vshabanov/m-flag-fix | Adam Chlipala | 2017-07-12 |
| |\ | | | | | | | Fix for non-working '-m' runtime option | ||
| * | | Document new 'jsModule' .urp directive | Adam Chlipala | 2017-07-12 |
| | | | |||
| * | | Merge pull request #81 from vshabanov/jsModule-option | Adam Chlipala | 2017-07-12 |
| |\ \ | | | | | | | | | Option to prefix all user JavaScript FFI functions with a module name | ||
| | * | | Option to prefix all user JavaScript FFI functions with a module name ↵ | Vladimir Shabanov | 2017-06-15 |
| |/ / | | | | | | | | | | (jsModule .urp option). | ||
| | * | Fixed non-working '-m' runtime option. | Vladimir Shabanov | 2017-06-15 |
| |/ | |||
| * | Merge pull request #79 from bbarenblat/master | Adam Chlipala | 2017-05-14 |
| |\ | | | | | | | Use quiet mode for Ur/Web binaries in tests | ||
| * | | Raise an error if we run out of randomness during client initialization | Adam Chlipala | 2017-05-14 |
| | | | |||
| | * | Use quiet mode for Ur/Web binaries in tests | Benjamin Barenblat | 2017-05-02 |
| |/ | | | | | | | | | | | Reduce chatter on stdout during `make test` (notably, that introduced by a478380e74c658637c90436c4e78c894f7076f4c) by running test binaries with `-q`. | ||
| * | Fix normalization of signatures that project signatures from other modules ↵ | Adam Chlipala | 2017-03-31 |
| | | | | | | | | with multi-element paths (fixes #72) | ||
| * | Option '-m' for HTTP-server binaries | Adam Chlipala | 2017-03-17 |
| | | |||
| * | Better error message for .urp files with too many blank lines | Adam Chlipala | 2017-03-17 |
| | | |||
| * | Extend license for tutorial code | Adam Chlipala | 2017-03-17 |
| | | |||
| * | Merge pull request #71 from ashalkhakov/sqlite-is-distinct-from-fix | Adam Chlipala | 2017-03-09 |
| |\ | | | | | | | SQLite does not support IS DISTINCT FROM | ||
| | * | Minor fix. | Artyom Shalkhakov | 2017-03-09 |
| |/ | |||
| * | Update manual for '-js' | Adam Chlipala | 2017-03-07 |
| | | |||
| * | Merge pull request #69 from ashalkhakov/js-file | Adam Chlipala | 2017-03-07 |
| |\ | | | | | | | Allow outputting JS code to a specified file | ||
| | * | Merge branch 'master' of https://github.com/urweb/urweb into js-file | Artyom Shalkhakov | 2017-03-07 |
| | |\ | | |/ | |/| | |||
| | * | Adding support for emitting JS to a given file. | Artyom Shalkhakov | 2017-03-07 |
| | | | |||
| * | | Increase size of string buffer for error messages | Adam Chlipala | 2017-02-24 |
| |/ | |||
| * | Merge pull request #68 from ashalkhakov/html5-forms | Adam Chlipala | 2017-02-21 |
| |\ | | | | | | | Button: disabled attribute; allowing number entry using HTML5 widgets | ||
| | * | Button: disabled attribute; allowing number entry using HTML5 widgets | Artyom Shalkhakov | 2017-02-21 |
| | | | |||
| * | | Merge pull request #66 from ashalkhakov/mlton-bgb-mode | Adam Chlipala | 2017-02-03 |
| |\ \ | | |/ | |/| | Adding: support for Emacs Bg Build mode | ||
| | * | Adding: support for Emacs Bg Build mode | Artyom Shalkhakov | 2017-02-02 |
| |/ | |||
| * | Option.app | Adam Chlipala | 2017-02-01 |
| | | |||
| * | List.appi | Adam Chlipala | 2017-01-25 |
| | | |||
* | | Merge branch 'upstream' into dfsg_clean20170105+dfsg | Benjamin Barenblat | 2017-01-07 |
|\ \ | |||
| | * | Return to working version mode | Adam Chlipala | 2017-01-05 |
| |/ | |||
| * | New release | Adam Chlipala | 2017-01-05 |
| | | |||
| * | Add 'placeholder' attribute for textareas | Adam Chlipala | 2017-01-02 |
| | | |||
| * | Update test to track last change | Adam Chlipala | 2016-12-31 |
| | | |||
| * | Merge branch 'master' of ssh://github.com/urweb/urweb | Adam Chlipala | 2016-12-31 |
| |\ | |||
| * | | Use 'id' attribute for <form> | Adam Chlipala | 2016-12-31 |
| | | | |||
| | * | Merge pull request #60 from bbarenblat/master | Adam Chlipala | 2016-12-31 |
| | |\ | | | | | | | | | FastCGI: Track request IDs during processing | ||
| | * | | Merge pull request #62 from sielenk/ipv6_OpenBSD | Adam Chlipala | 2016-12-31 |
| |/| | | | | | | | | | | Ipv6 open bsd | ||
| * | | | Proper ordering when libraries are included recursively (fixes #56) | Adam Chlipala | 2016-12-31 |
| | | | | |||
| * | | | Proofread and tweak new demo prose | Adam Chlipala | 2016-12-31 |
| | | | | |||
| * | | | Merge pull request #55 from TheNotary/edit-tutorial | Adam Chlipala | 2016-12-31 |
| |\ \ \ | | | | | | | | | | | reflows intro tutorial | ||
| * | | | | Allow qualified variable references in record literals | Adam Chlipala | 2016-12-31 |
| | | | | | |||
| | | * | | remove unnecessary code | Marvin Sielenkemper | 2016-12-01 |
| | | | | | |||
| | | * | | pass the proper size to the bind call | Marvin Sielenkemper | 2016-12-01 |
| | | | | | |||
| | | * | | zero initialize the socket address structure | Marvin Sielenkemper | 2016-12-01 |
| | | | | | |||
| | | * | | use the ip4 socket address for ipv4 again | Marvin Sielenkemper | 2016-11-30 |
| | |/ / | |/| | | |||
| | | * | FastCGI: Track request IDs during processing | Benjamin Barenblat | 2016-11-07 |
| | |/ | |/| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | When processing a FastCGI request, save its request ID in thread-local storage and respond with the same request ID (rather than hard-coding 1). This fixes FastCGI on picky web servers (nginx). For more background, see https://github.com/urweb/urweb/issues/57 and §3.3 of the FastCGI specification. Tested with nginx 1.10.2 and lighttpd 1.4.39. Closes https://github.com/urweb/urweb/issues/57. | ||
* | | | Merge branch 'upstream' into dfsg_clean20161022+dfsg | Benjamin Barenblat | 2016-10-23 |
|\ \ \ | |||
| | * | | Return to working version mode | Adam Chlipala | 2016-10-22 |
| |/ / |