Commits

Breadcrumbs

History for

ontest-pipelines

User selector

All users

All time

Commit History

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 Nov 26, 2018

• Fixed JavaSymbolicObjectTest after changes to KItem (#201). (#203)

  denis-bogdanas

  authored
  799756e

  Copy full SHA for 799756e

• KItem architectural bug fixed: in some cases, depending on constructor used, it had `global == null`. Now it's always present (except unit tests). (#201)

  Show description for 4069d9e
  

  denis-bogdanas

  authored and

  dwightguth

  committed
  4069d9e

  Copy full SHA for 4069d9e

Commits on May 29, 2018

• Add parameters to Sort and KLabel (#69)

  Show description for 7b4f030
  

  dwightguth

  authored
  7b4f030

  Copy full SHA for 7b4f030

Commits on May 8, 2018

• *: fix copyrights

  

  Everett Hildenbrandt

  committed
  7aa7d40

  Copy full SHA for 7aa7d40

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 Dec 22, 2017

• Java backend in RV-K (#643)

  Show description for a2d9c54
  

  dwightguth

  authored
  a2d9c54

  Copy full SHA for a2d9c54

Commits on Nov 17, 2016

• delete a bunch of stuff (#295)

  Show description for 2f2e734
  

  dwightguth

  authored
  2f2e734

  Copy full SHA for 2f2e734

Commits on Jan 8, 2016

• fix unit test

  Show description for d5e77b4
  andreistefanescu

  committed
  d5e77b4

  Copy full SHA for d5e77b4

Commits on Jan 7, 2016

• Merge remote-tracking branch 'upstream/master' into feature/java-backend-assoc2

  Show description for f7d6ca9
  andreistefanescu

  committed
  f7d6ca9

  Copy full SHA for f7d6ca9

• update copyright on all *.java

  Show description for 0b7d71a
  

  Dwight Guth

  committed
  0b7d71a

  Copy full SHA for 0b7d71a

Commits on Dec 21, 2015

• wip

  Show description for 4e7331e
  andreistefanescu

  committed
  4e7331e

  Copy full SHA for 4e7331e

Commits on Nov 18, 2015

• Merge branch 'master' into separate-termcontext-whenever-possible

  Show description for babe5f2
  

  yilongli

  committed
  babe5f2

  Copy full SHA for babe5f2

Commits on Nov 7, 2015

• Merge branch 'master' into separate-termcontext

  Show description for b40ecf4
  

  yilongli

  committed
  b40ecf4

  Copy full SHA for b40ecf4

Commits on Nov 4, 2015

• Merge remote-tracking branch 'remotes/dwightguth/kilkill2' into feature/pattern-match-automaton

  Show description for 3115d56
  cos

  committed
  3115d56

  Copy full SHA for 3115d56

• modified files and renames

  Show description for 33c95a3
  

  Dwight Guth

  committed
  33c95a3

  Copy full SHA for 33c95a3

Commits on Oct 25, 2015

• adress the rest of the comments

  Show description for 70df6a2
  cos

  committed
  70df6a2

  Copy full SHA for 70df6a2

Commits on Oct 21, 2015

• test not relevant for now

  Show description for 5d4e09e
  cos

  committed
  5d4e09e

  Copy full SHA for 5d4e09e

Commits on Oct 16, 2015

• separate TermContext from Term and Formula

  Show description for 0a63daa
  

  yilongli

  committed
  0a63daa

  Copy full SHA for 0a63daa

Commits on May 6, 2015

• fix java backend for imp

  Show description for 5e53258
  

  Dwight Guth

  committed
  5e53258

  Copy full SHA for 5e53258

Commits on Mar 19, 2015

• fix invalid caching of FileUtil

  Show description for bbd8024
  

  Dwight Guth

  committed
  bbd8024

  Copy full SHA for bbd8024

Commits on Feb 25, 2015

• Revert "Revert "Merge pull request #1325 from andreistefanescu/master""

  Show description for 0b9767c
  

  Dwight Guth

  committed
  0b9767c

  Copy full SHA for 0b9767c

Commits on Feb 3, 2015

• break circular dependency on BuiltinFunction so that we can inject Definition

  Show description for 9709a97
  

  Dwight Guth

  committed
  9709a97

  Copy full SHA for 9709a97

• Merge branch 'master' into scope

  Show description for beeb8a3
  

  Dwight Guth

  committed
  beeb8a3

  Copy full SHA for beeb8a3

Commits on Jan 30, 2015

• Revert "Revert "Symbolic constraint refactoring""

  Show description for c7b36c4
  andreistefanescu

  committed
  c7b36c4

  Copy full SHA for c7b36c4

Commits on Jan 29, 2015

• Revert "Symbolic constraint refactoring"

  Show description for 54ab470
  

  dwightguth

  committed
  54ab470

  Copy full SHA for 54ab470

Commits on Jan 28, 2015

• added conversion to kore for formulae

  Show description for f41f128
  andreistefanescu

  committed
  f41f128

  Copy full SHA for f41f128

Commits on Jan 26, 2015

• more fixes

  Show description for beeef04
  andreistefanescu

  committed
  beeef04

  Copy full SHA for beeef04

Commits on Jan 16, 2015

• converted code to work with conjunctions/disjunction (not tested yet)

  Show description for 3b3adef
  andreistefanescu

  committed
  3b3adef

  Copy full SHA for 3b3adef

Commits on Jan 2, 2015

• add better guice scoping in order to share definition deserialization across invocations in a server

  Show description for 992230d
  

  Dwight Guth

  committed
  992230d

  Copy full SHA for 992230d

• update copyright for 2015 + update copyright on often-modified files

  Show description for 978c82c
  

  Dwight Guth

  committed
  978c82c

  Copy full SHA for 978c82c

Commits on Dec 15, 2014

• fix copyright

  Show description for 0d37240
  

  Dwight Guth

  committed
  0d37240

  Copy full SHA for 0d37240

• draft of work on disjunctions

  Show description for 3ae1379
  

  Dwight Guth

  committed
  3ae1379

  Copy full SHA for 3ae1379

Commits on Nov 28, 2014

• Merge pull request #1213 from dwightguth/hook-module

  Show description for 48e2a14
  

  dwightguth

  committed
  48e2a14

  Copy full SHA for 48e2a14

• fix code review comments

  Show description for 3f7db03
  

  Dwight Guth

  committed
  3f7db03

  Copy full SHA for 3f7db03