Skip to content
This repository was archived by the owner on Mar 2, 2025. It is now read-only.

Tags: casm-lang/casm-lang.plugin.monaco

Tags

0.6.0

Toggle 0.6.0's commit message

Verified

This commit was signed with the committer’s verified signature.
ppaulweber Philipp Paulweber
GPG key ID: DAF035D73D07C984
Verified
Learn about vigilant mode 
Editor: provided 'trace' command to invoke a symbolic/concolic execut…

…ion and present TPTP trace

* related to sealangdotorg/sea#109

0.5.0

Toggle 0.5.0's commit message

Verified

This commit was signed with the committer’s verified signature.
ppaulweber Philipp Paulweber
GPG key ID: DAF035D73D07C984
Verified
Learn about vigilant mode 
Packages: updated dependencies

0.4.0

Toggle 0.4.0's commit message

Verified

This commit was signed with the committer’s verified signature.
ppaulweber Philipp Paulweber
GPG key ID: DAF035D73D07C984
Verified
Learn about vigilant mode 
Packages: updated dependencies

0.3.0

Toggle 0.3.0's commit message

Verified

This commit was signed with the committer’s verified signature.
ppaulweber Philipp Paulweber
GPG key ID: DAF035D73D07C984
Verified
Learn about vigilant mode 
Packages: updated dependencies

0.2.0

Toggle 0.2.0's commit message

Verified

This commit was signed with the committer’s verified signature.
ppaulweber Philipp Paulweber
GPG key ID: DAF035D73D07C984
Verified
Learn about vigilant mode 
Packages: updated dependencies

0.1.0

Toggle 0.1.0's commit message

Verified

This commit was signed with the committer’s verified signature.
ppaulweber Philipp Paulweber
GPG key ID: DAF035D73D07C984
Verified
Learn about vigilant mode 
Dependencies: updated