v0.3.11

Revert "[ server ] Changed default mode as socket mode."

This reverts commit eb95434389473a9f99a6fd810fbc2c6bba07cfd6.

v0.3.10

[ change ] When adding a proof anchor, the goal is also added in the …

v0.3.9

Clear some minor warnings.

v0.3.8

[ test ] Changed the golden file due to the change of 'After Loop'->'…

v0.3.7

[ test ] Changed the golden file due to the change of 'After Loop'->'…

v0.3.6

[ change ] Allow PipelineM instruction Solve to carry hash of PO

v0.3.5

[ git ] Merge branch 'master' of github.com:scmlab/gcl

v0.3.4

[ fix ] Clear diagnostics when there is no error

v0.3.3

[ git ] Merge branch 'master' into dev

v0.3.2

[ fix #55 ] Keep global properties on display