aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Collapse)AuthorAge
...
* | 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.
* 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
|
* New releaseGravatar Adam Chlipala2016-06-21
|
* Merge branch 'master' of ssh://github.com/urweb/urwebGravatar Adam Chlipala2016-06-17
|\
* | Prepare Postgres code for NULL error fieldsGravatar Adam Chlipala2016-06-17
| |
| * Client-side: detect session timeout and ask the user to reloadGravatar Adam Chlipala2016-06-16
|/
* 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
|
* Merge pull request #28 from extensibl/masterGravatar Adam Chlipala2016-05-29
|\ | | | | Silence gcc warnings
| * Silence gcc warningsGravatar Alexander2016-05-26
|/ | | "warning: 'entry' may be used uninitialized in this function"
* Merge pull request #26 from karsar/math_updateGravatar Adam Chlipala2016-05-24
|\ | | | | Some basic math functions: pow, sqrt, sin, cos, log, exp
| * 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
|
* Return to working version modeGravatar Adam Chlipala2016-05-15
|
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-30 13:17:06 +0000