index
:
refinery
dependabot/npm_and_yarn/ip-2.0.1
dependabot/npm_and_yarn/json5-1.0.2
dependabot/npm_and_yarn/language-web/follow-redirects-1.14.7
dependabot/npm_and_yarn/language-web/nanoid-3.1.31
dependabot/npm_and_yarn/nanoid-3.1.31
dependabot/npm_and_yarn/postcss-8.4.31
dependabot/npm_and_yarn/semver-6.3.1
dependabot/npm_and_yarn/vite-4.2.3
dependabot/npm_and_yarn/vite-5.0.12
dependabot/npm_and_yarn/vite-5.0.5
dependabot/npm_and_yarn/word-wrap-1.2.4
docs
gh-pages
main
Mirror of https://github.com/graphs4value/refinery
Graphs4Value
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
subprojects
Commit message (
Expand
)
Author
Age
*
ObjectCodeImpl.effectiveSize introduced to correctly handle models with diffe...
OszkarSemerath
2023-08-08
*
Added two build tests for custom coding and equivalence checking algorithms.
OszkarSemerath
2023-08-08
*
Test cases for Equivalence accuracy measurements
OszkarSemerath
2023-08-08
*
Non-lazy NeighbourhoodCalculator for more accurate StateCoderBuilderImpl.
OszkarSemerath
2023-08-08
*
Tests + small changes for AbstractNeighbourhoodCalculator and StateEquivalenc...
OszkarSemerath
2023-08-07
*
StateCoderBuilder improvement with individuals, and customizable calculators.
OszkarSemerath
2023-08-07
*
Performance++: ModelVersion.equals is fast and simple and ModelVersion.hash c...
OszkarSemerath
2023-08-05
*
Merge branch 'graphs4value:main' into datastructure
Oszkár Semeráth
2023-08-04
|
\
|
*
Add missing copyright headers
nagilooh
2023-08-04
|
*
Update test cases for new Version implementation
nagilooh
2023-08-03
|
*
Improve visualization
nagilooh
2023-08-03
|
*
Move DSE to new subproject
nagilooh
2023-08-02
|
*
Merge remote-tracking branch 'origin/main' into design-space-exploration
nagilooh
2023-08-02
|
|
\
|
*
|
Update CRA test case
nagilooh
2023-08-02
|
*
|
Remove objective levels
nagilooh
2023-08-02
|
*
|
Change Set to LinkedHashSet, remove unused methods
nagilooh
2023-08-02
|
*
|
Update visualization
nagilooh
2023-08-02
|
*
|
Add trivial test cases for DSE Strategies
nagilooh
2023-08-02
|
*
|
Add seed option for random
nagilooh
2023-08-02
|
*
|
Add visualization using DOT language
nagilooh
2023-08-02
|
*
|
Add new test files
nagilooh
2023-08-02
|
*
|
Fix issue with storing trajectory
nagilooh
2023-07-26
|
*
|
Add visualization adapter
nagilooh
2023-07-26
|
*
|
Add best first strategy
nagilooh
2023-07-26
|
*
|
Add Design space exploration and DFS strategy
nagilooh
2023-07-26
*
|
|
Intermediate commit with Lazy NeighbourhoodCalculator and StateEquivalenceChe...
OszkarSemerath
2023-08-03
*
|
|
Initial prototype of the StateCoderAdapter based on NeighbourhoodCalculator.
OszkarSemerath
2023-07-29
|
|
/
|
/
|
*
|
Versioned.commit + Versioned.restore uses Version instead of long.
OszkarSemerath
2023-07-26
*
|
Refactoring packages related to VersionedMapDeltaImpl + VersionedMapStoreStat...
OszkarSemerath
2023-07-24
|
/
*
Enabled QueryTransactionTest
OszkarSemerath
2023-07-24
*
Added missing copyright headers.
OszkarSemerath
2023-07-24
*
Merge branch 'graphs4value:main' into datastructure
Oszkár Semeráth
2023-07-24
|
\
|
*
feat: ordered query ResultSet
Kristóf Marussy
2023-06-29
|
*
fix: FilteredView default value
Kristóf Marussy
2023-06-22
|
*
refactor: remove Rule
Kristóf Marussy
2023-06-18
|
*
chore(deps): bump dependencies
Kristóf Marussy
2023-06-18
|
*
refactor: prefer Query.of over Dnf.of
Kristóf Marussy
2023-06-18
|
*
refactor: clean up Symbol constructor
Kristóf Marussy
2023-06-18
|
*
fix: further Dnf tests and fixes
Kristóf Marussy
2023-06-17
|
*
refactor(query): structural equality matcher
Kristóf Marussy
2023-06-15
|
*
refactor: simplified Dnf parameter directions
Kristóf Marussy
2023-05-26
|
*
feat: count and aggregation literal reduction
Kristóf Marussy
2023-05-03
|
*
refactor: avoid unnecessary Literal substitutions
Kristóf Marussy
2023-05-01
|
*
feat: query parameter binding validation
Kristóf Marussy
2023-05-01
|
*
fix(web): editor cursor styling
Kristóf Marussy
2023-04-26
|
*
chore(deps): bump dependencies
Kristóf Marussy
2023-04-26
|
*
build: reduce ESLint performance cost
Kristóf Marussy
2023-04-26
|
*
build: improve Xtext project isolation
Kristóf Marussy
2023-04-26
|
*
build: enable parallel Gradle build
Kristóf Marussy
2023-04-25
|
*
chore(deps): bump dependencies
Kristóf Marussy
2023-04-25
[next]