Commits

Breadcrumbs

History for

onwithConfig2

User selector

All users

All time

Commit History

Commits on May 8, 2019

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

  Show description for f9041b7
  

  denis-bogdanas

  authored and

  dwightguth

  committed
  f9041b7

  Copy full SHA for f9041b7

Commits on May 6, 2019

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

  Show description for 26604e2
  

  dwightguth

  authored
  26604e2

  Copy full SHA for 26604e2

Commits on Apr 21, 2019

• Java Backend log: indent logs generated during function evaluation (#417)

  Show description for 62106fc
  denis-bogdanas

  authored
  62106fc

  Copy full SHA for 62106fc

Commits on Apr 3, 2019

• kompile flag to generate time to parse each rule (#378)

  Show description for 3a45a4f
  

  dwightguth

  authored
  3a45a4f

  Copy full SHA for 3a45a4f

Commits on Mar 27, 2019

• BinaryLoader: proper intra-VM synchronization before reading/writing parse cache (#369)

  Show description for 98d9220
  

  denis-bogdanas

  authored and

  dwightguth

  committed
  98d9220

  Copy full SHA for 98d9220

Commits on Mar 19, 2019

• report warnings as errors if they are treated as errors (#357)

  

  dwightguth

  authored
  3f7666a

  Copy full SHA for 3f7666a

Commits on Mar 14, 2019

• BinaryLoader: lock parse cache file before saving the cache. Eliminates ObjectInputStream exceptions when several K instances run in parallel over same definition. (#361)

  

  denis-bogdanas

  authored and

  dwightguth

  committed
  b138650

  Copy full SHA for b138650

Commits on Mar 12, 2019

• Global options: option --debug-warnings to print stack trace of warnings. Old option --debug now only prints stack traces of errors. (#344)

  denis-bogdanas

  authored
  4375ba0

  Copy full SHA for 4375ba0

Commits on Mar 9, 2019

• KExceptionManager: print stack trace for unhandled exceptions only once. Msg improvement. (#347)

  denis-bogdanas

  authored
  acb5a7b

  Copy full SHA for acb5a7b

Commits on Mar 5, 2019

• Java Backend: KItem.evaluateFunction() improved exception handling (#324)

  Show description for c73a250
  denis-bogdanas

  authored
  c73a250

  Copy full SHA for c73a250

Commits on Feb 28, 2019

• kernel: added shutdown hook to base FrontEnd that waits main thread termination for a specified amount of time. Allows graceful termination with printing of some diagnostics info. (#321)

  Show description for 29ed2ba
  denis-bogdanas

  authored
  29ed2ba

  Copy full SHA for 29ed2ba

Commits on Feb 1, 2019

• Fix Stopwatch formatting. (#278)

  Show description for 0ebb5c9
  radumereuta

  authored
  0ebb5c9

  Copy full SHA for 0ebb5c9

Commits on Jan 24, 2019

• Use K escape sequences for Kore (#258)

  Show description for a9c2b13
  ttuegel

  authored
  a9c2b13

  Copy full SHA for a9c2b13

Commits on Jan 23, 2019

• fix bug with parsing of NaN and Infinity in modules with identifiers (#247)

  Show description for 91a69ed
  

  dwightguth

  authored
  91a69ed

  Copy full SHA for 91a69ed

Commits on Dec 13, 2018

• Error messages: improved error message for `--deterministic-functions` (#218)

  Show description for fb8a081
  denis-bogdanas

  authored
  fb8a081

  Copy full SHA for fb8a081

Commits on Nov 22, 2018

• Z3 option change (#199)

  Show description for eee7ca5
  denis-bogdanas

  authored
  eee7ca5

  Copy full SHA for eee7ca5

Commits on Nov 9, 2018

• add #isVariable builtin (#182)

  Show description for b67eb81
  

  daejunpark

  authored and

  dwightguth

  committed
  b67eb81

  Copy full SHA for b67eb81

Commits on Nov 8, 2018

• Cache file option, re-done (#188)

  Show description for 4148d28
  

  denis-bogdanas

  authored and

  dwightguth

  committed
  4148d28

  Copy full SHA for 4148d28

Commits on Nov 5, 2018

• Revert "Global options: Option --cache-file to change default location of parse cache (#179)"

  Show description for 6d1e972
  

  Dwight Guth

  committed
  6d1e972

  Copy full SHA for 6d1e972

Commits on Oct 29, 2018

• Global options: Option --cache-file to change default location of parse cache (#179)

  Show description for eb906c7
  denis-bogdanas

  authored
  eb906c7

  Copy full SHA for eb906c7

Commits on Oct 27, 2018

• Parse cache: invalidating entries with matching content but coming from another source file (#178)

  Show description for 9d37120
  

  denis-bogdanas

  authored and

  dwightguth

  committed
  9d37120

  Copy full SHA for 9d37120

Commits on Aug 20, 2018

• [REFACTORING] Kprint (#117)

  Show description for 10ee906
  

  ehildenb

  authored and

  dwightguth

  committed
  10ee906

  Copy full SHA for 10ee906

Commits on Jul 9, 2018

• Improved unparsing (#110)

  Show description for a3adf21
  

  dwightguth

  authored
  a3adf21

  Copy full SHA for a3adf21

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

• *: fix copyrights

  

  Everett Hildenbrandt

  committed
  7aa7d40

  Copy full SHA for 7aa7d40

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 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 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

• Add milliseconds to temp file names

  bmmoore

  committed
  679fcdf

  Copy full SHA for 679fcdf

• Link final kcc output without ocamlc

  bmmoore

  committed
  e29e4d9

  Copy full SHA for e29e4d9

Commits on May 11, 2017

• delete a ton of dead code

  

  Dwight Guth

  authored and

  bmmoore

  committed
  2d51a85

  Copy full SHA for 2d51a85