2e78f1e5c5968d973b986e6104b0f394da833fec		branch 'sctptpCade2' of https://github.com/SimonGuilloud/lisa
374446e66861caf931a3d4c3b4d69e8549448417	not-for-merge	branch 'atomics' of https://github.com/SimonGuilloud/lisa
6ccd1dbf9a5423a1287b11d3530c6973540cfc5d	not-for-merge	branch 'atomics2' of https://github.com/SimonGuilloud/lisa
112bc3f70d7630fd2660cd49e1299367e00e212d	not-for-merge	branch 'atomics3' of https://github.com/SimonGuilloud/lisa
56e770cb7c192207706b8f12993f5cce143ffd4b	not-for-merge	branch 'blast' of https://github.com/SimonGuilloud/lisa
23bb330cb6d5448d8e3a80365e5ea943b5cdaf1a	not-for-merge	branch 'changes' of https://github.com/SimonGuilloud/lisa
4f9f12577fa998e71956d9b1650265b1249bed7a	not-for-merge	branch 'cmain' of https://github.com/SimonGuilloud/lisa
c691b391e09573b68428ad36df6247e011729fc1	not-for-merge	branch 'draft' of https://github.com/SimonGuilloud/lisa
59adfd583a3e59a83d36be5fa7e412bfa636b282	not-for-merge	branch 'egraph' of https://github.com/SimonGuilloud/lisa
6b2cab1d99bed4ab9336227592743e319ba84514	not-for-merge	branch 'fixABS' of https://github.com/SimonGuilloud/lisa
5331683fa61a5860e921ec957324bfd94256a7f8	not-for-merge	branch 'instsubst' of https://github.com/SimonGuilloud/lisa
f19566f596985dcbf83ef20a5e70c6e63b37dc5b	not-for-merge	branch 'lambdafol' of https://github.com/SimonGuilloud/lisa
874c3ce3b351949a8ef1111e86d1e60955db580c	not-for-merge	branch 'lambdafol2' of https://github.com/SimonGuilloud/lisa
5e1aa08e5f57e9b01d1ac3ee7310cca66ba7056d	not-for-merge	branch 'lattices' of https://github.com/SimonGuilloud/lisa
f64366dc407c471234887d03d2ef83ad0861e8f0	not-for-merge	branch 'lattices2' of https://github.com/SimonGuilloud/lisa
12f73c4f43820262da7c7ea88e8e013ffc82015d	not-for-merge	branch 'localdefs' of https://github.com/SimonGuilloud/lisa
e3ab2ea0506d220d25f33ebe021f7b7200bb63a6	not-for-merge	branch 'locdefs' of https://github.com/SimonGuilloud/lisa
712da94931109fe02afb828e906a4c83d312a97e	not-for-merge	branch 'main' of https://github.com/SimonGuilloud/lisa
7c078dafd839f7c2957add05f293a7daae2d93c4	not-for-merge	branch 'manual' of https://github.com/SimonGuilloud/lisa
2d8457777135d48d82593ae507aa22f2571122b5	not-for-merge	branch 'moveListsExamples' of https://github.com/SimonGuilloud/lisa
b97cb93e7a10f3ddf97c544df9b7fbf4a502e681	not-for-merge	branch 'proofCheckerFix' of https://github.com/SimonGuilloud/lisa
ebac87ad28770261802d0998bd8697e46c832dd2	not-for-merge	branch 'saveProofs' of https://github.com/SimonGuilloud/lisa
f608d6dc946c2650fa75b76415e38619c9be0a31	not-for-merge	branch 'sctptpCade' of https://github.com/SimonGuilloud/lisa
eb73b291f22c328750d830f7a85a6b81317e915e	not-for-merge	branch 'smallLattices' of https://github.com/SimonGuilloud/lisa
4b8008cb421f260328db8f7ec65f6586e36fa798	not-for-merge	branch 'smallTacticImprovement' of https://github.com/SimonGuilloud/lisa
e24c6d5ced680017d089ca71910eff7b9a87bf92	not-for-merge	branch 'tableau' of https://github.com/SimonGuilloud/lisa
f3532d1b67bd97f97156dad623fd9ef27d4b6adc	not-for-merge	branch 'tableauFix' of https://github.com/SimonGuilloud/lisa
9aeeb22fdd1f44556061d168741a373789718447	not-for-merge	branch 'tableauxColors' of https://github.com/SimonGuilloud/lisa
6a9b1dcc729dee67d9a9fba2d72ab9407bf284dc	not-for-merge	branch 'testfixes' of https://github.com/SimonGuilloud/lisa
458e5c91c5cfb2a2a92153d3cd741a33a03ddb44	not-for-merge	branch 'tstp' of https://github.com/SimonGuilloud/lisa
744f232da42b3a956ca1d6fd4edbaa83a09455a8	not-for-merge	branch 'types' of https://github.com/SimonGuilloud/lisa
562d23c5ca1717b0ced3471d67d9873d478d12a2	not-for-merge	branch 'types3' of https://github.com/SimonGuilloud/lisa
a1b2659307d2cc4f3fae143ad1f85cdf2aeadc36	not-for-merge	branch 'types4' of https://github.com/SimonGuilloud/lisa
4a2e05ed54fcba5d9f0aaffddea525a9e4072fa8	not-for-merge	branch 'types5' of https://github.com/SimonGuilloud/lisa
a1b2659307d2cc4f3fae143ad1f85cdf2aeadc36	not-for-merge	branch 'types7' of https://github.com/SimonGuilloud/lisa
d5d76e886689e570dbed41e1c99306f5cc426f3b	not-for-merge	branch 'typesv2' of https://github.com/SimonGuilloud/lisa
e4eee5084141212ef4d481e0fe9ee2f3fc74ecd4	not-for-merge	branch 'upgradeto351' of https://github.com/SimonGuilloud/lisa
