Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Feb 18, 2022

• Merge pull request #65 from vbgl/compat-with-core-0.12

  Show description for b3daa03
  

  scauligi

  authored
  b3daa03

  Copy full SHA for b3daa03

Commits on Feb 7, 2022

• Ensure compatibility with core ≥ 0.12

  vbgl

  committed
  f7a763a

  Copy full SHA for f7a763a

• Merge pull request #64 from vbgl/rename-stdlib

  Show description for b6820cf
  

  scauligi

  authored
  b6820cf

  Copy full SHA for b6820cf

Commits on Feb 2, 2022

• Rename Stdlib into Cstdlib

  Show description for bb72e4d
  vbgl

  committed
  bb72e4d

  Copy full SHA for bb72e4d

Commits on Aug 11, 2021

• Merge pull request #63 from ntauth/patch-1

  Show description for 86b86e7
  

  scauligi

  authored
  86b86e7

  Copy full SHA for 86b86e7

• Fix undefined reference to `makedev`

  Show description for 29aaeae
  ntauth

  authored
  29aaeae

  Copy full SHA for 29aaeae

Commits on Nov 13, 2019

• Merge pull request #61 from alex-chew/master

  Show description for c08b2e0
  

  scauligi

  authored
  c08b2e0

  Copy full SHA for c08b2e0

• fix obsolete ocamlswitch.txt URL in Dockerfile

  alex-chew

  committed
  3cde583

  Copy full SHA for 3cde583

Commits on Sep 3, 2019

• error msg for vacuous loop check

  

  scauligi

  committed
  68f6939

  Copy full SHA for 68f6939

Commits on Jun 23, 2019

• Update README.md

  bjohannesmeyer

  authored
  3de0124

  Copy full SHA for 3de0124

• Update README.md

  bjohannesmeyer

  authored
  4e0daae

  Copy full SHA for 4e0daae

Commits on Jun 21, 2019

• division typecheck bugfix

  

  scauligi

  committed
  ecd5e6d

  Copy full SHA for ecd5e6d

Commits on Jun 5, 2019

• syntax in failing test

  

  scauligi

  committed
  721da9b

  Copy full SHA for 721da9b

Commits on Apr 17, 2019

• extended paper

  

  scauligi

  committed
  7bc8961

  Copy full SHA for 7bc8961

Commits on Mar 31, 2019

• readme typo

  

  scauligi

  authored
  71b64d7

  Copy full SHA for 71b64d7

Commits on Mar 28, 2019

• readme nit

  

  scauligi

  committed
  dabd667

  Copy full SHA for dabd667

• VM and acks

  

  scauligi

  committed
  4b29909

  Copy full SHA for 4b29909

Commits on Mar 26, 2019

• Update README.md

  deian

  authored
  3cdc1fe

  Copy full SHA for 3cdc1fe

Commits on Feb 23, 2019

• readme nits

  

  scauligi

  committed
  62b97af

  Copy full SHA for 62b97af

• add macOS build instructions

  djrenren

  committed
  1b8ad3f

  Copy full SHA for 1b8ad3f

Commits on Feb 22, 2019

• example dir

  

  scauligi

  committed
  d1c7f6f

  Copy full SHA for d1c7f6f

• readme

  

  scauligi

  committed
  23663ca

  Copy full SHA for 23663ca

• remove unused options and commented-out code

  

  scauligi

  committed
  934e4ef

  Copy full SHA for 934e4ef

• remove old src dir

  

  scauligi

  committed
  be02db9

  Copy full SHA for be02db9

• better make command

  

  scauligi

  committed
  6e62869

  Copy full SHA for 6e62869

Commits on Feb 20, 2019

• nits

  

  scauligi

  committed
  840b737

  Copy full SHA for 840b737

• nits

  

  scauligi

  committed
  03c94f0

  Copy full SHA for 03c94f0

• nits

  

  scauligi

  committed
  a35e55c

  Copy full SHA for a35e55c

• readme nits

  

  scauligi

  committed
  c5ab564

  Copy full SHA for c5ab564

• produces factc instead of fact.byte

  

  scauligi

  committed
  af9b203

  Copy full SHA for af9b203

• produce native binaries

  

  scauligi

  committed
  fb3e284

  Copy full SHA for fb3e284

• readme

  

  scauligi

  committed
  63f2c31

  Copy full SHA for 63f2c31

Commits on Dec 16, 2018

• Update README.md

  bjohannesmeyer

  authored
  5975d43

  Copy full SHA for 5975d43

Commits on Nov 13, 2018

• all asm all the time

  

  scauligi

  committed
  070924c

  Copy full SHA for 070924c

Commits on Nov 12, 2018

• nits on -addl

  

  scauligi

  committed
  68fabba

  Copy full SHA for 68fabba

Pagination

Previous

Next