Commits

Breadcrumbs

History for

onbasic_reflexion

User selector

All users

All time

Commit History

Commits on Mar 2, 2018

• Allow prover to parse multiple modules (#753)

  Show description for a0eadfd
  

  dwightguth

  authored
  a0eadfd

  Copy full SHA for a0eadfd

Commits on Feb 9, 2018

• build 1_k in tutorial only with java backend (except SK combinators) (#704)

  

  dwightguth

  authored
  43f9b46

  Copy full SHA for 43f9b46

• fix broken ktest (#699)

  Show description for 12c80e6
  

  dwightguth

  authored
  12c80e6

  Copy full SHA for 12c80e6

Commits on Feb 8, 2018

• add proof regression test and fix z3 library to use JNA (#695)

  Show description for 90facd6
  

  dwightguth

  authored
  90facd6

  Copy full SHA for 90facd6

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 20, 2016

• definition itself seems flaky

  

  Dwight Guth

  committed
  e41f834

  Copy full SHA for e41f834

• another flaky test + reorganize exclude location

  

  Dwight Guth

  committed
  526fd87

  Copy full SHA for 526fd87

• add another flaky test

  

  Dwight Guth

  committed
  d0a389f

  Copy full SHA for d0a389f

• another flaky test

  

  Dwight Guth

  committed
  fe2d34d

  Copy full SHA for fe2d34d

• remove flaky test from ktest

  

  Dwight Guth

  committed
  7ee04b5

  Copy full SHA for 7ee04b5

Commits on Jan 19, 2016

• Merge pull request #2121 from grosu/master

  Show description for 415ce0c
  cos

  committed
  415ce0c

  Copy full SHA for 415ce0c

• some forgotten note

  Show description for 92751f6
  grosu

  committed
  92751f6

  Copy full SHA for 92751f6

• more copyrights

  Show description for db93d1d
  grosu

  committed
  db93d1d

  Copy full SHA for db93d1d

• fixed copyrights

  Show description for b4caa05
  grosu

  committed
  b4caa05

  Copy full SHA for b4caa05

• update .out

  Show description for 574f130
  laurayuwen

  committed
  574f130

  Copy full SHA for 574f130

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

  Show description for 8a230b7
  laurayuwen

  committed
  8a230b7

  Copy full SHA for 8a230b7

• 5_types revised

  Show description for 48d39fd
  grosu

  committed
  48d39fd

  Copy full SHA for 48d39fd

• Merge pull request #2117 from grosu/master

  Show description for cea79cb
  daejunpark

  committed
  cea79cb

  Copy full SHA for cea79cb

• almost ... it kompiles without warnings, but krun fails (#2221, #2117)

  Show description for dd85738
  grosu

  committed
  dd85738

  Copy full SHA for dd85738

• kool-typed-static.k kompiles without warnings

  Show description for 4b0e32b
  grosu

  committed
  4b0e32b

  Copy full SHA for 4b0e32b

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

  Show description for 6bd8e34
  grosu

  committed
  6bd8e34

  Copy full SHA for 6bd8e34

• fix kool-untyped

  Show description for 40a2f0f
  daejunpark

  committed
  40a2f0f

  Copy full SHA for 40a2f0f

• minor change

  Show description for f605713
  daejunpark

  committed
  f605713

  Copy full SHA for f605713

• when => requires

  Show description for d16d0a1
  daejunpark

  committed
  d16d0a1

  Copy full SHA for d16d0a1

• drop duplicate ktest

  Show description for 9773b12
  daejunpark

  committed
  9773b12

  Copy full SHA for 9773b12

• drop AC workaround

  Show description for 2f4405e
  daejunpark

  committed
  2f4405e

  Copy full SHA for 2f4405e

• add back workarond

  Show description for 8d436a0
  daejunpark

  committed
  8d436a0

  Copy full SHA for 8d436a0

• minor change

  Show description for 48f34a5
  daejunpark

  committed
  48f34a5

  Copy full SHA for 48f34a5

• add todo comments

  Show description for f3c54e8
  daejunpark

  committed
  f3c54e8

  Copy full SHA for f3c54e8

• fix copyright

  Show description for 578e6cc
  daejunpark

  committed
  578e6cc

  Copy full SHA for 578e6cc

• add test back

  Show description for 3e5f124
  daejunpark

  committed
  3e5f124

  Copy full SHA for 3e5f124

• kool typed dynamic

  Show description for 471cc2b
  daejunpark

  committed
  471cc2b

  Copy full SHA for 471cc2b