Commits

Branch selector

 KReadClasswithKRun

User selector

All users

Datepicker

All time

Commit History

Commits on Jun 10, 2019

• kernel/.../KRun{,FrontEnd}.java: KRun now uses KRead to parse

  

  Guy Repta

  committed
  dbef156

  Copy full SHA for dbef156

• kernel/.../KRead.java: Added parsing method for KRun to use

  

  Guy Repta

  committed
  947c37c

  Copy full SHA for 947c37c

• kernel/.../KRead.java: Moved parsing code from KRun.java

  

  Guy Repta

  committed
  8751f3a

  Copy full SHA for 8751f3a

• k-distribution/.../kast-input/: Removed unfinished test

  

  Guy Repta

  committed
  7571393

  Copy full SHA for 7571393

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
  a5b87b8

  Copy full SHA for a5b87b8

• kernel/src/main/java/org/kframework/parser/KRead.java: Created KRead class for handling front end input formats

  

  Guy Repta

  committed
  05ccfda

  Copy full SHA for 05ccfda

• kernel/src/main/java/org/kframework/kast/KastOptions.java: Added 'kast' to --input usage text

  

  Guy Repta

  committed
  0f6285e

  Copy full SHA for 0f6285e

• kernel/src/main/java/org/kframework/parser/InputModes.java: Added KAST to InputModes enum

  

  Guy Repta

  committed
  7fb3228

  Copy full SHA for 7fb3228

• k-distribution/tests/regression-new/kast-input/: Added test for kast --input kast

  

  Guy Repta

  committed
  6e42d11

  Copy full SHA for 6e42d11

• kernel/src/main/java/org/kframework/kast/KastFrontEnd.java: Added logic for kast --input json

  

  Guy Repta

  committed
  086a369

  Copy full SHA for 086a369

• kernel/src/main/java/org/kframework/kast/KastOptions.java: Add --input option to kast

  

  Guy Repta

  committed
  7a3b7b0

  Copy full SHA for 7a3b7b0

• kernel/src/main/java/org/kframework/parser/InputModes.java: Added InputModes enum for kast --input <mode>

  

  Guy Repta

  committed
  1d55136

  Copy full SHA for 1d55136

• k-distribution/tests/regression-new/json-input/: Added tests for krun --input json

  

  Guy Repta

  committed
  f698e81

  Copy full SHA for f698e81

Commits on Jun 6, 2019

• Support #Forall _/ #Exists _ (#516)

  yzhang90

  authored
  8d8c20b

  Copy full SHA for 8d8c20b

• RefreshRules: avoid variable names from a given set (#519)

  

  traiansf

  authored and

  dwightguth

  committed
  9282633

  Copy full SHA for 9282633

Commits on Jun 5, 2019

• llvm backend: update submodule (#515)

  

  theo25

  authored and

  dwightguth

  committed
  5339e76

  Copy full SHA for 5339e76

• fix bug in array on ocaml backend (#508)

  

  dwightguth

  authored
  049b5bd

  Copy full SHA for 049b5bd

Commits on Jun 4, 2019

• Fixes regression involving function context (#514)

  Show description for 98fafd9
  

  dwightguth

  authored
  98fafd9

  Copy full SHA for 98fafd9

• fix #fun (#510)

  

  dwightguth

  authored
  ebbd69a

  Copy full SHA for ebbd69a

• kerenl/KastFrontEnd: simplify logic for selecting parsing module (#506)

  Show description for 4d46732
  ehildenb

  authored
  4d46732

  Copy full SHA for 4d46732

Commits on Jun 3, 2019

• Tighten rules about anywhere rules (#507)

  Show description for 302f383
  

  dwightguth

  authored
  302f383

  Copy full SHA for 302f383

Commits on May 31, 2019

• Statelog reachresults for reporting the unreached terms (#504)

  Show description for 85c07f4
  ehildenb

  authored
  85c07f4

  Copy full SHA for 85c07f4

• better ParseError (#505)

  Show description for 753b1fe
  

  dwightguth

  authored
  753b1fe

  Copy full SHA for 753b1fe

Commits on May 30, 2019

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

  Show description for 513d15d
  

  dwightguth

  authored and

  ehildenb

  committed
  513d15d

  Copy full SHA for 513d15d

• java-backend/{JavaExecutionOptions,StateLog,InitializeRewriter}: emit SEARCHREACHED events (#503)

  ehildenb

  authored
  177a16e

  Copy full SHA for 177a16e

Commits on May 29, 2019

• Update submodule dependencies (#501)

  Show description for 700b886
  

  ehildenb

  authored and

  dwightguth

  committed
  700b886

  Copy full SHA for 700b886

Commits on May 28, 2019

• Concretize cells on poly production (#498)

  Show description for 6a15ae9
  yzhang90

  authored
  6a15ae9

  Copy full SHA for 6a15ae9

• Fix bug involving fresh functions and top sort in ocaml backend (#489)

  Show description for a0b6ba5
  

  dwightguth

  authored
  a0b6ba5

  Copy full SHA for a0b6ba5

Commits on May 23, 2019

• Java Bachend engine: improvements to ConjunctiveFormula.simplify() (#473)

  Show description for 6cb3a1c
  denis-bogdanas

  authored
  6cb3a1c

  Copy full SHA for 6cb3a1c

• Java Backend builtin map: fixed map.removeAll when attempting to remove symbolic elements (#465)

  Show description for 1f54001
  denis-bogdanas

  authored
  1f54001

  Copy full SHA for 1f54001

Commits on May 22, 2019

• Collection pattern docs (#488)

  Show description for c346ce5
  

  dwightguth

  authored
  c346ce5

  Copy full SHA for c346ce5

Commits on May 21, 2019

• haskell-backend/src/main/native/haskell-backend: update submodule (#487)

  

  ehildenb

  authored and

  dwightguth

  committed
  1781908

  Copy full SHA for 1781908

• fix performance regression (#483)

  

  dwightguth

  authored and

  ehildenb

  committed
  070f2a5

  Copy full SHA for 070f2a5

Commits on May 20, 2019

• haskell-backend/src/main/native/haskell-backend: update submodule (#484)

  

  ehildenb

  authored and

  dwightguth

  committed
  2d940ff

  Copy full SHA for 2d940ff

Commits on May 16, 2019

• Resolve interaction between macros and function context (#477)

  Show description for 03ba782
  

  dwightguth

  authored
  03ba782

  Copy full SHA for 03ba782

Pagination

Previous

Next