Skip to content

Activity

Showing most recent first

fix: handle intrusive edges

RSD6170pushed 4 commits to main • a7d28ae…e03bae3 • 
on Dec 27, 2024

fix: missing conversion to undirected circles

RSD6170pushed 9 commits to main • f35b5d3…a7d28ae • 
on Dec 26, 2024

feat: change solver to SharpsatTD

RSD6170pushed 1 commit to main • 2df5df4…f35b5d3 • 
on Dec 25, 2024

feat: add more interruption handling

RSD6170pushed 1 commit to main • ff4b6c7…2df5df4 • 
on Dec 24, 2024

feat: add better interruption handling

RSD6170pushed 1 commit to main • 2c649bf…ff4b6c7 • 
on Dec 23, 2024

feat: change cacher behaviour

RSD6170pushed 1 commit to main • 33131df…2c649bf • 
on Dec 16, 2024

feat: expose log4j

RSD6170pushed 1 commit to main • f9cc9ff…33131df • 
on Dec 13, 2024

feat: add logger to not clutter stdout

RSD6170pushed 1 commit to main • 2e062b3…f9cc9ff • 
on Dec 13, 2024

feat: expose FeatureIDE

RSD6170pushed 1 commit to main • 4caddc4…2e062b3 • 
on Dec 13, 2024

feat: update gradle for compatibility

RSD6170pushed 1 commit to main • 85edaeb…4caddc4 • 
on Dec 13, 2024

Added more instructions for readme

RSD6170pushed 13 commits to main • d56236e…85edaeb • 
on Dec 13, 2024

feat: fix created feature values

RSD6170pushed 1 commit to main • 199b7f6…d56236e • 
on Feb 5, 2024

feat: add names to FeatureStep

RSD6170pushed 1 commit to main • 686028c…199b7f6 • 
on Feb 2, 2024

feat: fix wrong concurrency handling

RSD6170pushed 1 commit to main • f9c85a7…686028c • 
on Nov 8, 2023

feat: add even even even more thread interruption handling

RSD6170pushed 1 commit to main • 234b2c3…f9c85a7 • 
on Nov 8, 2023

feat: add even even even more thread interruption handling

RSD6170pushed 1 commit to main • f8aa751…234b2c3 • 
on Nov 8, 2023

feat: add even even even more thread interruption handling

RSD6170pushed 1 commit to main • b4db322…f8aa751 • 
on Nov 8, 2023

feat: add even even more thread interruption handling

RSD6170pushed 1 commit to main • 830929a…b4db322 • 
on Oct 31, 2023

feat: add even more thread interruption handling

RSD6170pushed 1 commit to main • 85f391d…830929a • 
on Oct 31, 2023

feat: add more thread interruption handling

RSD6170pushed 1 commit to main • d527f2c…85f391d • 
on Oct 31, 2023

feat: add thread interruption handling

RSD6170pushed 1 commit to main • ca2247f…d527f2c • 
on Oct 31, 2023

feat: fix flip in active state

RSD6170pushed 1 commit to main • 43dd342…ca2247f • 
on Oct 29, 2023

feat: add handling for missing steps

RSD6170pushed 1 commit to main • 54d3f43…43dd342 • 
on Oct 29, 2023

fix: add handling of relative paths

RSD6170pushed 1 commit to main • 6acfa14…54d3f43 • 
on Oct 29, 2023

feat: Update gradle-wrapper.properties

RSD6170pushed 1 commit to main • bfe38a6…6acfa14 • 
on Oct 24, 2023

feat: add handling of enum names

RSD6170pushed 1 commit to main • e340061…bfe38a6 • 
on Oct 24, 2023

feat: do cleanup before pull

RSD6170pushed 1 commit to main • 7601d2a…e340061 • 
on Sep 14, 2023

fix: fix missing values in MCCTransformer

RSD6170pushed 1 commit to main • ace847e…7601d2a • 
on Sep 5, 2023

refactor: fix code smells

RSD6170pushed 1 commit to main • 6164f74…ace847e • 
on Sep 4, 2023

fix: fix gradle mistakes

RSD6170pushed 1 commit to main • ad3ec97…6164f74 • 
on Sep 4, 2023