Commits

Breadcrumbs

History for

onwasm-support

User selector

All users

All time

Commit History

Commits on Apr 24, 2018

• sss kernel/.../RuleGrammarTest: remove whitespace from manual layout

  

  Everett Hildenbrandt

  committed
  3f4ee1f

  Copy full SHA for 3f4ee1f

• kernel/.../RuleGrammarTest: add tests for custom layout/fallback to default layout

  

  Everett Hildenbrandt

  committed
  255b7cf

  Copy full SHA for 255b7cf

• sss kernel/.../Scanner: always include whitespace layout

  

  Everett Hildenbrandt

  committed
  899c17f

  Copy full SHA for 899c17f

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

  

  Everett Hildenbrandt

  committed
  05c4c15

  Copy full SHA for 05c4c15

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

  

  Everett Hildenbrandt

  committed
  ea1ebbf

  Copy full SHA for ea1ebbf

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

  

  Everett Hildenbrandt

  committed
  f95880a

  Copy full SHA for f95880a

• kernel/.../{RuleGrammarTest,PriorityAssocTest}: remove PriorityAssocTest, fold into RuleGrammarTest

  

  Everett Hildenbrandt

  committed
  a173fe3

  Copy full SHA for a173fe3

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

  

  Everett Hildenbrandt

  committed
  2b86c7a

  Copy full SHA for 2b86c7a

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

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 31, 2017

• Update dep versions & copyrights for release. (#510)

  

  chathhorn

  authored and

  dwightguth

  committed
  563bc28

  Copy full SHA for 563bc28

Commits on Aug 25, 2017

• fix encoding issue in k startup scripts (#505)

  

  dwightguth

  authored
  3479cd4

  Copy full SHA for 3479cd4

Commits on Jun 28, 2017

• Nojava (#466)

  Show description for 1502cc7
  

  dwightguth

  authored
  1502cc7

  Copy full SHA for 1502cc7

Commits on May 25, 2017

• Typemaps (#445)

  Show description for 2d67b1b
  traiansf

  authored
  2d67b1b

  Copy full SHA for 2d67b1b

Commits on May 14, 2017

• Fix ocamlopt kompile and provide fakelibs for c-semantics build

  Show description for 51674e7
  bmmoore

  committed
  51674e7

  Copy full SHA for 51674e7