0000000000000000000000000000000000000000 6b70a63228cfe44351e88c502a539a4c42519da0 sarah <sarwinkler@unibz.it> 1623080835 +0200	commit (initial): initial stuff
6b70a63228cfe44351e88c502a539a4c42519da0 280085213ce2f6291e966728cfe2a0d7b80ef52e sarah <sarwinkler@unibz.it> 1623168781 +0200	commit: product construction
280085213ce2f6291e966728cfe2a0d7b80ef52e 3cabac17d519aa7eb3747c116897ee9d3aea464c sarah <sarwinkler@unibz.it> 1623224266 +0200	commit: show trace
3cabac17d519aa7eb3747c116897ee9d3aea464c 3cabac17d519aa7eb3747c116897ee9d3aea464c sarah <sarwinkler@unibz.it> 1623224812 +0200	reset: moving to HEAD
3cabac17d519aa7eb3747c116897ee9d3aea464c 38a314ced03cd5531ac56710afa43ae2d94f1f45 sarah <sarwinkler@unibz.it> 1624434275 +0200	commit: drop dependency on yices
38a314ced03cd5531ac56710afa43ae2d94f1f45 08072c122acc6ede303b7f9cb7a223bd57d41307 sarah <sarwinkler@unibz.it> 1624451785 +0200	commit: add properties to model files
08072c122acc6ede303b7f9cb7a223bd57d41307 1a165f5e7cd00a0e5b7486cf6459ba8c9615ca33 sarah <sarwinkler@unibz.it> 1624452318 +0200	commit: get rid of stupid files
1a165f5e7cd00a0e5b7486cf6459ba8c9615ca33 80b36dad8117ee7366cb084f90b7bb933806dd58 sarah <sarwinkler@unibz.it> 1624542271 +0200	commit: more instructive property
80b36dad8117ee7366cb084f90b7bb933806dd58 0fac34cad45bd6a6bb4af6d672d526ac5ef22def sarah <sarwinkler@unibz.it> 1624543723 +0200	pull: Fast-forward
0fac34cad45bd6a6bb4af6d672d526ac5ef22def 2cbd0429d2de3bc43c10bff01989e00aae60dc97 sarah <sarwinkler@unibz.it> 1624615044 +0200	commit: simplify expressions when constructing automaton
2cbd0429d2de3bc43c10bff01989e00aae60dc97 e10e0e3b667928d2974c69ab35a58511fcaea420 sarah <sarwinkler@unibz.it> 1625404466 +0200	commit: check feedback freedom
e10e0e3b667928d2974c69ab35a58511fcaea420 55dcedc56e43d33697cb9400cdf6285b7122d8f9 sarah <sarwinkler@unibz.it> 1625405088 +0200	commit: bail out if no FS criterion applies
55dcedc56e43d33697cb9400cdf6285b7122d8f9 ac5e53b121f66d827889bacb8e2462d2b7557861 sarah <sarwinkler@unibz.it> 1625405945 +0200	commit: check sat when constructing new state
ac5e53b121f66d827889bacb8e2462d2b7557861 0d6755bcd7e62fd8dc3cdfe6b25f930f67bed845 sarah <sarwinkler@unibz.it> 1625407925 +0200	commit: cutoff equivalence
0d6755bcd7e62fd8dc3cdfe6b25f930f67bed845 17477b17b834965732db1b07400d22be9af77519 sarah <sarwinkler@unibz.it> 1625477456 +0200	commit: do cutoff on z3 expressions, stupid
17477b17b834965732db1b07400d22be9af77519 42a07af1a4f3d5a072c795b634491a03aca7bef7 sarah <sarwinkler@unibz.it> 1625582572 +0200	commit: export json for CG and product automaton
42a07af1a4f3d5a072c795b634491a03aca7bef7 b651e485f342f170477e00964f3e7eb5cfd3c6a1 sarah <sarwinkler@unibz.it> 1626285484 +0200	commit: bug in witness construction: use symbol constraints too
b651e485f342f170477e00964f3e7eb5cfd3c6a1 1e806e2212c152d0515723431eff22e2e4d6243f sarah <sarwinkler@unibz.it> 1626288148 +0200	commit: stupid bugs
1e806e2212c152d0515723431eff22e2e4d6243f 820c713c479ddd3df763b4b47d685c69c1adc0cf sarah <sarwinkler@unibz.it> 1626354308 +0200	commit: merge labels
820c713c479ddd3df763b4b47d685c69c1adc0cf 6350cf0bc9f9633cd24e056da157540ad39093fa sarah <sarwinkler@unibz.it> 1626354850 +0200	commit: output fixes
6350cf0bc9f9633cd24e056da157540ad39093fa af2519cecb529200ad8ba999996781c4261f70a4 sarah <sarwinkler@unibz.it> 1626355261 +0200	commit: output fixes
af2519cecb529200ad8ba999996781c4261f70a4 bf9a7b2cd17adf0490ebd357465f55dec005f946 sarah <sarwinkler@unibz.it> 1626358666 +0200	commit: uniform json
bf9a7b2cd17adf0490ebd357465f55dec005f946 25661a4423b30a3ed57053b72c5c5ed9b8d49b4c sarah <sarwinkler@unibz.it> 1626375033 +0200	commit: simplify formulas
25661a4423b30a3ed57053b72c5c5ed9b8d49b4c 4da0e3ce13051ef3e3a5a5671d615e51bcd65eab sarah <sarwinkler@unibz.it> 1626375268 +0200	commit: simplify formulas
4da0e3ce13051ef3e3a5a5671d615e51bcd65eab e13b5f83bde1f2648268a5301fe4fab233b0bb78 sarah <sarwinkler@unibz.it> 1626375335 +0200	commit: simplify formulas
e13b5f83bde1f2648268a5301fe4fab233b0bb78 5463beaaac6aa12092c63fadd9f05e677f3c077f sarah <sarwinkler@unibz.it> 1626375875 +0200	commit: simplify formulas further
5463beaaac6aa12092c63fadd9f05e677f3c077f 5a3ce44ebec6746234c3020cd43e6ee412d61550 sarah <sarwinkler@unibz.it> 1626376345 +0200	commit: make js rendering easier
5a3ce44ebec6746234c3020cd43e6ee412d61550 7c1252d29a60a5acfe5eadbc76893900b3f6bdcb sarah <sarwinkler@unibz.it> 1627654900 +0200	commit: implement for finite summary decomposition
7c1252d29a60a5acfe5eadbc76893900b3f6bdcb 0b8947ed17d449d32169c9b8984edf7d285c06c9 sarah <sarwinkler@unibz.it> 1628602969 +0200	commit: read LTL formula from json if not provided in command line
0b8947ed17d449d32169c9b8984edf7d285c06c9 ca6d197cf8b57d136eaf3ccae50e957bc7f0a46d sarah <sarwinkler@unibz.it> 1628606657 +0200	commit: show DDS state names in product construction graph
ca6d197cf8b57d136eaf3ccae50e957bc7f0a46d 886d1a2f40aead6be4725d860aae24f3f1339a5a sarah <sarwinkler@unibz.it> 1628606674 +0200	commit: fix cutoff bug with negative numbers
886d1a2f40aead6be4725d860aae24f3f1339a5a 15668592ee63f7c885c43c8e52b8d1bcf0458833 sarah <sarwinkler@unibz.it> 1628622592 +0200	commit: fix bug in compatibility
15668592ee63f7c885c43c8e52b8d1bcf0458833 4a1784676dc20d977b09b580f2d4c879d7cf3509 sarah <sarwinkler@unibz.it> 1628625699 +0200	commit: omit bot state in NFA to reduce size
4a1784676dc20d977b09b580f2d4c879d7cf3509 3c69237f4754bb21356ddcc4a51569bdf0ce2093 sarah <sarwinkler@unibz.it> 1628770244 +0200	commit: add modified auction example
3c69237f4754bb21356ddcc4a51569bdf0ce2093 a5ed6e20162bbf637eb25d5bf1244557622c06b8 sarah <sarwinkler@unibz.it> 1629118500 +0200	commit: resolve stupid type issue with initial values
a5ed6e20162bbf637eb25d5bf1244557622c06b8 7fa8edf8880f3bb945aa57448631d09e6db8ded0 sarah <sarwinkler@unibz.it> 1629123661 +0200	commit: add simple test script
7fa8edf8880f3bb945aa57448631d09e6db8ded0 a3b5dcc41ef7c01858a751e4bdd7e6d6db73ad9b sarah <sarwinkler@unibz.it> 1629123962 +0200	commit: successful testing: bug found
a3b5dcc41ef7c01858a751e4bdd7e6d6db73ad9b 0e0fb3e81e58f1a247521e0c34d3b12aae1eeefd sarah <sarwinkler@unibz.it> 1629124169 +0200	commit: don't bail out if no vars
0e0fb3e81e58f1a247521e0c34d3b12aae1eeefd 0acaf740930821f5f0acf29a14a2c59044f828db sarah <sarwinkler@unibz.it> 1629124308 +0200	commit: more tests
0acaf740930821f5f0acf29a14a2c59044f828db 47a8b0a7afc16cf2148ddb2bdeef07be46e99e37 sarah <sarwinkler@unibz.it> 1629125450 +0200	commit: more properties in one test file
47a8b0a7afc16cf2148ddb2bdeef07be46e99e37 47687b74ea1eab31038efdc14226e4e3dbcabc2d sarah <sarwinkler@unibz.it> 1629127428 +0200	commit: compatibility bug: filter admissible labels, do not throw all
47687b74ea1eab31038efdc14226e4e3dbcabc2d 08cfa8c5cc7ef645cba7770eac3407f07ea41137 sarah <sarwinkler@unibz.it> 1629127451 +0200	commit (amend): compatibility bug: filter admissible labels, do not throw away all
08cfa8c5cc7ef645cba7770eac3407f07ea41137 cfb1ac72137363aca901df0d198dd8fdb07245d0 sarah <sarwinkler@unibz.it> 1629127480 +0200	commit (amend): compatibility bug: filter admissible labels, do not throw away all
cfb1ac72137363aca901df0d198dd8fdb07245d0 1725475292f70350f486ecd318e0ee80ff029869 sarah <sarwinkler@unibz.it> 1629128047 +0200	commit: more tests
1725475292f70350f486ecd318e0ee80ff029869 253b8ef0fbebc9571aaf4e99ea1cd9b69ee4569c sarah <sarwinkler@unibz.it> 1629128304 +0200	commit: more tests
253b8ef0fbebc9571aaf4e99ea1cd9b69ee4569c cd7c93b24e9a72a9c8a1ad57fa58d09111f773f1 sarah <sarwinkler@unibz.it> 1629131799 +0200	commit: compute (overapproximation of) cutoff for GCs, take formula constraints into account
cd7c93b24e9a72a9c8a1ad57fa58d09111f773f1 703aaa690f5e90e24a6403087d41eed3f2c32ed4 sarah <sarwinkler@unibz.it> 1629132452 +0200	commit: small stuff
703aaa690f5e90e24a6403087d41eed3f2c32ed4 aeaa418fa8cc71919dc772e5e2b9e27d389e8907 sarah <sarwinkler@unibz.it> 1629188026 +0200	commit: more tests
aeaa418fa8cc71919dc772e5e2b9e27d389e8907 bfb933767cdf501edfa3341dec592a7976c45970 sarah <sarwinkler@unibz.it> 1629188611 +0200	commit: support next operator <a> wrt specific action a
bfb933767cdf501edfa3341dec592a7976c45970 d00b37e401396a903260826f1216ac7732748711 sarah <sarwinkler@unibz.it> 1629197143 +0200	commit: accept pnml files as input and convert them into DDSs
d00b37e401396a903260826f1216ac7732748711 349fff91454360e768bbcf0572ccc84f391c1fd9 sarah <sarwinkler@unibz.it> 1629286453 +0200	pull: Fast-forward
349fff91454360e768bbcf0572ccc84f391c1fd9 c3f976612078d298915e00545bd10168ab038bba sarah <sarwinkler@unibz.it> 1629286710 +0200	commit: README
c3f976612078d298915e00545bd10168ab038bba 57f2c4aedc06df741cb5f73e632505ba80f06c3c sarah <sarwinkler@unibz.it> 1629286980 +0200	commit: missing parameters in call
57f2c4aedc06df741cb5f73e632505ba80f06c3c 72f06e744100e704bebee8970eb71e84e67f6e65 sarah <sarwinkler@unibz.it> 1629287242 +0200	commit: fix setting LTL formula
72f06e744100e704bebee8970eb71e84e67f6e65 ed7919c83af132409f6e801461f3aa41af232704 sarah <sarwinkler@unibz.it> 1629288107 +0200	commit: type error with edge labels
ed7919c83af132409f6e801461f3aa41af232704 160607b8cea51fb606ccbb4c035f7e7144ade3d9 sarah <sarwinkler@unibz.it> 1629288973 +0200	commit: make file type distinction more robust, not just dependent on name
160607b8cea51fb606ccbb4c035f7e7144ade3d9 2cceb4edefc1506748447eb3b6ae333104ccb541 sarah <sarwinkler@unibz.it> 1629356715 +0200	commit: Paolo's magic stuff
2cceb4edefc1506748447eb3b6ae333104ccb541 ad3f55764f1a585ecdb8694c17f3790057b86cb8 sarah <sarwinkler@unibz.it> 1629356826 +0200	commit (merge): merge
ad3f55764f1a585ecdb8694c17f3790057b86cb8 9e7c369e65a359cc7b4230ef159104341ce6178c sarah <sarwinkler@unibz.it> 1629358329 +0200	pull: Fast-forward
9e7c369e65a359cc7b4230ef159104341ce6178c b6488c0673911f0efef0ac4715715151a967e12d sarah <sarwinkler@unibz.it> 1629359966 +0200	commit: more php
b6488c0673911f0efef0ac4715715151a967e12d 78da9f3b2787e799ad5e770a4589f78a6c9f737a sarah <sarwinkler@unibz.it> 1629360349 +0200	commit: typo in property
78da9f3b2787e799ad5e770a4589f78a6c9f737a 8c888a2081669ce48b3c8e17a8afcd33a08c32f0 sarah <sarwinkler@unibz.it> 1629365363 +0200	pull: Fast-forward
8c888a2081669ce48b3c8e17a8afcd33a08c32f0 ce8e688d555fe13b920f7b5730e5111a2af1a16e sarah <sarwinkler@unibz.it> 1629367130 +0200	commit: more appropriate output for test script
ce8e688d555fe13b920f7b5730e5111a2af1a16e 6f223f34cd9a62a4217fd1de0678b9d2000499a7 sarah <sarwinkler@unibz.it> 1629374130 +0200	commit: populate help page
6f223f34cd9a62a4217fd1de0678b9d2000499a7 846bd4729c675787f0a7a05c92d1cef2852b7001 sarah <sarwinkler@unibz.it> 1629374863 +0200	commit: populate help page
846bd4729c675787f0a7a05c92d1cef2852b7001 88ccc9d5f0520db3b5393a6cf3208277f800e1cb sarah <sarwinkler@unibz.it> 1629374957 +0200	commit: populate help page
88ccc9d5f0520db3b5393a6cf3208277f800e1cb dc1bc98fb46d71844952f33cb9e9aafd342e0ab5 sarah <sarwinkler@unibz.it> 1629375017 +0200	commit: populate help page
dc1bc98fb46d71844952f33cb9e9aafd342e0ab5 e5a7b15843928df145017b9687571347dbc8827d sarah <sarwinkler@unibz.it> 1629375083 +0200	commit: populate help page
e5a7b15843928df145017b9687571347dbc8827d c2e098d62df10c627b5df34115611115dd50f568 sarah <sarwinkler@unibz.it> 1629375389 +0200	commit: populate help page
c2e098d62df10c627b5df34115611115dd50f568 96dcb6efd5dd2a0360f20d04c97a2b51513f51f5 sarah <sarwinkler@unibz.it> 1629375724 +0200	commit: populate help page
96dcb6efd5dd2a0360f20d04c97a2b51513f51f5 cc2ccb7b94b9c1b0ed62d8916fd2091075f849f1 sarah <sarwinkler@unibz.it> 1629376113 +0200	commit: populate help page
cc2ccb7b94b9c1b0ed62d8916fd2091075f849f1 3be864886e2dfc083b665a92eddf914daf0f455c sarah <sarwinkler@unibz.it> 1629376565 +0200	commit: populate help page
3be864886e2dfc083b665a92eddf914daf0f455c 013438802cb85a24150503c29b86a01fd91c4e4b sarah <sarwinkler@unibz.it> 1629376914 +0200	commit: populate help page
013438802cb85a24150503c29b86a01fd91c4e4b 92fe7ec92623e69e7b00d538d47659090fc4a619 sarah <sarwinkler@unibz.it> 1629377287 +0200	commit: populate help page
92fe7ec92623e69e7b00d538d47659090fc4a619 ac16700068eaf694dbb9dcd7f86a5aeeb1f94273 sarah <sarwinkler@unibz.it> 1629377331 +0200	commit: populate help page
ac16700068eaf694dbb9dcd7f86a5aeeb1f94273 312bf6100d345f950606c168fbc6a58453bbfa38 sarah <sarwinkler@unibz.it> 1629397079 +0200	commit: populate help page
312bf6100d345f950606c168fbc6a58453bbfa38 b63d4e57086dffd9e3d7024afa5bbb62e9562ea0 sarah <sarwinkler@unibz.it> 1629397271 +0200	commit: populate help page
b63d4e57086dffd9e3d7024afa5bbb62e9562ea0 dda5352be2f2cb4dbf34a73a048d70f3b7f14d89 sarah <sarwinkler@unibz.it> 1629397411 +0200	commit: populate help page
dda5352be2f2cb4dbf34a73a048d70f3b7f14d89 663a24b43d0ed0e5dfc6d5ad37fcc1bd141569ff sarah <sarwinkler@unibz.it> 1629397517 +0200	commit: populate help page
663a24b43d0ed0e5dfc6d5ad37fcc1bd141569ff 0a60cce8609374191ab4d8f98a4fc10e2b45be1d sarah <sarwinkler@unibz.it> 1629397663 +0200	commit: populate help page
0a60cce8609374191ab4d8f98a4fc10e2b45be1d 2ab33771a0bf1cc110eb223d20cfbe3a74aeca9d sarah <sarwinkler@unibz.it> 1629398411 +0200	commit: changes in help page
2ab33771a0bf1cc110eb223d20cfbe3a74aeca9d d989fb06ed03cb96bdeca38579fbfe91597a43cd sarah <sarwinkler@unibz.it> 1629398665 +0200	commit: changes in help page
d989fb06ed03cb96bdeca38579fbfe91597a43cd 8900220ad0951f7c22ff1080145ef87f23c8136c sarah <sarwinkler@unibz.it> 1629399371 +0200	commit: changes in help page
8900220ad0951f7c22ff1080145ef87f23c8136c dbaf124afcf229303028a7bb77fd703659a1818c sarah <sarwinkler@unibz.it> 1629404353 +0200	commit: add road fine example as json
dbaf124afcf229303028a7bb77fd703659a1818c 23a57fc9f8e98facf381922de3d0aa0c0a5dbe98 sarah <sarwinkler@unibz.it> 1629407276 +0200	commit: name pngs by id
23a57fc9f8e98facf381922de3d0aa0c0a5dbe98 36c4bbae78f4b35b8afc987072d503d0031d53cb sarah <sarwinkler@unibz.it> 1629407589 +0200	commit: show DDSA on site
36c4bbae78f4b35b8afc987072d503d0031d53cb 4f121d82455d5893487a9a5d8f07452b4706ab30 sarah <sarwinkler@unibz.it> 1629407680 +0200	commit: fix name
4f121d82455d5893487a9a5d8f07452b4706ab30 b66699b44089bd1c3479c9eb5700ab9b818c0e83 sarah <sarwinkler@unibz.it> 1629407743 +0200	commit: fix name
b66699b44089bd1c3479c9eb5700ab9b818c0e83 14fc9040956d9aa13066f6ea75b335be5deff999 sarah <sarwinkler@unibz.it> 1629444452 +0200	commit: fix lookback bound
14fc9040956d9aa13066f6ea75b335be5deff999 4e1002f1bc3e8ef0b9361355ebeea49ccd92ae16 sarah <sarwinkler@unibz.it> 1629449124 +0200	commit: write graphs to files in out directory
4e1002f1bc3e8ef0b9361355ebeea49ccd92ae16 541853a313542b0aca0b6b4b2f5bbbcb278ce543 sarah <sarwinkler@unibz.it> 1629449178 +0200	pull: Merge made by the 'recursive' strategy.
541853a313542b0aca0b6b4b2f5bbbcb278ce543 e24fdcb693056cbed382f8a4583c22a90c5e67df sarah <sarwinkler@unibz.it> 1629455282 +0200	commit: php/css
e24fdcb693056cbed382f8a4583c22a90c5e67df 34d68fbf2105ef11626c9cc4b32f371ac42a62b0 sarah <sarwinkler@unibz.it> 1629455305 +0200	commit: improve graphs
34d68fbf2105ef11626c9cc4b32f371ac42a62b0 9b532ba0c108a514d52dbee2024d4edf4d966d3c sarah <sarwinkler@unibz.it> 1629455421 +0200	commit: improve graphs
9b532ba0c108a514d52dbee2024d4edf4d966d3c db0e2c9f65939f1b364cda3799904ba20fccfcd7 sarah <sarwinkler@unibz.it> 1629459807 +0200	commit: improve graphs
db0e2c9f65939f1b364cda3799904ba20fccfcd7 b924d54f1bc2d04030acc55c31be6915f09f8de6 sarah <sarwinkler@unibz.it> 1629459863 +0200	pull: Fast-forward
b924d54f1bc2d04030acc55c31be6915f09f8de6 5891af2709635e521776fdf0f0ced01fb7618dab sarah <sarwinkler@unibz.it> 1629462295 +0200	commit: improve graphs
5891af2709635e521776fdf0f0ced01fb7618dab 67afb33facf6e4f311d2d26692e6c44056182a2d sarah <sarwinkler@unibz.it> 1629464851 +0200	commit: add meta tags
67afb33facf6e4f311d2d26692e6c44056182a2d b369d0282da333dabfd974994a1ff58fc0b5db56 sarah <sarwinkler@unibz.it> 1629469628 +0200	commit: some fixes in decomposition; rename tests for nicer sorting
b369d0282da333dabfd974994a1ff58fc0b5db56 958f7379e682360c09c3fbefa57352bc6bab6d8c sarah <sarwinkler@unibz.it> 1629474946 +0200	commit: create suitable equivalence from decomposition
958f7379e682360c09c3fbefa57352bc6bab6d8c 9a476e84380ea8c3b1322bd100abae2d58ae027d sarah <sarwinkler@unibz.it> 1629705162 +0200	commit: another easy case forgotten in cutoff
9a476e84380ea8c3b1322bd100abae2d58ae027d a2e1631cfabd8201b77477835993c97932ca5ec4 sarah <sarwinkler@unibz.it> 1629807725 +0200	commit: introduce additional end state, towards getting rid of last symbols
a2e1631cfabd8201b77477835993c97932ca5ec4 4e2982e81af3aee6e8e4b8476905a89a0b94f760 sarah <sarwinkler@unibz.it> 1629808672 +0200	commit: get rid of last symbols in product construction
4e2982e81af3aee6e8e4b8476905a89a0b94f760 e21b9c37a509b74010b7e37d2c5a08c4909127ac sarah <sarwinkler@unibz.it> 1629808900 +0200	commit: more interesting property for auction
e21b9c37a509b74010b7e37d2c5a08c4909127ac e0a8dbcee3c1eda30c2f267ad618dcbbb706282e sarah <sarwinkler@unibz.it> 1629813292 +0200	commit: more small changes, more test cases
e0a8dbcee3c1eda30c2f267ad618dcbbb706282e 5b04c45641087e201b1ade73ad0e2133d4e64f63 sarah <sarwinkler@unibz.it> 1629840496 +0200	commit: transform DPN with more than 1 tokens into DDS
5b04c45641087e201b1ade73ad0e2133d4e64f63 dc34d38e499d4b870324b6388751d3e0951dd16f sarah <sarwinkler@unibz.it> 1629877050 +0200	commit: hospital billing example
dc34d38e499d4b870324b6388751d3e0951dd16f b314a9c2ea985a510e3d3d21344286aa455e691a sarah <sarwinkler@unibz.it> 1629902381 +0200	commit: small changes
b314a9c2ea985a510e3d3d21344286aa455e691a 13347d433fff3723387889c48740a62cb52c4cbd sarah <sarwinkler@unibz.it> 1630310789 +0200	commit: change color
13347d433fff3723387889c48740a62cb52c4cbd b8011f54798f3610c3ac2e23b275997681992da4 sarah <sarwinkler@unibz.it> 1632123283 +0200	commit: more details in README
b8011f54798f3610c3ac2e23b275997681992da4 20d45d4faf8ef0acb08879ed96a59d1762904c09 sarah <sarwinkler@unibz.it> 1632404633 +0200	commit: match example to B2 in paper
20d45d4faf8ef0acb08879ed96a59d1762904c09 b78fafcd591396c49c697c8e57e7902ee51c4152 sarah <sarwinkler@unibz.it> 1632404722 +0200	commit: match example to B3 in paper
b78fafcd591396c49c697c8e57e7902ee51c4152 07c4c2861949a9dc15f78365c8a4a03fd977017d sarah <sarwinkler@unibz.it> 1632405360 +0200	commit: match examples to paper
07c4c2861949a9dc15f78365c8a4a03fd977017d a5d3a293e96bd15ba49641f4bf448401c8062e31 sarah <sarwinkler@unibz.it> 1632470617 +0200	commit: nicer command line argument handling
a5d3a293e96bd15ba49641f4bf448401c8062e31 ce538b954e0b13a0903faf2ae023c4150a98fcab sarah <sarwinkler@unibz.it> 1632471117 +0200	commit: move reading of input to separate file
ce538b954e0b13a0903faf2ae023c4150a98fcab 42ca26ef9d6069683decd05329b270535f53bd52 sarah <sarwinkler@unibz.it> 1632473094 +0200	commit: restructuring, dummy soundness function
42ca26ef9d6069683decd05329b270535f53bd52 ed2b6036b166aee3ae919817aea1f9e1dac31627 sarah <sarwinkler@unibz.it> 1632482286 +0200	commit: towards soundness checking
ed2b6036b166aee3ae919817aea1f9e1dac31627 9861747d1c66d272370f48b18cc7bd30e4ed86e8 sarah <sarwinkler@unibz.it> 1632484485 +0200	commit: move visualization to separate function
9861747d1c66d272370f48b18cc7bd30e4ed86e8 4480e0acc64b7ed92ca4206e7aab0e9faed24f99 sarah <sarwinkler@unibz.it> 1632486246 +0200	commit: check for dead transitions
4480e0acc64b7ed92ca4206e7aab0e9faed24f99 bbe207841f2491eb4ee81c31257af6f1626ca1bb sarah <sarwinkler@unibz.it> 1632486844 +0200	commit: fix dead transition output
bbe207841f2491eb4ee81c31257af6f1626ca1bb 19fa7044b09aff9f5cbc95d4a9a076142eed0b0b sarah <sarwinkler@unibz.it> 1632487884 +0200	commit: more test cases
19fa7044b09aff9f5cbc95d4a9a076142eed0b0b 40e5b635699176a45e908039831970da0f641c3a sarah <sarwinkler@unibz.it> 1632587560 +0200	commit: move output of run to separate function
40e5b635699176a45e908039831970da0f641c3a 5bf350adfba51864360d53969fa2c75d52779e1d sarah <sarwinkler@unibz.it> 1632748441 +0200	commit: bla
5bf350adfba51864360d53969fa2c75d52779e1d ce90cef0dff1191f163b55c1226cdbfdfed8ea75 sarah <sarwinkler@unibz.it> 1632748505 +0200	commit: bla
ce90cef0dff1191f163b55c1226cdbfdfed8ea75 93129684d95519d830e55aea7259b5b57bf5d717 sarah <sarwinkler@unibz.it> 1632748690 +0200	commit: bla
93129684d95519d830e55aea7259b5b57bf5d717 17c7712db0da6cb284725547d866f2981ad81638 sarah <sarwinkler@unibz.it> 1632748772 +0200	commit: bla
17c7712db0da6cb284725547d866f2981ad81638 a5de34e7c65132b0fb84c20f88e8fcee1ec2fe8e sarah <sarwinkler@unibz.it> 1632748778 +0200	commit: bla
a5de34e7c65132b0fb84c20f88e8fcee1ec2fe8e e85d6bd0456fa1fac6e1088325e84a8df12f3459 sarah <sarwinkler@unibz.it> 1632748882 +0200	commit: bla
e85d6bd0456fa1fac6e1088325e84a8df12f3459 afe930495363ebc020c279bd9f75c0817544ab10 sarah <sarwinkler@unibz.it> 1632756877 +0200	commit: fix
afe930495363ebc020c279bd9f75c0817544ab10 b8e030c1a73ce725a9787dd9af6038ef0882593f sarah <sarwinkler@unibz.it> 1632757029 +0200	commit: fix
b8e030c1a73ce725a9787dd9af6038ef0882593f 5a5affee107441be24e5650597d9c4a173873fbd sarah <sarwinkler@unibz.it> 1632760152 +0200	commit: more tests
5a5affee107441be24e5650597d9c4a173873fbd b115455c82cb1df75952a379414f748ad0c9df05 sarah <sarwinkler@unibz.it> 1632813480 +0200	commit: fix test case
b115455c82cb1df75952a379414f748ad0c9df05 692c4e3ca65cf5552bdb9b67e101bfebcd93dc32 sarah <sarwinkler@unibz.it> 1633195388 +0200	commit: new soundness check using suffix expressions
692c4e3ca65cf5552bdb9b67e101bfebcd93dc32 9ecd7c4551adbd34dc718b5037b0de8340121c0a sarah <sarwinkler@unibz.it> 1633379124 +0200	commit: support for CVC5; seems a lot fatser on some examples
9ecd7c4551adbd34dc718b5037b0de8340121c0a 11f4c360ce54664de9b944582aafaf7ad8bb8f2b sarah <sarwinkler@unibz.it> 1633460141 +0200	commit: fix various stuff to use CVC5
11f4c360ce54664de9b944582aafaf7ad8bb8f2b 0657830782bde1a9cc98946bd97117b5b962469b sarah <sarwinkler@unibz.it> 1633462499 +0200	commit: fix determination of written variables
0657830782bde1a9cc98946bd97117b5b962469b b9f5a1f53cd9b6b07bd0dfc5d42a973c2f929cbf sarah <sarwinkler@unibz.it> 1633466440 +0200	commit: one-point rule
b9f5a1f53cd9b6b07bd0dfc5d42a973c2f929cbf 93df74b21b7a26622169d95438b14e3f37e4d16a sarah <sarwinkler@unibz.it> 1633525125 +0200	commit: fix bug in new quantification; output witness for unsoundness
93df74b21b7a26622169d95438b14e3f37e4d16a 01e263b75be018c3a19f82f9569dbb645341042e sarah <sarwinkler@unibz.it> 1633525210 +0200	commit: more unsound examples
01e263b75be018c3a19f82f9569dbb645341042e 910e9e1c3d99a36423ea08c85599992d8c8d0aff sarah <sarwinkler@unibz.it> 1633525330 +0200	commit: more unsound examples
910e9e1c3d99a36423ea08c85599992d8c8d0aff e19c9249785b609926c0882efa35f0b64750f3c4 sarah <sarwinkler@unibz.it> 1633535865 +0200	commit: invert DDS
e19c9249785b609926c0882efa35f0b64750f3c4 e8eb0f4628789dfc62b39bee46dc380570c15268 sarah <sarwinkler@unibz.it> 1633539792 +0200	commit: second approach to deadlocks
e8eb0f4628789dfc62b39bee46dc380570c15268 e4436e514ddd7ede675ad1dfe93b3c1d0155a6fc sarah <sarwinkler@unibz.it> 1633594497 +0200	commit: switch to CVC5 by default
e4436e514ddd7ede675ad1dfe93b3c1d0155a6fc 1c6ff699889da30f84c328cae43766e8388a673e sarah <sarwinkler@unibz.it> 1633601504 +0200	commit: sanity check for DDS input
1c6ff699889da30f84c328cae43766e8388a673e d5bd52d850ae89fd01b18bc5966cf6a4eab21d1f sarah <sarwinkler@unibz.it> 1633607930 +0200	commit: update hospital billing example to use bool vars
d5bd52d850ae89fd01b18bc5966cf6a4eab21d1f bf9aea041edcb2b20d75a48ef5fc3647c4c08fdf sarah <sarwinkler@unibz.it> 1633607994 +0200	commit: update hospital billing example to use bool vars
bf9aea041edcb2b20d75a48ef5fc3647c4c08fdf de089cbfdbfe6f61d5fddccbb5709b7b57f49db0 sarah <sarwinkler@unibz.it> 1633608809 +0200	commit: set lib path for cvc5
de089cbfdbfe6f61d5fddccbb5709b7b57f49db0 30d104c06e88a7e9e2c801ae5660d8ef1de4756f sarah <sarwinkler@unibz.it> 1633609940 +0200	commit: fix output bug
30d104c06e88a7e9e2c801ae5660d8ef1de4756f ebdcecf6ea793b416466d97548025a08818d1031 sarah <sarwinkler@unibz.it> 1633610975 +0200	commit: z3 is faster for model checking hospital billing
ebdcecf6ea793b416466d97548025a08818d1031 ebdcecf6ea793b416466d97548025a08818d1031 sarah <sarwinkler@unibz.it> 1633612881 +0200	reset: moving to HEAD
ebdcecf6ea793b416466d97548025a08818d1031 5c6c34de76669d6ddbe4237155e5de78d818e9df sarah <sarwinkler@unibz.it> 1633616628 +0200	commit: fix evaluation with CVC5 (use consts not vars)
5c6c34de76669d6ddbe4237155e5de78d818e9df fed86dbef8c0aea9c0fc427c6d5028c1ef3b6445 sarah <sarwinkler@unibz.it> 1637081984 +0100	commit: optimizations in soundness checking: avoid redundant work causes by True edges
fed86dbef8c0aea9c0fc427c6d5028c1ef3b6445 23a84088fa44c424e4e1e67deb7a932a7ffb0a34 sarah <sarwinkler@unibz.it> 1637082065 +0100	commit: drop version of deadlock check using inverted CGs
23a84088fa44c424e4e1e67deb7a932a7ffb0a34 2156d938376c4f0b847981f346ad51a9a7cdcde3 sarah <sarwinkler@unibz.it> 1637083140 +0100	commit: drop version of deadlock check using inverted CGs
2156d938376c4f0b847981f346ad51a9a7cdcde3 2156d938376c4f0b847981f346ad51a9a7cdcde3 sarah <sarwinkler@unibz.it> 1637083154 +0100	reset: moving to HEAD
2156d938376c4f0b847981f346ad51a9a7cdcde3 b0c1512e2ca25b4718b5b65528347862ffdc0c27 sarah <sarwinkler@unibz.it> 1637140463 +0100	commit: some fixes occurring with sepsis model
b0c1512e2ca25b4718b5b65528347862ffdc0c27 d80a1a0347c4125ea2ae8213d4e54d59d6d5ca4f sarah <sarwinkler@unibz.it> 1637170443 +0100	commit: fix parser to support multiplication (for credit example)
d80a1a0347c4125ea2ae8213d4e54d59d6d5ca4f cd8b7be9cb31f14f29e294239f9a9582fb30e124 sarah <sarwinkler@unibz.it> 1637170533 +0100	commit: add test case
cd8b7be9cb31f14f29e294239f9a9582fb30e124 7fca26d4d7c7d2f8d2d5bec147cf3f9cb7e22196 sarah <sarwinkler@unibz.it> 1637182699 +0100	commit: fix in pnml reading
7fca26d4d7c7d2f8d2d5bec147cf3f9cb7e22196 e270eaa6e044686f79e9958fede5549614674cfa sarah <sarwinkler@unibz.it> 1637183012 +0100	commit: empty CG cache
e270eaa6e044686f79e9958fede5549614674cfa 7b92c69c8aaff14ff89b975dadedb5b6d761e7bd sarah <sarwinkler@unibz.it> 1637188194 +0100	commit: add examples
7b92c69c8aaff14ff89b975dadedb5b6d761e7bd 496f26cba27a4773c595803c232d44def814adff sarah <sarwinkler@unibz.it> 1637188259 +0100	commit: rename
496f26cba27a4773c595803c232d44def814adff 567df29f3879182958bda06bbca69cdcc0ccd7f0 sarah <sarwinkler@unibz.it> 1637188307 +0100	commit: rename
567df29f3879182958bda06bbca69cdcc0ccd7f0 599b4fc72a39be9810648fc2809637f4605ec97f sarah <sarwinkler@unibz.it> 1637313424 +0100	commit: fix wrong use of init_val_constraints
599b4fc72a39be9810648fc2809637f4605ec97f 1a95e577a64e64f861d57e686f733c17c42793ee sarah <sarwinkler@unibz.it> 1637675501 +0100	commit: check for dirty termination states
1a95e577a64e64f861d57e686f733c17c42793ee 43f57193b5aced68b00a5189e91c702edc1f613a sarah <sarwinkler@unibz.it> 1638010856 +0100	commit: set VarType types already when constructing DPN
43f57193b5aced68b00a5189e91c702edc1f613a 5b34aaf8cbbf4c760b42c40d5f41ca43c2f978b8 sarah <sarwinkler@unibz.it> 1638011089 +0100	commit: set VarType types already when constructing DPN
5b34aaf8cbbf4c760b42c40d5f41ca43c2f978b8 cf41efc4f244f126384b37d8a446c6ca8ad90eef sarah <sarwinkler@unibz.it> 1638022459 +0100	commit: fix parser bugs
cf41efc4f244f126384b37d8a446c6ca8ad90eef b2bbc6c1014277d4fe28a892fbe99e9c4d001c22 sarah <sarwinkler@unibz.it> 1638022537 +0100	commit: add pnmls
b2bbc6c1014277d4fe28a892fbe99e9c4d001c22 872bd14a80c5cc3452750d830aabf0b78c87920b sarah <sarwinkler@unibz.it> 1638092430 +0100	commit: init value bug in product construction
872bd14a80c5cc3452750d830aabf0b78c87920b 7e4f7eeff7d2b4da7f79fa1f9b668b2e07c2d7d7 sarah <sarwinkler@unibz.it> 1638094876 +0100	commit: drop superfluous prints
7e4f7eeff7d2b4da7f79fa1f9b668b2e07c2d7d7 f659bba1359066ed64bf75cff2ea7db53561d714 sarah <sarwinkler@unibz.it> 1638099071 +0100	commit: suppress True guards in DDS
f659bba1359066ed64bf75cff2ea7db53561d714 5004ece163b2aad247e62968701f178062cdfad0 sarah <sarwinkler@unibz.it> 1638105060 +0100	commit: fix bug in optimization: can jump edges only if guard true AND no vars written
5004ece163b2aad247e62968701f178062cdfad0 c94a48984fe3f1a38241d5927911736a510a19c6 sarah <sarwinkler@unibz.it> 1638105137 +0100	commit: take time in z3
c94a48984fe3f1a38241d5927911736a510a19c6 f28fa8dbdf4c4836fedfc74316b399135650aa33 sarah <sarwinkler@unibz.it> 1638111855 +0100	commit: activity pattern models for digital whiteboard case study (Fig 14.3 in Mannhardt's thesis)
f28fa8dbdf4c4836fedfc74316b399135650aa33 3a63e28332e28923abb07ea2640e54e1a15e3fb2 sarah <sarwinkler@unibz.it> 1638181663 +0100	commit: cache simplification
3a63e28332e28923abb07ea2640e54e1a15e3fb2 41c9512755b7e6a58d8fc7baa1b0c94d8a9d7bd6 sarah <sarwinkler@unibz.it> 1638189747 +0100	commit: add examples
41c9512755b7e6a58d8fc7baa1b0c94d8a9d7bd6 8ccb4c7b492d489f82fc93d6ac09f1cf34906d82 sarah <sarwinkler@unibz.it> 1642067293 +0100	commit: some improvements in parser
8ccb4c7b492d489f82fc93d6ac09f1cf34906d82 38c097ec091905f242df2ffa02b6b02431a56469 sarah <sarwinkler@unibz.it> 1642771477 +0100	commit: parse CTL*
38c097ec091905f242df2ffa02b6b02431a56469 24e6c5b3e21c7796459c3ac6365c438dee50f55a sarah <sarwinkler@unibz.it> 1643024993 +0100	commit: towards processing CTL*
24e6c5b3e21c7796459c3ac6365c438dee50f55a bb2d65595115226404350332da3adb37e9e3b68a sarah <sarwinkler@unibz.it> 1643035178 +0100	commit: fix error for LTL, more towards CTL*
bb2d65595115226404350332da3adb37e9e3b68a 0e9c0a0fc97e0360dfb7075d46b23e9da098f00c sarah <sarwinkler@unibz.it> 1644013583 +0100	commit: first CTL* tests running
0e9c0a0fc97e0360dfb7075d46b23e9da098f00c a104fdc3451dd776bdbc989a5c2306de3b1d84a4 sarah <sarwinkler@unibz.it> 1644014187 +0100	commit: restructure, catch parse error in read
a104fdc3451dd776bdbc989a5c2306de3b1d84a4 a48831da5c36923f0b31c69aa59f35830043250b sarah <sarwinkler@unibz.it> 1644014257 +0100	commit: restructure, catch parse error in read
a48831da5c36923f0b31c69aa59f35830043250b 1984a85ea71e27c3a57fcb27ea202814d1f4157b sarah <sarwinkler@unibz.it> 1645095087 +0100	commit: ...
1984a85ea71e27c3a57fcb27ea202814d1f4157b e7d0cda68c95761fab32bde7e6da96b1db83cf0c sarah <sarwinkler@unibz.it> 1645095101 +0100	commit: ...
e7d0cda68c95761fab32bde7e6da96b1db83cf0c e2acb38f0a747ed3a82ce7dc4a53dc095f3053bd sarah <sarwinkler@unibz.it> 1645191079 +0100	commit: faster CTL*
e2acb38f0a747ed3a82ce7dc4a53dc095f3053bd ac260cac8c32a08a441d7ba22309b0b697cf0488 sarah <sarwinkler@unibz.it> 1645196548 +0100	commit: split off LTL verification in separate file
ac260cac8c32a08a441d7ba22309b0b697cf0488 ee07119d1d01b6c99a5ab8fe1fab79b1c2600181 sarah <sarwinkler@unibz.it> 1645197589 +0100	commit: split off LTL verification in separate file
ee07119d1d01b6c99a5ab8fe1fab79b1c2600181 ac260cac8c32a08a441d7ba22309b0b697cf0488 sarah <sarwinkler@unibz.it> 1645197608 +0100	reset: moving to HEAD~1
ac260cac8c32a08a441d7ba22309b0b697cf0488 ca4a8296f68641fd3555d10a6fac6fc869aa4c21 sarah <sarwinkler@unibz.it> 1645524943 +0100	commit: fixes for compatibility
ca4a8296f68641fd3555d10a6fac6fc869aa4c21 2f805f0f9973602f93e1c01be3998567a14d548e sarah <sarwinkler@unibz.it> 1645531071 +0100	commit: NNF
2f805f0f9973602f93e1c01be3998567a14d548e 150b4c465228c13873306612b74f5326c54a77f3 sarah <sarwinkler@unibz.it> 1645531092 +0100	commit: NNF
150b4c465228c13873306612b74f5326c54a77f3 5011ae24db86c27f598a4f538f29dd816a797740 sarah <sarwinkler@unibz.it> 1645531950 +0100	commit: bug in negation
5011ae24db86c27f598a4f538f29dd816a797740 c6bd321fb0e2b87646149a5647eff3b1d32f847e sarah <sarwinkler@unibz.it> 1645532141 +0100	commit: bug in negation
c6bd321fb0e2b87646149a5647eff3b1d32f847e 5011ae24db86c27f598a4f538f29dd816a797740 sarah <sarwinkler@unibz.it> 1645532150 +0100	reset: moving to HEAD~1
5011ae24db86c27f598a4f538f29dd816a797740 d9972ac3a5d66cd82849472a638b881b9c268060 sarah <sarwinkler@unibz.it> 1645541256 +0100	commit: weak next
d9972ac3a5d66cd82849472a638b881b9c268060 f0d75833430603cb66a98e3ec71a63bf46323f91 sarah <sarwinkler@unibz.it> 1646247711 +0100	commit: check for qe
f0d75833430603cb66a98e3ec71a63bf46323f91 9f0c47cbb6af844dbf441e112a8f015d3b2a6563 sarah <sarwinkler@unibz.it> 1647587306 +0100	commit: fix evaluation bug
9f0c47cbb6af844dbf441e112a8f015d3b2a6563 938408130ad16b681da93acef147954dafece9ae sarah <sarwinkler@unibz.it> 1659190973 +0200	commit: add interface for monitoring
938408130ad16b681da93acef147954dafece9ae 66809c2b410ccc8a77904355db9952a5cdccbb5b sarah <sarwinkler@unibz.it> 1659191885 +0200	commit: back transformation works
66809c2b410ccc8a77904355db9952a5cdccbb5b 0f6fd20d42719b962fb73d28ad4bf4ae9c8d37f4 sarah <sarwinkler@unibz.it> 1659191976 +0200	commit: back transformation works
0f6fd20d42719b962fb73d28ad4bf4ae9c8d37f4 0f6fd20d42719b962fb73d28ad4bf4ae9c8d37f4 sarah <sarwinkler@unibz.it> 1659191986 +0200	reset: moving to HEAD
0f6fd20d42719b962fb73d28ad4bf4ae9c8d37f4 e4ec8d2508a2c1770c0317f230c753a78cdd89f2 sarah <sarwinkler@unibz.it> 1659296732 +0200	commit: NFA determinization
e4ec8d2508a2c1770c0317f230c753a78cdd89f2 d846f23ba4048d72507e5fb88cb1669053acdefd sarah <sarwinkler@unibz.it> 1659428040 +0200	commit: DFA to DDS transformation
d846f23ba4048d72507e5fb88cb1669053acdefd 63922ee59ba091c76fec70d0f67fc1ba42ee8110 sarah <sarwinkler@unibz.it> 1659431274 +0200	commit: move some files
63922ee59ba091c76fec70d0f67fc1ba42ee8110 24820e4fb407658e2c2dc157f2ade8080c0c01fe sarah <sarwinkler@unibz.it> 1659433568 +0200	commit: compute constraint graph from DDS for DFA
24820e4fb407658e2c2dc157f2ade8080c0c01fe 9bf2e975f454c58759ce1d387682ee1b05da6b4d sarah <sarwinkler@unibz.it> 1660587063 +0200	commit: buggy but feature complete
9bf2e975f454c58759ce1d387682ee1b05da6b4d 68d0934a679389a9e229578cba9c81ad75d06687 sarah <sarwinkler@unibz.it> 1660588302 +0200	commit: fix check for lookback
68d0934a679389a9e229578cba9c81ad75d06687 c98b7e944c0e6ed54eed25fb7e0ace3352efdb22 sarah <sarwinkler@unibz.it> 1660650838 +0200	commit: change test script for monitoring
c98b7e944c0e6ed54eed25fb7e0ace3352efdb22 463f0209ffbcef794f9a9bf01c79ca769582026b sarah <sarwinkler@unibz.it> 1660660880 +0200	commit: add tests
463f0209ffbcef794f9a9bf01c79ca769582026b 16a03616bbae5eae649632dc40d1ef5d743fc2c6 sarah <sarwinkler@unibz.it> 1660664536 +0200	commit: property simplifications in delta computation
16a03616bbae5eae649632dc40d1ef5d743fc2c6 ef65a5c9fe20d98d7cdd5ab11e1d333876d52c9c sarah <sarwinkler@unibz.it> 1660665229 +0200	commit: more tests
ef65a5c9fe20d98d7cdd5ab11e1d333876d52c9c 8f6023584b5ce9a112819694352ea6ee524bd652 sarah <sarwinkler@unibz.it> 1660665302 +0200	commit: more tests
8f6023584b5ce9a112819694352ea6ee524bd652 55700db30bc64ae4faa8f669454a9d4db4d52428 sarah <sarwinkler@unibz.it> 1660742455 +0200	commit: fix
55700db30bc64ae4faa8f669454a9d4db4d52428 323ca689b76ba8f836a5226ca8483df1571af58e sarah <sarwinkler@unibz.it> 1660812253 +0200	commit: unnecessary import
323ca689b76ba8f836a5226ca8483df1571af58e f31740784e05c0e1c4b37a767b5f0e76c4b91485 sarah <sarwinkler@unibz.it> 1660817448 +0200	commit: storing monitor
f31740784e05c0e1c4b37a767b5f0e76c4b91485 a90c09ff58ffddb7548d4e196ecd4d81de218d47 sarah <sarwinkler@unibz.it> 1660916777 +0200	commit: fix bounded lookback detection for lookback
a90c09ff58ffddb7548d4e196ecd4d81de218d47 0bf0cc052bd255febc1f71dd8539a651b3bf3b72 sarah <sarwinkler@unibz.it> 1661930444 +0200	commit: another example
0bf0cc052bd255febc1f71dd8539a651b3bf3b72 0bf0cc052bd255febc1f71dd8539a651b3bf3b72 sarah <sarwinkler@unibz.it> 1661930464 +0200	reset: moving to HEAD
0bf0cc052bd255febc1f71dd8539a651b3bf3b72 914265d3143968f34d2c13e31fb50238e6b79741 sarah <sarwinkler@unibz.it> 1661930466 +0200	commit: another example
914265d3143968f34d2c13e31fb50238e6b79741 605d41db21e294dd037d07d6218a6a7ced115ffc sarah <sarwinkler@unibz.it> 1661932911 +0200	commit: fix bug in shiftback
605d41db21e294dd037d07d6218a6a7ced115ffc 286accacbbdcac23c53e0211cad2d031e94d27ae sarah <sarwinkler@unibz.it> 1661933064 +0200	commit: new test case
286accacbbdcac23c53e0211cad2d031e94d27ae b1c7a354ba0490692b411de8ca6f4774091eaebb sarah <sarwinkler@unibz.it> 1661933927 +0200	commit: another test case
