Name Date Size #Lines LOC

..--

bounded_coefficients.scH A D09-Jul-2024723 1312

bounded_coefficients.stH A D09-Jul-2024417 65

carry_bounded_coefficients.scH A D09-Jul-20241 KiB2019

carry_bounded_coefficients.stH A D09-Jul-2024157 65

disjunctive_domain.scH A D09-Jul-2024503 54

disjunctive_domain.stH A D09-Jul-2024354 65

feautrier_compressed.scH A D09-Jul-2024217 65

feautrier_compressed.stH A D09-Jul-2024158 87

flat1.scH A D09-Jul-2024188 43

flat1.stH A D09-Jul-2024152 65

flat2.scH A D09-Jul-2024168 43

flat2.stH A D09-Jul-2024141 65

flat3.scH A D09-Jul-2024180 43

flat3.stH A D09-Jul-2024172 65

flat4.scH A D09-Jul-2024183 43

flat4.stH A D09-Jul-2024179 65

flat5.scH A D09-Jul-2024190 43

flat5.stH A D09-Jul-2024140 65

flat6.scH A D09-Jul-2024192 43

flat6.stH A D09-Jul-2024140 65

fork1.scH A D09-Jul-2024224 65

fork1.stH A D09-Jul-2024170 109

fork2.scH A D09-Jul-2024224 65

fork2.stH A D09-Jul-2024113 76

fork3.scH A D09-Jul-2024326 87

fork3.stH A D09-Jul-2024517 2322

leyin1.scH A D09-Jul-2024213 65

leyin1.stH A D09-Jul-2024251 1110

leyin2a.scH A D09-Jul-2024674 1514

leyin2a.stH A D09-Jul-2024359 1413

leyin2b.scH A D09-Jul-2024675 1514

leyin2b.stH A D09-Jul-2024283 1110

max_coincidence.scH A D09-Jul-2024405 87

max_coincidence.stH A D09-Jul-2024545 1413

nana.scH A D09-Jul-2024544 109

nana.stH A D09-Jul-2024568 1413

niewang.scH A D09-Jul-20241.7 KiB3029

niewang.stH A D09-Jul-20241.3 KiB2625

nomax_coincidence.scH A D09-Jul-2024432 87

nomax_coincidence.stH A D09-Jul-2024438 109

poliwoda.scH A D09-Jul-20243.1 KiB4847

poliwoda.stH A D09-Jul-2024614 65