summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAge
* Including app.js in output of endpointsGravatar Artyom Shalkhakov2019-01-12
|
* Fixing the author in copyright blurb.Gravatar Artyom Shalkhakov2019-01-07
|
* Including JS and other static files into endpointsGravatar Artyom Shalkhakov2019-01-07
|
* -endpoints switch to view all endpoints defined in JSON formatGravatar Artyom Shalkhakov2019-01-07
|
* ListPair.mapMGravatar Adam Chlipala2018-12-31
|
* Merge pull request #160 from docelic/masterGravatar Adam Chlipala2018-12-30
|\ | | | | Add missing flag descriptions to urweb -h
| * Add missing flag descriptions to urweb -hGravatar Davor Ocelic2018-12-30
|/
* Merge pull request #157 from fabriceleal/fix-js-icu-with-bitlookupsGravatar Adam Chlipala2018-12-28
|\ | | | | Fix js icu with bitlookups
| * saving spaceGravatar fab2018-12-27
| |
| * avoid a pow call if we canGravatar fab2018-12-25
| |
| * bitmaps workingGravatar fab2018-12-25
| |
* | Merge pull request #152 from ashalkhakov/more-testsGravatar Adam Chlipala2018-12-25
|\ \ | |/ |/| More tests.
| * More tests.Gravatar Artyom Shalkhakov2018-12-22
| |
* | Output unurlification functions, even when they are first mentioned in e.g. ↵Gravatar Adam Chlipala2018-12-19
|/ | | | expungers
* Follow-up to #146: make style consistent in C codeGravatar Adam Chlipala2018-12-19
|
* Follow-up to #146: update documentationGravatar Adam Chlipala2018-12-19
|
* Follow-up to #146: configure tests if ICU is available (now using ↵Gravatar Adam Chlipala2018-12-19
| | | | ICU_INCLUDES to search for header)
* Follow-up to #146: configure tests if ICU is availableGravatar Adam Chlipala2018-12-19
|
* Merge pull request #146 from fabriceleal/utf-icuGravatar Adam Chlipala2018-12-19
|\ | | | | utf-8 aware functions for basis. unit-testing.
| * getting osx to build on travis. had to change the compiler to insert our icu ↵Gravatar fab2018-12-17
| | | | | | | | includes and libs override in cases where the compiler cant find the necessary files in the "normal" places
| * test 7Gravatar fab2018-12-17
| |
| * test 6Gravatar fab2018-12-17
| |
| * test 5Gravatar fab2018-12-17
| |
* | When using a file cache, add plugin-loading code (for SHA512) to tops of ↵Gravatar Adam Chlipala2018-12-17
| | | | | | | | .sql files
| * test 4Gravatar fab2018-12-17
| |
| * test 3Gravatar fab2018-12-17
| |
| * test2Gravatar fab2018-12-17
| |
| * test 1Gravatar fab2018-12-17
| |
| * 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