Commits

Breadcrumbs

History for

onthreads

User selector

All users

All time

Commit History

Commits on Jan 7, 2016

• fix copyright

  Show description for 5e595bc
  

  Dwight Guth

  committed
  5e595bc

  Copy full SHA for 5e595bc

Commits on Jan 6, 2016

• copyright year to 2015 => 2016

  Show description for 14db0f5
  cos

  committed
  14db0f5

  Copy full SHA for 14db0f5

Commits on Jul 10, 2015

• more tweaks to ocaml: many C programs now compile and execute

  Show description for 09d9f37
  

  Dwight Guth

  committed
  09d9f37

  Copy full SHA for 09d9f37

Commits on Jan 2, 2015

• 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

• remove all references to maude backend and make java the default

  Show description for 0b1e5cd
  

  Dwight Guth

  committed
  0b1e5cd

  Copy full SHA for 0b1e5cd

Commits on Nov 26, 2014

• add javaBackendHooks method to AbstractKModule + clean up BuiltinFunction code

  Show description for ec7762e
  

  Dwight Guth

  committed
  ec7762e

  Copy full SHA for ec7762e

Commits on Oct 27, 2014

• Learning by trying...

  Show description for 00e83cc
  radumereuta

  committed
  00e83cc

  Copy full SHA for 00e83cc

• Suppressor, one more time...

  Show description for 156c401
  radumereuta

  committed
  156c401

  Copy full SHA for 156c401

• Adding warning suppressors for the RuntimeException from SDF parser.

  Show description for eaeacf5
  radumereuta

  committed
  eaeacf5

  Copy full SHA for eaeacf5

Commits on Sep 25, 2014

• relax copyright restrictions for file extensions not part of main code base

  Show description for c6299fe
  

  Dwight Guth

  committed
  c6299fe

  Copy full SHA for c6299fe

• fix copyright

  Show description for d7248af
  

  Dwight Guth

  committed
  d7248af

  Copy full SHA for d7248af

• rename files

  Show description for 728a750
  

  Dwight Guth

  committed
  728a750

  Copy full SHA for 728a750

Commits on Sep 24, 2014

• Merge pull request #983 from yilongli/fixing-issue-981

  Show description for 4e1c764
  

  Yilong Li

  committed
  4e1c764

  Copy full SHA for 4e1c764

• fixed BuiltinCollectionOperations#size

  Show description for 5e56670
  

  Yilong Li

  committed
  5e56670

  Copy full SHA for 5e56670

• Merge pull request #978 from yilongli/fixing-issue-976

  Show description for cb606a8
  

  Yilong Li

  committed
  cb606a8

  Copy full SHA for cb606a8

Commits on Sep 23, 2014

• Merge pull request #958 from andreistefanescu/master

  Show description for 9dd0ffd
  andreistefanescu

  committed
  9dd0ffd

  Copy full SHA for 9dd0ffd

• minor fix

  Show description for 2b345a4
  

  Yilong Li

  committed
  2b345a4

  Copy full SHA for 2b345a4

• fix for z3 timeout

  Show description for bd006e2
  andreistefanescu

  committed
  bd006e2

  Copy full SHA for bd006e2

• fixed pom

  Show description for 3e7467b
  andreistefanescu

  committed
  3e7467b

  Copy full SHA for 3e7467b

• fixed BuiltinVisitor

  Show description for 0079a00
  

  Yilong Li

  committed
  0079a00

  Copy full SHA for 0079a00

Commits on Sep 22, 2014

• z3 external process support

  Show description for b1b23e2
  andreistefanescu

  committed
  b1b23e2

  Copy full SHA for b1b23e2

• Merge pull request #965 from osa1/ktest-propagate-debug-flag

  Show description for e504adb
  

  dwightguth

  committed
  e504adb

  Copy full SHA for e504adb

• Merge pull request #967 from daejunpark/external

  Show description for f58d2aa
  

  dwightguth

  committed
  f58d2aa

  Copy full SHA for f58d2aa

Commits on Sep 19, 2014

• Modify the interface of #external

  Show description for 0609144
  daejunpark

  committed
  0609144

  Copy full SHA for 0609144

• Merge pull request #948 from dwightguth/tool

  Show description for 3307192
  

  dwightguth

  committed
  3307192

  Copy full SHA for 3307192

• Add a built-in IO operator, #external, for executing an external process.

  Show description for 7793230
  daejunpark

  committed
  7793230

  Copy full SHA for 7793230

• Merge pull request #962 from dwightguth/findbugs

  Show description for c7fff48
  

  dwightguth

  committed
  c7fff48

  Copy full SHA for c7fff48

• fix bug in merge that broke guice creation

  Show description for 6ada24d
  

  Dwight Guth

  committed
  6ada24d

  Copy full SHA for 6ada24d

• change some debug printing in java backend to print to stderr instead of stdout

  Show description for 757b820
  osa1

  committed
  757b820

  Copy full SHA for 757b820

• Merge branch 'master' into tool

  Show description for 6fd098b
  

  Dwight Guth

  committed
  6fd098b

  Copy full SHA for 6fd098b

• fix some warnings

  Show description for 1a760be
  osa1

  committed
  1a760be

  Copy full SHA for 1a760be

• fix a bug

  Show description for 40d3694
  osa1

  committed
  40d3694

  Copy full SHA for 40d3694

• --dry is improved and --debug handling came for free

  Show description for db883ce
  osa1

  committed
  db883ce

  Copy full SHA for db883ce

• set workingDir in constructor

  Show description for e693f9a
  osa1

  committed
  e693f9a

  Copy full SHA for e693f9a

• improve ktest logs a bit (setting ground for --dry fix)

  Show description for dc2964a
  osa1

  committed
  dc2964a

  Copy full SHA for dc2964a