Commits

History for

onKReadClasswithKRun

Commits on Jun 10, 2019

kernel/.../KRun{,FrontEnd}.java: KRun now uses KRead to parse
Guy Repta
committed
kernel/.../KRead.java: Added parsing method for KRun to use
Guy Repta
committed
kernel/.../KRead.java: Moved parsing code from KRun.java
Guy Repta
committed

Commits on Jun 7, 2019

kernel/src/main/java/org/kframework/kast/KastFrontEnd.java: Changed KastFrontEnd to use KRead for reading input
Guy Repta
committed
kernel/src/main/java/org/kframework/parser/KRead.java: Created KRead class for handling front end input formats
Guy Repta
committed
kernel/src/main/java/org/kframework/kast/KastOptions.java: Added 'kast' to --input usage text
Guy Repta
committed
kernel/src/main/java/org/kframework/parser/InputModes.java: Added KAST to InputModes enum
Guy Repta
committed
kernel/src/main/java/org/kframework/kast/KastFrontEnd.java: Added logic for kast --input json
Guy Repta
committed
kernel/src/main/java/org/kframework/kast/KastOptions.java: Add --input option to kast
Guy Repta
committed
kernel/src/main/java/org/kframework/parser/InputModes.java: Added InputModes enum for kast --input <mode>
Guy Repta
committed

Commits on Jun 6, 2019

Support #Forall _/ #Exists _ (#516)
yzhang90
authored
RefreshRules: avoid variable names from a given set (#519)

traiansf
authored and
dwightguth
committed

Commits on Jun 4, 2019

Fixes regression involving function context (#514)
dwightguth
authored
fix #fun (#510)
dwightguth
authored
kerenl/KastFrontEnd: simplify logic for selecting parsing module (#506)
ehildenb
authored

Commits on Jun 3, 2019

Tighten rules about anywhere rules (#507)
dwightguth
authored

Commits on May 30, 2019

Faster sort inference of ml primitives in unparsing (#499)

dwightguth
authored and
ehildenb
committed

Commits on May 28, 2019

Commits on May 21, 2019

fix performance regression (#483)

dwightguth
authored and
ehildenb
committed

Commits on May 16, 2019

Resolve interaction between macros and function context (#477)
dwightguth
authored

Commits on May 15, 2019

make contexts able to mention cells (#474)
dwightguth
authored

Commits on May 13, 2019

Kast respects output, allows specifying any output format for `kast` (#406)
ehildenb
authored

Commits on May 10, 2019

don't add hook attribute or hooked- prefix to unknown hooks (#460)

dwightguth
authored and
ehildenb
committed
Update strategy language and add simple tests (#449)
ehildenb
authored
Allow #AG spec for bounded model checking (#458)

yzhang90
authored and
dwightguth
committed

Commits on May 9, 2019

Commits on May 8, 2019

kernel: BinaryLoader - added shared file lock on reading (#445)

denis-bogdanas
authored and
dwightguth
committed

Commits on May 6, 2019

Bug fixes for kore generation and also a new test harness for testing generated kore (#441)
dwightguth
authored

Commits on May 3, 2019

Fix bug involving configuration cell under #as pattern (#443)
dwightguth
authored

Commits on May 2, 2019

fix bug in sorting of macro expansions (#433)
dwightguth
authored

Commits on May 1, 2019

Configuration formatting improvements (#431)

nishantjr
authored and
dwightguth
committed

Commits on Apr 27, 2019

fix bug in parser where variables of sort K were not type checked (#427)

dwightguth
authored and
ehildenb
committed