Commits

Breadcrumbs

History for

onthreads

User selector

All users

All time

Commit History

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

• imports DOMAINS-SYNTAX in DOMAINS

  Show description for 0c0458c
  laurayuwen

  committed
  0c0458c

  Copy full SHA for 0c0458c

• update .out due to solution display

  Show description for 26d4b65
  laurayuwen

  committed
  26d4b65

  Copy full SHA for 26d4b65

Commits on Jan 2, 2016

• fix tests

  Show description for 35ee4ac
  cos

  committed
  35ee4ac

  Copy full SHA for 35ee4ac

• change one set of parens

  Show description for b38923e
  cos

  committed
  b38923e

  Copy full SHA for b38923e

Commits on Dec 30, 2015

• specify kompile option --syntax-module

  Show description for 1cc3597
  laurayuwen

  committed
  1cc3597

  Copy full SHA for 1cc3597

• update Copyright

  Show description for ae3b086
  laurayuwen

  committed
  ae3b086

  Copy full SHA for ae3b086

• update .out

  Show description for 7a8c5a9
  laurayuwen

  committed
  7a8c5a9

  Copy full SHA for 7a8c5a9

• change all lambda lessons to one module

  Show description for 3b4dff4
  laurayuwen

  committed
  3b4dff4

  Copy full SHA for 3b4dff4

• update tests results, change config to enable all tests in lambda tutorial (pdf is skipped)

  Show description for 63f0ee7
  laurayuwen

  committed
  63f0ee7

  Copy full SHA for 63f0ee7

• change definitions in all lessons of lambda tutorial

  Show description for 8cac2dd
  laurayuwen

  committed
  8cac2dd

  Copy full SHA for 8cac2dd