Commit Graph

  • 35f82063a9 perf: fuse direct and delayed mvar resolution into single-pass traversal Joachim Breitner 2026-03-03 09:52:22 +00:00
  • e8d238b81b chore: remove redundant scope_level check in cache_lookup Joachim Breitner 2026-03-03 09:37:29 +00:00
  • 03a5db34c7 feat: generalize String.Slice.Pos.cast (#12771) Markus Himmel 2026-03-03 10:23:51 +01:00
  • f4bbf748df feat: add deriving noncomputable instance syntax (#12756) Kim Morrison 2026-03-03 17:42:41 +11:00
  • 2bed27681a chore: comments Sofia Rodrigues 2026-03-03 01:06:23 -03:00
  • 5bb3b08698 Merge branch 'sofia/async-http-h1' into sofia/async-http-server Sofia Rodrigues 2026-03-03 00:55:17 -03:00
  • 82645d0953 docs: improve comments on h1 machine and errors Sofia Rodrigues 2026-03-03 00:55:12 -03:00
  • 46fe37290e feat: lake: download artifacts on demand (#12634) Mac Malone 2026-03-02 22:48:56 -05:00
  • 2ab52fb864 fix: test Sofia Rodrigues 2026-03-03 00:46:06 -03:00
  • 1bba3082f0 Merge branch 'sofia/async-http-h1' into sofia/async-http-server Sofia Rodrigues 2026-03-03 00:37:22 -03:00
  • 7ed7a1b69d fix: rfc Sofia Rodrigues 2026-03-03 00:37:13 -03:00
  • bd10d0193e Merge branch 'sofia/async-http-uri' into sofia/async-http-body Sofia Rodrigues 2026-03-03 00:36:46 -03:00
  • 67822f4c42 refactor: remove bv Sofia Rodrigues 2026-03-03 00:36:38 -03:00
  • e7f6fbb473 Merge branch 'sofia/async-http-h1' into sofia/async-http-server Sofia Rodrigues 2026-03-03 00:35:13 -03:00
  • 1cb3d56618 Merge branch 'sofia/async-http-body' into sofia/async-http-h1 Sofia Rodrigues 2026-03-03 00:34:37 -03:00
  • d99485dd79 Merge branch 'sofia/async-http-uri' into sofia/async-http-body Sofia Rodrigues 2026-03-03 00:34:30 -03:00
  • f85b9b8d09 Merge branch 'sofia/async-http-headers' into sofia/async-http-uri Sofia Rodrigues 2026-03-03 00:34:21 -03:00
  • 5fb254b7ef Merge branch 'sofia/async-http-data' into sofia/async-http-headers Sofia Rodrigues 2026-03-03 00:24:40 -03:00
  • 6e202e34a4 feat: all char predicates Sofia Rodrigues 2026-03-03 00:24:16 -03:00
  • 843c814778 Merge branch 'sofia/async-http-headers' into sofia/async-http-uri Sofia Rodrigues 2026-03-03 00:18:49 -03:00
  • c7d4d8d799 Merge branch 'sofia/async-http-data' into sofia/async-http-headers Sofia Rodrigues 2026-03-03 00:17:31 -03:00
  • 91c60f801c fix: rstore treeMap tests from master Sofia Rodrigues 2026-03-03 00:16:26 -03:00
  • dd710dd1bd feat: use StateT.run instead of function application (#5121) Kim Morrison 2026-03-03 14:12:26 +11:00
  • 0ad35b63c8 chore: replace workspace file with .vscode/ settings kim/vscode-settings Kim Morrison 2026-03-03 01:40:19 +00:00
  • 39aab44336 fix: use explicit ReaderT.run to avoid accidental recursion state_run Kim Morrison 2026-03-03 03:00:57 +00:00
  • 8f30efba2d fix: disambiguate monad parameter in StateT.run call in Lift.lean Kim Morrison 2026-03-03 02:34:48 +00:00
  • d085b97fc6 fix: revert StateT change in Lift.lean to function application Kim Morrison 2026-03-03 01:17:37 +00:00
  • 9a841125e7 chore: add HACK banner to isNonTrivialRegular transparency check (#12769) Kim Morrison 2026-03-03 11:40:08 +11:00
  • 126b1d56ec chore: add HACK banner to isNonTrivialRegular transparency check hack-comment-isNonTrivialRegular Kim Morrison 2026-03-03 00:30:52 +00:00
  • 2daaa50afb chore: constructorNameAsVariable linter respects linter.all (#4966) Kim Morrison 2026-03-03 11:20:21 +11:00
  • b302b63821 fix: use explicit StateT.run in Lake where dot notation fails Kim Morrison 2026-03-03 00:16:49 +00:00
  • 8ab452c991 fix: delete empty .out.expected files instead of leaving them empty constructorNameAsVariable_all Kim Morrison 2026-03-02 23:57:53 +00:00
  • ae30f55728 Merge branch 'sofia/async-http-data' into sofia/async-http-headers Sofia Rodrigues 2026-03-02 20:52:24 -03:00
  • 63b0cc17c4 fix: char predicates Sofia Rodrigues 2026-03-02 20:51:55 -03:00
  • 9940f2540c fix: use trimAscii instead of deprecated trim deriving-noncomputable-instance Kim Morrison 2026-03-02 23:20:10 +00:00
  • c9a5111dcc feat: add client states Sofia Rodrigues 2026-03-02 20:02:00 -03:00
  • 8e12a4181c Merge branch 'sofia/async-http-body' into sofia/async-http-h1 Sofia Rodrigues 2026-03-02 19:48:01 -03:00
  • 33393a7c00 Merge branch 'sofia/async-http-uri' into sofia/async-http-body Sofia Rodrigues 2026-03-02 19:47:55 -03:00
  • 7434b97511 Merge branch 'sofia/async-http-headers' into sofia/async-http-uri Sofia Rodrigues 2026-03-02 19:47:48 -03:00
  • 29c8f8cfa1 Merge branch 'sofia/async-http-data' into sofia/async-http-headers Sofia Rodrigues 2026-03-02 19:44:03 -03:00
  • 36b2d99e3d fix: encode Sofia Rodrigues 2026-03-02 19:43:57 -03:00
  • 145a121048 chore: update stage0 Lean stage0 autoupdater 2026-03-02 22:42:13 +00:00
  • 2068f0a706 perf: skip pass 2 when no delayed assignments are present Joachim Breitner 2026-03-02 22:41:10 +00:00
  • 4b8a48c817 fix: method parsing Sofia Rodrigues 2026-03-02 19:36:08 -03:00
  • e0862a0220 fix: tests Sofia Rodrigues 2026-03-02 19:35:36 -03:00
  • 5d29c6fb97 fix: handle fvar shadowing in instantiateAllMVars flat cache Joachim Breitner 2026-03-02 22:26:26 +00:00
  • cc31859a93 perf: flat cache with generation-based staleness for instantiateAllMVars pass 2 Joachim Breitner 2026-03-02 21:50:10 +00:00
  • 584d92d302 refactor: replace isImplicitReducible with Meta.isInstance in shouldInline (#12759) Leonardo de Moura 2026-03-02 13:49:46 -08:00
  • d4e4e7c559 chore: suppress -Wdeprecated-copy in instantiate_mvars_no_update.cpp Joachim Breitner 2026-03-02 17:09:02 +00:00
  • d66aaebca6 perf: simplify cbv ite/dite simprocs by reducing Decidable instance directly (#12677) Wojciech Różowski 2026-03-02 17:11:48 +00:00
  • 4ac7ea4aab perf: fixup BitVec.cpop termination proof performance (#12764) Henrik Böving 2026-03-02 17:53:45 +01:00
  • 87a814c986 perf: wire instantiateAllMVarsSharing as default instantiateMVars Joachim Breitner 2026-03-02 16:40:28 +00:00
  • 82e29deff9 more hbv/popcount Henrik Böving 2026-03-02 15:54:22 +00:00
  • 10fc7da3fa Merge branch 'sofia/async-http-h1' into sofia/async-http-server Sofia Rodrigues 2026-03-02 12:26:17 -03:00
  • a786df57f4 perf: fixup BitVec.cpop termination proof performance Henrik Böving 2026-03-02 15:26:14 +00:00
  • a1f535d9d8 fix: remove treemap Sofia Rodrigues 2026-03-02 12:26:13 -03:00
  • 993c87dd80 fix: methods Sofia Rodrigues 2026-03-02 12:26:00 -03:00
  • 742e3080c9 Merge branch 'sofia/async-http-body' into sofia/async-http-h1 Sofia Rodrigues 2026-03-02 12:02:25 -03:00
  • 3de1d21c86 Merge branch 'sofia/async-http-uri' into sofia/async-http-body Sofia Rodrigues 2026-03-02 12:01:25 -03:00
  • 83a0756b05 fix: remove treemap Sofia Rodrigues 2026-03-02 12:01:18 -03:00
  • b8f2cd94aa Merge branch 'sofia/async-http-headers' into sofia/async-http-uri Sofia Rodrigues 2026-03-02 12:00:58 -03:00
  • 64ff045559 fix: remove treemap Sofia Rodrigues 2026-03-02 12:00:55 -03:00
  • 109ab8eb68 Merge branch 'sofia/async-http-data' into sofia/async-http-headers Sofia Rodrigues 2026-03-02 11:59:21 -03:00
  • bf09ea8ff5 feat: remove tests temporarily Sofia Rodrigues 2026-03-02 11:56:45 -03:00
  • 7ce9fe9f97 feat: remove tests temporarily Sofia Rodrigues 2026-03-02 11:53:46 -03:00
  • aff9e0c459 refactor: rust-types-rs like method enum with IANA specification Sofia Rodrigues 2026-03-02 11:43:02 -03:00
  • a74df33feb fix: method Sofia Rodrigues 2026-02-28 15:40:55 -03:00
  • dd63b614eb fix: comments Sofia Rodrigues 2026-02-27 14:19:32 -03:00
  • 515e6e20c0 fix: test Sofia Rodrigues 2026-02-26 01:22:46 -03:00
  • cc45fc9cc2 fix: dots Sofia Rodrigues 2026-02-25 21:54:18 -03:00
  • bc9c18f0b0 fix: small changes Sofia Rodrigues 2026-02-25 20:56:19 -03:00
  • 8ee21a7176 fix: comment Sofia Rodrigues 2026-02-25 20:45:57 -03:00
  • 92aa9f2b8a fix: RFC checks and small improvements Sofia Rodrigues 2026-02-25 20:45:22 -03:00
  • c2243a0ea5 fix: tests Sofia Rodrigues 2026-02-24 09:20:52 -03:00
  • efbd23a6d9 fix: format Sofia Rodrigues 2026-02-24 09:09:35 -03:00
  • 26440fcf6a fix: extension values Sofia Rodrigues 2026-02-24 08:53:16 -03:00
  • ac4c5451e4 fix: data char Sofia Rodrigues 2026-02-23 22:18:15 -03:00
  • c94c5cb7e4 fix: comments Sofia Rodrigues 2026-02-21 01:25:05 -03:00
  • 78ca6edc99 feat: specialize quote Sofia Rodrigues 2026-02-21 00:53:15 -03:00
  • d92dc22df3 fix: test Sofia Rodrigues 2026-02-20 16:23:24 -03:00
  • 48ab74f044 fix: status code Sofia Rodrigues 2026-02-20 16:19:55 -03:00
  • da68a63902 feat: reason phrase in custom status code Sofia Rodrigues 2026-02-20 16:08:26 -03:00
  • db99fd2d7d feat: ignore reasonphrase Sofia Rodrigues 2026-02-19 14:01:21 -03:00
  • a61712c962 feat: validation in reasonPhrase Sofia Rodrigues 2026-02-19 13:13:22 -03:00
  • ea36555588 fix: reasonPhrase Sofia Rodrigues 2026-02-18 09:40:25 -03:00
  • b02bc4d6d2 feat: reason phrase Sofia Rodrigues 2026-02-17 21:07:48 -03:00
  • c836fe8723 fix: typos and compareName Sofia Rodrigues 2026-02-17 11:12:13 -03:00
  • 8068ed317c fix: typos Sofia Rodrigues 2026-02-13 11:33:18 -03:00
  • 0bd44ab745 fix: comment Sofia Rodrigues 2026-02-13 01:19:51 -03:00
  • 172d12c75c refactor: move trailers Sofia Rodrigues 2026-02-12 12:30:59 -03:00
  • 6b6b9fffff feat: add extension handling of quotes and ExtensionName Sofia Rodrigues 2026-02-12 12:21:47 -03:00
  • f3fa5c8242 fix: chunked Sofia Rodrigues 2026-02-11 19:22:30 -03:00
  • b0c5667f06 fix: import Sofia Rodrigues 2026-02-10 17:12:20 -03:00
  • 2d262c9755 fix: interpolation Sofia Rodrigues 2026-02-10 17:03:02 -03:00
  • 571898bf63 fix: extensions Sofia Rodrigues 2026-02-09 11:24:48 -03:00
  • 0570277a2e feat: add extensions Sofia Rodrigues 2026-02-09 11:18:24 -03:00
  • 557709d9bb fix: apply suggestions Sofia Rodrigues 2026-02-09 11:17:03 -03:00
  • 0229508ca7 refactor: remove headers Sofia Rodrigues 2026-01-25 12:16:13 -03:00
  • ace10ee42b fix: default size Sofia Rodrigues 2026-01-25 11:26:03 -03:00
  • 4e36dcc98f fix: apply suggestions Sofia Rodrigues 2026-01-25 11:21:06 -03:00