summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAge
* Merge branch 'upstream' into dfsg_clean20161022+dfsgGravatar Benjamin Barenblat2016-10-23
|\
| * New releaseGravatar Adam Chlipala2016-10-22
| |
| * 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
| |
| * Simplify listEdit demo (thanks, Michael Rohs!)Gravatar Adam Chlipala2016-10-05
| |
| * Add mapUX_revGravatar Adam Chlipala2016-09-24
| |
| * Merge pull request #52 from sielenk/ipv6Gravatar Adam Chlipala2016-09-22
| |\ | | | | | | Updates the help text to cover the new ipv6 option
| | * Updates the help text to cover the new ipv6 optionGravatar Marvin Sielenkemper2016-09-22
| |/
| * Update tests for new html5 defaultGravatar Adam Chlipala2016-09-20
| |
| * Make HTML5 the default and add 'xhtml' .urp directiveGravatar Adam Chlipala2016-09-20
| |
| * Merge pull request #51 from jmitchell/bin-repro-mtime-precisionGravatar Adam Chlipala2016-09-20
| |\ | | | | | | Use 1s precision when comparing file mtimes
| | * 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.
| * make test: add extra 'curl' flags to make IPv6 work in Ubuntu 14.04Gravatar Adam Chlipala2016-09-19
| |
| * 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
| * \ Merge pull request #48 from jmitchell/bin-reproGravatar Adam Chlipala2016-09-19
| |\ \ | | | | | | | | Reproducible project builds with HTTP caching support
| | | * Revert "Try adding an IPv6 address to interface lo"Gravatar Marvin Sielenkemper2016-09-17
| | | | | | | | | | | | | | | | This reverts commit 62ac943afa64fd4fc16f47c2f23fd90f7c5fff81.
| | | * Try adding an IPv6 address to interface loGravatar Marvin Sielenkemper2016-09-17
| | | |
| | | * Remove accidentally commited unused includes which do not exist on MacOSGravatar Marvin Sielenkemper2016-09-17
| | | |
| | | * Check if the loopback interface has an IPv6 address and only run IPv6 test ↵Gravatar Marvin Sielenkemper2016-09-17
| | | | | | | | | | | | | | | | tests if this is the case
| | | * Explicitly cleares IPV6_V6ONLY to ensure IPv4 availabilityGravatar Marvin Sielenkemper2016-09-17
| | | |
| | | * Amend the tests to check if the new option worksGravatar Marvin Sielenkemper2016-09-16
| | | |
| | | * Add tests for IPv6Gravatar Marvin Sielenkemper2016-09-16
| | | |
| | | * 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.
| * Remove 'Value' attributes for AJAX-y UI widgets, because they should use ↵Gravatar Adam Chlipala2016-09-01
| | | | | | | | 'Source' instead
| * Emacs mode: switch font-lock-cvariable-face to inherit from ↵Gravatar Adam Chlipala2016-09-01
| | | | | | | | font-lock-type-face, to avoid hardcoding of colors
| * Json: parse records with extra fieldsGravatar Adam Chlipala2016-08-27
| |
| * Merge branch 'master' of ssh://github.com/urweb/urwebGravatar Adam Chlipala2016-08-26
| |\
| * | Import Json module from old Meta library (thanks to Edward Z. Yang for code ↵Gravatar Adam Chlipala2016-08-26
| | | | | | | | | | | | contributions)
| | * Manual: explain the cooperative multithreading modelGravatar Adam Chlipala2016-08-26
| | |
| | * Plug a reactive-DOM memory leak (thanks to Saulo Araujo for spotting the ↵Gravatar Adam Chlipala2016-08-24
| | | | | | | | | | | | problem and proposing a slightly different fix)
| | * Remove a check that was actually always passing because it was on the wrong ↵Gravatar Adam Chlipala2016-08-08
| | | | | | | | | | | | object; this helps explain why the last change was necessary
| | * Avoid repopulating dead nodes; otherwise, we might wind up killing a node ↵Gravatar Adam Chlipala2016-08-08
| | | | | | | | | | | | multiple times, screwing up the free list of available closure IDs (with duplicates), so that the same ID gets allocated for multiple functions later
| | * Export fewer symbolsGravatar Benjamin Barenblat2016-08-05
| |/ | | | | | | Closes https://github.com/urweb/urweb/issues/43.
* | Merge branch 'upstream' into dfsg_clean20160805+dfsgGravatar Benjamin Barenblat2016-08-05
|\ \
| | * Return to working version modeGravatar Adam Chlipala2016-08-05
| |/
| * New releaseGravatar Adam Chlipala2016-08-05
| |
| * SpellingGravatar Benjamin Barenblat2016-08-03
| |
| * Fix Travis syntax errorGravatar Adam Chlipala2016-08-02
| |
| * Update Travis tests to (1) use MLton from main package repo and (2) apply an ↵Gravatar Adam Chlipala2016-08-02
| | | | | | | | OS X libtool workaround
| * Merge pull request #34 from saulo2/masterGravatar Adam Chlipala2016-08-02
| |\ | | | | | | Fix for "normalizeTable" nesting thead and tfoot in tbody
| * | 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.
| * | Add .mailmap to correct bbaren’s addressGravatar Benjamin Barenblat2016-07-20
| | | | | | | | | | | | | | | | | | Somehow, one of my commits got entered under <bbaren at mit.edu> instead of <bbaren@mit.edu>. Add a .mailmap file so 'git shortlog', 'git log --use-mailmap', etc. do the right thing.
| | * Fix for "normalizeTable" nesting thead and tfoot in tbodyGravatar Saulo Araujo2016-07-16
| |/
| * Merge pull request #33 from tuncer/emacs-final-newlineGravatar Adam Chlipala2016-07-15
| |\ | | | | | | urweb-mode: do not configure require-final-newline
| | * 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.
| * Switch to expected order for [queryL]Gravatar Adam Chlipala2016-07-01
| |
| * Return to working version modeGravatar Adam Chlipala2016-06-21
| |
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-30 09:56:51 +0000