dependabot[bot]
|
7342295477
|
build(deps-dev): bump typescript from 5.7.3 to 5.9.3 (#157)
Bumps [typescript](https://github.com/microsoft/TypeScript) from 5.7.3 to 5.9.3.
- [Release notes](https://github.com/microsoft/TypeScript/releases)
- [Commits](https://github.com/microsoft/TypeScript/compare/v5.7.3...v5.9.3)
---
updated-dependencies:
- dependency-name: typescript
dependency-version: 5.9.3
dependency-type: direct:development
update-type: version-update:semver-minor
...
Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
|
2026-03-03 23:15:27 +09:00 |
|
dependabot[bot]
|
5e8570b427
|
build(deps-dev): bump vitest from 3.2.4 to 4.0.18 (#139)
Bumps [vitest](https://github.com/vitest-dev/vitest/tree/HEAD/packages/vitest) from 3.2.4 to 4.0.18.
- [Release notes](https://github.com/vitest-dev/vitest/releases)
- [Commits](https://github.com/vitest-dev/vitest/commits/v4.0.18/packages/vitest)
---
updated-dependencies:
- dependency-name: vitest
dependency-version: 4.0.18
dependency-type: direct:development
update-type: version-update:semver-major
...
Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
|
2026-02-13 19:17:26 +09:00 |
|
dependabot[bot]
|
5e03187405
|
build(deps-dev): bump @biomejs/biome from 1.9.4 to 2.3.3 (#108)
* build(deps-dev): bump @biomejs/biome from 1.9.4 to 2.3.3
Bumps [@biomejs/biome](https://github.com/biomejs/biome/tree/HEAD/packages/@biomejs/biome) from 1.9.4 to 2.3.3.
- [Release notes](https://github.com/biomejs/biome/releases)
- [Changelog](https://github.com/biomejs/biome/blob/main/packages/@biomejs/biome/CHANGELOG.md)
- [Commits](https://github.com/biomejs/biome/commits/@biomejs/biome@2.3.3/packages/@biomejs/biome)
---
updated-dependencies:
- dependency-name: "@biomejs/biome"
dependency-version: 2.3.3
dependency-type: direct:development
update-type: version-update:semver-major
...
Signed-off-by: dependabot[bot] <support@github.com>
* fix
---------
Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
Co-authored-by: cannorin <cannorin@users.noreply.github.com>
|
2025-11-16 03:12:18 +09:00 |
|
cannorin
|
9b75cf11c9
|
kripke: improve constant optimization (#107)
* kripke: improve constant optimization
* kripke: improve constant optimization (2)
---------
Co-authored-by: cannorin <cannorin@users.noreply.github.com>
|
2025-11-02 16:10:35 +09:00 |
|
|
|
ad56ae948e
|
Refactor (2)
|
2025-09-23 16:18:53 +09:00 |
|
|
|
c3b1bf39a4
|
Refactor (1)
|
2025-09-23 16:18:53 +09:00 |
|
|
|
adfae65138
|
kripke: more symbols
|
2025-02-22 11:19:58 +09:00 |
|
|
|
d8e03512ad
|
kripke: support word syntax
|
2025-02-22 10:53:58 +09:00 |
|
|
|
002531d48f
|
kripke: make it playable
|
2025-02-19 16:59:47 +09:00 |
|
|
|
68bd50648b
|
kripke: create PoC
|
2025-02-19 03:20:17 +09:00 |
|
|
|
960c5323ed
|
kripke: add frame input
|
2025-02-18 07:29:45 +09:00 |
|
|
|
7a81594a86
|
web: add /kripke
|
2025-02-18 05:24:54 +09:00 |
|
|
|
6d262460f2
|
kripke: add prettyPrint
|
2025-02-18 04:52:51 +09:00 |
|
|
|
58c9729b59
|
Merge branch 'main' of github.com:cannorin/cannorin.net
|
2025-02-17 23:22:35 +09:00 |
|
|
|
2e36390a5d
|
Add packages/kripke
|
2025-02-17 23:21:53 +09:00 |
|
