Commits

Breadcrumbs

History for

onmaster

User selector

All users

All time

Commit History

Commits on Jul 12, 2019

• Tests for nested #fun. Issues with LLVM backend (#597)

  Show description for 05e91fa
  

  denis-bogdanas

  authored and

  dwightguth

  committed
  05e91fa

  Copy full SHA for 05e91fa

Commits on Jun 17, 2019

• context alias (#531)

  Show description for ef595aa
  

  dwightguth

  authored and

  ehildenb

  committed
  ef595aa

  Copy full SHA for ef595aa

Commits on Jun 4, 2019

• fix #fun (#510)

  

  dwightguth

  authored
  ebbd69a

  Copy full SHA for ebbd69a

Commits on Mar 22, 2019

• Fix bugs in K frontend compiler (#368)

  Show description for 386aad5
  

  dwightguth

  authored
  386aad5

  Copy full SHA for 386aad5

Commits on Feb 25, 2019

• Various improvements to K frontend (#306)

  Show description for 025a572
  

  dwightguth

  authored
  025a572

  Copy full SHA for 025a572

Commits on Jan 23, 2019

• fix bug with parsing of NaN and Infinity in modules with identifiers (#247)

  Show description for 91a69ed
  

  dwightguth

  authored
  91a69ed

  Copy full SHA for 91a69ed

Commits on Aug 8, 2018

• Update K to generate kore from IELE (#125)

  Show description for 05b915a
  

  dwightguth

  authored
  05b915a

  Copy full SHA for 05b915a

Commits on May 29, 2018

• Add parameters to Sort and KLabel (#69)

  Show description for 7b4f030
  

  dwightguth

  authored
  7b4f030

  Copy full SHA for 7b4f030

Commits on May 15, 2018

• Rule coverage tool for K (#66)

  Show description for af3c952
  

  dwightguth

  authored
  af3c952

  Copy full SHA for af3c952

Commits on May 11, 2017

• delete a ton of dead code

  

  Dwight Guth

  authored and

  bmmoore

  committed
  2d51a85

  Copy full SHA for 2d51a85

Loading