Commits

Branch selector

 master

User selector

All users

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

• docs: always use -pthread instead of -lpthread

  XieJiSS

  authored
  7fd4a3d

  Copy full SHA for 7fd4a3d

Commits on Jul 1, 2022

• Correct b to x

  FilipNordmark

  authored
  a24b68f

  Copy full SHA for a24b68f

Commits on Jun 23, 2022

• small typo

  lubomirkurcak

  authored
  59c1425

  Copy full SHA for 59c1425

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 Jun 1, 2022

• Merge pull request HigherOrderCO#108 from AdrianoII/master

  Show description for 9bd4599
  

  Kelvin Steiner Santos

  authored
  9bd4599

  Copy full SHA for 9bd4599

• Merge pull request HigherOrderCO#101 from hhefesto/master

  Show description for 819c8dd
  

  Kelvin Steiner Santos

  authored
  819c8dd

  Copy full SHA for 819c8dd

Commits on May 16, 2022

• Make cargo_fmt non-blocking

  AdrianoII

  committed
  0681919

  Copy full SHA for 0681919

• Add single thread mode

  AdrianoII

  committed
  b014fe3

  Copy full SHA for b014fe3

• Add skip test option and fix file extension

  AdrianoII

  committed
  a4dc6f1

  Copy full SHA for a4dc6f1

Commits on May 15, 2022

• Add a cli arg to skip tests

  AdrianoII

  committed
  70003f4

  Copy full SHA for 70003f4

Commits on May 8, 2022

• Merge pull request HigherOrderCO#2 from quleuber/cli_tests

  AdrianoII

  authored
  c676e8b

  Copy full SHA for c676e8b

Commits on May 3, 2022

• adding kind2 test

  Show description for 9b140d9
  

  Kelvin Santos

  committed
  9b140d9

  Copy full SHA for 9b140d9

• Merge remote-tracking branch 'upstream/master' into cli_tests

  

  Kelvin Santos

  committed
  6f7d7de

  Copy full SHA for 6f7d7de

• Merge pull request HigherOrderCO#113 from jsoref/spelling

  Show description for 9bdd13e
  

  Kelvin Steiner Santos

  authored
  9bdd13e

  Copy full SHA for 9bdd13e

• refactoring test script

  

  Kelvin Santos

  committed
  ae6ad71

  Copy full SHA for ae6ad71

Commits on May 2, 2022

• spelling: recursively

  Show description for b478e82
  jsoref

  committed
  b478e82

  Copy full SHA for b478e82

• spelling: initialise

  Show description for 4d70f18
  jsoref

  committed
  4d70f18

  Copy full SHA for 4d70f18

• spelling: embarrassingly

  Show description for 2a1dae0
  jsoref

  committed
  2a1dae0

  Copy full SHA for 2a1dae0

• spelling: elements

  Show description for 376b1a7
  jsoref

  committed
  376b1a7

  Copy full SHA for 376b1a7

• spelling: distinguished

  Show description for 62c6607
  jsoref

  committed
  62c6607

  Copy full SHA for 62c6607

• spelling: became

  Show description for 331da89
  jsoref

  committed
  331da89

  Copy full SHA for 331da89

• Run cargo-fmt

  Show description for 1b654bc
  jsoref

  committed
  1b654bc

  Copy full SHA for 1b654bc

Commits on Apr 26, 2022

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

  VictorTaelin

  committed
  570e1e3

  Copy full SHA for 570e1e3

Pagination

Previous

Next