Development/hielke2024 #33

hwalinga · 2024-10-21T14:56:32Z

Working on merging the work of Tom and Robert.

…ain better transformer models

…n strings in the apta. To be debated which version to use

…github.com/vincentlaucsb/csv-parser.

Merging changes of Hielke in. Support for SQL database now enabled, and basic structure for Ldot there

* removed renumbering (still need to correct for splits) and fixed printing dot files * Add smoke test for dot output * Add a method to state_merger to print dot output to a stream rather than a file to aid in testing. --------- Co-authored-by: sverwer <[email protected]> Co-authored-by: Tom Catshoek <[email protected]>

… faking a header, which is probably not ideal and only works for traces without trace and symbol attributes

github-actions · 2024-10-22T12:11:38Z

Unit Test Results (x64-windows)

1 files ± 0 1 suites ±0 1s ⏱️ ±0s
67 tests + 4 67 ✅ + 4 0 💤 ±0 0 ❌ ±0
807 runs +515 807 ✅ +515 0 💤 ±0 0 ❌ ±0

Results for commit ab86843. ± Comparison against base commit a6d190c.

This pull request removes 1 and adds 5 tests. Note that renamed tests count towards both.

runtests.exe.global ‑ AbbadingoReader: smoke test

runtests.exe.global ‑ AbbadingoReader: smoke test/Testing iteration method
runtests.exe.global ‑ AbbadingoReader: smoke test/Testing read method
runtests.exe.global ‑ Observation table: Construction and simple insertions/Check behavior when expanding table
runtests.exe.global ‑ Observation table: Construction and simple insertions/Check initialization
runtests.exe.global ‑ Test regex_builder functionality

♻️ This comment has been updated with latest results.

…-lab/FlexFringe into Development/Hielke2024

… be included.

github-actions · 2024-10-24T20:11:12Z

Unit Test Results (x64-osx)

1 files ± 0 1 suites ±0 2s ⏱️ ±0s
67 tests + 4 67 ✅ + 4 0 💤 ±0 0 ❌ ±0
807 runs +515 807 ✅ +515 0 💤 ±0 0 ❌ ±0

Results for commit ec575ff. ± Comparison against base commit a6d190c.

This pull request removes 1 and adds 5 tests. Note that renamed tests count towards both.

runtests.global ‑ AbbadingoReader: smoke test

runtests.global ‑ AbbadingoReader: smoke test/Testing iteration method
runtests.global ‑ AbbadingoReader: smoke test/Testing read method
runtests.global ‑ Observation table: Construction and simple insertions/Check behavior when expanding table
runtests.global ‑ Observation table: Construction and simple insertions/Check initialization
runtests.global ‑ Test regex_builder functionality

♻️ This comment has been updated with latest results.

…pqxx.

…n interface and fixed a bug in the distinguishing_sequences_fill strategy

hwalinga and others added 30 commits January 11, 2024 13:24

Remove libpqxx and instead use cmake FetchContent.

b249495

Remove libpqxx and instead use cmake FetchContent.

3b7fa33

Fix how to use CloneRepository.

fcb2737

Fix how to use CloneRepository.

3a775d0

Use a git hash instead.

b25fe54

Use a git hash instead.

17bb85a

Added the infrastructure to query transformers, and added files to tr…

3088dff

…ain better transformer models

Added the infrastructure to query transformers, and added files to tr…

28c8a29

…ain better transformer models

Added a second version of pL# that uses prior probabilities on unknow…

d62305e

…n strings in the apta. To be debated which version to use

Added a second version of pL# that uses prior probabilities on unknow…

30abe87

…n strings in the apta. To be debated which version to use

Changed modifiers, removed inputdata::get_types.

20c6a8f

Changed modifiers, removed inputdata::get_types.

220faff

Removed own csvrow implementation and used provided one from https://…

9900f68

…github.com/vincentlaucsb/csv-parser.

Removed own csvrow implementation and used provided one from https://…

494aeac

…github.com/vincentlaucsb/csv-parser.

Use sqldb_sul for ldot only.

928be6f

Use sqldb_sul for ldot only.

2acb2ed

Merge branch 'Dev/consistency_check_alternative' into Dev/sqldb_learning

57199e0

Merge branch 'Dev/consistency_check_alternative' into Dev/sqldb_learning

d4a6c21

Merge pull request #2 from RobBa/Dev/sqldb_learning

a0b3f9d

Merging changes of Hielke in. Support for SQL database now enabled, and basic structure for Ldot there

Merge pull request #2 from RobBa/Dev/sqldb_learning

102d159

Merging changes of Hielke in. Support for SQL database now enabled, and basic structure for Ldot there

Bump CLI11.hpp to v1.9.1 (#26)

419eadc

Merge branch 'main' into refactor-inputdata

7111d82

Merge branch 'main' into refactor-inputdata

479d799

Fix dot output test to use new inputdata

f57a4ee

Fix dot output test to use new inputdata

d97bfb5

Require abbadingo header to either end with a newline or EOF

8284d64

Require abbadingo header to either end with a newline or EOF

31bde37

Allow abbadingo parser to parse single lines. We currently do this by…

2b06138

… faking a header, which is probably not ideal and only works for traces without trace and symbol attributes

Allow abbadingo parser to parse single lines. We currently do this by…

0710424

… faking a header, which is probably not ideal and only works for traces without trace and symbol attributes

hwalinga added 14 commits October 22, 2024 14:15

The binary is in the source folder, not the build folder.

6b68150

Let's put some warning about deprected syntax. Closing #25.

4b508f7

Add instructions for Windows.

57485b5

Merge with main.

7beb95c

Merge branch 'Development/Hielke2024' of ssh://github.com/tudelft-cda…

dbf7068

…-lab/FlexFringe into Development/Hielke2024

Updated README.

32bde95

Cleanup README.

b022909

Fix merge conflict.

08f7f6a

Add feature option to cmake.

7a380ec

Add guards for database and python usage so that these can optionally…

5179da8

… be included.

runtests is now in the root folder compiled.

0013108

Trying to fix github actions.

88adeda

Bug in include in namespace.

c4fd2bb

Fixed code to work on MVSC.

620fdce

hwalinga and others added 14 commits October 25, 2024 09:43

Merge branch 'main' into Development/Hielke2024

16fa990

Update README about the available features behind cmake options.

b0e4ae6

Some usefull functions have to stay in db::psql which do not rely on …

a1cf732

…pqxx.

Use std::views::keys

e8ef021

Use test to include appleclang.

ec575ff

Small edit on README on the additional features.

f7c5622

Added some memoization and some minor optimizations in the paul chain.

dc952d1

Fix error when abbadingo file contains only 1 type.

60f6767

Took out unused flags

1ef7d65

Merged stuff and made it compile.

8ed97b5

Fixing the gaurds for Python.

c73e806

removed duplicate input parameters

5e21004

Minor fixes in Python loading

9c1e385

Fixed some compilation errors, plugged some memory leaks in the Pytho…

ab86843

…n interface and fixed a bug in the distinguishing_sequences_fill strategy

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Development/hielke2024 #33

Development/hielke2024 #33

hwalinga commented Oct 21, 2024

github-actions bot commented Oct 22, 2024 •

edited

Loading

github-actions bot commented Oct 24, 2024 •

edited

Loading

Development/hielke2024 #33

Are you sure you want to change the base?

Development/hielke2024 #33

Conversation

hwalinga commented Oct 21, 2024

github-actions bot commented Oct 22, 2024 • edited Loading

Unit Test Results (x64-windows)

github-actions bot commented Oct 24, 2024 • edited Loading

Unit Test Results (x64-osx)

github-actions bot commented Oct 22, 2024 •

edited

Loading

github-actions bot commented Oct 24, 2024 •

edited

Loading