The latest version of datafix is 0.0.1.0-1.
lib:datafix
Modules
- Algebra.Lattice
- Datafix
- Datafix.Common
- Datafix.Denotational
- Datafix.Explicit
- Datafix.MonoMap
- Datafix.NodeAllocator
- Datafix.ProblemBuilder
- Datafix.Tutorial
- Datafix.Utils.Constraints
- Datafix.Utils.TypeLevel
- Datafix.Worklist
- Datafix.Worklist.Denotational
- Datafix.Worklist.Graph
- Datafix.Worklist.Graph.Dense
- Datafix.Worklist.Graph.Sparse
- Datafix.Worklist.Internal
Dependencies
- base lib:base >=4.8 && <5
- containers lib:containers >=0.5 && <0.6
- lattices lib:lattices <2
- pomaps lib:pomaps >=0.0.0.2 && <0.0.1.0
- primitive lib:primitive >=0.6.2.0 && <0.7
- transformers lib:transformers <0.6
- vector lib:vector <0.13
Reverse dependencies
Direct only. Not exhaustive.
- acme-everything lib:acme-everything
- datafix bench:benchmarks
- datafix exe:firstfollow-example
- datafix test:doctests
- datafix test:tests