Skip to content

Commit

Permalink
DeMorgans transform is wrong in three-valued logic
Browse files Browse the repository at this point in the history
  • Loading branch information
jamii committed Jun 27, 2019
1 parent 2f8cb09 commit 30546e1
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/materialize/dataflow/render.rs
Expand Up @@ -105,7 +105,7 @@ pub fn build_dataflow<A: Allocate>(
use crate::dataflow::transform;
let transforms: Vec<Box<dyn transform::Transform>> = vec![
Box::new(transform::reduction::FoldConstants),
Box::new(transform::reduction::DeMorgans),
// Box::new(transform::reduction::DeMorgans),
Box::new(transform::reduction::UndistributeAnd),
Box::new(transform::split_predicates::SplitPredicates),
Box::new(transform::fusion::join::Join),
Expand Down

0 comments on commit 30546e1

Please sign in to comment.