Commits

Breadcrumbs

History for

ontmp

User selector

All users

All time

Commit History

Commits on Feb 26, 2019

• update substitution module to use KVar and hook (#316)

  Show description for 5866e01
  

  dwightguth

  authored
  5866e01

  Copy full SHA for 5866e01

Commits on Feb 1, 2019

• run tutorial from anywhere (#283)

  

  dwightguth

  authored
  b8535fa

  Copy full SHA for b8535fa

Commits on Jan 30, 2019

• Build Haskell backend as a submodule, hook into Maven (#228)

  Show description for c50bfa2
  ehildenb

  authored
  c50bfa2

  Copy full SHA for c50bfa2

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 May 8, 2018

• *: dos2unix on all files in repo

  

  Everett Hildenbrandt

  committed
  c145e4a

  Copy full SHA for c145e4a

• *: fix copyrights

  

  Everett Hildenbrandt

  committed
  7aa7d40

  Copy full SHA for 7aa7d40

Commits on Feb 6, 2018

• Improvements in Unparsing (#674)

  Show description for bc7c40d
  

  dwightguth

  authored and

  chathhorn

  committed
  bc7c40d

  Copy full SHA for bc7c40d

Commits on Jan 30, 2018

• RV-K tutorial exercises (#662)

  Show description for a07c02d
  

  dwightguth

  authored
  a07c02d

  Copy full SHA for a07c02d

Commits on Jan 18, 2018

• Tutorial in RV-K (#657)

  Show description for 0030b16
  

  dwightguth

  authored
  0030b16

  Copy full SHA for 0030b16

Commits on Dec 22, 2017

• Java backend in RV-K (#643)

  Show description for a2d9c54
  

  dwightguth

  authored
  a2d9c54

  Copy full SHA for a2d9c54

Commits on Jan 15, 2016

• fixed typo

  Show description for 6b73027
  grosu

  committed
  6b73027

  Copy full SHA for 6b73027

• we can now infer variable sorts

  Show description for 9b29c68
  grosu

  committed
  9b29c68

  Copy full SHA for 9b29c68

Commits on Jan 14, 2016

• config updates

  Show description for 69a3ea1
  grosu

  committed
  69a3ea1

  Copy full SHA for 69a3ea1

Commits on Jan 12, 2016

• typo fixed

  Show description for 34af860
  grosu

  committed
  34af860

  Copy full SHA for 34af860

• revised confusing text on difference between side conditions and premises

  Show description for 6f0b214
  grosu

  committed
  6f0b214

  Copy full SHA for 6f0b214

• fixing copyrights

  Show description for 226abe0
  grosu

  committed
  226abe0

  Copy full SHA for 226abe0

• final touches

  Show description for 9bf2d7b
  grosu

  committed
  9bf2d7b

  Copy full SHA for 9bf2d7b

• 1_lambda/lesson_9 revised

  Show description for 6556ee7
  grosu

  committed
  6556ee7

  Copy full SHA for 6556ee7

• 1_lambda/lesson_8 revised

  Show description for abfccef
  grosu

  committed
  abfccef

  Copy full SHA for abfccef

• 1_lambda/lesson_7 revised

  Show description for 6db8349
  grosu

  committed
  6db8349

  Copy full SHA for 6db8349

• 1_lambda/lesson_6 revised

  Show description for 0339708
  grosu

  committed
  0339708

  Copy full SHA for 0339708

• 1_lambda/lesson_5 revised

  Show description for 9b875e1
  grosu

  committed
  9b875e1

  Copy full SHA for 9b875e1

• making things more uniform

  Show description for 0bf0724
  grosu

  committed
  0bf0724

  Copy full SHA for 0bf0724

• 1_lambda/lesson_4 revised

  Show description for 215f977
  grosu

  committed
  215f977

  Copy full SHA for 215f977

• making config.xml files uniform (leaving one whiteline after copyright)

  Show description for 83dcfb2
  grosu

  committed
  83dcfb2

  Copy full SHA for 83dcfb2

• 1_lambda/lesson_3 revised

  Show description for 0103039
  grosu

  committed
  0103039

  Copy full SHA for 0103039

• 1_lambda/lesson_2.5 revised

  Show description for 85f49f5
  grosu

  committed
  85f49f5

  Copy full SHA for 85f49f5

• 1_lambda/lesson_2 updates

  Show description for 41f7c95
  grosu

  committed
  41f7c95

  Copy full SHA for 41f7c95

• 1_lambda/lesson_1 updates

  Show description for c54ccc1
  grosu

  committed
  c54ccc1

  Copy full SHA for c54ccc1

Commits on Jan 6, 2016

• added copyright to NOTES.md

  Show description for 326641c
  grosu

  committed
  326641c

  Copy full SHA for 326641c

• typos and grammar

  Show description for 4149d04
  grosu

  committed
  4149d04

  Copy full SHA for 4149d04

• revised lambda lesson 1

  Show description for a40e09a
  grosu

  committed
  a40e09a

  Copy full SHA for a40e09a

Commits on Jan 4, 2016

• Merge branch 'master' of github.com:kframework/k

  Show description for 675db15
  grosu

  committed
  675db15

  Copy full SHA for 675db15

• started editing the tutorial

  Show description for 43c54df
  grosu

  committed
  43c54df

  Copy full SHA for 43c54df

Commits on Jan 3, 2016

• remove require "domains.k" for all lambda, lambda++ lessons.

  Show description for 3ee6096
  laurayuwen

  committed
  3ee6096

  Copy full SHA for 3ee6096