Merge requests · verifit / unite · GitLab

renamed to Unite, spaces in path, unzipping, bugs, color, noProfile

!38 · created Oct 20, 2021 by Ondřej Vašíček dev
- Merged
updated Oct 21, 2021
2.3.1 - thesis submission

!37 · created May 17, 2021 by Ondřej Vašíček
- Merged
updated May 17, 2021
readme updates

!36 · created May 17, 2021 by Ondřej Vašíček
- Merged
updated May 17, 2021
readme updates

!35 · created May 17, 2021 by Ondřej Vašíček
- Merged
updated May 17, 2021
v2.3.0 - envVariable, valuePrefix, multi confFile, confDir, launchSUT/SUTbuildCommand rework

!34 · created May 04, 2021 by Ondřej Vašíček
- Merged
updated May 04, 2021
finishing thesis features

!33 · created May 04, 2021 by Ondřej Vašíček dev
- Merged
updated May 04, 2021
v2.2.0 - update, delete, cancel, keep_last_n, confFile, before/afterCommand, defaultValue override

!32 · created Apr 06, 2021 by Ondřej Vašíček
- Merged
updated Apr 06, 2021
beforeCommand and an afterCommand; defaulValues override

!31 · created Apr 05, 2021 by Ondřej Vašíček dev
- Merged
updated Apr 06, 2021
added a confFile input parameter to the Analysis adapter

!30 · created Apr 04, 2021 by Ondřej Vašíček dev
- Merged
updated Apr 04, 2021
keep_last_n

!29 · created Apr 04, 2021 by Ondřej Vašíček dev
- Merged
updated Apr 04, 2021
resource delete, resource update, execution cancel, better ID gen

!28 · created Apr 03, 2021 by Ondřej Vašíček dev
- Merged
updated Apr 03, 2021
v2.1.1 - fixed high cpu usage on Windows

!27 · created Apr 01, 2021 by Ondřej Vašíček
- Merged
updated Apr 01, 2021
fixed high cpu usage on Windows

!26 · created Apr 01, 2021 by Ondřej Vašíček dev
- Merged
updated Apr 03, 2021
v2.1.0 - configuration in one place

!25 · created Mar 15, 2021 by Ondřej Vašíček
- Merged
updated Mar 15, 2021
Feature/conf in one place

!24 · created Mar 10, 2021 by Ondřej Vašíček dev
- Merged
updated Mar 10, 2021
v.2.0.0

!23 · created Mar 06, 2021 by Ondřej Vašíček
- Merged
updated Mar 06, 2021
added gitlab ci to run tests

!22 · created Mar 06, 2021 by Ondřej Vašíček dev
- Merged
updated Mar 06, 2021
added IDs to analysis Contributions

!21 · created Mar 05, 2021 by Ondřej Vašíček dev
- Merged
updated Mar 05, 2021
Feature/output parsers or filters

!20 · created Mar 02, 2021 by Ondřej Vašíček dev
- Merged
updated Mar 02, 2021
v1.4.0

!19 · created Mar 01, 2021 by Ondřej Vašíček
- Merged
updated Mar 01, 2021

Prev
1
2
3
Next