Skip to content
Open
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
373 commits
Select commit Hold shift + click to select a range
571bbe1
Moved availability report test
arminzavada Apr 25, 2026
48b2291
Updated formatting
arminzavada Apr 25, 2026
6d5ff7e
Added maven to fix the coverage merging
arminzavada Apr 27, 2026
8cc53f9
Fixed init tran seeing main tran writes
arminzavada Apr 27, 2026
250697e
Added @Clock annotation
arminzavada Apr 27, 2026
50c59c8
Moved the semantic test models to a central location
arminzavada Apr 27, 2026
4903883
Added expect tags to the semantic test models
arminzavada Apr 27, 2026
f53e3a5
Removed the cex lsp server
arminzavada Apr 27, 2026
dc1a645
Added guice-common
arminzavada Apr 28, 2026
3b044c7
Added generated to formatter ignore
arminzavada Apr 28, 2026
5439acd
Simplified jvm test
arminzavada Apr 28, 2026
6482802
Removed the incorrect CTL test case
arminzavada Apr 28, 2026
b17a5b0
Introduced the conformanceTest suite
arminzavada Apr 28, 2026
babd07a
Updated to Gradle 9.5.0
arminzavada Apr 28, 2026
addd541
Added conformance jacoco merger
arminzavada Apr 28, 2026
213b6da
Added aditional badges
arminzavada Apr 28, 2026
5a8bee0
Introduced the compilation request
arminzavada Apr 28, 2026
6a6ba0e
Removed the artifact path from the config
arminzavada Apr 28, 2026
b9ac8a2
Fixed the coi analysis issue
arminzavada Apr 28, 2026
aad5d41
Fixed reaching analysis issue
arminzavada Apr 28, 2026
16c6033
Added temporal property invariant check
arminzavada Apr 28, 2026
e445b73
Set the optimization category as Serializable
arminzavada Apr 28, 2026
fa60cd1
Updated the tests
arminzavada Apr 28, 2026
b72e919
Added optimization dump helper
arminzavada Apr 28, 2026
76422eb
Added flattened phase optimizer tests
arminzavada Apr 28, 2026
fed3cef
Destroy process forcefully
arminzavada Apr 28, 2026
2710c3d
Added havoc value collector for bounded backends
arminzavada Apr 28, 2026
e8e0c5b
Updated the backend api
arminzavada Apr 28, 2026
49b4751
Updated the verification api
arminzavada Apr 28, 2026
de00a03
Updated the verification test fixtures
arminzavada Apr 28, 2026
26e06ec
Extracted common ide classes
arminzavada Apr 28, 2026
da78e4c
Applied formatting
arminzavada Apr 28, 2026
d21452f
Added common lsp as dependency
arminzavada Apr 28, 2026
948418d
Implemented additional backends
arminzavada Apr 28, 2026
0800a7f
Updated the portfolios
arminzavada Apr 28, 2026
1d16714
Updated the cli
arminzavada Apr 28, 2026
c91b73a
Updated the live server
arminzavada Apr 28, 2026
7e26b5f
Fixed the compilation errors
arminzavada Apr 28, 2026
3bb17e8
Added the frontend module
arminzavada Apr 28, 2026
1a56af6
Simplified the witness backannotation
arminzavada Apr 28, 2026
aa9969e
Updated the backend backannotation
arminzavada Apr 30, 2026
b4acf43
Fixed reaching definitions pass
arminzavada Apr 30, 2026
c4f5c04
Cleaned up the compiler code
arminzavada May 1, 2026
bf876e7
Refactored call trace transforming
arminzavada May 1, 2026
7e3c0d3
Removed the trace operation
arminzavada May 1, 2026
cad135b
Split trace and witness
arminzavada May 1, 2026
b14278f
Updated the :backend api
arminzavada May 1, 2026
ec0d821
Skip the root instance
arminzavada May 1, 2026
b1d4ebe
Updated the backend api
arminzavada May 1, 2026
6245061
Cleaned up backend api
arminzavada May 1, 2026
06a19f8
Added throwable exposing loggers
arminzavada May 2, 2026
1daccdf
Updated the backend api
arminzavada May 3, 2026
447face
Extracted the verification service as a class
arminzavada May 4, 2026
c0372e0
Updated the backend api
arminzavada May 4, 2026
cfe1b24
Removed the verification-specific artifacts
arminzavada May 4, 2026
f3bcc8c
Use mutableMapOf helpers
arminzavada May 4, 2026
ed3e3d5
Updated the conformance and verification suite dependencies
arminzavada May 4, 2026
0896cb2
Added variable reference helper
arminzavada May 4, 2026
1e47c1e
Added @Clock conformance test
arminzavada May 4, 2026
29aa6c7
Moved the discovery code
arminzavada May 4, 2026
3afe47d
Refactored verifier
arminzavada May 4, 2026
ac7159b
Renamed backend executor to concurrency gate
arminzavada May 4, 2026
8dc3a37
Introduced the single backend portfolio for shared use
arminzavada May 4, 2026
d7bc316
Refactored the verification portfolio
arminzavada May 4, 2026
08bed9a
Refactored the witness handling
arminzavada May 4, 2026
27d9593
Refactored the verification tests
arminzavada May 4, 2026
8955c67
Refactored the existing portfolios
arminzavada May 4, 2026
c3bb361
Removed the last semantics code
arminzavada May 4, 2026
a801910
Updated the semantifyr cli
arminzavada May 4, 2026
6106072
Fixed the backtick in CONTRIBUTING.md
arminzavada May 4, 2026
0aa48e5
Updated the nuxmv backend
arminzavada May 4, 2026
8f4d58b
Updated the spin backend
arminzavada May 4, 2026
37c099a
Updated the theta backend
arminzavada May 4, 2026
04cde27
Updated the uppaal backend
arminzavada May 4, 2026
d64b2f5
Decreased test verifiction timeout
arminzavada May 4, 2026
29988da
Renamed :verification to verifier
arminzavada May 4, 2026
420a6c9
Applied formatting
arminzavada May 4, 2026
4a8ccd1
Removed the transformation tests
arminzavada May 4, 2026
3a4709c
Updated test conventions
arminzavada May 4, 2026
ba135c9
Added simple smoke test suite
arminzavada May 4, 2026
f33b3a3
Renamed conformanceTest to integrationTest
arminzavada May 5, 2026
4935d72
Removed verification from theta convention
arminzavada May 5, 2026
d3b419d
Updated the theta backend
arminzavada May 5, 2026
cd256b4
Updated the portfolios and added tests
arminzavada May 5, 2026
15ac281
Updated the nuxmv backend
arminzavada May 5, 2026
f554f5e
Updated the spin backend
arminzavada May 5, 2026
b2a7409
Updated the upaal backend
arminzavada May 5, 2026
3abc06c
Updated the theta backend
arminzavada May 5, 2026
fbe44de
Use VerificationScoped to prevent unregistered on tests
arminzavada May 5, 2026
ebffdfb
Added additional portfolio tests
arminzavada May 5, 2026
5039b50
Use argument argument provider
arminzavada May 5, 2026
89e73d2
Added sonarqube integration
arminzavada May 5, 2026
2f65db3
Added parallel config cache
arminzavada May 5, 2026
ccaebfa
Updated merged coverage handling
arminzavada May 5, 2026
574a890
Fetch all for sonar
arminzavada May 5, 2026
115d7cc
Updated gradle properties
arminzavada May 5, 2026
335efe5
Updated build scripts
arminzavada May 5, 2026
6887cdd
Implemented proper report merging
arminzavada May 5, 2026
d93e4a3
Renamed the guice common package
arminzavada May 5, 2026
c69aff8
Moved the verifier tests into package
arminzavada May 5, 2026
c0f420e
Moved the compiler tests into package
arminzavada May 5, 2026
0fc753e
Moved the backend code into package
arminzavada May 5, 2026
897380b
Added group declaration
arminzavada May 5, 2026
d82c152
Removed redundant input declaration
arminzavada May 5, 2026
da2595c
Removed the :frontend project
arminzavada May 5, 2026
ac88574
Removed the xsts.lang.ide project
arminzavada May 5, 2026
9362cdd
Added classpath based library
arminzavada May 5, 2026
f3e3a95
Updated the common lang ide project
arminzavada May 5, 2026
f87f4e3
Updated the gamma frontend
arminzavada May 5, 2026
f05e7f6
Updated sysml-2ls to 'Use spawn instead of exec to inherit stdio'
arminzavada May 5, 2026
157e0b8
Moved indenting builder to :tuils
arminzavada May 6, 2026
152703e
Added a generic cache
arminzavada May 6, 2026
510cc6e
Renamed indenting builder
arminzavada May 6, 2026
5e0a0d8
Updated the gamma frontend
arminzavada May 6, 2026
b844cd3
Added auto validate to tests
arminzavada May 6, 2026
cf59c78
Moved the sysml sources
arminzavada May 6, 2026
576fc3e
Implemented the sysmlv2 frontend
arminzavada May 6, 2026
6fbc850
Added hashing utils
arminzavada May 6, 2026
bfd66e0
Added helper validate function
arminzavada May 6, 2026
db0a134
Removed the xsts.lang.ide
arminzavada May 6, 2026
1977a0a
Renamed gamma-semantics to gamma-frontend
arminzavada May 6, 2026
0c969f6
Renamed sysml project to wrapper and frontend
arminzavada May 6, 2026
9a80156
Removed the old sources
arminzavada May 6, 2026
7754a63
Added :utils
arminzavada May 6, 2026
050d0d2
Added common root npm workspace
arminzavada May 6, 2026
9bd5c35
Updated website to root workspace
arminzavada May 6, 2026
a24e0fc
Added clock variables to timer variables
arminzavada May 6, 2026
20b38f3
Commented out traces
arminzavada May 6, 2026
61532ea
Updated the vscode server dependencies
arminzavada May 6, 2026
48e7115
Updated the clock test model
arminzavada May 6, 2026
edb8008
Added automatic example compilation
arminzavada May 6, 2026
05857ec
Removed clock annotations for now
arminzavada May 6, 2026
c2063d1
Using random uuid for token
arminzavada May 6, 2026
b2203eb
Added the gamma.compile command
arminzavada May 6, 2026
e3c1c0e
Extended the command handler
arminzavada May 6, 2026
26ae471
Added common build launcher
arminzavada May 6, 2026
9b2858f
Added lsp wiring classes
arminzavada May 6, 2026
f64fbb8
Updated the command handlers
arminzavada May 6, 2026
7f42040
Formatted build.gradle.kts files
arminzavada May 6, 2026
ea1f5b9
Return javaDto files from the frontend
arminzavada May 6, 2026
f7acc73
Return javaDto files from the verifier
arminzavada May 6, 2026
035cc74
Updated settings.gradle.kts
arminzavada May 6, 2026
26cbe8e
Cleaned up redundant repositories
arminzavada May 6, 2026
514ab0a
Cleaned up theta convention
arminzavada May 6, 2026
5041454
Unified log4j properties
arminzavada May 6, 2026
8b9494d
Updated gamma command handlers
arminzavada May 6, 2026
619ab7c
Added common editor module
arminzavada May 6, 2026
652e1a9
Updated the vscode module.
arminzavada May 6, 2026
6797e26
Updated docker version
arminzavada May 6, 2026
431ce84
Updated docker version
arminzavada May 6, 2026
5df6c57
Updated the live implementation
arminzavada May 6, 2026
d32e297
Specify format targets properly to avoid race condition
arminzavada May 6, 2026
9da2519
Run lsp servers through socket
arminzavada May 6, 2026
eb95fb0
Use verificationTest instead of integrationTest
arminzavada May 6, 2026
97f0846
Updated the live frontend
arminzavada May 6, 2026
cec46be
Fixed missing input declaration
arminzavada May 6, 2026
c79730d
Fixed vsce packaging everything
arminzavada May 7, 2026
428fe97
Added enum literal to the constant folding pattern
arminzavada May 8, 2026
b2c6725
Strengthened temporal expression constraints.
arminzavada May 8, 2026
696bc95
Added enum literal test
arminzavada May 8, 2026
8bd87bc
Use the root package.json file
arminzavada May 8, 2026
b79f0ad
Cleaned up the yaml file
arminzavada May 8, 2026
53556a0
Extracted the process utils
arminzavada May 8, 2026
47c116d
Unified JSON-RPC methods
arminzavada May 8, 2026
9aa6212
Use util destroyTree()
arminzavada May 8, 2026
592efc5
Disabled parallel config cache
arminzavada May 8, 2026
4af8ec4
Refactored backend tests
arminzavada May 8, 2026
e265fae
Moved the trafficlight test
arminzavada May 8, 2026
61c47ef
Added lsp start readiness gate
arminzavada May 9, 2026
5578752
Added unlimited lsp dispatcher
arminzavada May 9, 2026
0e1a77b
Inject interceptors directly
arminzavada May 9, 2026
9f89a44
Configure new limits
arminzavada May 9, 2026
d3677b5
Refactored test infrastructure
arminzavada May 9, 2026
7209fa3
Added lsp parameters
arminzavada May 9, 2026
0d4e6ae
Added benchmarking tests for the live backend
arminzavada May 9, 2026
b0b9dec
Cleanup
arminzavada May 9, 2026
b0cbacc
Added missing tags
arminzavada May 9, 2026
10077c7
Introduced the backend convention plugin
arminzavada May 9, 2026
57049bc
Renamed frontend convention to nodejs
arminzavada May 9, 2026
86ace30
Extracted local variable name allocation
arminzavada May 9, 2026
e8547f9
Added verification group
arminzavada May 9, 2026
08aa336
Removed now incorrect test
arminzavada May 9, 2026
0a0d53f
Add more timing data to verification metrics
arminzavada May 9, 2026
ecf547f
Fixed test
arminzavada May 9, 2026
2d09f48
Cleaned up the code
arminzavada May 9, 2026
695c6aa
Refactored optimization configuration
arminzavada May 9, 2026
d63db04
Cleaned up task groups and descriptions
arminzavada May 9, 2026
656d51a
Fixed sonar config cache issue
arminzavada May 9, 2026
c394319
Removed the clock annotation for now
arminzavada May 9, 2026
c0b88b3
Removed the public lock functions
arminzavada May 10, 2026
bcbcbb8
Removed the lsp cli options
arminzavada May 10, 2026
67eaf0c
Removed file lsp logs
arminzavada May 10, 2026
b06929b
Added providers to enable extension in the live backend
arminzavada May 10, 2026
e6820c5
Added workspace artifact directory
arminzavada May 12, 2026
81141cc
Updated project dependency graph
arminzavada May 12, 2026
bcbd5d1
Removed the backAnnotated source
arminzavada May 12, 2026
0334a71
Updated logger config
arminzavada May 12, 2026
e380fd9
Added workspace seeper
arminzavada May 12, 2026
3221731
Added devmode
arminzavada May 12, 2026
6c6a584
Removed the unnecessary config options
arminzavada May 12, 2026
ab9a7d8
Updated the server endpoints
arminzavada May 12, 2026
53dd337
Implemented session-based lsp server
arminzavada May 12, 2026
4e835d0
Updated server settings
arminzavada May 12, 2026
bcb3013
Updated the lsp layer
arminzavada May 12, 2026
ef81095
Updated the frontend
arminzavada May 12, 2026
83bd12e
Merged branding to by synced
arminzavada May 13, 2026
9dbb9d9
Updated verification message handling and id
arminzavada May 13, 2026
61ee0c9
Using gson instead of raw json
arminzavada May 13, 2026
a83f53b
Added OxstsInjector to frontends.
arminzavada May 13, 2026
25a65d1
Added verification error handling
arminzavada May 13, 2026
e004f95
Set injector required
arminzavada May 13, 2026
1e52c7c
Fixed the tutorial model routing
arminzavada May 13, 2026
e71c0fb
Applied reformatting
arminzavada May 13, 2026
80c41b5
Added mandatory temporal op to sysml models
arminzavada May 13, 2026
5c1bec7
Updated the server status api
arminzavada May 13, 2026
8684629
Throw if the socket is dead
arminzavada May 13, 2026
e71138d
Cleaned up the frontend code
arminzavada May 13, 2026
02df4fd
Skip waiting for work done init
arminzavada May 13, 2026
c197d4f
Added strict tsconif and eslint rules
arminzavada May 13, 2026
17d07d7
Fixed formatting error
arminzavada May 13, 2026
ebefef1
Fixed circular dependency
arminzavada May 13, 2026
9b70582
Fixed unspecified ordering
arminzavada May 13, 2026
9cb78bc
Fixed react act() error
arminzavada May 13, 2026
bb146b8
Use div instead of p
arminzavada May 13, 2026
2f5d0dc
Fixed act() error
arminzavada May 13, 2026
4a879cc
Updated syside to e6c281c6801f9a367448caf325ad5caa49abab53
arminzavada May 13, 2026
e94f5e5
Removed session idle checks
arminzavada May 13, 2026
6df39b5
Fixed docker push config cache issue
arminzavada May 13, 2026
f5d6281
Added versioning
arminzavada May 13, 2026
23df866
Added proper reference index
arminzavada May 13, 2026
00693e3
Removed witness source
arminzavada May 13, 2026
b405167
Added kotlin Duration type adapter
arminzavada May 13, 2026
4b37ea2
Fixed devinfo scrollbar
arminzavada May 13, 2026
f056893
Added running and queued verif state
arminzavada May 13, 2026
fdaa957
Clean up session
arminzavada May 13, 2026
37285b0
Properly close from the frontend
arminzavada May 13, 2026
f7e3b9b
Thread the coroutine context explicitly
arminzavada May 13, 2026
17e6d3b
Simplified lsp session lateinit vars
arminzavada May 13, 2026
f25541e
Added missing coroutine context threading
arminzavada May 13, 2026
5e9d041
Fixed cross language pollution
arminzavada May 14, 2026
82d6342
Refactored lsp session into small components
arminzavada May 14, 2026
2158830
Fixed infinite reconnecting bug
arminzavada May 14, 2026
e0fce31
Fixed wrong sticky lines gutter width
arminzavada May 15, 2026
3415bf1
Workaround until syside becomes esm
arminzavada May 15, 2026
0d77c8a
Added pnpm to action setup
arminzavada May 15, 2026
3b2347a
Added missing license headers
arminzavada May 15, 2026
93c5781
Always download node
arminzavada May 16, 2026
8d4bd64
sysml-wrapper: update paths for sysml-2ls build restructure
arminzavada May 17, 2026
5233297
Correct use pattern
arminzavada May 17, 2026
b3cc8d0
Updated to the newest sysml version
arminzavada May 18, 2026
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
The table of contents is too big for display.
Diff view
Diff view
  •  
  •  
  •  
557 changes: 15 additions & 542 deletions .editorconfig

Large diffs are not rendered by default.

5 changes: 5 additions & 0 deletions .github/dependabot.yml
Original file line number Diff line number Diff line change
Expand Up @@ -14,3 +14,8 @@ updates:
schedule:
interval: "weekly"
rebase-strategy: "disabled"
- package-ecosystem: "npm"
directory: "/
schedule:
interval: "weekly"
rebase-strategy: "disabled"
35 changes: 34 additions & 1 deletion .github/workflows/build.yml
Original file line number Diff line number Diff line change
Expand Up @@ -25,17 +25,50 @@ jobs:
steps:
- name: Checkout code
uses: actions/checkout@v6
with:
fetch-depth: 0
- name: Set up JDK
uses: actions/setup-java@v5
with:
java-version: 25
distribution: adopt
- name: Setup Gradle
uses: gradle/actions/setup-gradle@v5
- name: Set up pnpm
uses: pnpm/action-setup@v4
with:
version: 11
- name: Set up Node
uses: actions/setup-node@v4
with:
node-version: 22
cache: npm
cache-dependency-path: package-lock.json
- name: Gradle build
shell: bash
run: ./gradlew build
- name: Upload GithHub Pages artifact
- name: Run integration tests
shell: bash
run: ./gradlew integrationTest
- name: Merge coverage reports
if: ${{ matrix.os == 'ubuntu-latest' }}
shell: bash
run: ./gradlew mergedJacocoReport
- name: Upload coverage reports
if: ${{ matrix.os == 'ubuntu-latest' }}
uses: actions/upload-artifact@v4
with:
name: jacoco-coverage-reports
path: build/reports/jacoco/mergedJacocoReport/html/
if-no-files-found: warn
retention-days: 30
- name: Publish to SonarCloud
if: ${{ matrix.os == 'ubuntu-latest' }}
shell: bash
env:
SONAR_TOKEN: ${{ secrets.SONAR_TOKEN }}
run: ./gradlew sonar
- name: Upload GitHub Pages artifact
if: ${{ matrix.os == 'ubuntu-latest' }}
uses: actions/upload-pages-artifact@v3
with:
Expand Down
3 changes: 1 addition & 2 deletions .github/workflows/dependency.yml
Original file line number Diff line number Diff line change
Expand Up @@ -15,8 +15,7 @@ jobs:
- uses: actions/checkout@v6
- uses: actions/setup-java@v5
with:
distribution: temurin
distribution: adopt
java-version: 25

- name: Generate and submit dependency graph
uses: gradle/actions/dependency-submission@v5
3 changes: 2 additions & 1 deletion .gitignore
Original file line number Diff line number Diff line change
Expand Up @@ -6,4 +6,5 @@
.gradle/
/**/build/
.kotlin/
*.lsp.log

/node_modules/
16 changes: 0 additions & 16 deletions .idea/runConfigurations/Run_XSTS_LSP_Server.xml

This file was deleted.

2 changes: 1 addition & 1 deletion CONTRIBUTING.md
Original file line number Diff line number Diff line change
Expand Up @@ -22,4 +22,4 @@ This project follows a [Code of Conduct](CODE_OF_CONDUCT.md) adapted from the Co

## Maintainers

Project leadership and contact information is listed in [`CONTRIBUTORS.md`](CONTRIBUTORS.md).
Project leadership and contact information is listed in [CONTRIBUTORS.md](CONTRIBUTORS.md).
43 changes: 43 additions & 0 deletions LICENSES/OFL-1.1.txt
Original file line number Diff line number Diff line change
@@ -0,0 +1,43 @@
SIL OPEN FONT LICENSE

Version 1.1 - 26 February 2007

PREAMBLE

The goals of the Open Font License (OFL) are to stimulate worldwide development of collaborative font projects, to support the font creation efforts of academic and linguistic communities, and to provide a free and open framework in which fonts may be shared and improved in partnership with others.

The OFL allows the licensed fonts to be used, studied, modified and redistributed freely as long as they are not sold by themselves. The fonts, including any derivative works, can be bundled, embedded, redistributed and/or sold with any software provided that any reserved names are not used by derivative works. The fonts and derivatives, however, cannot be released under any other type of license. The requirement for fonts to remain under this license does not apply to any document created using the fonts or their derivatives.

DEFINITIONS

"Font Software" refers to the set of files released by the Copyright Holder(s) under this license and clearly marked as such. This may include source files, build scripts and documentation.

"Reserved Font Name" refers to any names specified as such after the copyright statement(s).

"Original Version" refers to the collection of Font Software components as distributed by the Copyright Holder(s).

"Modified Version" refers to any derivative made by adding to, deleting, or substituting — in part or in whole — any of the components of the Original Version, by changing formats or by porting the Font Software to a new environment.

"Author" refers to any designer, engineer, programmer, technical writer or other person who contributed to the Font Software.

PERMISSION & CONDITIONS

Permission is hereby granted, free of charge, to any person obtaining a copy of the Font Software, to use, study, copy, merge, embed, modify, redistribute, and sell modified and unmodified copies of the Font Software, subject to the following conditions:

1) Neither the Font Software nor any of its individual components, in Original or Modified Versions, may be sold by itself.

2) Original or Modified Versions of the Font Software may be bundled, redistributed and/or sold with any software, provided that each copy contains the above copyright notice and this license. These can be included either as stand-alone text files, human-readable headers or in the appropriate machine-readable metadata fields within text or binary files as long as those fields can be easily viewed by the user.

3) No Modified Version of the Font Software may use the Reserved Font Name(s) unless explicit written permission is granted by the corresponding Copyright Holder. This restriction only applies to the primary font name as presented to the users.

4) The name(s) of the Copyright Holder(s) or the Author(s) of the Font Software shall not be used to promote, endorse or advertise any Modified Version, except to acknowledge the contribution(s) of the Copyright Holder(s) and the Author(s) or with their explicit written permission.

5) The Font Software, modified or unmodified, in part or in whole, must be distributed entirely under this license, and must not be distributed under any other license. The requirement for fonts to remain under this license does not apply to any document created using the Font Software.

TERMINATION

This license becomes null and void if any of the above conditions are not met.

DISCLAIMER

THE FONT SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO ANY WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT OF COPYRIGHT, PATENT, TRADEMARK, OR OTHER RIGHT. IN NO EVENT SHALL THE COPYRIGHT HOLDER BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, INCLUDING ANY GENERAL, SPECIAL, INDIRECT, INCIDENTAL, OR CONSEQUENTIAL DAMAGES, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF THE USE OR INABILITY TO USE THE FONT SOFTWARE OR FROM OTHER DEALINGS IN THE FONT SOFTWARE.
4 changes: 4 additions & 0 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -5,6 +5,10 @@
-->

[![Continuous Integration](https://github.com/ftsrg/semantifyr/actions/workflows/build.yml/badge.svg)](https://github.com/ftsrg/semantifyr/actions/workflows/build.yml)
[![Quality Gate Status](https://sonarcloud.io/api/project_badges/measure?project=ftsrg_semantifyr&metric=alert_status)](https://sonarcloud.io/summary/new_code?id=ftsrg_semantifyr)
[![Latest release](https://img.shields.io/github/v/release/ftsrg/semantifyr?sort=semver)](https://github.com/ftsrg/semantifyr/releases)
[![License: EPL-2.0](https://img.shields.io/badge/License-EPL_2.0-blue.svg)](https://www.eclipse.org/legal/epl-2.0/)
[![REUSE status](https://api.reuse.software/badge/github.com/ftsrg/semantifyr)](https://api.reuse.software/info/github.com/ftsrg/semantifyr)

# Semantifyr

Expand Down
2 changes: 1 addition & 1 deletion branding/semantifyr-full-dark.svg
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
3 changes: 2 additions & 1 deletion branding/semantifyr-full-dark.svg.license
Original file line number Diff line number Diff line change
@@ -1,3 +1,4 @@
SPDX-FileCopyrightText: 2026 The Semantifyr Authors
SPDX-FileCopyrightText: 2020 The Open Sans Project Authors

SPDX-License-Identifier: EPL-2.0
SPDX-License-Identifier: EPL-2.0 AND OFL-1.1
2 changes: 1 addition & 1 deletion branding/semantifyr-full-light.svg
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
3 changes: 2 additions & 1 deletion branding/semantifyr-full-light.svg.license
Original file line number Diff line number Diff line change
@@ -1,3 +1,4 @@
SPDX-FileCopyrightText: 2026 The Semantifyr Authors
SPDX-FileCopyrightText: 2020 The Open Sans Project Authors

SPDX-License-Identifier: EPL-2.0
SPDX-License-Identifier: EPL-2.0 AND OFL-1.1
2 changes: 1 addition & 1 deletion branding/semantifyr-logo.svg
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Loading
Loading