Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Mar 26, 2025

• Merge pull request #23 from lkuper/master

  Show description for f872270
  ranjitjhala

  authored
  f872270

  Copy full SHA for f872270

Commits on Mar 17, 2025

• Bump GHC and Stackage LTS versions

  lkuper

  committed
  c51a8da

  Copy full SHA for c51a8da

Commits on Oct 5, 2023

• Merge pull request #20 from cole-k/master

  Show description for d0ffb13
  ranjitjhala

  authored
  d0ffb13

  Copy full SHA for d0ffb13

• update to ghc 9.4.7

  cole-k

  committed
  01b6da6

  Copy full SHA for 01b6da6

Commits on Apr 6, 2023

• Merge pull request #19 from lkuper/patch-1

  Show description for c0a491b
  ranjitjhala

  authored
  c0a491b

  Copy full SHA for c0a491b

• Add link to updated VS Code extension

  lkuper

  authored
  b43f03a

  Copy full SHA for b43f03a

Commits on Apr 1, 2023

• update demo URL

  ranjitjhala

  authored
  9df3fbb

  Copy full SHA for 9df3fbb

Commits on Sep 28, 2022

• bump cabal version

  ranjitjhala

  committed
  00e0bb9

  Copy full SHA for 00e0bb9

• bump cabal version

  ranjitjhala

  committed
  7826b35

  Copy full SHA for 7826b35

Commits on Sep 26, 2022

• Merge pull request #17 from rosekunkel/patch-1

  Show description for 32918df
  ranjitjhala

  authored
  32918df

  Copy full SHA for 32918df

• Update to use GHC 8.10.7

  rosekunkel

  authored
  fc668b1

  Copy full SHA for fc668b1

Commits on Sep 24, 2022

• Merge pull request #15 from mb64/normalization-by-evaluation

  Show description for 040aa85
  ranjitjhala

  authored
  040aa85

  Copy full SHA for 040aa85

• Merge pull request #16 from justinyaodu/parse-error-line-column

  Show description for fd896e9
  ranjitjhala

  authored
  fd896e9

  Copy full SHA for fd896e9

• More code cleanup

  justinyaodu

  committed
  c605a1a

  Copy full SHA for c605a1a

• Code cleanup

  justinyaodu

  committed
  7b0164f

  Copy full SHA for 7b0164f

• Working

  justinyaodu

  committed
  bf383ce

  Copy full SHA for bf383ce

• WIP: inserts row/col into error message

  justinyaodu

  committed
  6553b90

  Copy full SHA for 6553b90

Commits on Sep 23, 2022

• Add normalizaton test

  mb64

  committed
  c27ff24

  Copy full SHA for c27ff24

• Normalization by evaluation

  mb64

  committed
  e680dcd

  Copy full SHA for e680dcd

Commits on Apr 10, 2022

• Merge pull request #14 from glapa-grossklag/vim

  Show description for 64fa405
  ranjitjhala

  authored
  64fa405

  Copy full SHA for 64fa405

• Add link to Vim plugin

  glapa-grossklag

  committed
  a43e767

  Copy full SHA for a43e767

Commits on Sep 24, 2021

• update stack

  ranjitjhala

  committed
  20265e1

  Copy full SHA for 20265e1

Commits on Jan 12, 2021

• Update README.md

  ranjitjhala

  authored
  ba31ace

  Copy full SHA for ba31ace

Commits on Apr 14, 2020

• Merge pull request #12 from jevancc/feature/fix-duplicate-identifiers

  Show description for 3a7b857
  ranjitjhala

  authored
  3a7b857

  Copy full SHA for 3a7b857

• add tests for duplicate definitions and evaluations

  jevancc

  committed
  1ed7e9f

  Copy full SHA for 1ed7e9f

• fix error message

  jevancc

  committed
  9260d7e

  Copy full SHA for 9260d7e

• fix duplicate identifiers in test cases

  jevancc

  committed
  75300bb

  Copy full SHA for 75300bb

• check duplicate eval identifiers

  jevancc

  committed
  1ae35da

  Copy full SHA for 1ae35da

• check duplicate definition identifiers

  jevancc

  committed
  004680a

  Copy full SHA for 004680a

• add duplicate identifier error

  jevancc

  committed
  a658af6

  Copy full SHA for a658af6

Commits on Apr 9, 2020

• asd Merge branch 'master' of github.com:ucsd-progsys/elsa

  ranjitjhala

  committed
  e2e09cc

  Copy full SHA for e2e09cc

• added test

  ranjitjhala

  committed
  a052fd6

  Copy full SHA for a052fd6

Commits on Apr 6, 2020

• Update README.md

  ranjitjhala

  authored
  9e90125

  Copy full SHA for 9e90125

Commits on Mar 29, 2020

• bump stack lts

  ranjitjhala

  committed
  dbac992

  Copy full SHA for dbac992

Commits on Dec 30, 2019

• whereami

  ranjitjhala

  committed
  30ae285

  Copy full SHA for 30ae285

Pagination

Previous

Next