make klabel cache definition-specific
make profiler thread safe
Update README.md
Merge branch 'hotfix/rename-k-core-to-kernel' into feature/scala-module
Merge pull request #1132 from cos/hotfix/rename-k-core-to-kernel

hotfix/rename k core to kernel
fix issue with readResolve
refactor io in smt prelude
Merge pull request #1129 from dwightguth/profiler

make profiler thread safe
Merge pull request #1130 from dwightguth/trie2

make klabel cache definition-specific
implemented [trusted] attribute for the ml prover
implemented basic AC-unification for BuiltinSet
evaluated the LHS of a rule as well
minor cleanup
Revert "evaluated the LHS of a rule as well"

This reverts commit e3dca7885d4b3e9927597dd6c55567d709c9223d.
added comment
Merge pull request #1137 from yilongli/prove-cil-list-reverse-2

patch in order to prove the entire cil list reverse example
Merge pull request #1135 from dwightguth/smtprelude

refactor io in smt prelude
Merge pull request #1131 from cos/feature/scala-module

add Scala KORE inner classes
patch in order to prove cil bst find example
evict stuff from kparser cache