Name Date Size #Lines LOC

..--

bounded_coefficients.scH A D29-Dec-2023723 1312

bounded_coefficients.stH A D29-Dec-2023417 65

carry_bounded_coefficients.scH A D29-Dec-20231 KiB2019

carry_bounded_coefficients.stH A D29-Dec-2023157 65

disjunctive_domain.scH A D29-Dec-2023503 54

disjunctive_domain.stH A D29-Dec-2023354 65

feautrier_compressed.scH A D29-Dec-2023217 65

feautrier_compressed.stH A D29-Dec-2023158 87

flat1.scH A D29-Dec-2023188 43

flat1.stH A D29-Dec-2023152 65

flat2.scH A D29-Dec-2023168 43

flat2.stH A D29-Dec-2023141 65

flat3.scH A D29-Dec-2023180 43

flat3.stH A D29-Dec-2023172 65

flat4.scH A D29-Dec-2023183 43

flat4.stH A D29-Dec-2023179 65

flat5.scH A D29-Dec-2023190 43

flat5.stH A D29-Dec-2023140 65

flat6.scH A D29-Dec-2023192 43

flat6.stH A D29-Dec-2023140 65

fork1.scH A D29-Dec-2023224 65

fork1.stH A D29-Dec-2023170 109

fork2.scH A D29-Dec-2023224 65

fork2.stH A D29-Dec-2023113 76

fork3.scH A D29-Dec-2023326 87

fork3.stH A D29-Dec-2023517 2322

leyin1.scH A D29-Dec-2023213 65

leyin1.stH A D29-Dec-2023251 1110

leyin2a.scH A D29-Dec-2023674 1514

leyin2a.stH A D29-Dec-2023359 1413

leyin2b.scH A D29-Dec-2023675 1514

leyin2b.stH A D29-Dec-2023283 1110

max_coincidence.scH A D29-Dec-2023405 87

max_coincidence.stH A D29-Dec-2023545 1413

nana.scH A D29-Dec-2023544 109

nana.stH A D29-Dec-2023568 1413

niewang.scH A D29-Dec-20231.7 KiB3029

niewang.stH A D29-Dec-20231.3 KiB2625

nomax_coincidence.scH A D29-Dec-2023432 87

nomax_coincidence.stH A D29-Dec-2023438 109

poliwoda.scH A D29-Dec-20233.1 KiB4847

poliwoda.stH A D29-Dec-2023614 65