Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on Jan 3, 2016

• fixes to ml_translatorScript.sml after changes in HOL

  Show description for 9259641
  xrchz

  committed
  9259641

  Copy full SHA for 9259641

Commits on Dec 10, 2015

• ml_translatorLib works(?)

  myreen

  committed
  8bb5312

  Copy full SHA for 8bb5312

• got ml_translatorScript to build

  myreen

  committed
  6e964b4

  Copy full SHA for 6e964b4

Commits on Nov 10, 2015

• fixes to ml_translatorScript.sml

  Show description for 263d433
  xrchz

  committed
  263d433

  Copy full SHA for 263d433

Commits on Oct 28, 2015

• make prim_sem_env_eq's statement match its name better

  Show description for c70c31e
  xrchz

  committed
  c70c31e

  Copy full SHA for c70c31e

Commits on Oct 19, 2015

• remove some calls to parser in ml_translatorLib.sml

  Show description for 40290a9
  xrchz

  committed
  40290a9

  Copy full SHA for 40290a9

Commits on Oct 16, 2015

• translator directory now builds (CakeML#72)

  Show description for 7df92e4
  xrchz

  committed
  7df92e4

  Copy full SHA for 7df92e4

• update ml_translatorTheory and ml_optimiseTheory for ffi

  Show description for 79aeb79
  xrchz

  committed
  79aeb79

  Copy full SHA for 79aeb79

• get ml_pmatchTheory building (CakeML#72)

  xrchz

  committed
  438e5c4

  Copy full SHA for 438e5c4

• get ml_optimiseTheory building again (CakeML#72)

  xrchz

  committed
  83ed998

  Copy full SHA for 83ed998

• ml_translatorTheory builds (CakeML#72)

  xrchz

  committed
  f8d5a5a

  Copy full SHA for f8d5a5a

• more ml_translatorTheory (CakeML#72)

  xrchz

  committed
  bd0fd08

  Copy full SHA for bd0fd08

• a bit more ml_translatorTheory (CakeML#72)

  xrchz

  committed
  4732a1a

  Copy full SHA for 4732a1a

• work on updating ml_translatorScript

  Show description for a98de30
  xrchz

  committed
  a98de30

  Copy full SHA for a98de30

Commits on Sep 28, 2015

• remove parsing from translator's Holmakefile

  xrchz

  committed
  2004d6a

  Copy full SHA for 2004d6a

• remove very out-of-date validate_printerLib.sml

  Show description for 6454582
  xrchz

  committed
  6454582

  Copy full SHA for 6454582

Commits on Sep 12, 2015

• prefer bigStepTheory.evaluate_ind in ml_translatorScript.sml

  xrchz

  committed
  3c0fd5f

  Copy full SHA for 3c0fd5f

• Merge branch 'new_compiler' into fix_translator

  xrchz

  committed
  fcd4095

  Copy full SHA for fcd4095

Commits on Sep 9, 2015

• Merge branch 'master' into new_compiler

  Show description for 3b3b709
  xrchz

  committed
  3b3b709

  Copy full SHA for 3b3b709

Commits on Aug 22, 2015

• make file for a regression of translator

  myreen

  committed
  e71dbd6

  Copy full SHA for e71dbd6

• comment out redundant bits of auto-tactic

  myreen

  committed
  bc9c09e

  Copy full SHA for bc9c09e

• fix translator bug in precondition intro

  myreen

  committed
  1fa2e65

  Copy full SHA for 1fa2e65

Commits on Aug 19, 2015

• fix translator bug, that Yong Kiam narrowed down

  myreen

  committed
  ed183ef

  Copy full SHA for ed183ef

Commits on Aug 17, 2015

• start removing miscLib from translator

  Show description for 77fcf6f
  xrchz

  committed
  77fcf6f

  Copy full SHA for 77fcf6f

Commits on Jul 30, 2015

• bug fix for translation of Vectors

  myreen

  committed
  8031ef7

  Copy full SHA for 8031ef7

• attempt to get translator working with FFI and change to Equal(?!)

  myreen

  committed
  1860194

  Copy full SHA for 1860194

Commits on Jul 8, 2015

• Holmakefile fix in translator

  Show description for 04eb4c1
  SOwens

  committed
  04eb4c1

  Copy full SHA for 04eb4c1

Commits on Jun 9, 2015

• Merge remote-tracking branch 'origin/master' into new_compiler

  SOwens

  committed
  25570b0

  Copy full SHA for 25570b0

Commits on Jun 4, 2015

• update for rename of deepMatches to patternMatches

  xrchz

  committed
  ab03949

  Copy full SHA for ab03949

Commits on Apr 30, 2015

• get ml_translatorScript.sml building again after merge

  Show description for 31086c1
  xrchz

  committed
  31086c1

  Copy full SHA for 31086c1

• Merge remote-tracking branch 'origin/master' into new_compiler

  Show description for dcdc50e
  xrchz

  committed
  dcdc50e

  Copy full SHA for dcdc50e

Commits on Apr 28, 2015

• apparent typo in ml_translatorLib.sml

  xrchz

  committed
  8eb69c3

  Copy full SHA for 8eb69c3

Commits on Apr 23, 2015

• Merge remote-tracking branch 'origin/master' into multi_args

  xrchz

  committed
  1b1aa15

  Copy full SHA for 1b1aa15

Commits on Apr 22, 2015

• translator/other-examples builds again

  myreen

  committed
  e0ace2d

  Copy full SHA for e0ace2d

• translator dir builds again

  myreen

  committed
  ee71a7e

  Copy full SHA for ee71a7e

Pagination

Previous

Next