Commits

Branch selector

 develop

User selector

All users

Datepicker

All time

Commit History

Commits on Oct 10, 2024

• Create haskell.yml

  AYUSHMIT

  authored
  bf2896a

  Copy full SHA for bf2896a

• Merge pull request #2376 from ucsd-progsys/fd/move-reftable

  Show description for 5595507
  facundominguez

  authored
  5595507

  Copy full SHA for 5595507

• Update liquid-fixpoint

  facundominguez

  committed
  e63e417

  Copy full SHA for e63e417

• Move Reftable to liquidhaskell-boot

  facundominguez

  committed
  eb96c44

  Copy full SHA for eb96c44

• Remove bot method from Reftable

  facundominguez

  committed
  a8adc4a

  Copy full SHA for a8adc4a

• Remove params method from Reftable class

  facundominguez

  committed
  bb7921d

  Copy full SHA for bb7921d

• Merge pull request #2367 from gergoerdi/T2357

  Show description for bf68729
  facundominguez

  authored
  bf68729

  Copy full SHA for bf68729

• Merge pull request #2375 from ucsd-progsys/T2369

  Show description for e9716a4
  facundominguez

  authored
  e9716a4

  Copy full SHA for e9716a4

• Mention the issue motivating the parse hook

  facundominguez

  authored
  6dbd7e5

  Copy full SHA for 6dbd7e5

• Fix type annotation in T2369.hs

  facundominguez

  committed
  a460a6e

  Copy full SHA for a460a6e

• Merge branch 'develop' into T2369

  facundominguez

  authored
  db68372

  Copy full SHA for db68372

• Move T2369 and fix it for Haskell2010

  facundominguez

  committed
  6009052

  Copy full SHA for 6009052

• remove new test from cabal

  nikivazou

  committed
  48f00c5

  Copy full SHA for 48f00c5

• add language pragma

  nikivazou

  committed
  85564de

  Copy full SHA for 85564de

• Avoid re-parsing of input source files by instead storing the `ParsedModule`

  Show description for 62d90db
  

  Gergo Erdi

  committed
  62d90db

  Copy full SHA for 62d90db

• Instead of disabling plugins wholesale before recursive typechecking,

  Show description for be4ec34
  

  gergoerdi

  authored and

  Gergo Erdi

  committed
  be4ec34

  Copy full SHA for be4ec34

Commits on Oct 9, 2024

• JIC

  nikivazou

  committed
  5e9d2c6

  Copy full SHA for 5e9d2c6

• edit test place

  nikivazou

  committed
  3ea6669

  Copy full SHA for 3ea6669

• Merge pull request #2374 from ucsd-progsys/fd/remove-prtype

  Show description for f8c16ca
  facundominguez

  authored
  f8c16ca

  Copy full SHA for f8c16ca

• Merge pull request #2370 from ucsd-progsys/T2349

  Show description for 551a4a0
  nikivazou

  authored
  551a4a0

  Copy full SHA for 551a4a0

• fix for #2369

  nikivazou

  committed
  9e5d119

  Copy full SHA for 9e5d119

• Remove unused type synonym PrType

  facundominguez

  committed
  716e917

  Copy full SHA for 716e917

• Merge pull request #2373 from gergoerdi/cactus/z3mem-is-not-exe

  Show description for da1e495
  facundominguez

  authored
  da1e495

  Copy full SHA for da1e495

• Mention --etabeta in the change log

  facundominguez

  committed
  390457f

  Copy full SHA for 390457f

• Merge pull request #2356 from AlecsFerra/develop

  Show description for 2dcf550
  facundominguez

  authored
  2dcf550

  Copy full SHA for 2dcf550

• Bump lf version

  AlecsFerra

  committed
  7f2bfea

  Copy full SHA for 7f2bfea

• Merge branch 'ucsd-progsys:develop' into develop

  AlecsFerra

  authored
  11409b9

  Copy full SHA for 11409b9

• Merge pull request #2372 from gergoerdi/T2364

  Show description for 2211655
  facundominguez

  authored
  2211655

  Copy full SHA for 2211655

• Add T2349.hs to tests.cabal

  facundominguez

  committed
  ad2c748

  Copy full SHA for ad2c748

• Move T2349.hs to the basic testsuite

  facundominguez

  committed
  65c9215

  Copy full SHA for 65c9215

• Remove trailing spaces

  facundominguez

  committed
  711a934

  Copy full SHA for 711a934

• Add error expectation to tests/neg/T2349.hs

  facundominguez

  committed
  bfc5396

  Copy full SHA for bfc5396

• edits tests

  nikivazou

  committed
  69c9c72

  Copy full SHA for 69c9c72

• Update tests/pos/T2349.hs

  Show description for a4b7827
  

  nikivazou

  and

  facundominguez

  authored
  a4b7827

  Copy full SHA for a4b7827

• Feat: add fuse map test

  AlecsFerra

  committed
  2752bd0

  Copy full SHA for 2752bd0

Pagination

Previous

Next