Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Updates the help text to cover the new ipv6 option | Marvin Sielenkemper | 2016-09-22 |
| | |||
* | Make HTML5 the default and add 'xhtml' .urp directive | Adam Chlipala | 2016-09-20 |
| | |||
* | Use 1s precision when comparing file mtimes | Jacob Mitchell | 2016-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/master | Adam Chlipala | 2016-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 MacOS | Marvin Sielenkemper | 2016-09-17 |
| | | |||
| * | Explicitly cleares IPV6_V6ONLY to ensure IPv4 availability | Marvin Sielenkemper | 2016-09-17 |
| | | |||
| * | Add IPv6 support and a new '-A' option to specify an IPv6 adress to bind | Marvin Sielenkemper | 2016-09-16 |
| | | |||
* | | Use hash instead of timestamp in app.js filename | Jacob Mitchell | 2016-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 files | Jacob Mitchell | 2016-09-07 |
|/ | | | | See issue #38. | ||
* | Emacs mode: switch font-lock-cvariable-face to inherit from ↵ | Adam Chlipala | 2016-09-01 |
| | | | | font-lock-type-face, to avoid hardcoding of colors | ||
* | Export fewer symbols | Benjamin Barenblat | 2016-08-05 |
| | | | | Closes https://github.com/urweb/urweb/issues/43. | ||
* | Spelling | Benjamin Barenblat | 2016-08-03 |
| | |||
* | Support OpenSSL 1.1 | Benjamin Barenblat | 2016-07-20 |
| | | | | Closes https://github.com/urweb/urweb/issues/35. | ||
* | uw_memmem: correct indentation | Benjamin Barenblat | 2016-07-20 |
| | | | | Closes https://github.com/urweb/urweb/issues/36. | ||
* | urweb-mode: do not configure require-final-newline | Tuncer Ayaz | 2016-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 fields | Adam Chlipala | 2016-06-17 |
| | |||
* | Rename memmem() to urweb_memmem(), to avoid unintentionally picking up ↵ | Adam Chlipala | 2016-06-15 |
| | | | | prototype from libc | ||
* | Elaborate C expression to appease recent compilers | Adam Chlipala | 2016-06-10 |
| | |||
* | Change some vector operations to remain compatible with MLton working version | Adam Chlipala | 2016-05-29 |
| | |||
* | Silence gcc warnings | Alexander | 2016-05-26 |
| | | | "warning: 'entry' may be used uninitialized in this function" | ||
* | abs and floor added | Karen Sargsyan | 2016-05-23 |
| | |||
* | asin, acos, atan, atan2 added | Karen Sargsyan | 2016-05-22 |
| | |||
* | Some basic math functions: pow, sqrt, sin, cos, log, exp are added to work ↵ | Karen Sargsyan | 2016-05-21 |
| | | | | at client and server sides | ||
* | Increase default timeout to cope with behavior of some Chrome versions | Adam Chlipala | 2016-05-16 |
| | |||
* | Support for <meta> tags | Adam Chlipala | 2016-05-15 |
| | |||
* | Streamline callout to emacs for HTML rendering. | Marko Schuetz-Schmuck | 2016-05-05 |
| | |||
* | Fix preservation of headers when returning blobs | Adam Chlipala | 2016-04-15 |
| | |||
* | At runtime, catch when we exceed 'limit inputs' | Adam Chlipala | 2016-03-30 |
| | |||
* | Use IS NOT DISTINCT FROM; improve Sql parser | Adam Chlipala | 2016-03-12 |
| | |||
* | MonoReduce: fancier test for inlining a record where each field is used at ↵ | Adam Chlipala | 2016-03-12 |
| | | | | most once | ||
* | Sqlcache: also record script additions; do a MonoReduce afterward, to help ↵ | Adam Chlipala | 2016-03-12 |
| | | | | Prepare do a better job | ||
* | Make Sql compatible with unmangling | Adam Chlipala | 2016-03-11 |
| | |||
* | Make JavaScript escaping handle ampersands properly | Adam Chlipala | 2016-02-23 |
| | |||
* | Set associativity of SQL 'LIKE' | Adam Chlipala | 2016-02-23 |
| | |||
* | Allow backslash-r in string literals | Adam Chlipala | 2016-02-17 |
| | |||
* | Fix handling of returnBlob headers for FastCGI, etc. | Adam Chlipala | 2016-02-14 |
| | |||
* | Add a cast to thread_id(), to support more platforms | Adam Chlipala | 2016-02-13 |
| | |||
* | Finish removing PWild; only load a library once, even if referenced multiple ↵ | Adam Chlipala | 2016-02-07 |
| | | | | times in a .urp tree | ||
* | Merge PVar and PWild, to get more reasonable type-class resolution | Adam Chlipala | 2016-02-07 |
| | |||
* | Tweaking discovery of Pthreads C flags | Adam Chlipala | 2016-01-16 |
| | |||
* | Merge branch 'master' of ssh://github.com/urweb/urweb | Adam Chlipala | 2016-01-02 |
|\ | |||
* | | Finishing the last change in final handling of enumerated types | Adam Chlipala | 2016-01-02 |
| | | |||
| * | Untagle boot and static flags | Eran Meir | 2016-01-02 |
| | | | | | | | | | | | | Boot flag should build a dynamic executable but link urweb libraries statically (from build tree). This should fix the problem of not being able to build static executables on OSX. | ||
| * | Prevent pthread cflags options from being passed to linker | Eran Meir | 2016-01-02 |
|/ | | | | (in order to fix build issue on mac) | ||
* | Fix issue with enumerated types and dependency order | Adam Chlipala | 2016-01-01 |
| | |||
* | A simple eta rule for constructor-level tuples | Adam Chlipala | 2015-12-31 |
| | |||
* | Some bugs related to kind-checking tuples | Adam Chlipala | 2015-12-31 |
| | |||
* | Remove duplicate typedef declarations. | Ziv Scully | 2015-12-30 |
| | |||
* | Merge Sqlcache | Adam Chlipala | 2015-12-20 |
|\ | |||
* | | Unnest properly in presence of kind polymorphism | Adam Chlipala | 2015-12-20 |
| | |