summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAge
...
| | | * | osx troubleshootingGravatar fab2018-12-17
| | | | |
| | * | | Specialize: ignore recursive references in classifying polymorphic uses of ↵Gravatar Adam Chlipala2018-12-16
| | | | | | | | | | | | | | | | | | | | datatypes
| | * | | Specialize: stay clear of datatypes that are used polymorphicallyGravatar Adam Chlipala2018-12-16
| | | | |
| | * | | New .urp option: safeGetDefaultGravatar Adam Chlipala2018-12-14
| | | | |
| | * | | List.assocAddSortedGravatar Adam Chlipala2018-12-14
| | | | |
| | * | | Proper ignoring of empty SQL updatesGravatar Adam Chlipala2018-12-14
| | | | |
| | | * | tidy unit testsGravatar fab2018-12-12
| | | | |
| | | * | exhaustive testing brought to selenium. bug fix in isspace. useful function ↵Gravatar fab2018-12-11
| | | | | | | | | | | | | | | | | | | | to test if char is <128
| | | * | migrate is_valid_hash, blessData, property, atomGravatar fab2018-12-11
| | | | |
| | | * | fix isxdigit: is probably helpful to keep it only to ascii chars. migrate ↵Gravatar fab2018-12-09
| | | | | | | | | | | | | | | | | | | | islower, isupper, isalpha, isdigit, isblank, isspace, isxdigit, isprint
| | | * | just to make sure there are no issuesGravatar fab2018-12-08
| | | | |
| | | * | patch isDigitGravatar fab2018-12-08
| | | | |
| | | * | patching toLower and toUpper to provide consistent results in server side ↵Gravatar fab2018-12-08
| | | | | | | | | | | | | | | | | | | | and client side
| | | * | strsub, strcspn, strsindexGravatar fab2018-12-06
| | | | |
| | | * | ordGravatar fab2018-12-06
| | | | |
| | | * | strsindexGravatar fab2018-12-06
| | | | |
| | | * | chars with more than 2 bytes are awkwardly handled by the "normal" string of ↵Gravatar fab2018-12-06
| | | | | | | | | | | | | | | | | | | | javascript. the best way to get consistent results seems to be to convert to array by Array.from(...) and back to strings with .join("")
| | | * | fix: U8_IS_SINGLE should only be called on raw char*, NOT on uw_Basis_charGravatar fab2018-12-02
| | | | |
| | | * | 1 bug fix and sorting out my own confusion: uw_Basis_char is already a ↵Gravatar fab2018-12-02
| | | | | | | | | | | | | | | | | | | | codepoint, NOT the "serialized" utf8
| | | * | reject invalid codepoints. Basis.iscodepoint. fix german char in jsGravatar fab2018-11-30
| | | | |
| | * | | Merge pull request #148 from doublec/timelocalGravatar Adam Chlipala2018-11-25
| | |\ \ \ | | | | | | | | | | | | Replace timelocal usage with mktime
| | * \ \ \ Merge pull request #147 from bbarenblat/masterGravatar Adam Chlipala2018-11-25
| | |\ \ \ \ | | | | | | | | | | | | | | Use our own memmem only when libc doesn’t have one
| | | | * | | Replace timelocal usage with mktimeGravatar Chris Double2018-11-25
| | | |/ / / | | |/| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | timelocal is a non-standard GNU extension and equivalent to the POSIX standard mktime. musl-libc doesn't have timelocal, preventing fully static builds of urweb with musl.
| | | | * | test client eval vs server evalGravatar fab2018-11-23
| | | | | |
| | | | * | cleanupGravatar fab2018-11-19
| | | | | |
| | | | * | several fixes on unit tests and implementationGravatar fab2018-11-19
| | | | | |
| | | | * | fix package name for brewGravatar fab2018-11-17
| | | | | |
| | | | * | fix package nameGravatar fab2018-11-17
| | | | | |
| | | | * | utf-8 aware functions for basis. unit-testing.Gravatar fab2018-11-17
| | | | | |
| | | * | | Use our own memmem only when libc doesn’t have oneGravatar Benjamin Barenblat2018-11-07
| | |/ / / | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Systems without memmem(3) are getting rarer every day. We can improve clarity and efficiency by relying on libc’s memmem whenever possible. Detect at compile time whether the system supports memmem(3); if it does, simply reexport its prototype through memmem.h and emit no code. If it doesn’t, actually build in the memmem code in memmem.c. Along the way, undo the renaming from commit 6dad7c645d8fdb7b7237c89ff7b34e90adbb86b1. Since we’re only creating a memmem prototype if libc doesn’t define the symbol, our prototype should never clash with libc’s. As before, authors should not assume string.h provides a prototype for memmem; they should `#include "memmem.h"` if they use the function.
| | * | | List.mapMiGravatar Adam Chlipala2018-11-04
| | | | |
| | * | | Fix a manual typoGravatar Adam Chlipala2018-10-23
| | |/ /
| | * | Accept a few other command-line arguments to trigger help text (closes #63)Gravatar Adam Chlipala2018-10-19
| | | |
| | * | More telegraphic error text for clashing URL prefixes (closes #111)Gravatar Adam Chlipala2018-10-19
| | | |
| | * | Block scary types for [de]serialization (closes #98)Gravatar Adam Chlipala2018-10-19
| | | |
| | * | Automatic merging of style/dynStyle and class/dynClass (closes #64)Gravatar Adam Chlipala2018-10-19
| | | |
| | * | Client-side escaping of HTML should be prepared for structured HTML trees, ↵Gravatar Adam Chlipala2018-10-19
| | | | | | | | | | | | | | | | not just strings (closes #141)
| | * | Just return None rather than crashing, when trying to read cookies within ↵Gravatar Adam Chlipala2018-10-19
| | | | | | | | | | | | | | | | tasks (closes #143)
| | * | unsafeSerialized[To|From]StringGravatar Adam Chlipala2018-10-19
| | | |
| | * | Catch when a cselect has an unavailable value setGravatar Adam Chlipala2018-10-12
| | | |
| | * | Merge pull request #140 from ashalkhakov/flycheckGravatar Adam Chlipala2018-09-02
| | |\ \ | | | | | | | | | | FlyCheck integration.
| | * \ \ Merge pull request #138 from bbarenblat/masterGravatar Adam Chlipala2018-09-02
| | |\ \ \ | | | | | | | | | | | | Start using symbol versioning
| | | | * | Multi-file projects should work.Gravatar Artyom Shalkhakov2018-09-01
| | | | | |
| | | | * | Flycheck: improving multi-file supportGravatar Artyom Shalkhakov2018-08-31
| | | | | |
| | | | * | FlyCheck integration.Gravatar Artyom Shalkhakov2018-08-31
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Some issues: - since Ur/Web expects to typecheck a project, we "guess" it (which may not be the exact project that you use, maybe we need to improve our heuristics) - lightly tested, but seems to work on my machine
| | * | | | Detect lambda abstractions over type classes as deserving of ↵Gravatar Adam Chlipala2018-08-29
| | | | | | | | | | | | | | | | | | | | | | | | implicit-argument status
| | * | | | List.allMGravatar Adam Chlipala2018-08-25
| | | | | |
| | | | | * Rough same page anchorsGravatar Denis Redozubov2018-08-22
| | | |_|/ | | |/| |
| | * | | Merge pull request #134 from steinuil/json-single-quoteGravatar Adam Chlipala2018-08-17
| | |\ \ \ | | | | | | | | | | | | removed invalid JSON escape character
| | | * | | removed invalid JSON escape characterGravatar steinuil2018-08-04
| | | | | |
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-30 16:50:08 +0000