sturdy icon indicating copy to clipboard operation
sturdy copied to clipboard

Sturdy is a library for developing sound static analyses in Haskell.

Results 9 sturdy issues
Sort by recently updated
recently updated
newest added

Bumps [http-cache-semantics](https://github.com/kornelski/http-cache-semantics) to 4.1.1 and updates ancestor dependency [@angular/cli](https://github.com/angular/angular-cli). These dependencies need to be updated together. Updates `http-cache-semantics` from 3.8.1 to 4.1.1 Commits 2449650 Update mocha 560b2d8 Don't use regex...

dependencies

Bumps [ua-parser-js](https://github.com/faisalman/ua-parser-js) to 0.7.35 and updates ancestor dependency [karma](https://github.com/karma-runner/karma). These dependencies need to be updated together. Updates `ua-parser-js` from 0.7.21 to 0.7.35 Changelog Sourced from ua-parser-js's changelog. Version 0.7.35 /...

dependencies

Bumps [jszip](https://github.com/Stuk/jszip) from 3.5.0 to 3.10.1. Changelog Sourced from jszip's changelog. v3.10.1 2022-08-02 Add sponsorship files. If you appreciate the time spent maintaining JSZip then I would really appreciate your...

dependencies

Bumps [qs](https://github.com/ljharb/qs) from 6.5.2 to 6.5.3. Changelog Sourced from qs's changelog. 6.5.3 [Fix] parse: ignore __proto__ keys (#428) [Fix] utils.merge: avoid a crash with a null target and a truthy...

dependencies

Bumps [json5](https://github.com/json5/json5) from 1.0.1 to 1.0.2. Release notes Sourced from json5's releases. v1.0.2 Fix: Properties with the name __proto__ are added to objects and arrays. (#199) This also fixes a...

dependencies

Bumps [minimist](https://github.com/minimistjs/minimist) from 1.2.5 to 1.2.8. Changelog Sourced from minimist's changelog. v1.2.8 - 2023-02-09 Merged [Fix] Fix long option followed by single dash [#17](https://github.com/minimistjs/minimist/issues/17) [Tests] Remove duplicate test [#12](https://github.com/minimistjs/minimist/issues/12) [Fix]...

dependencies

Bumps [decode-uri-component](https://github.com/SamVerschueren/decode-uri-component) from 0.2.0 to 0.2.2. Release notes Sourced from decode-uri-component's releases. v0.2.2 Prevent overwriting previously decoded tokens 980e0bf https://github.com/SamVerschueren/decode-uri-component/compare/v0.2.1...v0.2.2 v0.2.1 Switch to GitHub workflows 76abc93 Fix issue where decode...

dependencies

Bumps [@angular/core](https://github.com/angular/angular/tree/HEAD/packages/core) from 10.0.2 to 11.0.5. Changelog Sourced from @​angular/core's changelog. 11.0.5 (2020-12-16) Bug Fixes compiler: handle strings inside bindings that contain binding characters (#39826) (f5aab2b), closes #39601 core: fix...

dependencies

Could we get a package out of this? I like your code on arrows