summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAge
...
| * | fixes for review 1Gravatar fab2019-01-21
* | | getenv is benignGravatar Adam Chlipala2019-01-20
| * | 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 -hGravatar Davor Ocelic2018-12-30
|/
* Merge pull request #157 from fabriceleal/fix-js-icu-with-bitlookupsGravatar Adam Chlipala2018-12-28
|\
| * 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.Gravatar Artyom Shalkhakov2018-12-22
* | Output unurlification functions, even when they are first mentioned in e.g. e...Gravatar Adam Chlipala2018-12-19
|/
* 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 ICU_INCLUDE...Gravatar Adam Chlipala2018-12-19
* 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
|\
| * getting osx to build on travis. had to change the compiler to insert our icu ...Gravatar fab2018-12-17
| * 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 .sql...Gravatar Adam Chlipala2018-12-17
| * 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 da...Gravatar Adam Chlipala2018-12-16
* | 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 t...Gravatar fab2018-12-11
| * migrate is_valid_hash, blessData, property, atomGravatar fab2018-12-11
| * fix isxdigit: is probably helpful to keep it only to ascii chars. migrate isl...Gravatar fab2018-12-09
| * 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 and...Gravatar fab2018-12-08
| * strsub, strcspn, strsindexGravatar fab2018-12-06
| * ordGravatar fab2018-12-06