Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on Oct 12, 2024

• typo

  vekatze

  committed
  f2e7a8f
  More actions

• 0.17.5

  vekatze

  committed
  499e0f1
  More actions

• Merge pull request vekatze#225 from vekatze/fix-parallel-fetch

  vekatze

  authored
  4ab0ef0
  More actions

• fix the parallel module fetcher

  vekatze

  committed
  87808a8
  More actions

Commits on Oct 3, 2024

• 0.17.4

  vekatze

  committed
  2f3cc5a
  More actions

• Merge pull request vekatze#224 from vekatze/alloca-type

  vekatze

  authored
  9ee427b
  More actions

• don't specify the type of magic alloca

  vekatze

  committed
  5cbe36a
  More actions

• Merge pull request vekatze#223 from vekatze/update-core-0-50-28

  vekatze

  authored
  2ff96ba
  More actions

• update the core library (0-50-28)

  vekatze

  committed
  2e9c644
  More actions

Commits on Oct 1, 2024

• Merge pull request vekatze#222 from vekatze/update-core-0-50-27

  vekatze

  authored
  efb7587
  More actions

• update the core library

  vekatze

  committed
  52b85d8
  More actions

• Merge pull request vekatze#221 from vekatze/update-docs-0-50-26

  vekatze

  authored
  a8fc20b
  More actions

• update docs

  vekatze

  committed
  d9b11b3
  More actions

• Merge pull request vekatze#220 from vekatze/reorder-alpha-conv

  vekatze

  authored
  ccff03d
  More actions

• alpha-convert e in e(e1, ..., en) before e1, ..., en

  vekatze

  committed
  1c9b16a
  More actions

• Merge pull request vekatze#219 from vekatze/update-core-0-50-26

  vekatze

  authored
  b2f0361
  More actions

• update the core library (0-50-26)

  vekatze

  committed
  9b4b9ad
  More actions

Commits on Sep 30, 2024

• Merge pull request vekatze#218 from vekatze/lsp-cache-location-tree

  vekatze

  authored
  623e919
  More actions

• make extensions of cache files a bit more friendly

  vekatze

  committed
  823600b
  More actions

• lsp: extract LocationTree from Cache

  vekatze

  committed
  ab67b23
  More actions

• Merge pull request vekatze#217 from vekatze/lsp-completion-narrowing

  vekatze

  authored
  16d4ae0
  More actions

• fix: narrowing should be applied only to bare candidates

  vekatze

  committed
  2f793c4
  More actions

• lsp: stop suggesting ambiguous candidates

  vekatze

  committed
  f4bde67
  More actions

Commits on Sep 29, 2024

• Merge pull request vekatze#216 from vekatze/lsp-label-details

  vekatze

  authored
  182d95a
  More actions

• replace detail with labelDetails

  vekatze

  committed
  946e686
  More actions

• Merge pull request vekatze#215 from vekatze/dockerfile-syntax

  vekatze

  authored
  7f34dbc
  More actions

• ENV key value => ENV key=value

  vekatze

  committed
  c61ea71
  More actions

• Merge pull request vekatze#214 from vekatze/docs-introspect

  vekatze

  authored
  4895858
  More actions

• update docs

  vekatze

  committed
  a58bdc0
  More actions

Commits on Sep 21, 2024

• 0.17.3

  vekatze

  committed
  104a517
  More actions

• Merge pull request vekatze#213 from vekatze/update-docs

  vekatze

  authored
  83cf00d
  More actions

• docs: free variables in a local recursion (basis.md)

  vekatze

  committed
  714ccbf
  More actions

• docs: free variables in a local recursion

  vekatze

  committed
  ccd50fc
  More actions

• docs: add a screencast of minimizeImports

  vekatze

  committed
  73df8d7
  More actions

• docs: remove NEUT_CACHE_DIR

  vekatze

  committed
  0848ceb
  More actions

Pagination

PreviousNext