arnekeller/kv
1
0
Fork 0
mirror of https://gitlab.kit.edu/uskyk/kv.git synced 2024-09-18 17:55:13 +00:00
Code Issues Packages Projects Releases Wiki Activity

Commit Graph

  • 38a5d2d36d Hotfix master Arne Keller 2023-11-09 12:09:12 +0100
  • 0723f5df4b Spicy 7-variable example Arne Keller 2023-11-09 11:42:59 +0100
  • 07e0ce40c4 Fix display issue with >= 5 variables Arne Keller 2023-11-09 11:36:14 +0100
  • 77805f75cf Update deploy script Arne Keller 2023-09-29 08:34:50 +0200
  • bab2c6a3ec Update dependencies Arne Keller 2023-09-29 08:34:22 +0200
  • 53d8ce6d3a Update source link Arne Keller 2023-09-29 08:33:42 +0200
  • 7109f6f6d6 CI setup Arne Keller 2021-03-20 22:51:19 +0100
  • d2bde4b507 final ci Arne Keller 2021-03-20 22:50:14 +0100
  • 1c90d33f65 support old rust Arne Keller 2021-03-20 22:48:44 +0100
  • 9267323a9f missing rustc Arne Keller 2021-03-20 22:47:23 +0100
  • 82bb17d772 Fix target dir Arne Keller 2021-03-20 22:46:35 +0100
  • b5a17ad31f Try 3 Arne Keller 2021-03-20 22:45:10 +0100
  • 519779c543 Try 2 Arne Keller 2021-03-20 22:42:18 +0100
  • e93c3c7c2b Public svg_fmt dep Arne Keller 2021-03-20 22:33:21 +0100
  • 67f039a2ce . Arne Keller 2021-03-20 22:30:26 +0100
  • c5c8acfaa6 Fix nix-shell syntax Arne Keller 2021-03-20 22:29:51 +0100
  • 7e11807eed CI: first attempt Arne Keller 2021-03-20 22:24:52 +0100
  • 9725ef0d85 meta viewport tag Arne Keller 2021-03-20 19:48:01 +0100
  • e8c1103444 Readme Arne Keller 2021-03-19 20:23:06 +0100
  • 50b1f4cfd6 Add header and source code link Arne Keller 2021-03-19 19:40:55 +0100
  • 443212a62b Fix misc. output issues Arne Keller 2021-03-19 19:34:52 +0100
  • 1895421d68 WASM: buttons to set entire input Arne Keller 2021-03-19 19:29:46 +0100
  • b2eeecfae6 Print variable labels optionally Arne Keller 2021-03-19 19:23:17 +0100
  • 8dff087377 DMF/KMF switch Arne Keller 2021-03-19 18:14:41 +0100
  • 6b4c6d9c22 Package metadata: license, repo, url Arne Keller 2021-03-18 13:20:54 +0100
  • fdc156d45c GPL3+ license Arne Keller 2021-03-18 12:18:54 +0000
  • 9a958925a3 Deploy script Arne Keller 2021-03-18 10:58:20 +0100
  • 4b0541c67a WASM port + misc. changes Arne Keller 2021-03-18 10:53:39 +0100
  • 24139814cc Output of specific solution Arne Keller 2021-03-15 19:17:03 +0100
  • d130341176 Fancy SVG display Arne Keller 2021-03-15 19:05:34 +0100
  • 900541c05f Basic SVG output Arne Keller 2021-03-15 16:42:00 +0100
  • d5e3da78f9 Full solution calculation Arne Keller 2021-03-15 15:33:17 +0100
  • 388ac6c412 Prime blocks finder + implicate printer Arne Keller 2021-03-15 15:00:24 +0100
  • 2fc0445901 Better combinatoric implementation Arne Keller 2021-03-13 11:43:24 +0100
  • 56752a11d4 Sub-optimal recursive solution Arne Keller 2021-03-13 11:11:40 +0100