Commits

Breadcrumbs

History for

onac-unification

User selector

All users

All time

Commit History

Commits on Jun 2, 2018

• java-backend, kernel: add option to enable ac unification

  

  Everett Hildenbrandt

  committed
  8fc2a07

  Copy full SHA for 8fc2a07

Commits on Jun 1, 2018

• IMP in KORE (#89)

  Show description for 0accfb7
  

  dwightguth

  authored
  0accfb7

  Copy full SHA for 0accfb7

Commits on May 30, 2018

• Exponentiation (#85)

  Show description for 8e89d82
  

  dwightguth

  authored
  8e89d82

  Copy full SHA for 8e89d82

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 21, 2018

• Improve performance of coverage tool (#68)

  Show description for 6e240f3
  

  dwightguth

  authored
  6e240f3

  Copy full SHA for 6e240f3

Commits on May 15, 2018

• Rule coverage tool for K (#66)

  Show description for af3c952
  

  dwightguth

  authored
  af3c952

  Copy full SHA for af3c952

Commits on May 14, 2018

• don't compile all parsed modules as entry modules in prover (#64)

  

  dwightguth

  authored
  40ddbe5

  Copy full SHA for 40ddbe5

Commits on May 9, 2018

• Fix compilation errors with Java 9 (#65)

  

  traiansf

  authored and

  dwightguth

  committed
  a4be64c

  Copy full SHA for a4be64c

Commits on May 8, 2018

• *: fix copyrights

  

  Everett Hildenbrandt

  committed
  7aa7d40

  Copy full SHA for 7aa7d40

• kernel/.../Scanner: do not add extra newline to Flex input

  

  Everett Hildenbrandt

  committed
  ea1b6e1

  Copy full SHA for ea1b6e1

Commits on May 7, 2018

• kernel/.../Scanner: use modules `layout` instead of hard-coded layout

  

  Everett Hildenbrandt

  committed
  3cdfaf4

  Copy full SHA for 3cdfaf4

• kernel/.../RuleGrammarGenerator: import DEFAULT-LAYOUT into rule, config, and program grammars (as needed)

  

  Everett Hildenbrandt

  committed
  1d1b737

  Copy full SHA for 1d1b737

• kernel/.../Scanner: module must be instantiated before calling getScanner, using `this.*`

  

  Everett Hildenbrandt

  committed
  ff44cc6

  Copy full SHA for ff44cc6

• kernel/.../Parser: removed unused line

  

  Everett Hildenbrandt

  committed
  6d06316

  Copy full SHA for 6d06316

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 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 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 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 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 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 8, 2018

• Java 9 support (#686)

  Show description for b2b710c
  

  dwightguth

  authored
  b2b710c

  Copy full SHA for b2b710c

• fix issue involving flex on osx (#689)

  Show description for c05a06c
  

  dwightguth

  authored
  c05a06c

  Copy full SHA for c05a06c

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 Jan 5, 2018

• KEq tool in RV-K (#651)

  

  dwightguth

  authored
  7cb8f08

  Copy full SHA for 7cb8f08

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

• Using declared sorts when parsing config vars. (#646)

  

  traiansf

  authored and

  dwightguth

  committed
  328ec7d

  Copy full SHA for 328ec7d

Commits on Dec 20, 2017

• Added -SYNTAX module to the preserved modules (#641)

  

  traiansf

  authored and

  dwightguth

  committed
  085a0c9

  Copy full SHA for 085a0c9

Commits on Nov 29, 2017

• added hybrid attritube to K (#614)

  

  theo25

  authored and

  bmmoore

  committed
  bbead8b

  Copy full SHA for bbead8b