Commits

Breadcrumbs

History for

onbasic_reflexion

User selector

All users

All time

Commit History

Commits on Jun 7, 2018

• 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

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 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

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 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

Commits on Feb 12, 2018

• 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

• 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

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

  Show description for 9de4b06
  

  dwightguth

  authored
  9de4b06

  Copy full SHA for 9de4b06

Commits on Feb 7, 2018

• Verification (#683)

  Show description for 9c115ca
  

  daejunpark

  authored and

  dwightguth

  committed
  9c115ca

  Copy full SHA for 9c115ca

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 Oct 30, 2017

• fix Z.Overflow exception when right shifting by very large number (#543)

  

  dwightguth

  authored
  56e5eb9

  Copy full SHA for 56e5eb9

Commits on Oct 19, 2017

• add euclidean division and remainder hooks to OCAML backend (#537)

  

  dwightguth

  authored
  a90bfc2

  Copy full SHA for a90bfc2

Commits on Oct 5, 2017

• implement StringBuffer sort in K (#535)

  

  dwightguth

  authored
  b784617

  Copy full SHA for b784617

Commits on Sep 28, 2017

• fix ocaml warnings and change build system to mark most ocaml warning… (#511)

  Show description for ae144b9
  

  dwightguth

  authored
  ae144b9

  Copy full SHA for ae144b9

Commits on Sep 12, 2017

• fix array to be more sensible about default values (#517)

  Show description for c6f34a2
  

  dwightguth

  authored and

  chathhorn

  committed
  c6f34a2

  Copy full SHA for c6f34a2

Commits on Aug 24, 2017

• Track rule application (#491)

  Show description for e26b810
  

  traiansf

  authored and

  dwightguth

  committed
  e26b810

  Copy full SHA for e26b810

Commits on Aug 3, 2017

• make memory read tail recursive and fix tis-interpreter bugs from the… (#492)

  Show description for 576eb06
  

  dwightguth

  authored
  576eb06

  Copy full SHA for 576eb06

Commits on Aug 1, 2017

• Improve readibility of encoded identifiers. (#490)

  

  traiansf

  authored and

  dwightguth

  committed
  9b351df

  Copy full SHA for 9b351df

Commits on Jul 28, 2017

• Revert "Report local values1 (#472)" (#484)

  Show description for 8c32566
  

  dwightguth

  authored
  8c32566

  Copy full SHA for 8c32566

Commits on Jul 27, 2017

• Itc benchmark issues (#480)

  Show description for 439312b
  

  chathhorn

  authored and

  dwightguth

  committed
  439312b

  Copy full SHA for 439312b

Commits on Jul 26, 2017

• Report local values1 (#472)

  Show description for 6065b36
  

  traiansf

  authored and

  dwightguth

  committed
  6065b36

  Copy full SHA for 6065b36

Commits on Jul 11, 2017

• fix issues with no java pr (#470)

  

  dwightguth

  authored
  0c6be56

  Copy full SHA for 0c6be56

Commits on Jul 7, 2017

• add power-modulo to k (#468)

  

  dwightguth

  authored
  b4a7df6

  Copy full SHA for b4a7df6

Commits on Jun 28, 2017

• Nojava (#466)

  Show description for 1502cc7
  

  dwightguth

  authored
  1502cc7

  Copy full SHA for 1502cc7

Commits on Jun 17, 2017

• gzip fixes (#465)

  

  dwightguth

  authored
  49e60b6

  Copy full SHA for 49e60b6