Commits

Breadcrumbs

History for

ontmp

User selector

All users

All time

Commit History

Commits on Jun 20, 2019

• Integrated KORE output into KPrint (#561)

  Show description for 90ee840
  

  traiansf

  authored and

  ehildenb

  committed
  90ee840

  Copy full SHA for 90ee840

Commits on May 13, 2019

• Kast respects output, allows specifying any output format for `kast` (#406)

  Show description for cb3afa4
  ehildenb

  authored
  cb3afa4

  Copy full SHA for cb3afa4

Commits on Apr 11, 2019

• Latex serializer/output mode (#380)

  Show description for 55e905b
  

  ehildenb

  authored and

  dwightguth

  committed
  55e905b

  Copy full SHA for 55e905b

Commits on Mar 4, 2019

• Mainline klab (#303)

  Show description for 0aa75fa
  

  mhhf

  authored and

  ehildenb

  committed
  0aa75fa

  Copy full SHA for 0aa75fa

Commits on Feb 22, 2019

• Add option to turn off alpha renaming (#308)

  Show description for 4d7b16f
  

  ehildenb

  authored and

  dwightguth

  committed
  4d7b16f

  Copy full SHA for 4d7b16f

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 Oct 2, 2018

• Allow making modifications/omissions to the output via command-line flags (#157)

  Show description for bae137e
  

  ehildenb

  authored and

  dwightguth

  committed
  bae137e

  Copy full SHA for bae137e

Commits on Aug 25, 2018

• Json output (#136)

  Show description for a7f642d
  

  ehildenb

  authored and

  dwightguth

  committed
  a7f642d

  Copy full SHA for a7f642d

Commits on Aug 20, 2018

• [REFACTORING] Kprint (#117)

  Show description for 10ee906
  

  ehildenb

  authored and

  dwightguth

  committed
  10ee906

  Copy full SHA for 10ee906

Loading