Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Jun 17, 2021

• Cata tactic should generalize let and ensure unifiability (#1938)

  Show description for 3f1a7df
  

  isovector

  and

  mergify[bot]

  authored
  3f1a7df

  Copy full SHA for 3f1a7df

• Remove ghc-8.8.2 support (#1934)

  jneira

  authored
  813e5ff

  Copy full SHA for 813e5ff

Commits on Jun 16, 2021

• Workaround for GHC 8.10.5 on macOS (#1931)

  Show description for 5db0108
  konn

  authored
  5db0108

  Copy full SHA for 5db0108

• Add manual upload instructions (#1930)

  Show description for e02c293
  jneira

  authored
  e02c293

  Copy full SHA for e02c293

Commits on Jun 15, 2021

• Perform name lookup directly in TacticsM (#1924)

  Show description for 344c4cd
  

  isovector

  and

  mergify[bot]

  authored
  344c4cd

  Copy full SHA for 344c4cd

• Add pointwise command to the metaprogram parser (#1921)

  Show description for 773452c
  isovector

  authored
  773452c

  Copy full SHA for 773452c

Commits on Jun 14, 2021

• Allow symbol identifiers in tactics (#1920)

  Show description for 8f5558a
  

  isovector

  and

  mergify[bot]

  authored
  8f5558a

  Copy full SHA for 8f5558a

• Include testdata in hls-refine-imports-plugin.cabal (#1922)

  Show description for 8a10c50
  felixonmars

  authored
  8a10c50

  Copy full SHA for 8a10c50

• Fall back to hiedb for invalid srcspan paths (#1918)

  pepeiborra

  authored
  369373e

  Copy full SHA for 369373e

Commits on Jun 13, 2021

• Fix `build` action for macOS (#1916)

  Show description for be2071e
  Ailrun

  authored
  be2071e

  Copy full SHA for be2071e

Commits on Jun 12, 2021

• Prepare 1.2.0 June release (#1912)

  Show description for 7d7c2ef
  Ailrun

  authored
  7d7c2ef

  Copy full SHA for 7d7c2ef

Commits on Jun 10, 2021

• Add GHC 8.10.5 support (#1899)

  Show description for 7ba6279
  Ailrun

  authored
  7ba6279

  Copy full SHA for 7ba6279

Commits on Jun 9, 2021

• Cleanup stack build output in circleci (#1905)

  jhrcek

  authored
  7ea2f65

  Copy full SHA for 7ea2f65

• Remove FeatureSet (#1902)

  Show description for 88795f6
  isovector

  authored
  88795f6

  Copy full SHA for 88795f6

Commits on Jun 7, 2021

• Correct a typo in ConfigUtils.hs (#1900)

  Show description for 0cc89d2
  felixonmars

  authored
  0cc89d2

  Copy full SHA for 0cc89d2

Commits on Jun 6, 2021

• Fix getCurrentDirectory calls in ghcide (#1897)

  Show description for 861c8bf
  pepeiborra

  authored
  861c8bf

  Copy full SHA for 861c8bf

• Ghc 9.0.1 support for ghcide (#1649)

  Show description for 0b3bb10
  

  anka-213

  and

  pepeiborra

  authored
  0b3bb10

  Copy full SHA for 0b3bb10

Commits on Jun 5, 2021

• Wingman: FIx evidence when using GADT constructors (#1889)

  Show description for 41bf8b8
  isovector

  authored
  41bf8b8

  Copy full SHA for 41bf8b8

Commits on Jun 4, 2021

• Fix unification pertaining to evidence (#1885)

  Show description for 1163ae7
  

  isovector

  and

  mergify[bot]

  authored
  1163ae7

  Copy full SHA for 1163ae7

• [explicit-imports] Take in a predicate to filter modules (#1888)

  pepeiborra

  authored
  4091538

  Copy full SHA for 4091538

Commits on Jun 3, 2021

• Let Wingman peek through type families (#1881)

  Show description for 6409ce8
  

  isovector

  and

  mergify[bot]

  authored
  6409ce8

  Copy full SHA for 6409ce8

Commits on Jun 2, 2021

• Technology preview: Keep track of changes to minimize rebuilds (#1862)

  Show description for 2ee2943
  pepeiborra

  authored
  2ee2943

  Copy full SHA for 2ee2943

Commits on Jun 1, 2021

• Use file watches for all workspace files (#1880)

  Show description for cee889e
  pepeiborra

  authored
  cee889e

  Copy full SHA for cee889e

Commits on May 31, 2021

• hie-compat: Add basic support for ghc 9.0.1 (#1635)

  Show description for 88548ac
  anka-213

  authored
  88548ac

  Copy full SHA for 88548ac

Commits on May 30, 2021

• Update IRC details in README.md (#1877)

  fendor

  authored
  5949390

  Copy full SHA for 5949390

Commits on May 27, 2021

• Fix nix build for #1858 (#1870)

  Show description for 959da62
  berberman

  authored
  959da62

  Copy full SHA for 959da62

Commits on May 26, 2021

• Trace more Shake evaluation details (#1861)

  Show description for 204fdcb
  pepeiborra

  authored
  204fdcb

  Copy full SHA for 204fdcb

• Avoid package-qualified import in Fourmolu plugin (#1848)

  Show description for 401cdef
  

  georgefst

  and

  mergify[bot]

  authored
  401cdef

  Copy full SHA for 401cdef

• Wingman metaprogram command documentation (#1867)

  Show description for 023cff7
  isovector

  authored
  023cff7

  Copy full SHA for 023cff7

Commits on May 25, 2021

• Catamorphism and collapse tactics (#1865)

  Show description for a7510a9
  

  isovector

  and

  mergify[bot]

  authored
  a7510a9

  Copy full SHA for a7510a9

• Split ghcide actions into different descriptors (#1857)

  Show description for 13a2cc2
  berberman

  authored
  13a2cc2

  Copy full SHA for 13a2cc2

Commits on May 24, 2021

• Fix condition of nix build job (#1864)

  berberman

  authored
  aa4bd29

  Copy full SHA for aa4bd29

• Use last apply-refact and several stack.yaml updates (#1858)

  Show description for da72a27
  jneira

  authored
  da72a27

  Copy full SHA for da72a27

• Use cabal-install if nix is failing in CI (#1859)

  Show description for 6606a06
  berberman

  authored
  6606a06

  Copy full SHA for 6606a06

Commits on May 23, 2021

• No need to delete twice (#1860)

  pepeiborra

  authored
  00bbcb1

  Copy full SHA for 00bbcb1

Pagination

Previous

Next