Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on Apr 6, 2018

• Move definitions into proper places

  Show description for fd873e7
  tanyongkiam

  committed
  fd873e7

  Copy full SHA for fd873e7

Commits on Apr 5, 2018

• Optimize data collection for speed

  Show description for 68a98f9
  tanyongkiam

  committed
  68a98f9

  Copy full SHA for 68a98f9

• Add heuristics and (roughly) pretty print it

  tanyongkiam

  committed
  9ddbcb4

  Copy full SHA for 9ddbcb4

• Fix sign error in reg_alloc

  tanyongkiam

  committed
  dd411cf

  Copy full SHA for dd411cf

Commits on Mar 31, 2018

• Fix parsing test for p/printing changes in HOL

  mn200

  committed
  ea2ce5d

  Copy full SHA for ea2ce5d

Commits on Mar 29, 2018

• Minor fixes to bootstrap translation

  myreen

  committed
  a45bac1

  Copy full SHA for a45bac1

Commits on Mar 28, 2018

• Merge remote-tracking branch 'origin/master' into trans-ind

  myreen

  committed
  6c7ef75

  Copy full SHA for 6c7ef75

• Many minor tweaks to bootstrap translation

  myreen

  committed
  8e745e4

  Copy full SHA for 8e745e4

Commits on Mar 26, 2018

• Make progress on CakeML#442

  myreen

  committed
  f1abc28

  Copy full SHA for f1abc28

Commits on Mar 11, 2018

• Fix issue with num_exp in translation

  Show description for 82a3bbc
  

  ncough

  authored and

  xrchz

  committed
  82a3bbc

  Copy full SHA for 82a3bbc

• Update after merge

  

  myreen

  authored and

  xrchz

  committed
  f65ea1b

  Copy full SHA for f65ea1b

• Remove num_exp from WordLang

  Show description for 20675b7
  

  ncough

  authored and

  xrchz

  committed
  20675b7

  Copy full SHA for 20675b7

Commits on Mar 5, 2018

• Replace the line accidentally removed in 75b9ed6

  oskarabrahamsson

  committed
  8f9fe5f

  Copy full SHA for 8f9fe5f

• Fix translation of Append_code in to_word##Prog

  oskarabrahamsson

  committed
  75b9ed6

  Copy full SHA for 75b9ed6

• Rename rpt_drule to rpt_drule0 in data_to_word_assignProof

  oskarabrahamsson

  committed
  0abc9d9

  Copy full SHA for 0abc9d9

Commits on Mar 4, 2018

• Merge branch 'master' into append-op

  oskarabrahamsson

  committed
  9d7859d

  Copy full SHA for 9d7859d

Commits on Mar 3, 2018

• Update bootstrap translation of bvi_tailrec

  oskarabrahamsson

  committed
  7a2d9b2

  Copy full SHA for 7a2d9b2

• Update backendComputeLib with new defs

  oskarabrahamsson

  committed
  38fba55

  Copy full SHA for 38fba55

• Update bvi_tailrecProof after term_ok changes

  oskarabrahamsson

  committed
  16faeaf

  Copy full SHA for 16faeaf

• Further changes to term_ok

  oskarabrahamsson

  committed
  471325a

  Copy full SHA for 471325a

• Lift some little lemmas from proofs/ to bvlSem

  Show description for 58eca1f
  

  mn200

  authored and

  xrchz

  committed
  58eca1f

  Copy full SHA for 58eca1f

• Record fixing of TODO

  

  mn200

  authored and

  xrchz

  committed
  df48d17

  Copy full SHA for df48d17

• Record successful completion of TODO

  

  mn200

  authored and

  xrchz

  committed
  d8d0bbd

  Copy full SHA for d8d0bbd

• Rework another instance of store_thm masking

  

  mn200

  authored and

  xrchz

  committed
  cd534d4

  Copy full SHA for cd534d4

• Remove some redundant (repeated) theorems

  

  mn200

  authored and

  xrchz

  committed
  6131c9b

  Copy full SHA for 6131c9b

• Remove some redundant store_thm calls & rename to avoid masking

  Show description for 3525c49
  

  mn200

  authored and

  xrchz

  committed
  3525c49

  Copy full SHA for 3525c49

• Delete some trailing whitespace

  

  mn200

  authored and

  xrchz

  committed
  15b6f85

  Copy full SHA for 15b6f85

• Fix backendProof for cleanup/refactor

  

  mn200

  authored and

  xrchz

  committed
  fbaf180

  Copy full SHA for fbaf180

• Progress towards factoring backend/proofs

  Show description for aa27842
  

  mn200

  authored and

  xrchz

  committed
  aa27842

  Copy full SHA for aa27842

Commits on Mar 2, 2018

• Try to make term_ok workable

  Show description for fd2f78d
  oskarabrahamsson

  committed
  fd2f78d

  Copy full SHA for fd2f78d

Commits on Mar 1, 2018

• Change PMATCH definitions and fix term_ok_def

  Show description for b0da251
  oskarabrahamsson

  committed
  b0da251

  Copy full SHA for b0da251

• Update bvi_tailrec proofs

  oskarabrahamsson

  committed
  8aa76b5

  Copy full SHA for 8aa76b5

• Change another case to dtcase

  oskarabrahamsson

  committed
  86ed716

  Copy full SHA for 86ed716

• Make case into dtcase and fix Cons in term_ok

  oskarabrahamsson

  committed
  a96dafb

  Copy full SHA for a96dafb

Commits on Feb 28, 2018

• Make use of PMATCH where necessary

  oskarabrahamsson

  committed
  e0a92ee

  Copy full SHA for e0a92ee

Pagination

Previous

Next