Commits

Branch selector

 develop

User selector

nikivazou

Datepicker

All time

Commit History

Commits on Oct 10, 2024

• remove new test from cabal

  nikivazou

  committed
  48f00c5

  Copy full SHA for 48f00c5

• add language pragma

  nikivazou

  committed
  85564de

  Copy full SHA for 85564de

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 #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

• 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

Commits on Oct 8, 2024

• Merge pull request #2365 from gergoerdi/T2363

  Show description for 2369087
  nikivazou

  authored
  2369087

  Copy full SHA for 2369087

• fix for #2349

  nikivazou

  committed
  0d383dd

  Copy full SHA for 0d383dd

Commits on Jul 24, 2024

• Merge pull request #2309 from clayrat/develop

  Show description for 2935a4b
  nikivazou

  authored
  2935a4b

  Copy full SHA for 2935a4b

Commits on Jul 22, 2024

• Merge pull request #2302 from clayrat/ple-set-theory

  Show description for c961c0c
  nikivazou

  authored
  c961c0c

  Copy full SHA for c961c0c

Commits on Jun 6, 2024

• Merge pull request #2299 from ucsd-progsys/nikivazou-patch-1

  Show description for 715d88d
  nikivazou

  authored
  715d88d

  Copy full SHA for 715d88d

• Update ProofCombinators.hs

  nikivazou

  authored
  9fc1eff

  Copy full SHA for 9fc1eff

• Update ProofCombinators.hs

  Show description for 6828cd3
  nikivazou

  authored
  6828cd3

  Copy full SHA for 6828cd3

Commits on Jun 4, 2024

• Merge pull request #2297 from ucsd-progsys/coercion

  Show description for 2575ff5
  nikivazou

  authored
  2575ff5

  Copy full SHA for 2575ff5

• remove NewTypes0

  nikivazou

  committed
  0dbeda1

  Copy full SHA for 0dbeda1

Commits on Jun 3, 2024

• hlink fix

  nikivazou

  committed
  1437330

  Copy full SHA for 1437330

• fix for coercion

  nikivazou

  committed
  33d5fde

  Copy full SHA for 33d5fde

Commits on May 17, 2024

• Merge pull request #2282 from clayrat/elab-set

  Show description for a38d768
  nikivazou

  authored
  a38d768

  Copy full SHA for a38d768

Commits on Oct 31, 2023

• Merge pull request #2230 from clayrat/9.2.8

  Show description for fe1c99a
  nikivazou

  authored
  fe1c99a

  Copy full SHA for fe1c99a

Commits on Oct 25, 2023

• Merge pull request #2233 from ucsd-progsys/nv

  Show description for 8d00ca5
  nikivazou

  authored
  8d00ca5

  Copy full SHA for 8d00ca5

• Update ByteString_LHAssumptions.hs

  Show description for bc94563
  nikivazou

  authored
  bc94563

  Copy full SHA for bc94563

Commits on Jul 28, 2023

• Merge pull request #2201 from clayrat/termination-refactor

  Show description for b83ea99
  nikivazou

  authored
  b83ea99

  Copy full SHA for b83ea99

Commits on Jul 6, 2023

• Merge pull request #2178 from clayrat/decrease-removal

  Show description for c746e46
  nikivazou

  authored
  c746e46

  Copy full SHA for c746e46

Commits on Jun 9, 2023

• Merge pull request #2177 from clayrat/plot-performance

  Show description for 39d7899
  nikivazou

  authored
  39d7899

  Copy full SHA for 39d7899

Commits on May 23, 2023

• Merge pull request #2173 from clayrat/implicit-removal

  Show description for c65427b
  nikivazou

  authored
  c65427b

  Copy full SHA for c65427b

Commits on Apr 14, 2023

• Merge pull request #1869 from renanroberto/floating-spec

  Show description for 4b9c6f0
  nikivazou

  authored
  4b9c6f0

  Copy full SHA for 4b9c6f0

Commits on Feb 16, 2023

• Merge pull request #2151 from tbidne/no-shadow

  Show description for efef712
  nikivazou

  authored
  efef712

  Copy full SHA for efef712

Commits on Feb 3, 2023

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

  Show description for 5e9347a
  nikivazou

  authored
  5e9347a

  Copy full SHA for 5e9347a

• Merge branch 'develop' into move-to-ghc-9.2

  nikivazou

  authored
  ed08166

  Copy full SHA for ed08166

• Update liquidhaskell.cabal

  nikivazou

  authored
  10f450e

  Copy full SHA for 10f450e

Commits on Feb 1, 2023

• Merge pull request #2138 from ucsd-progsys/lnot

  Show description for b8780ee
  nikivazou

  authored
  b8780ee

  Copy full SHA for b8780ee

• Merge pull request #2140 from ucsd-progsys/nv_dummy

  Show description for 87cc4b7
  nikivazou

  authored
  87cc4b7

  Copy full SHA for 87cc4b7

• dummy symbols after merge

  nikivazou

  committed
  cda9fc7

  Copy full SHA for cda9fc7

Pagination

Previous

Next