Added AST View support for Slang .scala files. · sireum/kekinian@3e630db

Commit

Added AST View support for Slang .scala files.

Browse files

robby-phd committed Dec 12, 2024

1 parent 1296e46 commit 3e630db

+55 −4		jvm/src/main/scala/org/sireum/server/service/AnalysisService.scala
+5 −5		jvm/src/test/scala/org/sireum/server/AnalysisServerTest.scala
+59 −5		shared/src/main/scala/org/sireum/server/protocol/JSON.scala
+10 −2		shared/src/main/scala/org/sireum/server/protocol/Message.scala
+68 −25		shared/src/main/scala/org/sireum/server/protocol/MsgPack.scala