Commits

Branch selector

 master

User selector

VictorTaelin

Datepicker

All time

Commit History

Commits on Jul 8, 2022

• Inc version

  VictorTaelin

  committed
  e8364ff

  Copy full SHA for e8364ff

• Merge branch 'master' of github.com:kindelia/hvm

  VictorTaelin

  committed
  906cb33

  Copy full SHA for 906cb33

• Merge branch 'HVM_V2'

  VictorTaelin

  committed
  52a84b4

  Copy full SHA for 52a84b4

• HVM now has 60-bit, instead of 32-bit, uints

  VictorTaelin

  committed
  2f963dd

  Copy full SHA for 2f963dd

• Improve garbage collection

  VictorTaelin

  committed
  912332f

  Copy full SHA for 912332f

• Store arity on Runtime instead of on Lnk, C version

  VictorTaelin

  committed
  cb1832d

  Copy full SHA for cb1832d

• Merge pull request HigherOrderCO#130 from FilipNordmark/patch-1

  Show description for 1eaa190
  VictorTaelin

  authored
  1eaa190

  Copy full SHA for 1eaa190

• Merge pull request HigherOrderCO#131 from XieJiSS/patch-1

  Show description for 4539aeb
  VictorTaelin

  authored
  4539aeb

  Copy full SHA for 4539aeb

Commits on Jun 19, 2022

• Pretty print applications

  VictorTaelin

  committed
  6f4f710

  Copy full SHA for 6f4f710

Commits on Jun 16, 2022

• Fix value

  VictorTaelin

  committed
  2dcc637

  Copy full SHA for 2dcc637

• Store arity on Runtime instead of on Lnk

  VictorTaelin

  committed
  e31dca9

  Copy full SHA for e31dca9

Commits on Jun 6, 2022

• Merge branch 'master' of github.com:kindelia/hvm

  VictorTaelin

  committed
  caca9b0

  Copy full SHA for caca9b0

• Allow backtick for strings

  VictorTaelin

  committed
  67bc0a5

  Copy full SHA for 67bc0a5

Commits on Apr 26, 2022

• Merge branch 'master' of github.com:kindelia/hvm

  VictorTaelin

  committed
  570e1e3

  Copy full SHA for 570e1e3

• Fix memory leak

  VictorTaelin

  committed
  31136b1

  Copy full SHA for 31136b1

Commits on Apr 20, 2022

• Merge pull request HigherOrderCO#107 from kings177/master

  Show description for bf593cf
  VictorTaelin

  authored
  bf593cf

  Copy full SHA for bf593cf

• Merge pull request HigherOrderCO#111 from timotree3/patch-1

  Show description for 60e6a68
  VictorTaelin

  authored
  60e6a68

  Copy full SHA for 60e6a68

Commits on Apr 13, 2022

• It was patched already

  VictorTaelin

  authored
  40461ce

  Copy full SHA for 40461ce

Commits on Apr 8, 2022

• Merge pull request HigherOrderCO#92 from quleuber/master

  Show description for 8987140
  VictorTaelin

  authored
  8987140

  Copy full SHA for 8987140

• Merge pull request HigherOrderCO#103 from miguel-nascimento/cli-clap

  Show description for 8fb30ac
  VictorTaelin

  authored
  8fb30ac

  Copy full SHA for 8fb30ac

Commits on Apr 4, 2022

• Make a few functions public

  VictorTaelin

  committed
  ddd5c98

  Copy full SHA for ddd5c98

Commits on Mar 27, 2022

• Improve unbound variable error message.

  VictorTaelin

  committed
  1a0199c

  Copy full SHA for 1a0199c

Commits on Mar 26, 2022

• Debug print call counts WIP

  VictorTaelin

  committed
  499a76a

  Copy full SHA for 499a76a

Commits on Mar 18, 2022

• Inc version

  VictorTaelin

  committed
  73a9a1b

  Copy full SHA for 73a9a1b

• Reverting to the non-broken commit

  VictorTaelin

  committed
  42771e3

  Copy full SHA for 42771e3

Commits on Mar 9, 2022

• Inc version

  VictorTaelin

  committed
  a09d37a

  Copy full SHA for a09d37a

Commits on Mar 2, 2022

• Update dependent-type-checker example

  VictorTaelin

  committed
  77c3997

  Copy full SHA for 77c3997

• Fix small leak and stack overflow on collect

  VictorTaelin

  committed
  b6661f0

  Copy full SHA for b6661f0

• Merge branch 'master' of github.com:kindelia/hvm

  VictorTaelin

  committed
  ef22aac

  Copy full SHA for ef22aac

• Add dependent type-checker example

  VictorTaelin

  committed
  fbdb76f

  Copy full SHA for fbdb76f

Commits on Feb 28, 2022

• Normalization-By-Evaluation example

  VictorTaelin

  committed
  f2de70f

  Copy full SHA for f2de70f

• Inc version

  VictorTaelin

  committed
  6448e7c

  Copy full SHA for 6448e7c

• Revert "Allow matching against CAL"

  Show description for d768033
  VictorTaelin

  committed
  d768033

  Copy full SHA for d768033

• Allow matching against CAL

  VictorTaelin

  committed
  900485e

  Copy full SHA for 900485e

Commits on Feb 26, 2022

• Inc version

  VictorTaelin

  committed
  f249c28

  Copy full SHA for f249c28

Pagination

Previous

Next