Thanks to visit codestin.com
Credit goes to github.com

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

Tags: casm-lang/libtptp

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 
CI: updated 'build' workflow configuration

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 
CI: updated workflow actions

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 
Description: updated badge styles and reference links

0.3.0

Toggle 0.3.0's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode 
Merge pull request #3 from casm-lang/feature/token_improvement

Feature/token improvement

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 
Configuration: updated 'info-repo' target format

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 
Repository: updated git attributes