Commit Graph

196 Commits

Author SHA1 Message Date
dependabot[bot]
bd973bb99b build(deps-dev): bump autoprefixer from 10.4.20 to 10.4.21 (#109)
Bumps [autoprefixer](https://github.com/postcss/autoprefixer) from 10.4.20 to 10.4.21.
- [Release notes](https://github.com/postcss/autoprefixer/releases)
- [Changelog](https://github.com/postcss/autoprefixer/blob/main/CHANGELOG.md)
- [Commits](https://github.com/postcss/autoprefixer/compare/10.4.20...10.4.21)

---
updated-dependencies:
- dependency-name: autoprefixer
  dependency-version: 10.4.21
  dependency-type: direct:development
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
2025-11-16 02:56:54 +09:00
dependabot[bot]
f45d414f30 build(deps): bump zod from 4.1.11 to 4.1.12 (#110)
Bumps [zod](https://github.com/colinhacks/zod) from 4.1.11 to 4.1.12.
- [Release notes](https://github.com/colinhacks/zod/releases)
- [Commits](https://github.com/colinhacks/zod/compare/v4.1.11...v4.1.12)

---
updated-dependencies:
- dependency-name: zod
  dependency-version: 4.1.12
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
2025-11-16 02:56:41 +09:00
dependabot[bot]
d7350fba8f build(deps-dev): bump svelte-check from 4.1.5 to 4.3.3 (#111)
Bumps [svelte-check](https://github.com/sveltejs/language-tools) from 4.1.5 to 4.3.3.
- [Release notes](https://github.com/sveltejs/language-tools/releases)
- [Commits](https://github.com/sveltejs/language-tools/compare/svelte-check-4.1.5...svelte-check@4.3.3)

---
updated-dependencies:
- dependency-name: svelte-check
  dependency-version: 4.3.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>
2025-11-16 02:56:30 +09:00
7f8397d323 math: update paper info 2025-11-16 02:55:37 +09:00
dependabot[bot]
c565729d5c build(deps-dev): bump @sveltejs/vite-plugin-svelte from 6.2.0 to 6.2.1 (#96)
Bumps [@sveltejs/vite-plugin-svelte](https://github.com/sveltejs/vite-plugin-svelte/tree/HEAD/packages/vite-plugin-svelte) from 6.2.0 to 6.2.1.
- [Release notes](https://github.com/sveltejs/vite-plugin-svelte/releases)
- [Changelog](https://github.com/sveltejs/vite-plugin-svelte/blob/main/packages/vite-plugin-svelte/CHANGELOG.md)
- [Commits](https://github.com/sveltejs/vite-plugin-svelte/commits/@sveltejs/vite-plugin-svelte@6.2.1/packages/vite-plugin-svelte)

---
updated-dependencies:
- dependency-name: "@sveltejs/vite-plugin-svelte"
  dependency-version: 6.2.1
  dependency-type: direct:development
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
2025-11-02 19:51:40 +09:00
dependabot[bot]
18e3710ce5 build(deps): bump @fontsource/poiret-one from 5.2.6 to 5.2.8 (#95)
Bumps [@fontsource/poiret-one](https://github.com/fontsource/font-files/tree/HEAD/fonts/google/poiret-one) from 5.2.6 to 5.2.8.
- [Changelog](https://github.com/fontsource/font-files/blob/main/CHANGELOG.md)
- [Commits](https://github.com/fontsource/font-files/commits/HEAD/fonts/google/poiret-one)

---
updated-dependencies:
- dependency-name: "@fontsource/poiret-one"
  dependency-version: 5.2.8
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
2025-11-02 16:11:42 +09:00
dependabot[bot]
bb7ace26f2 build(deps-dev): bump remark-math from 3.0.1 to 6.0.0 (#93)
Bumps [remark-math](https://github.com/remarkjs/remark-math) from 3.0.1 to 6.0.0.
- [Release notes](https://github.com/remarkjs/remark-math/releases)
- [Commits](https://github.com/remarkjs/remark-math/compare/3.0.1...6.0.0)

---
updated-dependencies:
- dependency-name: remark-math
  dependency-version: 6.0.0
  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>
2025-11-02 16:11:32 +09:00
dependabot[bot]
ade2984b51 build(deps-dev): bump vite from 7.1.7 to 7.1.12 (#105)
Bumps [vite](https://github.com/vitejs/vite/tree/HEAD/packages/vite) from 7.1.7 to 7.1.12.
- [Release notes](https://github.com/vitejs/vite/releases)
- [Changelog](https://github.com/vitejs/vite/blob/v7.1.12/packages/vite/CHANGELOG.md)
- [Commits](https://github.com/vitejs/vite/commits/v7.1.12/packages/vite)

---
updated-dependencies:
- dependency-name: vite
  dependency-version: 7.1.12
  dependency-type: direct:development
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
2025-11-02 16:10:59 +09:00
dependabot[bot]
2ae0d16faf build(deps-dev): bump @sveltejs/kit from 2.20.7 to 2.48.0 (#106)
Bumps [@sveltejs/kit](https://github.com/sveltejs/kit/tree/HEAD/packages/kit) from 2.20.7 to 2.48.0.
- [Release notes](https://github.com/sveltejs/kit/releases)
- [Changelog](https://github.com/sveltejs/kit/blob/main/packages/kit/CHANGELOG.md)
- [Commits](https://github.com/sveltejs/kit/commits/@sveltejs/kit@2.48.0/packages/kit)

---
updated-dependencies:
- dependency-name: "@sveltejs/kit"
  dependency-version: 2.48.0
  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>
2025-11-02 16:10:48 +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
09f1aaf68b kripke: add stats (3) 2025-09-24 20:38:23 +09:00
585059aa32 kripke: add stats (2) 2025-09-24 20:27:57 +09:00
3edaed9327 kripke: add stats 2025-09-24 20:22:19 +09:00
dependabot[bot]
4895dd2863 build(deps): bump the npm_and_yarn group across 1 directory with 2 updates (#92)
Bumps the npm_and_yarn group with 2 updates in the / directory: [brace-expansion](https://github.com/juliangruber/brace-expansion) and [devalue](https://github.com/sveltejs/devalue).


Updates `brace-expansion` from 2.0.1 to 2.0.2
- [Release notes](https://github.com/juliangruber/brace-expansion/releases)
- [Commits](https://github.com/juliangruber/brace-expansion/compare/v2.0.1...v2.0.2)

Updates `devalue` from 5.1.1 to 5.3.2
- [Release notes](https://github.com/sveltejs/devalue/releases)
- [Changelog](https://github.com/sveltejs/devalue/blob/main/CHANGELOG.md)
- [Commits](https://github.com/sveltejs/devalue/compare/v5.1.1...v5.3.2)

---
updated-dependencies:
- dependency-name: brace-expansion
  dependency-version: 2.0.2
  dependency-type: indirect
  dependency-group: npm_and_yarn
- dependency-name: devalue
  dependency-version: 5.3.2
  dependency-type: indirect
  dependency-group: npm_and_yarn
...

Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
2025-09-24 00:06:43 +09:00
ffb66d8719 kripke: prevent answering isomorphic frames again 2025-09-23 20:39:24 +09:00
cannorin
25a904a89a Upgrade Vite to v7
* Update vite to v7

* Update vite to v7 (2)

* Update vite to v7 (3)

* Update vite to v7 (4)

---------

Co-authored-by: cannorin <cannorin@users.noreply.github.com>
2025-09-23 16:46:55 +09:00
dependabot[bot]
e596916ebe build(deps): bump @icons-pack/svelte-simple-icons from 4.0.1 to 6.4.0
Bumps [@icons-pack/svelte-simple-icons](https://github.com/icons-pack/svelte-simple-icons) from 4.0.1 to 6.4.0.
- [Release notes](https://github.com/icons-pack/svelte-simple-icons/releases)
- [Changelog](https://github.com/icons-pack/svelte-simple-icons/blob/main/CHANGELOG.md)
- [Commits](https://github.com/icons-pack/svelte-simple-icons/compare/v4.0.1...v6.4.0)

---
updated-dependencies:
- dependency-name: "@icons-pack/svelte-simple-icons"
  dependency-version: 6.4.0
  dependency-type: direct:production
  update-type: version-update:semver-major
...

Signed-off-by: dependabot[bot] <support@github.com>
2025-09-23 16:23:53 +09:00
065c59486c ci: run tests 2025-09-23 16:18:53 +09:00
ad56ae948e Refactor (2) 2025-09-23 16:18:53 +09:00
c3b1bf39a4 Refactor (1) 2025-09-23 16:18:53 +09:00
6b15542c40 math: update alc2025.pdf (3) 2025-09-12 13:47:46 +09:00
ec9754317b math: update alc2025.pdf (2) 2025-09-12 09:41:52 +09:00
ccbea0b750 math: update alc2025.pdf 2025-09-11 17:59:33 +09:00
e2ef49385f kripke: fix form enter behavior 2025-09-10 11:54:12 +09:00
36f83c1e9d math: add alc2025.pdf 2025-09-10 11:36:57 +09:00
dependabot[bot]
24aa4277ca build(deps-dev): bump @sveltejs/adapter-cloudflare from 7.0.1 to 7.2.3 (#82)
Bumps [@sveltejs/adapter-cloudflare](https://github.com/sveltejs/kit/tree/HEAD/packages/adapter-cloudflare) from 7.0.1 to 7.2.3.
- [Release notes](https://github.com/sveltejs/kit/releases)
- [Changelog](https://github.com/sveltejs/kit/blob/main/packages/adapter-cloudflare/CHANGELOG.md)
- [Commits](https://github.com/sveltejs/kit/commits/@sveltejs/adapter-cloudflare@7.2.3/packages/adapter-cloudflare)

---
updated-dependencies:
- dependency-name: "@sveltejs/adapter-cloudflare"
  dependency-version: 7.2.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>
2025-09-09 06:40:11 +09:00
1fe870bdbc kripke: add math keys 2025-09-09 06:39:02 +09:00
925fd26341 Update /math (2) 2025-08-19 01:11:52 +09:00
95a43ff829 Update /math 2025-08-19 01:06:30 +09:00
dependabot[bot]
c379eda7e7 build(deps): bump @fontsource/poiret-one from 5.1.1 to 5.2.6 (#67)
Some checks failed
CI / build (push) Has been cancelled
---
updated-dependencies:
- dependency-name: "@fontsource/poiret-one"
  dependency-version: 5.2.6
  dependency-type: direct:production
  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>
2025-08-06 15:17:22 +09:00
dependabot[bot]
39a5d9d804 build(deps): bump sveltekit-rate-limiter from 0.6.1 to 0.7.0 (#66)
Bumps [sveltekit-rate-limiter](https://github.com/ciscoheat/sveltekit-rate-limiter) from 0.6.1 to 0.7.0.
- [Release notes](https://github.com/ciscoheat/sveltekit-rate-limiter/releases)
- [Changelog](https://github.com/ciscoheat/sveltekit-rate-limiter/blob/main/CHANGELOG.md)
- [Commits](https://github.com/ciscoheat/sveltekit-rate-limiter/compare/v0.6.1...v0.7.0)

---
updated-dependencies:
- dependency-name: sveltekit-rate-limiter
  dependency-version: 0.7.0
  dependency-type: direct:production
  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>
2025-07-08 22:55:14 +09:00
ae1fdeb30c Update /math/lc2025.pdf (8) 2025-07-08 19:03:38 +09:00
3b8ab7cfd1 Update /math/lc2025.pdf (7) 2025-07-08 18:24:27 +09:00
a5abf652f4 Update /math/lc2025.pdf (6) 2025-07-08 18:20:37 +09:00
8987b6bace Update /math/lc2025.pdf (5) 2025-07-08 16:39:00 +09:00
fc821fcd44 Add contents to /links 2025-07-08 16:14:40 +09:00
e42d3fb60a Update /math/lc2025.pdf (4) 2025-07-07 19:28:47 +09:00
dependabot[bot]
0995ec575f build(deps-dev): bump vite from 5.4.18 to 5.4.19 in /apps/web in the npm_and_yarn group across 1 directory (#56)
* build(deps-dev): bump vite

Bumps the npm_and_yarn group with 1 update in the /apps/web directory: [vite](https://github.com/vitejs/vite/tree/HEAD/packages/vite).


Updates `vite` from 5.4.18 to 5.4.19
- [Release notes](https://github.com/vitejs/vite/releases)
- [Changelog](https://github.com/vitejs/vite/blob/v5.4.19/packages/vite/CHANGELOG.md)
- [Commits](https://github.com/vitejs/vite/commits/v5.4.19/packages/vite)

---
updated-dependencies:
- dependency-name: vite
  dependency-version: 5.4.19
  dependency-type: direct:development
  dependency-group: npm_and_yarn
...

Signed-off-by: dependabot[bot] <support@github.com>

* yarn install

---------

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-07-07 17:57:27 +09:00
dependabot[bot]
2918881432 build(deps-dev): bump schema-dts from 1.1.2 to 1.1.5 (#57)
Bumps [schema-dts](https://github.com/google/schema-dts/tree/HEAD/packages/schema-dts) from 1.1.2 to 1.1.5.
- [Release notes](https://github.com/google/schema-dts/releases)
- [Commits](https://github.com/google/schema-dts/commits/v1.1.5/packages/schema-dts)

---
updated-dependencies:
- dependency-name: schema-dts
  dependency-version: 1.1.5
  dependency-type: direct:development
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
2025-07-07 17:50:24 +09:00
bc5ac73d2b Update /math/lc2025.pdf (3) 2025-07-07 17:49:31 +09:00
b113617ba8 Update /math/lc2025.pdf (2) 2025-07-05 17:26:53 +09:00
f7ee4c0078 Update /math/lc2025.pdf 2025-07-05 17:23:47 +09:00
219063638b Add /math/lc2025.pdf 2025-07-05 01:12:02 +09:00
deb155d0e2 chore: add CI (2) 2025-05-10 11:20:05 +09:00
d5016685f5 chore: add CI 2025-05-10 11:17:00 +09:00
360ee579f2 chore: yarn set version 4.9.1 2025-05-10 11:12:43 +09:00
46f6ca2465 math: submitted 2503.10176 2025-05-10 11:12:11 +09:00
dependabot[bot]
711e6ad207 build(deps-dev): bump mdsvex from 0.12.3 to 0.12.5 (#53)
Bumps [mdsvex](https://github.com/pngwn/MDsveX) from 0.12.3 to 0.12.5.
- [Release notes](https://github.com/pngwn/MDsveX/releases)
- [Commits](https://github.com/pngwn/MDsveX/compare/mdsvex@0.12.3...mdsvex@0.12.5)

---
updated-dependencies:
- dependency-name: mdsvex
  dependency-version: 0.12.5
  dependency-type: direct:development
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
2025-05-10 11:10:14 +09:00
dependabot[bot]
efc311d1bd build(deps-dev): bump @sveltejs/kit from 2.15.1 to 2.20.6 in /apps/web in the npm_and_yarn group across 1 directory (#46)
* build(deps-dev): bump @sveltejs/kit

Bumps the npm_and_yarn group with 1 update in the /apps/web directory: [@sveltejs/kit](https://github.com/sveltejs/kit/tree/HEAD/packages/kit).


Updates `@sveltejs/kit` from 2.15.1 to 2.20.6
- [Release notes](https://github.com/sveltejs/kit/releases)
- [Changelog](https://github.com/sveltejs/kit/blob/main/packages/kit/CHANGELOG.md)
- [Commits](https://github.com/sveltejs/kit/commits/@sveltejs/kit@2.20.6/packages/kit)

---
updated-dependencies:
- dependency-name: "@sveltejs/kit"
  dependency-version: 2.20.6
  dependency-type: direct:development
  dependency-group: npm_and_yarn
...

Signed-off-by: dependabot[bot] <support@github.com>

* Update yarn.lock

---------

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-04-20 00:40:07 +09:00
dependabot[bot]
9dcaadb7a8 Merge pull request #42 from cannorin/dependabot/npm_and_yarn/sveltejs/adapter-auto-6.0.0
build(deps-dev): bump @sveltejs/adapter-auto from 3.3.1 to 6.0.0
2025-04-20 00:35:08 +09:00