summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAge
* 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
| * strsindexGravatar fab2018-12-06
| * chars with more than 2 bytes are awkwardly handled by the "normal" string of ...Gravatar fab2018-12-06
| * 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 codepo...Gravatar fab2018-12-02
| * reject invalid codepoints. Basis.iscodepoint. fix german char in jsGravatar fab2018-11-30
* | Merge pull request #148 from doublec/timelocalGravatar Adam Chlipala2018-11-25
|\ \
* \ \ Merge pull request #147 from bbarenblat/masterGravatar Adam Chlipala2018-11-25
|\ \ \
| | * | Replace timelocal usage with mktimeGravatar Chris Double2018-11-25
| |/ / |/| |
| | * 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
|/ /
* | 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, no...Gravatar Adam Chlipala2018-10-19