Lattice land

Pinned Loading

1. cuda-battery cuda-battery Public

   Abstractions of memory, allocator, vector, tuple, shared_ptr, unique_ptr, bitset, variant and string working on both CPU and GPU

   C++ 32 4

2. lala-pc lala-pc Public

   Abstract propagators completion (PC) is an abstract domain encapsulating the propagation component of a constraint programming solver.

   C++ 3 6

3. lala-power lala-power Public

   Abstract domains based on powerdomain constructions. It includes search tree and branch and bound abstract domains.

   C++ 3

4. lala-octagon lala-octagon Public

   Octagon abstract domain

   C++ 1

5. lala-core lala-core Public

   Core of the framework defining logical formula and abstract domain.

   C++ 3 8

6. lala-parsing lala-parsing Public

   Parsing combinatorial models into the lattice land's representation of logic formulas (lala-core AST).

   C++ 2 4