Commits

Breadcrumbs

History for

ondevelop

User selector

All users

Datepicker

All time

Commit History

Commits on Feb 5, 2023

• Remove the include flag

  facundominguez

  committed
  e4a3331

• Remove the legacy executable

  facundominguez

  committed
  28d8f21

Commits on Feb 4, 2023

• Merge remote-tracking branch 'origin/v9.0.2-final' into HEAD

  facundominguez

  committed
  4e8ff56

• Adjust bounds of liquid-fixpoint

  facundominguez

  committed
  797f27d

Commits on Feb 3, 2023

• Merge pull request ucsd-progsys#2129 from mboes/move-to-ghc-9.2

  Show description for 5e9347a
  nikivazou

  authored
  5e9347a

• Fix cabal checks

  facundominguez

  committed
  e091969

• Update liquidhaskell.cabal

  nikivazou

  authored
  10f450e

Commits on Feb 2, 2023

• Bump version of liquidhaskell

  facundominguez

  committed
  7543799

Commits on Dec 26, 2022

• Port to GHC 9.2.

  mboes

  committed
  7506926

Commits on Dec 23, 2022

• Remove seemingly outdated comment

  mboes

  committed
  af8d29f

• Remove code supporting GHC < 9

  Show description for 9271a6b
  mboes

  committed
  9271a6b

Commits on Oct 11, 2022

• Merge branch 'develop' of github.com:ucsd-progsys/liquidhaskell into develop

  oquechy

  committed
  1d77229

Commits on Jul 23, 2022

• Move GHC modules to src-ghc and drop prefix.

  Show description for 7ec4dae
  philderbeast

  committed
  7ec4dae

Commits on Jun 17, 2022

• Update liquid-fixpoint

  facundominguez

  committed
  d86c303

Commits on Jun 6, 2022

• Initial commit removing -Wno-name-shadowing

  Show description for a6d8333
  tbidne

  committed
  a6d8333

Commits on May 30, 2022

• Revert "Remove -Wno-name-shadowing from liquidhaskell"

  facundominguez

  authored
  3ded06b

Commits on May 15, 2022

• Remove -Wno-name-shadowing from liquidhaskell

  tbidne

  committed
  78093eb

Commits on Apr 20, 2022

• Change the test framework to Cabal

  Fizzixnerd

  committed
  29a4ec8

Commits on Apr 15, 2022

• Remove redundant dependency.

  philderbeast

  committed
  5bda817

Commits on Mar 31, 2022

• Add stitch-lh dependencies to test for the old executable

  Fizzixnerd

  committed
  8fd7f82

• add haskeline for stitch-lh

  Fizzixnerd

  committed
  9f8a464

Commits on Mar 15, 2022

• Drop dependency on optparse-simple

  Show description for 6761038
  googleson78

  committed
  6761038

Commits on Feb 4, 2022

• Relax the upper bounds of recursion-schema and optparse-applicative

  facundominguez

  committed
  117f68e

Commits on Jan 19, 2022

• Document the Lib behavior better

  Fizzixnerd

  committed
  4170f5c

• Control parallelism for sequential tests

  Fizzixnerd

  committed
  3015491

• Parallelize tests

  Fizzixnerd

  committed
  c9c7292

Commits on Dec 1, 2021

• Rename "strict" flag to "devel"

  curiousleo

  committed
  e1da2cd

Commits on Nov 30, 2021

• Formatting

  curiousleo

  committed
  f1d84b5

• Add "strict" flag to build with "-Wall -Werror"

  curiousleo

  committed
  b1f4ba7

Commits on Nov 3, 2021

• remove unused gradual modules

  nikivazou

  committed
  6151981

• version update

  nikivazou

  committed
  a52a293

Commits on Nov 2, 2021

• Update lower bound of tasty to 1.4.2

  facundominguez

  committed
  505313f

Commits on Oct 28, 2021

• upper hashable bound

  nikivazou

  committed
  cb96049

Commits on Oct 7, 2021

• Merge

  zgrannan

  committed
  2f38626

Commits on Jul 22, 2021

• merged in classes

  ranjitjhala

  committed
  2fb8a38

Pagination

PreviousNext