Commit Graph

  • 3e72a409ba
    Merge branch 'main' into task/xsebek/web-repl-reply mergify[bot] 2024-08-15 17:37:59 +0000
  • 683aceaf5c
    No cURL buffering Ondřej Šebek 2024-08-15 00:43:55 +0200
  • b218a2efd2
    Restyled by fourmolu (#2118) restyled-io[bot] 2024-08-15 00:07:51 +0200
  • b759451f4a Restyled by fourmolu Restyled.io 2024-08-14 22:03:55 +0000
  • 9eac2e2ab0
    Add motivation as well Ondřej Šebek 2024-08-15 00:03:39 +0200
  • 22e6844a02
    Add note for streaming Ondřej Šebek 2024-08-15 00:03:01 +0200
  • 7750518853
    Update script help example with cURL GET Ondřej Šebek 2024-08-14 23:29:11 +0200
  • b437eabb0f Restyled by fourmolu Restyled.io 2024-08-14 07:22:27 +0000
  • 06046d5554 support structure intrusion Karl Ostmo 2024-08-13 11:52:01 -0700
  • d370cde52e add tests Karl Ostmo 2024-08-13 23:44:24 -0700
  • 1d8f067d9f
    eliminate remaining Cell dependence in structure recognizer (#2114) Karl Ostmo 2024-08-13 08:14:59 -0700
  • 9c8ef1b967 fix weeder Karl Ostmo 2024-08-13 01:00:44 -0700
  • 4aaed8017e module reorganization Karl Ostmo 2024-08-13 00:08:16 -0700
  • e4d0a52020 Remove Cell dependence from Precompute.hs Karl Ostmo 2024-08-12 23:43:33 -0700
  • 73d2cd79e0 extractor Karl Ostmo 2024-08-12 23:27:58 -0700
  • a997d315f6 bubble down 12 Karl Ostmo 2024-08-12 23:17:26 -0700
  • 3100a7c2ef bubble down 11 Karl Ostmo 2024-08-12 23:13:57 -0700
  • 03ab8093ef bubble down 10 Karl Ostmo 2024-08-12 23:10:43 -0700
  • 2db7619aff bubble down 9 Karl Ostmo 2024-08-12 23:01:12 -0700
  • a57dfd4866 bubble down 8 Karl Ostmo 2024-08-12 22:56:45 -0700
  • 271029b2f7 bubble down 7 Karl Ostmo 2024-08-12 22:54:54 -0700
  • 7bbcb59e5e bubble down 6 Karl Ostmo 2024-08-12 22:53:43 -0700
  • 27917e7eac bubble down 5 Karl Ostmo 2024-08-12 22:52:07 -0700
  • 860914a5cb bubble down 4 Karl Ostmo 2024-08-12 22:47:24 -0700
  • 83e1ce5304 bubble down 3 Karl Ostmo 2024-08-12 22:42:27 -0700
  • 6004ba467f lint cleanup Karl Ostmo 2024-08-12 22:39:35 -0700
  • 804171c564 bubble down 2 Karl Ostmo 2024-08-12 22:22:05 -0700
  • 3cbd58d068 bubble down 1 Karl Ostmo 2024-08-12 22:19:54 -0700
  • 185a617881 replace StructureCells type alias Karl Ostmo 2024-08-12 22:15:45 -0700
  • 58b72a7f70 type alias Karl Ostmo 2024-08-12 21:46:59 -0700
  • fa1c63e5c2 improve logging details for shape recognition Karl Ostmo 2024-08-12 20:32:24 -0700
  • f409acade8
    More generic structure recognition (#2112) Karl Ostmo 2024-08-12 15:10:27 -0500
  • 5beffa7ed3 fix addFound Karl Ostmo 2024-08-12 12:55:04 -0700
  • 1ab7b260b8 Update src/swarm-engine/Swarm/Game/State/Substate.hs Karl Ostmo 2024-08-12 12:20:27 -0700
  • 7a3294a7d0 Restyled by fourmolu Restyled.io 2024-08-12 19:20:55 +0000
  • 67b8e2467c
    Update src/swarm-engine/Swarm/Game/State/Substate.hs Karl Ostmo 2024-08-12 12:20:27 -0700
  • 46b0171e8c More generic structure recognition Karl Ostmo 2024-08-11 15:22:43 -0700
  • 1c7f8e1e5f Restyled by fourmolu Restyled.io 2024-08-11 22:23:35 +0000
  • ecdf4f6698 new zoom function experimental/refine-recognizer-api Karl Ostmo 2024-08-11 15:22:43 -0700
  • 84a29c4b86
    Merge 53b8a3b7ad into e031863d21 Karl Ostmo 2024-08-12 00:33:26 +0530
  • cb47315cdc
    Use readline Ondřej Šebek 2024-08-11 19:27:14 +0200
  • b5c13d6b37
    Restyle cabal Ondřej Šebek 2024-08-11 18:58:34 +0200
  • 5491c674f3
    Update REPL script Ondřej Šebek 2024-08-11 18:55:36 +0200
  • 9af6508cdf
    Add simple REPL shell script (#1427) Ondřej Šebek 2024-08-11 18:54:40 +0200
  • c3b7a5dc52
    Reply to Web API run with result Ondřej Šebek 2024-08-11 18:45:01 +0200
  • e031863d21
    Update integer list example (#2103) Ondřej Šebek 2024-08-09 22:22:02 +0200
  • b089e300c7
    Merge branch 'main' into task/xsebek/integer-list mergify[bot] 2024-08-09 20:07:31 +0000
  • d5c57b3213
    Move comment Ondřej Šebek 2024-08-09 21:52:12 +0200
  • e659ee9b39
    Add a note about new rec list Ondřej Šebek 2024-08-09 21:49:33 +0200
  • 164acf8a53
    Only check for escaped skolem variables among those just generated (#2104) Brent Yorgey 2024-08-09 14:39:05 -0500
  • ca4334e044
    Update integer list example Ondřej Šebek 2024-08-09 19:06:07 +0200
  • ff61a97bc4 Only check for escaped skolem variables among those just generated Brent Yorgey 2024-08-09 11:13:17 -0500
  • 6d1027cc56
    Put end on separate line when pretty printing definitions (#2100) Ondřej Šebek 2024-08-09 17:23:54 +0200
  • 2373c738ca
    Put end on separate line when pretty printing definitions Ondřej Šebek 2024-08-09 17:02:37 +0200
  • f82a544cc5
    Replace ReadableIORef with IO (#2098) Ondřej Šebek 2024-08-08 22:48:58 +0200
  • c1484db447
    Merge branch 'main' into remove-readable-io-ref mergify[bot] 2024-08-08 20:33:43 +0000
  • f0ef58df25
    Demo standalone colored structures (#2099) Karl Ostmo 2024-08-08 15:33:40 -0500
  • d05b1822b6
    Merge branch 'main' into feature/colored-structures mergify[bot] 2024-08-08 20:17:28 +0000
  • 2de08e065b explicit export list Karl Ostmo 2024-08-08 13:01:37 -0700
  • 2dc817ea60 Update data/test/standalone-topography/rainbow.yaml Karl Ostmo 2024-08-08 12:41:31 -0700
  • 18800e5982
    Update src/swarm-web/Swarm/Web.hs Ondřej Šebek 2024-08-08 21:54:17 +0200
  • e3f73d7790
    Remove direct swarm-util dependency from executable Ondřej Šebek 2024-08-08 21:46:58 +0200
  • 0674feb967
    Restyle Ondřej Šebek 2024-08-04 23:05:58 +0200
  • 3f533049e7
    Replace ReadableIORef with IO Ondřej Šebek 2024-08-04 23:05:32 +0200
  • 08045793b1
    Split debug options (#2094) Ondřej Šebek 2024-08-08 21:52:29 +0200
  • 0cec03b96e
    Merge branch 'main' into task/xsebek/debug-options mergify[bot] 2024-08-08 19:37:28 +0000
  • 226556d0f0
    Use Lens.contains Ondřej Šebek 2024-08-08 20:45:43 +0200
  • 67a9b3ff62
    Add extra to exe deps for enumerate Ondřej Šebek 2024-08-08 20:41:40 +0200
  • f2d324d712
    Make adding cheat slightly nicer Ondřej Šebek 2024-08-08 20:37:52 +0200
  • aa2f59eb87 Demo standalone colored structures Karl Ostmo 2024-08-08 08:44:15 -0700
  • fe5fdf1c27
    Update the UI on game start (#2095) Ondřej Šebek 2024-08-06 07:43:59 +0200
  • 7c37ae308c
    Merge branch 'main' into task/xsebek/update-on-start mergify[bot] 2024-08-06 05:16:24 +0000
  • 87fb8c667c
    Merge 0f45dc6429 into 52d5e2cc89 Karl Ostmo 2024-08-05 20:52:46 -0700
  • 0f45dc6429 palanquin scenario scenario/palanquin Karl Ostmo 2024-03-04 22:33:01 -0800
  • 52d5e2cc89
    Minor script fixes (#2048) Noah Yorgey 2024-08-05 12:21:33 -0400
  • 32ef46d139
    Merge branch 'main' into noahyor/replace-git mergify[bot] 2024-08-05 16:21:00 +0000
  • 3324ee1e15 Restyled by fourmolu Restyled.io 2024-08-04 20:36:59 +0000
  • e5c1f04443
    WIP: Pause on objective completion Ondřej Šebek 2024-08-04 22:35:22 +0200
  • 87b8fe77f7
    Add completions Ondřej Šebek 2024-08-04 18:38:50 +0200
  • 5757b8d2bb
    Sneakily modify debug options Ondřej Šebek 2024-08-04 18:10:46 +0200
  • cd249e6b44
    Restyle Ondřej Šebek 2024-08-04 17:45:49 +0200
  • d56aa46b8b
    Update the UI on game start Ondřej Šebek 2024-08-04 17:45:24 +0200
  • 274cf88e97
    Remove debugging output Ondřej Šebek 2024-08-04 15:41:28 +0200
  • 54474c1a8b
    Fix alphabet Ondřej Šebek 2024-08-04 15:41:14 +0200
  • 27dbe31224
    Split debug options Ondřej Šebek 2024-08-04 15:16:19 +0200
  • 3cf62ab294
    use structure palette markers in fishing scenario (#2093) Karl Ostmo 2024-08-01 11:43:22 -0700
  • 7d4050c732 use structure palette markers in fishing scenario Karl Ostmo 2024-07-31 20:40:10 -0700
  • 7597b7cb0f
    POC: Multiline REPL multiline-repl Ondřej Šebek 2024-08-01 00:10:42 +0200
  • 4231334028
    Structure placeholders in palette (#2086) Karl Ostmo 2024-07-31 11:07:43 -0700
  • d13bdfad34 demo without orientation Karl Ostmo 2024-07-31 10:50:10 -0700
  • 5c804a62f4 Structure placeholders in palette Karl Ostmo 2024-07-30 10:14:59 -0700
  • f3a15c69c5
    remove pandoc dependency from main game (#2084) Karl Ostmo 2024-07-29 17:57:36 -0700
  • c6058650cc
    Merge branch 'main' into refactor/mv-pandoc-dependency mergify[bot] 2024-07-30 00:43:08 +0000
  • 603d7cbb70
    Clarify speed option help text (#2082) Ondřej Šebek 2024-07-29 22:41:42 +0200
  • ab646aa201
    Merge branch 'main' into speed mergify[bot] 2024-07-29 20:27:20 +0000
  • e98660b0e4
    Add CLI option to start the game paused (#2080) Ondřej Šebek 2024-07-29 22:27:16 +0200
  • 59590afeab
    Merge branch 'main' into paused2 mergify[bot] 2024-07-29 20:09:18 +0000
  • 2a5e990497
    Update Main.hs Ondřej Šebek 2024-07-29 22:05:39 +0200
  • a7a402f0b9
    Better ApplicativeDo fix Ondřej Šebek 2024-07-29 20:58:39 +0200
  • d7456b6169
    Revert AUTO-PAUSED widget Ondřej Šebek 2024-07-29 20:47:01 +0200