Commits

Branch selector

 basic_reflexion

User selector

All users

Datepicker

All time

Commit History

Commits on Jun 7, 2018

• remove dead code

  andreistefanescu

  committed
  57afdaf

  Copy full SHA for 57afdaf

• add basic support for meta unification and narrowing

  andreistefanescu

  committed
  b74cf01

  Copy full SHA for b74cf01

Commits on Apr 19, 2018

• Fix threads with -O3. (#823)

  Show description for 476c7b3
  chathhorn

  authored
  476c7b3

  Copy full SHA for 476c7b3

Commits on Apr 16, 2018

• Round-robin style thread scheduling. (#817)

  Show description for 525a4d3
  chathhorn

  authored
  525a4d3

  Copy full SHA for 525a4d3

• orient substitution when matching via implication (#49)

  

  andreistefanescu

  authored and

  dwightguth

  committed
  aa5aa63

  Copy full SHA for aa5aa63

Commits on Apr 12, 2018

• fix nasty escaping bug in string literals in the ocaml backend (#816)

  Show description for 02d62e4
  

  dwightguth

  authored
  02d62e4

  Copy full SHA for 02d62e4

Commits on Mar 28, 2018

• Improved error reporting/recovery (#763)

  Show description for a4eccac
  

  chathhorn

  authored and

  dwightguth

  committed
  a4eccac

  Copy full SHA for a4eccac

Commits on Mar 22, 2018

• output compiled definition as string to compiled.txt (#808)

  

  dwightguth

  authored
  3af731f

  Copy full SHA for 3af731f

Commits on Mar 16, 2018

• Escaping back ticks and backslashes in Kast (#37)

  Show description for 023a4b6
  

  traiansf

  authored and

  dwightguth

  committed
  023a4b6

  Copy full SHA for 023a4b6

Commits on Mar 12, 2018

• pass the sort of the cell collection variables to the java backend (#34)

  Show description for 6b04221
  

  andreistefanescu

  authored and

  dwightguth

  committed
  6b04221

  Copy full SHA for 6b04221

Commits on Mar 9, 2018

• add basic set unification (#38)

  

  andreistefanescu

  authored and

  dwightguth

  committed
  a216881

  Copy full SHA for a216881

Commits on Mar 8, 2018

• Inits, memset performance improvements (#746)

  Show description for ee6c02f
  chathhorn

  authored
  ee6c02f

  Copy full SHA for ee6c02f

Commits on Mar 5, 2018

• Minor fixes to K (#758)

  Show description for 26d36fa
  

  dwightguth

  authored
  26d36fa

  Copy full SHA for 26d36fa

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 Mar 1, 2018

• add concrete attribute to the modInt rule. (#757)

  

  yzhang90

  authored and

  dwightguth

  committed
  95a9b0f

  Copy full SHA for 95a9b0f

Commits on Feb 28, 2018

• fix #702 (#754)

  Show description for b597c9c
  

  dwightguth

  authored
  b597c9c

  Copy full SHA for b597c9c

• expand macros when using kast (#755)

  Show description for 7a93693
  

  dwightguth

  authored
  7a93693

  Copy full SHA for 7a93693

Commits on Feb 27, 2018

• Fix installer console mode bug (#742)

  Show description for d1517e5
  shd101wyy

  authored
  d1517e5

  Copy full SHA for d1517e5

Commits on Feb 23, 2018

• add back interpreter mode to krun but make it more robust and general (#743)

  

  dwightguth

  authored
  f5ab470

  Copy full SHA for f5ab470

Commits on Feb 22, 2018

• optimize kserver to cache java backend definition (#738)

  Show description for 1796c70
  

  dwightguth

  authored
  1796c70

  Copy full SHA for 1796c70

Commits on Feb 21, 2018

• update install instructions to add libz3-dev (#737)

  

  dwightguth

  authored
  6fbb3cc

  Copy full SHA for 6fbb3cc

Commits on Feb 19, 2018

• Fixes to allow EVM semantics to share semantics between Java and Ocaml backends (#729)

  Show description for 1d372b4
  

  dwightguth

  authored
  1d372b4

  Copy full SHA for 1d372b4

• add java code for MInts to ocaml backend (#730)

  

  dwightguth

  authored
  bc947f3

  Copy full SHA for bc947f3

Commits on Feb 16, 2018

• fix nightly release script after repo moved (#727)

  

  dwightguth

  authored
  617cf3f

  Copy full SHA for 617cf3f

• set exit code of proofs (#710)

  Show description for 84af4dd
  

  dwightguth

  authored
  84af4dd

  Copy full SHA for 84af4dd

• fix mvn verify for k subtree (#708)

  Show description for 98a0c0b
  

  dwightguth

  authored
  98a0c0b

  Copy full SHA for 98a0c0b

Commits on Feb 14, 2018

• open source ocaml backend (#712)

  

  dwightguth

  authored
  a7a367b

  Copy full SHA for a7a367b

Commits on Feb 13, 2018

• make access to static impliesSMTCache thread-safe (#703)

  

  dwightguth

  authored
  4303795

  Copy full SHA for 4303795

Commits on Feb 12, 2018

• Update INSTALL.md (#711)

  

  dwightguth

  authored
  2957b6e

  Copy full SHA for 2957b6e

• Revert "Update INSTALL.md"

  Show description for dab473b
  

  Dwight Guth

  committed
  dab473b

  Copy full SHA for dab473b

• Update INSTALL.md

  

  dwightguth

  authored
  61e29fa

  Copy full SHA for 61e29fa

• more escaping fixes to nightly release for k

  

  Dwight Guth

  committed
  babeea3

  Copy full SHA for babeea3

• fix nightly-release script

  

  Dwight Guth

  committed
  02ea0eb

  Copy full SHA for 02ea0eb

• Revert "add -fnative-binary flag to invoke native code over a named pipe with… (#529)"

  Show description for b7db93c
  

  Dwight Guth

  committed
  b7db93c

  Copy full SHA for b7db93c

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

Pagination

Previous

Next