summaryrefslogtreecommitdiff
path: root/src
Commit message (Collapse)AuthorAge
* Grandfathered change for release: fix extended 'val' rule in grammarGravatar Adam Chlipala2017-07-20
|
* Make 'static' protocol commit transactions, to force rewriting of HTML ↵Gravatar Adam Chlipala2017-07-12
| | | | documents with JavaScript links, etc.
* Allow inexhaustive patterns for lefthand sides of top-level 'val' declarationsGravatar Adam Chlipala2017-07-12
|
* Merge pull request #80 from vshabanov/m-flag-fixGravatar Adam Chlipala2017-07-12
|\ | | | | Fix for non-working '-m' runtime option
* | Option to prefix all user JavaScript FFI functions with a module name ↵Gravatar Vladimir Shabanov2017-06-15
| | | | | | | | (jsModule .urp option).
| * Fixed non-working '-m' runtime option.Gravatar Vladimir Shabanov2017-06-15
|/
* Raise an error if we run out of randomness during client initializationGravatar Adam Chlipala2017-05-14
|
* Fix normalization of signatures that project signatures from other modules ↵Gravatar Adam Chlipala2017-03-31
| | | | with multi-element paths (fixes #72)
* Option '-m' for HTTP-server binariesGravatar Adam Chlipala2017-03-17
|
* Better error message for .urp files with too many blank linesGravatar Adam Chlipala2017-03-17
|
* Minor fix.Gravatar Artyom Shalkhakov2017-03-09
|
* Adding support for emitting JS to a given file.Gravatar Artyom Shalkhakov2017-03-07
|
* Merge branch 'master' of ssh://github.com/urweb/urwebGravatar Adam Chlipala2016-12-31
|\
* | Use 'id' attribute for <form>Gravatar Adam Chlipala2016-12-31
| |
| * Merge pull request #60 from bbarenblat/masterGravatar Adam Chlipala2016-12-31
| |\ | | | | | | FastCGI: Track request IDs during processing
| * | Merge pull request #62 from sielenk/ipv6_OpenBSDGravatar Adam Chlipala2016-12-31
|/| | | | | | | | Ipv6 open bsd
* | | Proper ordering when libraries are included recursively (fixes #56)Gravatar Adam Chlipala2016-12-31
| | |
* | | Allow qualified variable references in record literalsGravatar Adam Chlipala2016-12-31
| | |
| * | remove unnecessary codeGravatar Marvin Sielenkemper2016-12-01
| | |
| * | pass the proper size to the bind callGravatar Marvin Sielenkemper2016-12-01
| | |
| * | zero initialize the socket address structureGravatar Marvin Sielenkemper2016-12-01
| | |
| * | use the ip4 socket address for ipv4 againGravatar Marvin Sielenkemper2016-11-30
|/ /
| * FastCGI: Track request IDs during processingGravatar Benjamin Barenblat2016-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.
* Make JavaScript boolToString use right capitalizationGravatar Adam Chlipala2016-10-21
|
* Tag: better support for recursion among page handlers, using union findGravatar Adam Chlipala2016-10-07
|
* Updates the help text to cover the new ipv6 optionGravatar Marvin Sielenkemper2016-09-22
|
* Make HTML5 the default and add 'xhtml' .urp directiveGravatar Adam Chlipala2016-09-20
|
* Use 1s precision when comparing file mtimesGravatar Jacob Mitchell2016-09-19
| | | | | | | | | | HTTP Last-Modified caching depends on mtimes of files read during compilation. Only mtimes before the compiler's start (reset) time are considered. On filesystems with lower mtime precision than Standard ML's Time.now, a temporary file generated by the compiler may have an mtime preceding the reset time even though it was modified after. The fix here is to compare times using 1s precision, the most granular used by filesystems.
* Merge pull request #49 from sielenk/masterGravatar Adam Chlipala2016-09-19
|\ | | | | Add IPv6 support and a new '-A' option to specify an IPv6 adress to bind
| * Remove accidentally commited unused includes which do not exist on MacOSGravatar Marvin Sielenkemper2016-09-17
| |
| * Explicitly cleares IPV6_V6ONLY to ensure IPv4 availabilityGravatar Marvin Sielenkemper2016-09-17
| |
| * Add IPv6 support and a new '-A' option to specify an IPv6 adress to bindGravatar Marvin Sielenkemper2016-09-16
| |
* | Use hash instead of timestamp in app.js filenameGravatar Jacob Mitchell2016-09-08
| | | | | | | | | | Makes Ur/Web project builds reproducible without sacrificing HTTP caching. Uses a public domain SHA1 implementation by tom7. See #38.
* | HTTP Last-Modified: latest modtime of source filesGravatar Jacob Mitchell2016-09-07
|/ | | | See issue #38.
* Emacs mode: switch font-lock-cvariable-face to inherit from ↵Gravatar Adam Chlipala2016-09-01
| | | | font-lock-type-face, to avoid hardcoding of colors
* Export fewer symbolsGravatar Benjamin Barenblat2016-08-05
| | | | Closes https://github.com/urweb/urweb/issues/43.
* SpellingGravatar Benjamin Barenblat2016-08-03
|
* Support OpenSSL 1.1Gravatar Benjamin Barenblat2016-07-20
| | | | Closes https://github.com/urweb/urweb/issues/35.
* uw_memmem: correct indentationGravatar Benjamin Barenblat2016-07-20
| | | | Closes https://github.com/urweb/urweb/issues/36.
* urweb-mode: do not configure require-final-newlineGravatar Tuncer Ayaz2016-07-15
| | | | | | | Ur/Web source files do not require a final newline. Thus, require-final-newline is a personal setting and should not be configured in the major mode. Setting it here will also negatively impact helpers like ethan-wspace.
* Prepare Postgres code for NULL error fieldsGravatar Adam Chlipala2016-06-17
|
* Rename memmem() to urweb_memmem(), to avoid unintentionally picking up ↵Gravatar Adam Chlipala2016-06-15
| | | | prototype from libc
* Elaborate C expression to appease recent compilersGravatar Adam Chlipala2016-06-10
|
* Change some vector operations to remain compatible with MLton working versionGravatar Adam Chlipala2016-05-29
|
* Silence gcc warningsGravatar Alexander2016-05-26
| | | "warning: 'entry' may be used uninitialized in this function"
* abs and floor addedGravatar Karen Sargsyan2016-05-23
|
* asin, acos, atan, atan2 addedGravatar Karen Sargsyan2016-05-22
|
* Some basic math functions: pow, sqrt, sin, cos, log, exp are added to work ↵Gravatar Karen Sargsyan2016-05-21
| | | | at client and server sides
* Increase default timeout to cope with behavior of some Chrome versionsGravatar Adam Chlipala2016-05-16
|
* Support for <meta> tagsGravatar Adam Chlipala2016-05-15
|