Commits

Branch selector

master

User selector

All users

All time

Commit history

Commits on Jun 30, 2021

• Able to check the queue module

  vrnithinkumar

  committed
  3836052View commit details

  Copy full SHA for 3836052

  Browse repository at this point

• Merge branch 'master' of https://github.com/vrnithinkumar/ETC

  vrnithinkumar

  committed
  ef65be4View commit details

  Copy full SHA for ef65be4

  Browse repository at this point

• parese empty list type signature

  vrnithinkumar

  committed
  3329df4View commit details

  Copy full SHA for 3329df4

  Browse repository at this point

• fixing no_return and map related issues

  vrnithinkumar

  committed
  3a4dd50View commit details

  Copy full SHA for 3a4dd50

  Browse repository at this point

Commits on Jun 28, 2021

• Update LICENSE

  vrnithinkumar

  authored
  1e7971bView commit details

  Copy full SHA for 1e7971b

  Browse repository at this point

• Update LICENSE

  vrnithinkumar

  authored
  2ef8e52View commit details

  Copy full SHA for 2ef8e52

  Browse repository at this point

Commits on Jun 14, 2021

• Any type check with '_'

  vrnithinkumar

  committed
  8eb38b3View commit details

  Copy full SHA for 8eb38b3

  Browse repository at this point

Commits on Jun 13, 2021

• compiler api change fix

  vrnithinkumar

  committed
  1af3705View commit details

  Copy full SHA for 1af3705

  Browse repository at this point

• minor change

  vrnithinkumar

  committed
  b8e3f0fView commit details

  Copy full SHA for b8e3f0f

  Browse repository at this point

Commits on May 30, 2021

• basic key-value type

  vrnithinkumar

  committed
  51d7038View commit details

  Copy full SHA for 51d7038

  Browse repository at this point

Commits on May 17, 2021

• Merge branch 'master' of https://github.com/vrnithinkumar/ETC

  vrnithinkumar

  committed
  b295418View commit details

  Copy full SHA for b295418

  Browse repository at this point

• Update README.md

  vrnithinkumar

  authored
  7fb2e20View commit details

  Copy full SHA for 7fb2e20

  Browse repository at this point

• Adding changes after paper

  vrnithinkumar

  committed
  aa820dfView commit details

  Copy full SHA for aa820df

  Browse repository at this point

Commits on May 7, 2021

• Adding example from grad talk

  vrnithinkumar

  committed
  d10addfView commit details

  Copy full SHA for d10addf

  Browse repository at this point

Commits on May 6, 2021

• Merge branch 'master' of https://github.com/vrnithinkumar/ETC

  vrnithinkumar

  committed
  00f2946View commit details

  Copy full SHA for 00f2946

  Browse repository at this point

• Update README.md

  vrnithinkumar

  authored
  20ed2cdView commit details

  Copy full SHA for 20ed2cd

  Browse repository at this point

• Fixing the union

  vrnithinkumar

  committed
  4fbd8a0View commit details

  Copy full SHA for 4fbd8a0

  Browse repository at this point

• map_poly.erl

  vrnithinkumar

  committed
  009d0adView commit details

  Copy full SHA for 009d0ad

  Browse repository at this point

Commits on May 5, 2021

• simple id test case

  vrnithinkumar

  committed
  d5178ceView commit details

  Copy full SHA for d5178ce

  Browse repository at this point

• comment and cleaning

  vrnithinkumar

  committed
  17717c5View commit details

  Copy full SHA for 17717c5

  Browse repository at this point

Commits on May 4, 2021

• minor fix in subset check and comments

  vrnithinkumar

  committed
  5bdcb28View commit details

  Copy full SHA for 5bdcb28

  Browse repository at this point

• saving fine works with ordsets

  vrnithinkumar

  committed
  006404aView commit details

  Copy full SHA for 006404a

  Browse repository at this point

Commits on May 3, 2021

• handling any or term as list of term or any

  vrnithinkumar

  committed
  d4d9da2View commit details

  Copy full SHA for d4d9da2

  Browse repository at this point

• Merge pull request #1 from vrnithinkumar/skol

  Show description for 62852c3
  vrnithinkumar

  authored
  62852c3View commit details

  Copy full SHA for 62852c3

  Browse repository at this point

• rename synthapp to synth_call

  vrnithinkumar

  committed
  9fb8923View commit details

  Copy full SHA for 9fb8923

  Browse repository at this point

• Rank-N type checking and spec infer

  vrnithinkumar

  committed
  f2a5b55View commit details

  Copy full SHA for f2a5b55

  Browse repository at this point

Commits on May 2, 2021

• saving test files

  vrnithinkumar

  committed
  8a100dfView commit details

  Copy full SHA for 8a100df

  Browse repository at this point

• head and tail test case

  vrnithinkumar

  committed
  5fa21dfView commit details

  Copy full SHA for 5fa21df

  Browse repository at this point

• replace_binding

  vrnithinkumar

  committed
  a6a959aView commit details

  Copy full SHA for a6a959a

  Browse repository at this point

• Adding Unary op

  vrnithinkumar

  committed
  3012a84View commit details

  Copy full SHA for 3012a84

  Browse repository at this point

• term is the king

  vrnithinkumar

  committed
  e873ab8View commit details

  Copy full SHA for e873ab8

  Browse repository at this point

• applyConstraints recursive apply

  vrnithinkumar

  committed
  51a6286View commit details

  Copy full SHA for 51a6286

  Browse repository at this point

Commits on May 1, 2021

• move the order for union to last case

  vrnithinkumar

  committed
  c296b6aView commit details

  Copy full SHA for c296b6a

  Browse repository at this point

• unify subtyping

  vrnithinkumar

  committed
  381ad1fView commit details

  Copy full SHA for 381ad1f

  Browse repository at this point

• number type as union of int and float

  vrnithinkumar

  committed
  e8f2136View commit details

  Copy full SHA for e8f2136

  Browse repository at this point