summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAge
...
| | | * | 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
| | * | Just return None rather than crashing, when trying to read cookies within tas...Gravatar Adam Chlipala2018-10-19
| | * | 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
| | |\ \
| | * \ \ Merge pull request #138 from bbarenblat/masterGravatar Adam Chlipala2018-09-02
| | |\ \ \
| | | | * | 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
| | * | | | Detect lambda abstractions over type classes as deserving of implicit-argumen...Gravatar Adam Chlipala2018-08-29
| | * | | | 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 characterGravatar steinuil2018-08-04
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-14 14:20:44 +0000