Name Date Size #Lines LOC

..--

bounded_coefficients.scH A D25-Jun-2021723 1312

bounded_coefficients.stH A D25-Jun-2021417 65

carry_bounded_coefficients.scH A D25-Jun-20211 KiB2019

carry_bounded_coefficients.stH A D25-Jun-2021157 65

disjunctive_domain.scH A D25-Jun-2021503 54

disjunctive_domain.stH A D25-Jun-2021354 65

feautrier_compressed.scH A D25-Jun-2021217 65

feautrier_compressed.stH A D25-Jun-2021158 87

flat1.scH A D25-Jun-2021188 43

flat1.stH A D25-Jun-2021152 65

flat2.scH A D25-Jun-2021168 43

flat2.stH A D25-Jun-2021141 65

flat3.scH A D25-Jun-2021180 43

flat3.stH A D25-Jun-2021172 65

flat4.scH A D25-Jun-2021183 43

flat4.stH A D25-Jun-2021179 65

flat5.scH A D25-Jun-2021190 43

flat5.stH A D25-Jun-2021140 65

flat6.scH A D25-Jun-2021192 43

flat6.stH A D25-Jun-2021140 65

fork1.scH A D08-Jul-2024224 65

fork1.stH A D08-Jul-2024170 109

fork2.scH A D08-Jul-2024224 65

fork2.stH A D08-Jul-2024113 76

fork3.scH A D08-Jul-2024326 87

fork3.stH A D08-Jul-2024517 2322

max_coincidence.scH A D25-Jun-2021405 87

max_coincidence.stH A D25-Jun-2021545 1413

nana.scH A D08-Jul-2024544 109

nana.stH A D08-Jul-2024568 1413

niewang.scH A D18-Feb-20221.7 KiB3029

niewang.stH A D25-Jun-20211.3 KiB2625

nomax_coincidence.scH A D25-Jun-2021432 87

nomax_coincidence.stH A D25-Jun-2021438 109

poliwoda.scH A D25-Jun-20213.1 KiB4847

poliwoda.stH A D25-Jun-2021614 65