summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAge
...
| | * | | bug fixGravatar fab2019-01-14
| | | | |
| | | * | Test case for -endpoints switchGravatar Artyom Shalkhakov2019-01-12
| | | | |
| | | * | Including app.js in output of endpointsGravatar Artyom Shalkhakov2019-01-12
| | | | |
| | * | | urlifyChar needs to be added to .h file as wellGravatar fab2019-01-09
| | | | |
| | * | | fix unit tests. implement urlifyCharGravatar fab2019-01-09
| | | | |
| | | * | 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
| | |/ / | |/| |
| | * | more portable functionsGravatar fab2019-01-02
| | | |
| * | | 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("")