├── .github ├── ISSUE_TEMPLATE │ └── default.md └── workflows │ └── main.yml ├── .gitignore ├── .gitlab-ci.yml ├── CHANGELOG.md ├── CONTRIBUTING.md ├── Cargo.toml ├── LICENSE ├── README.md ├── Setup.hs ├── adapters └── ovsdb │ └── Main.hs ├── app └── Main.hs ├── debugger └── Main.hs ├── default.nix ├── doc ├── benchmarking │ └── dynamic-dispatch.gnumeric ├── c_tutorial │ ├── c_tutorial.rst │ ├── images │ │ └── topology.jpg │ ├── t1_reachability_monitor.c │ ├── t1_reachability_monitor.dl │ └── test.sh ├── command_reference │ └── command_reference.md ├── datalog2.0-workshop │ ├── .gitignore │ ├── Makefile │ ├── applications.tex │ ├── compiler-flow.pdf │ ├── conclusions.tex │ ├── ddlog.tex │ ├── deletion.pdf │ ├── differential.pdf │ ├── figures.pptx │ ├── insertion.pdf │ ├── intro.tex │ ├── memory.pdf │ ├── non-incremental.pdf │ ├── paper.bib │ ├── paper.pdf │ ├── paper.tex │ ├── related.tex │ ├── svproc.cls │ └── system.tex ├── java_api.md ├── language_reference │ └── language_reference.md ├── model │ ├── .gitignore │ ├── README.md │ ├── model.bib │ └── model.tex ├── number-sections.py ├── profiling │ ├── cpu1.png │ ├── cpu2.png │ ├── cpu3.png │ ├── cpu4.png │ ├── profiling.md │ ├── size-numbers-1.png │ ├── size-numbers-2.png │ ├── size1.png │ └── size2.png └── tutorial │ └── tutorial.md ├── gitlab-ci ├── README.md └── build-docker-image.sh ├── go ├── .gitignore ├── .golangci.yml ├── Makefile ├── README.md ├── build-ddlog-prog.sh ├── cmd │ └── example │ │ └── main.go ├── go.mod ├── go.sum ├── pkg │ ├── ddlog │ │ ├── cmd.go │ │ ├── ddlog.go │ │ ├── ddlog_test.go │ │ ├── doc.go │ │ ├── record.go │ │ └── record_test.go │ └── uint128 │ │ ├── doc.go │ │ ├── uint128.go │ │ └── uint128_test.go ├── run-example.sh └── test.sh ├── install-dependencies.sh ├── java ├── .gitignore ├── Makefile ├── README.md ├── build_java.sh ├── ddlogapi.c ├── ddlogapi │ ├── DDlogAPI.java │ ├── DDlogCommand.java │ ├── DDlogConfig.java │ ├── DDlogException.java │ ├── DDlogRecCommand.java │ └── DDlogRecord.java ├── streams │ ├── README.md │ ├── pom.xml │ └── src │ │ ├── main │ │ └── java │ │ │ └── org │ │ │ └── dbsp │ │ │ ├── FieldsAreNonnullByDefault.java │ │ │ ├── MethodsAreNonnullByDefault.java │ │ │ ├── algebraic │ │ │ ├── README.md │ │ │ ├── Time.java │ │ │ ├── TimeFactory.java │ │ │ ├── YCombinator.java │ │ │ ├── dynamicTyping │ │ │ │ ├── DynamicGroup.java │ │ │ │ ├── README.md │ │ │ │ ├── package-info.java │ │ │ │ └── types │ │ │ │ │ ├── DynamicZSetType.java │ │ │ │ │ ├── IntegerType.java │ │ │ │ │ ├── ProductGroup.java │ │ │ │ │ ├── StringType.java │ │ │ │ │ ├── TupleType.java │ │ │ │ │ ├── Type.java │ │ │ │ │ ├── ZSetType.java │ │ │ │ │ └── package-info.java │ │ │ ├── package-info.java │ │ │ └── staticTyping │ │ │ │ ├── FiniteFunction.java │ │ │ │ ├── FiniteFunctionGroup.java │ │ │ │ ├── Group.java │ │ │ │ ├── IStream.java │ │ │ │ ├── Monoid.java │ │ │ │ ├── Ring.java │ │ │ │ ├── StreamGroup.java │ │ │ │ ├── ZRing.java │ │ │ │ └── package-info.java │ │ │ ├── circuits │ │ │ ├── Circuit.java │ │ │ ├── ComputationalElement.java │ │ │ ├── Scheduler.java │ │ │ ├── Wire.java │ │ │ ├── operators │ │ │ │ ├── BiFunctionOperator.java │ │ │ │ ├── BinaryOperator.java │ │ │ │ ├── CircuitOperator.java │ │ │ │ ├── DelayOperator.java │ │ │ │ ├── DeltaOperator.java │ │ │ │ ├── FunctionOperator.java │ │ │ │ ├── IdOperator.java │ │ │ │ ├── IntOperator.java │ │ │ │ ├── Latch.java │ │ │ │ ├── NegateOperator.java │ │ │ │ ├── Operator.java │ │ │ │ ├── OuterDOperator.java │ │ │ │ ├── OuterDelayOperator.java │ │ │ │ ├── OuterIOperator.java │ │ │ │ ├── OuterOperator.java │ │ │ │ ├── PlusOperator.java │ │ │ │ ├── Port.java │ │ │ │ ├── Sink.java │ │ │ │ ├── UnaryOperator.java │ │ │ │ ├── package-info.java │ │ │ │ └── relational │ │ │ │ │ ├── DynamicDistinctZSetOperator.java │ │ │ │ │ ├── DynamicZSet.java │ │ │ │ │ ├── DynamicZSetFilterOperator.java │ │ │ │ │ ├── DynamicZSetGroup.java │ │ │ │ │ ├── DynamicZSetJoinOperator.java │ │ │ │ │ ├── DynamicZSetMapOperator.java │ │ │ │ │ └── package-info.java │ │ │ └── package-info.java │ │ │ ├── compute │ │ │ ├── Delta0.java │ │ │ ├── StreamBiFunction.java │ │ │ ├── StreamFunction.java │ │ │ ├── package-info.java │ │ │ ├── relational │ │ │ │ ├── Grouping.java │ │ │ │ ├── RSet.java │ │ │ │ ├── ZSet.java │ │ │ │ ├── ZSetGroup.java │ │ │ │ └── package-info.java │ │ │ └── time │ │ │ │ ├── BigTime.java │ │ │ │ ├── InfIntRing.java │ │ │ │ ├── IntegerRing.java │ │ │ │ ├── IntegerTime.java │ │ │ │ └── package-info.java │ │ │ └── lib │ │ │ ├── ComparableList.java │ │ │ ├── ComparableObject.java │ │ │ ├── ComparableObjectList.java │ │ │ ├── HasId.java │ │ │ ├── LinqIterator.java │ │ │ ├── Pair.java │ │ │ ├── Triple.java │ │ │ ├── Utilities.java │ │ │ └── package-info.java │ │ └── test │ │ └── java │ │ └── org │ │ └── dbsp │ │ └── compute │ │ ├── FunctionTest.java │ │ ├── IdStream.java │ │ ├── LinqTests.java │ │ ├── OperatorTest.java │ │ ├── RelationalOperatorTest.java │ │ ├── RelationalStreamTests.java │ │ ├── StreamTest.java │ │ ├── TestTuple.java │ │ ├── TestUtil.java │ │ ├── ZS.java │ │ └── ZSetTest.java ├── test-index │ ├── A.java │ ├── README.md │ ├── a.dl │ ├── atest.dump.expected │ └── run.sh ├── test │ ├── SpanTest.java │ └── run.sh ├── test1 │ ├── RedistTest.java │ ├── record.dat.expected.gz │ └── run.sh ├── test2 │ ├── TwoTest.java │ ├── run.sh │ └── two.dl ├── test3 │ ├── SpanTest.java │ ├── run.sh │ └── spantest.dump.expected ├── test4 │ ├── XTest.java │ ├── run.sh │ ├── x.dl │ └── xtest.dump.expected ├── test5 │ ├── XTest.java │ ├── run.sh │ └── x.dl ├── test6 │ ├── XTest.java │ ├── run.sh │ └── x.dl ├── test8 │ ├── XTest.java │ ├── run.sh │ ├── x.dl │ └── xtest.dump.expected ├── test_flatbuf │ ├── Test.java │ ├── run.sh │ └── test.dump.expected ├── test_flatbuf1 │ ├── Test.java │ ├── fb.dump.expected │ ├── query.dump.expected │ ├── rec_dynamic.dump.expected │ └── run.sh └── webserver │ ├── Main.java │ ├── index.html │ ├── reach.dl │ └── run.sh ├── lib ├── allocate.dl ├── allocate.rs ├── base64.dl ├── base64.rs ├── base64.toml ├── d3log │ └── reflect.dl ├── ddlog_bigint.dl ├── ddlog_bigint.flatbuf.rs ├── ddlog_bigint.rs ├── ddlog_log.dl ├── ddlog_log.h ├── ddlog_log.rs ├── ddlog_rt.dl ├── ddlog_rt.flatbuf.rs ├── ddlog_rt.rs ├── ddlog_std.dl ├── ddlog_std.flatbuf.rs ├── ddlog_std.rs ├── debug.dl ├── debug.rs ├── fp.dl ├── fp.rs ├── graph.dl ├── graph.rs ├── group.dl ├── group.rs ├── hashset.dl ├── hashset.flatbuf.rs ├── hashset.rs ├── hashset.toml ├── intern.dl ├── intern.flatbuf.rs ├── intern.rs ├── intern.toml ├── internment.dl ├── internment.flatbuf.rs ├── internment.rs ├── internment.toml ├── json.dl ├── json.rs ├── log.dl ├── log.rs ├── log4j.dl ├── map.dl ├── map.rs ├── net │ ├── README.md │ ├── ipaddr.dl │ ├── ipv4.dl │ ├── ipv4.rs │ ├── ipv6.dl │ └── ipv6.rs ├── ovsdb.dl ├── ovsdb.rs ├── print.dl ├── print.rs ├── regex.dl ├── regex.rs ├── regex.toml ├── set.dl ├── set.rs ├── souffle_lib.dl ├── souffle_types.dl ├── time.dl ├── time.rs ├── time.toml ├── tinyset.dl ├── tinyset.flatbuf.rs ├── tinyset.rs ├── tinyset.toml ├── url.dl ├── url.rs ├── url.toml ├── uuid.dl ├── uuid.rs ├── uuid.toml ├── vec.dl └── vec.rs ├── package.yaml ├── rust ├── ddlog_benches │ ├── Cargo.toml │ ├── Makefile.toml │ ├── README.md │ ├── benches │ │ ├── live_journal.rs │ │ └── twitter.rs │ ├── ddlog │ │ ├── benchmarks.dl │ │ ├── live_journal.dl │ │ └── twitter.dl │ ├── generated │ │ └── .gitkeep │ └── src │ │ ├── lib.rs │ │ ├── live_journal.rs │ │ ├── twitter.rs │ │ └── utils.rs └── template │ ├── .cargo │ └── config.toml │ ├── Cargo.toml │ ├── README.md │ ├── cmd_parser │ ├── Cargo.toml │ ├── lib.rs │ └── parse.rs │ ├── ddlog.h │ ├── ddlog_derive │ ├── Cargo.toml │ ├── src │ │ ├── from_record.rs │ │ ├── into_record.rs │ │ ├── lib.rs │ │ └── mutator.rs │ └── tests │ │ ├── ui.rs │ │ └── ui │ │ ├── fail │ │ ├── duplicated_attrs.rs │ │ ├── duplicated_attrs.stderr │ │ ├── invalid_attr.rs │ │ ├── invalid_attr.stderr │ │ ├── reject_unions.rs │ │ └── reject_unions.stderr │ │ └── pass │ │ ├── clone_ref.rs │ │ ├── enum_roundtrip.rs │ │ ├── mutator.rs │ │ ├── name_conflicts.rs │ │ ├── nominal_typing.rs │ │ ├── realworld.rs │ │ └── struct_roundtrip.rs │ ├── ddlog_ovsdb_test.c │ ├── ddlog_profiler │ ├── Cargo.toml │ ├── profiler_ui │ │ ├── .gitignore │ │ ├── Makefile │ │ ├── package.json │ │ ├── tsconfig.json │ │ ├── ui.css │ │ ├── ui.html │ │ ├── ui.js │ │ └── ui.ts │ └── src │ │ ├── debug_info.rs │ │ ├── lib.rs │ │ ├── profile_statistics.rs │ │ └── source_code.rs │ ├── differential_datalog │ ├── Cargo.toml │ └── src │ │ ├── api │ │ ├── c_api.rs │ │ ├── mod.rs │ │ └── update_handler.rs │ │ ├── callback.rs │ │ ├── dataflow │ │ ├── arrange.rs │ │ ├── consolidate.rs │ │ ├── distinct.rs │ │ ├── filter_map.rs │ │ ├── map.rs │ │ └── mod.rs │ │ ├── ddlog.rs │ │ ├── ddval │ │ ├── any.rs │ │ ├── ddval_convert.rs │ │ ├── ddvalue.rs │ │ └── mod.rs │ │ ├── flatbuf │ │ └── mod.rs │ │ ├── lib.rs │ │ ├── program │ │ ├── arrange.rs │ │ ├── config.rs │ │ ├── mod.rs │ │ ├── timestamp.rs │ │ ├── update.rs │ │ └── worker.rs │ │ ├── record │ │ ├── arrays.rs │ │ ├── mod.rs │ │ └── tuples.rs │ │ ├── render │ │ ├── arrange_by.rs │ │ └── mod.rs │ │ ├── replay.rs │ │ ├── test_record.rs │ │ ├── valmap.rs │ │ └── variable.rs │ ├── differential_datalog_test │ ├── Cargo.toml │ ├── lib.rs │ └── test_value.rs │ ├── ovsdb │ ├── Cargo.toml │ ├── README │ ├── lib.rs │ ├── test.rs │ └── test_data │ │ ├── 2631 │ │ ├── ovn-nb.rawsync │ │ └── ovn-sb.rawsync │ │ ├── 2632 │ │ ├── ovn-nb.rawsync │ │ └── ovn-sb.rawsync │ │ ├── 2633 │ │ ├── ovn-nb.rawsync │ │ └── ovn-sb.rawsync │ │ ├── 2634 │ │ ├── ovn-nb.rawsync │ │ └── ovn-sb.rawsync │ │ ├── 2635 │ │ ├── ovn-nb.rawsync │ │ └── ovn-sb.rawsync │ │ ├── 2636 │ │ ├── ovn-nb.rawsync │ │ └── ovn-sb.rawsync │ │ ├── 2637 │ │ ├── ovn-nb.rawsync │ │ └── ovn-sb.rawsync │ │ ├── 2638 │ │ ├── ovn-nb.rawsync │ │ └── ovn-sb.rawsync │ │ ├── 2639 │ │ ├── ovn-nb.rawsync │ │ └── ovn-sb.rawsync │ │ ├── 2640 │ │ ├── ovn-nb.rawsync │ │ └── ovn-sb.rawsync │ │ ├── 2641 │ │ ├── ovn-nb.rawsync │ │ └── ovn-sb.rawsync │ │ ├── 2642 │ │ ├── ovn-nb.rawsync │ │ └── ovn-sb.rawsync │ │ ├── 2643 │ │ ├── ovn-nb.rawsync │ │ └── ovn-sb.rawsync │ │ ├── 2644 │ │ ├── ovn-nb.rawsync │ │ └── ovn-sb.rawsync │ │ ├── 2645 │ │ ├── ovn-nb.rawsync │ │ └── ovn-sb.rawsync │ │ ├── 2646 │ │ ├── ovn-nb.rawsync │ │ └── ovn-sb.rawsync │ │ ├── 2647 │ │ ├── ovn-nb.rawsync │ │ └── ovn-sb.rawsync │ │ ├── 2648 │ │ ├── ovn-nb.rawsync │ │ └── ovn-sb.rawsync │ │ ├── 2649 │ │ ├── ovn-nb.rawsync │ │ └── ovn-sb.rawsync │ │ ├── 2650 │ │ ├── ovn-nb.rawsync │ │ └── ovn-sb.rawsync │ │ ├── 2651 │ │ ├── ovn-nb.rawsync │ │ └── ovn-sb.rawsync │ │ ├── 2652 │ │ ├── ovn-nb.rawsync │ │ └── ovn-sb.rawsync │ │ ├── 2653 │ │ ├── ovn-nb.rawsync │ │ └── ovn-sb.rawsync │ │ ├── 2654 │ │ ├── ovn-nb.rawsync │ │ └── ovn-sb.rawsync │ │ ├── 2655 │ │ ├── ovn-nb.rawsync │ │ └── ovn-sb.rawsync │ │ ├── 2656 │ │ ├── ovn-nb.rawsync │ │ └── ovn-sb.rawsync │ │ ├── 2657 │ │ ├── ovn-nb.rawsync │ │ └── ovn-sb.rawsync │ │ ├── 2658 │ │ ├── ovn-nb.rawsync │ │ └── ovn-sb.rawsync │ │ ├── 2659 │ │ ├── ovn-nb.rawsync │ │ └── ovn-sb.rawsync │ │ ├── 2660 │ │ ├── ovn-nb.rawsync │ │ └── ovn-sb.rawsync │ │ ├── 2661 │ │ ├── ovn-nb.rawsync │ │ └── ovn-sb.rawsync │ │ ├── 2662 │ │ ├── ovn-nb.rawsync │ │ └── ovn-sb.rawsync │ │ ├── 2663 │ │ ├── ovn-nb.rawsync │ │ └── ovn-sb.rawsync │ │ ├── 2664 │ │ ├── ovn-nb.rawsync │ │ └── ovn-sb.rawsync │ │ ├── 2665 │ │ ├── ovn-nb.rawsync │ │ └── ovn-sb.rawsync │ │ ├── 2670 │ │ ├── ovn-nb.rawsync │ │ └── ovn-sb.rawsync │ │ ├── 2671 │ │ ├── ovn-nb.rawsync │ │ └── ovn-sb.rawsync │ │ ├── 2672 │ │ ├── ovn-nb.rawsync │ │ └── ovn-sb.rawsync │ │ ├── 2673 │ │ ├── ovn-nb.rawsync │ │ └── ovn-sb.rawsync │ │ ├── 2674 │ │ ├── ovn-nb.rawsync │ │ └── ovn-sb.rawsync │ │ ├── 2675 │ │ ├── ovn-nb.rawsync │ │ └── ovn-sb.rawsync │ │ ├── 2676 │ │ ├── ovn-nb.rawsync │ │ └── ovn-sb.rawsync │ │ ├── 2677 │ │ ├── ovn-nb.rawsync │ │ └── ovn-sb.rawsync │ │ ├── 2678 │ │ ├── ovn-nb.rawsync │ │ └── ovn-sb.rawsync │ │ ├── 2679 │ │ ├── ovn-nb.rawsync │ │ └── ovn-sb.rawsync │ │ ├── 2680 │ │ ├── ovn-nb.rawsync │ │ └── ovn-sb.rawsync │ │ ├── 2681 │ │ ├── ovn-nb.rawsync │ │ └── ovn-sb.rawsync │ │ ├── 2682 │ │ ├── ovn-nb.rawsync │ │ └── ovn-sb.rawsync │ │ ├── 2683 │ │ ├── ovn-nb.rawsync │ │ └── ovn-sb.rawsync │ │ ├── 2684 │ │ ├── ovn-nb.rawsync │ │ └── ovn-sb.rawsync │ │ ├── 2685 │ │ ├── ovn-nb.rawsync │ │ └── ovn-sb.rawsync │ │ ├── 2686 │ │ ├── ovn-nb.rawsync │ │ └── ovn-sb.rawsync │ │ ├── 2687 │ │ ├── ovn-nb.rawsync │ │ └── ovn-sb.rawsync │ │ ├── 2688 │ │ ├── ovn-nb.rawsync │ │ └── ovn-sb.rawsync │ │ ├── 2689 │ │ ├── ovn-nb.rawsync │ │ └── ovn-sb.rawsync │ │ ├── 2690 │ │ ├── ovn-nb.rawsync │ │ └── ovn-sb.rawsync │ │ ├── 2691 │ │ ├── ovn-nb.rawsync │ │ └── ovn-sb.rawsync │ │ ├── 2692 │ │ ├── ovn-nb.rawsync │ │ └── ovn-sb.rawsync │ │ ├── 2693 │ │ ├── ovn-nb.rawsync │ │ └── ovn-sb.rawsync │ │ ├── 2694 │ │ ├── ovn-nb.rawsync │ │ └── ovn-sb.rawsync │ │ ├── 2695 │ │ ├── ovn-nb.rawsync │ │ └── ovn-sb.rawsync │ │ ├── 2696 │ │ ├── ovn-nb.rawsync │ │ └── ovn-sb.rawsync │ │ ├── 2697 │ │ ├── ovn-nb.rawsync │ │ └── ovn-sb.rawsync │ │ ├── 2698 │ │ ├── ovn-nb.rawsync │ │ └── ovn-sb.rawsync │ │ ├── 2699 │ │ ├── ovn-nb.rawsync │ │ └── ovn-sb.rawsync │ │ ├── 2700 │ │ ├── ovn-nb.rawsync │ │ └── ovn-sb.rawsync │ │ ├── 2701 │ │ ├── ovn-nb.rawsync │ │ └── ovn-sb.rawsync │ │ ├── 2702 │ │ ├── ovn-nb.rawsync │ │ └── ovn-sb.rawsync │ │ ├── 2703 │ │ ├── ovn-nb.rawsync │ │ └── ovn-sb.rawsync │ │ ├── 2704 │ │ ├── ovn-nb.rawsync │ │ └── ovn-sb.rawsync │ │ ├── 2705 │ │ ├── ovn-nb.rawsync │ │ └── ovn-sb.rawsync │ │ ├── 2748 │ │ └── ovn-sb.rawsync │ │ ├── 2751 │ │ └── ovn-sb.rawsync │ │ ├── 2752 │ │ └── ovn-sb.rawsync │ │ ├── 2753 │ │ └── ovn-sb.rawsync │ │ └── 2754 │ │ └── ovn-sb.rawsync │ ├── src │ ├── build.rs │ ├── flatbuf.rs │ ├── flatbuf_generated.rs │ ├── inventory.rs │ ├── lib.rs │ ├── main.rs │ └── ovsdb_api.rs │ ├── tests │ ├── common │ │ └── mod.rs │ ├── interact_clear_error.rs │ ├── interact_dump_error.rs │ └── interact_exit.rs │ └── types │ └── lib.rs ├── sql ├── install-ddlog-jar.sh ├── lib │ └── sql.dl ├── pom.xml └── src │ ├── main │ └── java │ │ └── com │ │ └── vmware │ │ └── ddlog │ │ ├── DDlogHandle.java │ │ ├── DDlogJooqHelper.java │ │ ├── DDlogJooqProvider.java │ │ ├── FieldsAreNonnullByDefault.java │ │ ├── MethodsAreNonnullByDefault.java │ │ ├── ParseLiterals.java │ │ ├── ir │ │ ├── BodyTermAggregate.java │ │ ├── BodyTermCondition.java │ │ ├── BodyTermFlatMap.java │ │ ├── BodyTermGroupby.java │ │ ├── BodyTermLiteral.java │ │ ├── BodyTermVarDef.java │ │ ├── CodeFormatter.java │ │ ├── DDlogAtom.java │ │ ├── DDlogComment.java │ │ ├── DDlogEApply.java │ │ ├── DDlogEAs.java │ │ ├── DDlogEBinOp.java │ │ ├── DDlogEBit.java │ │ ├── DDlogEBool.java │ │ ├── DDlogEComma.java │ │ ├── DDlogEDouble.java │ │ ├── DDlogEField.java │ │ ├── DDlogEFloat.java │ │ ├── DDlogEFor.java │ │ ├── DDlogEIString.java │ │ ├── DDlogEITE.java │ │ ├── DDlogEInRelation.java │ │ ├── DDlogEInt.java │ │ ├── DDlogEMatch.java │ │ ├── DDlogENull.java │ │ ├── DDlogEPHolder.java │ │ ├── DDlogESeq.java │ │ ├── DDlogESet.java │ │ ├── DDlogESigned.java │ │ ├── DDlogEString.java │ │ ├── DDlogEStruct.java │ │ ├── DDlogETupField.java │ │ ├── DDlogETuple.java │ │ ├── DDlogETyped.java │ │ ├── DDlogEUnOp.java │ │ ├── DDlogEVar.java │ │ ├── DDlogEVarDecl.java │ │ ├── DDlogEnvironment.java │ │ ├── DDlogExpression.java │ │ ├── DDlogField.java │ │ ├── DDlogFuncArg.java │ │ ├── DDlogFunction.java │ │ ├── DDlogIRNode.java │ │ ├── DDlogImport.java │ │ ├── DDlogIndexDeclaration.java │ │ ├── DDlogKeyExpr.java │ │ ├── DDlogNode.java │ │ ├── DDlogProgram.java │ │ ├── DDlogRelationDeclaration.java │ │ ├── DDlogRule.java │ │ ├── DDlogTAny.java │ │ ├── DDlogTArray.java │ │ ├── DDlogTBit.java │ │ ├── DDlogTBool.java │ │ ├── DDlogTDouble.java │ │ ├── DDlogTFloat.java │ │ ├── DDlogTGroup.java │ │ ├── DDlogTIString.java │ │ ├── DDlogTInt.java │ │ ├── DDlogTRef.java │ │ ├── DDlogTSet.java │ │ ├── DDlogTSigned.java │ │ ├── DDlogTString.java │ │ ├── DDlogTStruct.java │ │ ├── DDlogTTuple.java │ │ ├── DDlogTUnknown.java │ │ ├── DDlogTUser.java │ │ ├── DDlogTVar.java │ │ ├── DDlogType.java │ │ ├── DDlogTypeDef.java │ │ ├── DDlogVisitor.java │ │ ├── IBoundedNumericType.java │ │ ├── IDDlogBaseType.java │ │ ├── IDDlogHasType.java │ │ ├── IDDlogTContainer.java │ │ ├── IsNumericType.java │ │ ├── README.md │ │ ├── RuleBody.java │ │ ├── RuleBodyTerm.java │ │ └── package-info.java │ │ ├── optimizer │ │ ├── DFNode.java │ │ ├── ExpressionNodes.java │ │ ├── ProgramDataflow.java │ │ ├── RelationFieldNode.java │ │ ├── RuleContext.java │ │ ├── RuleVarFieldNode.java │ │ ├── RuleVariableNode.java │ │ ├── ScalarVariable.java │ │ ├── StructVariable.java │ │ ├── Variable.java │ │ └── package-info.java │ │ ├── translator │ │ ├── AggregateVisitor.java │ │ ├── AggregationVisitorBase.java │ │ ├── ColumnContextEliminationRewriter.java │ │ ├── ColumnNameVisitor.java │ │ ├── CompilerState.java │ │ ├── ExpressionTranslationVisitor.java │ │ ├── JoinInfo.java │ │ ├── RelationName.java │ │ ├── RelationNameVisitor.java │ │ ├── SqlSemantics.java │ │ ├── SubstitutionRewriter.java │ │ ├── SymbolTable.java │ │ ├── TranslationContext.java │ │ ├── TranslationException.java │ │ ├── TranslationVisitor.java │ │ ├── Translator.java │ │ ├── WindowVisitor.java │ │ ├── environment │ │ │ ├── DeleteEnvironment.java │ │ │ ├── EmptyEnvironment.java │ │ │ ├── EnvHandle.java │ │ │ ├── IEnvironment.java │ │ │ ├── RelationEnvironent.java │ │ │ ├── RenameDownEnvironment.java │ │ │ ├── RenameUpEnvironment.java │ │ │ ├── StackedEnvironment.java │ │ │ └── package-info.java │ │ └── package-info.java │ │ └── util │ │ ├── ICastable.java │ │ ├── IdGen.java │ │ ├── IndentStringBuilder.java │ │ ├── Linq.java │ │ ├── Printable.java │ │ ├── Ternary.java │ │ ├── Utilities.java │ │ ├── package-info.java │ │ └── sql │ │ ├── CalciteDDLVisitorBase.java │ │ ├── CalciteSqlStatement.java │ │ ├── CalciteToH2Translator.java │ │ ├── CalciteToPrestoTranslator.java │ │ ├── CalciteUtils.java │ │ ├── CreateIndexParser.java │ │ ├── H2SqlStatement.java │ │ ├── ParsedCreateIndex.java │ │ ├── PrestoSqlStatement.java │ │ ├── PrestoToH2Translator.java │ │ ├── SqlStatement.java │ │ ├── ToH2Translator.java │ │ └── ToPrestoTranslator.java │ └── test │ ├── java │ └── ddlog │ │ ├── AggregatesTest.java │ │ ├── AliasTest.java │ │ ├── BaseQueriesTest.java │ │ ├── CastTest.java │ │ ├── DynamicTest.java │ │ ├── ExpressionsTest.java │ │ ├── GroupByTest.java │ │ ├── IRTest.java │ │ ├── JoinTest.java │ │ ├── JooqProviderCalciteTest.java │ │ ├── JooqProviderPrestoTest.java │ │ ├── JooqProviderTestBase.java │ │ ├── NegativeTest.java │ │ ├── NestedTest.java │ │ ├── SetTest.java │ │ ├── SimpleQueriesTest.java │ │ ├── TimeTest.java │ │ ├── WeaveTest.java │ │ ├── WindowTest.java │ │ └── package-info.java │ └── resources │ ├── weave.sql │ ├── weave_minimal.sql │ └── weave_tables.sql ├── src └── Language │ └── DifferentialDatalog │ ├── Attribute.hs │ ├── Compile.hs │ ├── Compile.hs-boot │ ├── Config.hs │ ├── Crate.hs │ ├── D3log.hs │ ├── DatalogProgram.hs │ ├── Debug.hs │ ├── Debug.hs-boot │ ├── Debugger │ └── DebugEventParser.hs │ ├── ECtx.hs │ ├── Error.hs │ ├── Expr.hs │ ├── Expr.hs-boot │ ├── FlatBuffer.hs │ ├── Function.hs │ ├── Function.hs-boot │ ├── Index.hs │ ├── Module.hs │ ├── Module.hs-boot │ ├── NS.hs │ ├── Name.hs │ ├── OVSDB │ ├── Compile.hs │ └── Parse.hs │ ├── Ops.hs │ ├── Optimize.hs │ ├── PP.hs │ ├── Parse.hs │ ├── Pos.hs │ ├── Profile.hs │ ├── Relation.hs │ ├── Rule.hs │ ├── Rule.hs-boot │ ├── Rust.hs │ ├── Statement.hs │ ├── Syntax.hs │ ├── Type.hs │ ├── Type.hs-boot │ ├── TypeInference.hs │ ├── TypeInference.hs-boot │ ├── Unification.hs │ ├── Util.hs │ ├── Validate.hs │ ├── Validate.hs-boot │ ├── Var.hs │ ├── Var.hs-boot │ └── Version.hs ├── stack.yaml ├── test.sh ├── test ├── Spec.hs ├── antrea │ ├── antrea.dat │ ├── antrea.dump.expected │ ├── k8spolicy.dl │ ├── klog.dl │ ├── networkpolicy_controller.dl │ ├── test-antrea.sh │ └── types.dl ├── datalog_tests │ ├── README.md │ ├── api.ast.expected │ ├── api.dl │ ├── api │ │ ├── Cargo.toml │ │ ├── README.md │ │ ├── run.sh │ │ └── src │ │ │ └── lib.rs │ ├── base64_test.dat │ ├── base64_test.dl │ ├── base64_test.dump.expected │ ├── bit_shift.dl │ ├── bit_shift.dump.expected │ ├── comment.fail.ast.expected │ ├── comment.fail.dl │ ├── constr.fail.ast.expected │ ├── constr.fail.dl │ ├── dcm1.dat │ ├── dcm1.dl │ ├── ddvalue_test.dat │ ├── ddvalue_test.dl │ ├── ddvalue_test.dump.expected │ ├── dupfield.fail.ast.expected │ ├── dupfield.fail.dl │ ├── foolib │ │ ├── lib.dl │ │ └── ns1 │ │ │ ├── m1.dl │ │ │ └── m2.dl │ ├── fp_test.dat │ ├── fp_test.dl │ ├── fp_test.dump.expected │ ├── function.fail.ast.expected │ ├── function.fail.dl │ ├── group_test.dat │ ├── group_test.dl │ ├── group_test.dump.expected │ ├── hashset_test.dat │ ├── hashset_test.dl │ ├── hashset_test.dump.expected │ ├── inspect_log.dl │ ├── inspect_log.rs │ ├── internment_test.dat │ ├── internment_test.dl │ ├── internment_test.dump.expected │ ├── json_test.dat │ ├── json_test.dl │ ├── json_test.dump.expected │ ├── lb.dl │ ├── lb.dump.expected │ ├── lb_reflective.dat │ ├── lb_reflective.dl │ ├── lb_reflective.dump.expected │ ├── lb_test │ │ ├── Cargo.toml │ │ ├── src │ │ │ └── main.rs │ │ └── test.sh │ ├── lib_test.dl │ ├── lib_test_no_flatbuf.dl │ ├── map_test.dat │ ├── map_test.dl │ ├── map_test.dump.expected │ ├── modules.ast.expected │ ├── modules.dat │ ├── modules.dl │ ├── modules.dump.expected │ ├── net_test.dat │ ├── net_test.dl │ ├── net_test.dump.expected │ ├── overflow.dat │ ├── overflow.dl │ ├── ovn.ast.expected │ ├── ovn.dl │ ├── ovn.rs │ ├── ovn_ftl.ast.expected │ ├── ovn_ftl.dat │ ├── ovn_ftl.dl │ ├── ovn_ftl.dump.expected │ ├── path.ast.expected │ ├── path.dat │ ├── path.dl │ ├── path.dump.expected │ ├── pattern.fail.ast.expected │ ├── pattern.fail.dl │ ├── profiler_test │ │ ├── lib │ │ │ └── mod1.dl │ │ ├── test.dat │ │ ├── test.dl │ │ └── test.sh │ ├── rectype.fail.ast.expected │ ├── rectype.fail.dl │ ├── redist.ast.expected │ ├── redist.dat │ ├── redist.dl │ ├── redist.dump.expected.gz │ ├── redist_opt.ast.expected │ ├── redist_opt.dl │ ├── regex_test.dat │ ├── regex_test.dl │ ├── regex_test.dump.expected │ ├── rules.fail.ast.expected │ ├── rules.fail.dl │ ├── run-test.sh │ ├── run-tests.sh │ ├── rust_api_test │ │ ├── Cargo.toml │ │ ├── README.md │ │ ├── src │ │ │ └── main.rs │ │ └── test.sh │ ├── set_test.dat │ ├── set_test.dl │ ├── set_test.dump.expected │ ├── simple.dat │ ├── simple.dl │ ├── simple.dump.expected │ ├── simple.rs │ ├── simple2.dat │ ├── simple2.dl │ ├── simple2.dump.expected │ ├── simple2.log.expected │ ├── simple3.dat │ ├── simple3.dl │ ├── simple3.dump.expected │ ├── span_string.ast.expected │ ├── span_string.dat │ ├── span_string.dl │ ├── span_string.dump.expected.gz │ ├── span_uuid.ast.expected │ ├── span_uuid.dat │ ├── span_uuid.dl │ ├── span_uuid.dump.expected │ ├── span_uuid.log.expected │ ├── std_test.dat │ ├── std_test.dl │ ├── std_test.dump.expected │ ├── streams.dat │ ├── streams.dl │ ├── streams.dump.expected │ ├── strings.fail.ast.expected │ ├── strings.fail.dl │ ├── test-dcm.sh │ ├── test-libs.sh │ ├── test-overflow.sh │ ├── test-redist_opt.sh │ ├── test-stream.sh │ ├── three.ast.expected │ ├── three.dat │ ├── three.dl │ ├── three.dump.expected │ ├── time_test.dat │ ├── time_test.dl │ ├── time_test.dump.expected │ ├── tinyset_test.dat │ ├── tinyset_test.dl │ ├── tinyset_test.dump.expected │ ├── tutorial.dat │ ├── tutorial.dl │ ├── tutorial.dump.expected │ ├── tutorial.log.expected │ ├── tutorial.rs │ ├── unique_bench1.dump.expected │ ├── unique_bench2.dump.expected │ ├── url_test.dat │ ├── url_test.dl │ ├── url_test.dump.expected │ ├── uuid_test.dat │ ├── uuid_test.dl │ ├── uuid_test.dump.expected │ ├── vec_test.dat │ ├── vec_test.dl │ └── vec_test.dump.expected ├── run-souffle-tests-in-batches.py ├── run-souffle-tests.py ├── souffle0 │ ├── ActualParam.facts.gz │ ├── ApplicationClass.facts.gz │ ├── ArrayType.facts.gz │ ├── AssignCast.facts.gz │ ├── AssignHeapAllocation.facts.gz │ ├── AssignLocal.facts.gz │ ├── AssignReturnValue.facts.gz │ ├── ClassType.facts.gz │ ├── ComponentType.facts.gz │ ├── DirectSuperclass.facts.gz │ ├── DirectSuperinterface.facts.gz │ ├── Field.facts.gz │ ├── FormalParam.facts.gz │ ├── HeapAllocation_Type_Prefill.facts.gz │ ├── InterfaceType.facts.gz │ ├── LoadArrayIndex.facts.gz │ ├── LoadInstanceField.facts.gz │ ├── LoadStaticField.facts.gz │ ├── MainClass.facts.gz │ ├── MainMethodArgArray.facts.gz │ ├── MainMethodArgArrayContent.facts.gz │ ├── Method-Modifier.facts.gz │ ├── Method.facts.gz │ ├── NormalHeap.facts.gz │ ├── Return.facts.gz │ ├── SpecialMethodInvocation.facts.gz │ ├── StaticMethodInvocation.facts.gz │ ├── StoreArrayIndex.facts.gz │ ├── StoreInstanceField.facts.gz │ ├── StoreStaticField.facts.gz │ ├── StringConstant.facts.gz │ ├── ThisVar.facts.gz │ ├── Var-DeclaringMethod.facts.gz │ ├── Var-Type.facts.gz │ ├── VirtualMethodInvocation.facts.gz │ ├── self-contained.dl │ ├── souffle.dump.expected.gz │ └── test.dl ├── souffle1 │ ├── edge.facts │ ├── souffle.dump.expected.gz │ └── test.dl ├── souffle10 │ ├── souffle.dump.expected.gz │ └── test.dl ├── souffle11 │ ├── souffle.dump.expected.gz │ └── test.dl ├── souffle12 │ ├── souffle.dump.expected.gz │ └── test.dl ├── souffle13 │ ├── souffle.dump.expected.gz │ └── test.dl ├── souffle14 │ ├── souffle.dump.expected.gz │ └── test.dl ├── souffle15 │ ├── souffle.dump.expected.gz │ └── test.dl ├── souffle16 │ ├── souffle.dump.expected.gz │ └── test.dl ├── souffle17 │ ├── souffle.dump.expected.gz │ └── test.dl ├── souffle18 │ ├── souffle.dump.expected.gz │ └── test.dl ├── souffle19 │ ├── souffle.dump.expected.gz │ └── test.dl ├── souffle2 │ ├── souffle.dump.expected.gz │ └── test.dl ├── souffle20 │ ├── souffle.dump.expected.gz │ └── test.dl ├── souffle21 │ ├── souffle.dump.expected.gz │ └── test.dl ├── souffle3 │ ├── souffle.dump.expected.gz │ └── test.dl ├── souffle4 │ ├── souffle.dump.expected.gz │ └── test.dl ├── souffle5 │ ├── souffle.dump.expected.gz │ └── test.dl ├── souffle6 │ ├── souffle.dump.expected.gz │ └── test.dl ├── souffle7 │ └── test.dl ├── souffle8 │ └── test.dl ├── souffle9 │ ├── souffle.dump.expected.gz │ └── test.dl ├── test-ovn.sh └── types_test │ ├── module.dl │ └── typesTest.dl └── tools ├── Dockerfile ├── install-flatbuf.sh ├── install-stack.sh ├── prepush.sh ├── souffle-grammar.pg ├── souffle.yy ├── souffle_converter.py ├── stack-shell.nix ├── timely_profiling ├── README.md └── generate_stats.py ├── vim └── syntax │ └── dl.vim └── vscode ├── README.md ├── ddlog-language ├── .gitignore ├── .vscodeignore ├── LICENSE ├── gulpfile.js ├── language-configuration.json ├── package.json └── src │ ├── good │ ├── base.json5 │ ├── command.json5 │ ├── constant.json5 │ ├── datstatements.json5 │ ├── keyword.json5 │ ├── meta.json5 │ ├── punctuation.json5 │ ├── string.json5 │ ├── type.json5 │ └── variable.json5 │ └── syntax │ ├── comment.json5 │ ├── entity.json5 │ ├── operator.json5 │ ├── storage.json5 │ └── support.json5 ├── ddlog-theme ├── .gitignore ├── .vscodeignore ├── package.json └── themes │ └── ddlog-color-theme.json └── install.sh /.github/ISSUE_TEMPLATE/default.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/.github/ISSUE_TEMPLATE/default.md -------------------------------------------------------------------------------- /.github/workflows/main.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/.github/workflows/main.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/.gitignore -------------------------------------------------------------------------------- /.gitlab-ci.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/.gitlab-ci.yml -------------------------------------------------------------------------------- /CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/CHANGELOG.md -------------------------------------------------------------------------------- /CONTRIBUTING.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/CONTRIBUTING.md -------------------------------------------------------------------------------- /Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/Cargo.toml -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/README.md -------------------------------------------------------------------------------- /Setup.hs: -------------------------------------------------------------------------------- 1 | import Distribution.Simple 2 | main = defaultMain 3 | -------------------------------------------------------------------------------- /adapters/ovsdb/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/adapters/ovsdb/Main.hs -------------------------------------------------------------------------------- /app/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/app/Main.hs -------------------------------------------------------------------------------- /debugger/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/debugger/Main.hs -------------------------------------------------------------------------------- /default.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/default.nix -------------------------------------------------------------------------------- /doc/benchmarking/dynamic-dispatch.gnumeric: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/doc/benchmarking/dynamic-dispatch.gnumeric -------------------------------------------------------------------------------- /doc/c_tutorial/c_tutorial.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/doc/c_tutorial/c_tutorial.rst -------------------------------------------------------------------------------- /doc/c_tutorial/images/topology.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/doc/c_tutorial/images/topology.jpg -------------------------------------------------------------------------------- /doc/c_tutorial/t1_reachability_monitor.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/doc/c_tutorial/t1_reachability_monitor.c -------------------------------------------------------------------------------- /doc/c_tutorial/t1_reachability_monitor.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/doc/c_tutorial/t1_reachability_monitor.dl -------------------------------------------------------------------------------- /doc/c_tutorial/test.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/doc/c_tutorial/test.sh -------------------------------------------------------------------------------- /doc/command_reference/command_reference.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/doc/command_reference/command_reference.md -------------------------------------------------------------------------------- /doc/datalog2.0-workshop/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/doc/datalog2.0-workshop/.gitignore -------------------------------------------------------------------------------- /doc/datalog2.0-workshop/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/doc/datalog2.0-workshop/Makefile -------------------------------------------------------------------------------- /doc/datalog2.0-workshop/applications.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/doc/datalog2.0-workshop/applications.tex -------------------------------------------------------------------------------- /doc/datalog2.0-workshop/compiler-flow.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/doc/datalog2.0-workshop/compiler-flow.pdf -------------------------------------------------------------------------------- /doc/datalog2.0-workshop/conclusions.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/doc/datalog2.0-workshop/conclusions.tex -------------------------------------------------------------------------------- /doc/datalog2.0-workshop/ddlog.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/doc/datalog2.0-workshop/ddlog.tex -------------------------------------------------------------------------------- /doc/datalog2.0-workshop/deletion.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/doc/datalog2.0-workshop/deletion.pdf -------------------------------------------------------------------------------- /doc/datalog2.0-workshop/differential.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/doc/datalog2.0-workshop/differential.pdf -------------------------------------------------------------------------------- /doc/datalog2.0-workshop/figures.pptx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/doc/datalog2.0-workshop/figures.pptx -------------------------------------------------------------------------------- /doc/datalog2.0-workshop/insertion.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/doc/datalog2.0-workshop/insertion.pdf -------------------------------------------------------------------------------- /doc/datalog2.0-workshop/intro.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/doc/datalog2.0-workshop/intro.tex -------------------------------------------------------------------------------- /doc/datalog2.0-workshop/memory.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/doc/datalog2.0-workshop/memory.pdf -------------------------------------------------------------------------------- /doc/datalog2.0-workshop/non-incremental.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/doc/datalog2.0-workshop/non-incremental.pdf -------------------------------------------------------------------------------- /doc/datalog2.0-workshop/paper.bib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/doc/datalog2.0-workshop/paper.bib -------------------------------------------------------------------------------- /doc/datalog2.0-workshop/paper.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/doc/datalog2.0-workshop/paper.pdf -------------------------------------------------------------------------------- /doc/datalog2.0-workshop/paper.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/doc/datalog2.0-workshop/paper.tex -------------------------------------------------------------------------------- /doc/datalog2.0-workshop/related.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/doc/datalog2.0-workshop/related.tex -------------------------------------------------------------------------------- /doc/datalog2.0-workshop/svproc.cls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/doc/datalog2.0-workshop/svproc.cls -------------------------------------------------------------------------------- /doc/datalog2.0-workshop/system.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/doc/datalog2.0-workshop/system.tex -------------------------------------------------------------------------------- /doc/java_api.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/doc/java_api.md -------------------------------------------------------------------------------- /doc/language_reference/language_reference.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/doc/language_reference/language_reference.md -------------------------------------------------------------------------------- /doc/model/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/doc/model/.gitignore -------------------------------------------------------------------------------- /doc/model/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/doc/model/README.md -------------------------------------------------------------------------------- /doc/model/model.bib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/doc/model/model.bib -------------------------------------------------------------------------------- /doc/model/model.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/doc/model/model.tex -------------------------------------------------------------------------------- /doc/number-sections.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/doc/number-sections.py -------------------------------------------------------------------------------- /doc/profiling/cpu1.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/doc/profiling/cpu1.png -------------------------------------------------------------------------------- /doc/profiling/cpu2.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/doc/profiling/cpu2.png -------------------------------------------------------------------------------- /doc/profiling/cpu3.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/doc/profiling/cpu3.png -------------------------------------------------------------------------------- /doc/profiling/cpu4.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/doc/profiling/cpu4.png -------------------------------------------------------------------------------- /doc/profiling/profiling.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/doc/profiling/profiling.md -------------------------------------------------------------------------------- /doc/profiling/size-numbers-1.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/doc/profiling/size-numbers-1.png -------------------------------------------------------------------------------- /doc/profiling/size-numbers-2.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/doc/profiling/size-numbers-2.png -------------------------------------------------------------------------------- /doc/profiling/size1.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/doc/profiling/size1.png -------------------------------------------------------------------------------- /doc/profiling/size2.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/doc/profiling/size2.png -------------------------------------------------------------------------------- /doc/tutorial/tutorial.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/doc/tutorial/tutorial.md -------------------------------------------------------------------------------- /gitlab-ci/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/gitlab-ci/README.md -------------------------------------------------------------------------------- /gitlab-ci/build-docker-image.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/gitlab-ci/build-docker-image.sh -------------------------------------------------------------------------------- /go/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/go/.gitignore -------------------------------------------------------------------------------- /go/.golangci.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/go/.golangci.yml -------------------------------------------------------------------------------- /go/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/go/Makefile -------------------------------------------------------------------------------- /go/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/go/README.md -------------------------------------------------------------------------------- /go/build-ddlog-prog.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/go/build-ddlog-prog.sh -------------------------------------------------------------------------------- /go/cmd/example/main.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/go/cmd/example/main.go -------------------------------------------------------------------------------- /go/go.mod: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/go/go.mod -------------------------------------------------------------------------------- /go/go.sum: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/go/go.sum -------------------------------------------------------------------------------- /go/pkg/ddlog/cmd.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/go/pkg/ddlog/cmd.go -------------------------------------------------------------------------------- /go/pkg/ddlog/ddlog.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/go/pkg/ddlog/ddlog.go -------------------------------------------------------------------------------- /go/pkg/ddlog/ddlog_test.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/go/pkg/ddlog/ddlog_test.go -------------------------------------------------------------------------------- /go/pkg/ddlog/doc.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/go/pkg/ddlog/doc.go -------------------------------------------------------------------------------- /go/pkg/ddlog/record.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/go/pkg/ddlog/record.go -------------------------------------------------------------------------------- /go/pkg/ddlog/record_test.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/go/pkg/ddlog/record_test.go -------------------------------------------------------------------------------- /go/pkg/uint128/doc.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/go/pkg/uint128/doc.go -------------------------------------------------------------------------------- /go/pkg/uint128/uint128.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/go/pkg/uint128/uint128.go -------------------------------------------------------------------------------- /go/pkg/uint128/uint128_test.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/go/pkg/uint128/uint128_test.go -------------------------------------------------------------------------------- /go/run-example.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/go/run-example.sh -------------------------------------------------------------------------------- /go/test.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/go/test.sh -------------------------------------------------------------------------------- /install-dependencies.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/install-dependencies.sh -------------------------------------------------------------------------------- /java/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/java/.gitignore -------------------------------------------------------------------------------- /java/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/java/Makefile -------------------------------------------------------------------------------- /java/README.md: -------------------------------------------------------------------------------- 1 | Java bindings for the DDlog API 2 | -------------------------------------------------------------------------------- /java/build_java.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/java/build_java.sh -------------------------------------------------------------------------------- /java/ddlogapi.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/java/ddlogapi.c -------------------------------------------------------------------------------- /java/ddlogapi/DDlogAPI.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/java/ddlogapi/DDlogAPI.java -------------------------------------------------------------------------------- /java/ddlogapi/DDlogCommand.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/java/ddlogapi/DDlogCommand.java -------------------------------------------------------------------------------- /java/ddlogapi/DDlogConfig.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/java/ddlogapi/DDlogConfig.java -------------------------------------------------------------------------------- /java/ddlogapi/DDlogException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/java/ddlogapi/DDlogException.java -------------------------------------------------------------------------------- /java/ddlogapi/DDlogRecCommand.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/java/ddlogapi/DDlogRecCommand.java -------------------------------------------------------------------------------- /java/ddlogapi/DDlogRecord.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/java/ddlogapi/DDlogRecord.java -------------------------------------------------------------------------------- /java/streams/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/java/streams/README.md -------------------------------------------------------------------------------- /java/streams/pom.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/java/streams/pom.xml -------------------------------------------------------------------------------- /java/streams/src/main/java/org/dbsp/lib/HasId.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/java/streams/src/main/java/org/dbsp/lib/HasId.java -------------------------------------------------------------------------------- /java/streams/src/main/java/org/dbsp/lib/Pair.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/java/streams/src/main/java/org/dbsp/lib/Pair.java -------------------------------------------------------------------------------- /java/streams/src/main/java/org/dbsp/lib/Triple.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/java/streams/src/main/java/org/dbsp/lib/Triple.java -------------------------------------------------------------------------------- /java/streams/src/test/java/org/dbsp/compute/ZS.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/java/streams/src/test/java/org/dbsp/compute/ZS.java -------------------------------------------------------------------------------- /java/test-index/A.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/java/test-index/A.java -------------------------------------------------------------------------------- /java/test-index/README.md: -------------------------------------------------------------------------------- 1 | Tests index access from Java API. 2 | -------------------------------------------------------------------------------- /java/test-index/a.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/java/test-index/a.dl -------------------------------------------------------------------------------- /java/test-index/atest.dump.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/java/test-index/atest.dump.expected -------------------------------------------------------------------------------- /java/test-index/run.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/java/test-index/run.sh -------------------------------------------------------------------------------- /java/test/SpanTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/java/test/SpanTest.java -------------------------------------------------------------------------------- /java/test/run.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/java/test/run.sh -------------------------------------------------------------------------------- /java/test1/RedistTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/java/test1/RedistTest.java -------------------------------------------------------------------------------- /java/test1/record.dat.expected.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/java/test1/record.dat.expected.gz -------------------------------------------------------------------------------- /java/test1/run.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/java/test1/run.sh -------------------------------------------------------------------------------- /java/test2/TwoTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/java/test2/TwoTest.java -------------------------------------------------------------------------------- /java/test2/run.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/java/test2/run.sh -------------------------------------------------------------------------------- /java/test2/two.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/java/test2/two.dl -------------------------------------------------------------------------------- /java/test3/SpanTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/java/test3/SpanTest.java -------------------------------------------------------------------------------- /java/test3/run.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/java/test3/run.sh -------------------------------------------------------------------------------- /java/test3/spantest.dump.expected: -------------------------------------------------------------------------------- 1 | From 5 Insert RuleSpan{"1","2"} 2 | -------------------------------------------------------------------------------- /java/test4/XTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/java/test4/XTest.java -------------------------------------------------------------------------------- /java/test4/run.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/java/test4/run.sh -------------------------------------------------------------------------------- /java/test4/x.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/java/test4/x.dl -------------------------------------------------------------------------------- /java/test4/xtest.dump.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/java/test4/xtest.dump.expected -------------------------------------------------------------------------------- /java/test5/XTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/java/test5/XTest.java -------------------------------------------------------------------------------- /java/test5/run.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/java/test5/run.sh -------------------------------------------------------------------------------- /java/test5/x.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/java/test5/x.dl -------------------------------------------------------------------------------- /java/test6/XTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/java/test6/XTest.java -------------------------------------------------------------------------------- /java/test6/run.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/java/test6/run.sh -------------------------------------------------------------------------------- /java/test6/x.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/java/test6/x.dl -------------------------------------------------------------------------------- /java/test8/XTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/java/test8/XTest.java -------------------------------------------------------------------------------- /java/test8/run.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/java/test8/run.sh -------------------------------------------------------------------------------- /java/test8/x.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/java/test8/x.dl -------------------------------------------------------------------------------- /java/test8/xtest.dump.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/java/test8/xtest.dump.expected -------------------------------------------------------------------------------- /java/test_flatbuf/Test.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/java/test_flatbuf/Test.java -------------------------------------------------------------------------------- /java/test_flatbuf/run.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/java/test_flatbuf/run.sh -------------------------------------------------------------------------------- /java/test_flatbuf/test.dump.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/java/test_flatbuf/test.dump.expected -------------------------------------------------------------------------------- /java/test_flatbuf1/Test.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/java/test_flatbuf1/Test.java -------------------------------------------------------------------------------- /java/test_flatbuf1/fb.dump.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/java/test_flatbuf1/fb.dump.expected -------------------------------------------------------------------------------- /java/test_flatbuf1/query.dump.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/java/test_flatbuf1/query.dump.expected -------------------------------------------------------------------------------- /java/test_flatbuf1/rec_dynamic.dump.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/java/test_flatbuf1/rec_dynamic.dump.expected -------------------------------------------------------------------------------- /java/test_flatbuf1/run.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/java/test_flatbuf1/run.sh -------------------------------------------------------------------------------- /java/webserver/Main.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/java/webserver/Main.java -------------------------------------------------------------------------------- /java/webserver/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/java/webserver/index.html -------------------------------------------------------------------------------- /java/webserver/reach.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/java/webserver/reach.dl -------------------------------------------------------------------------------- /java/webserver/run.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/java/webserver/run.sh -------------------------------------------------------------------------------- /lib/allocate.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/lib/allocate.dl -------------------------------------------------------------------------------- /lib/allocate.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/lib/allocate.rs -------------------------------------------------------------------------------- /lib/base64.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/lib/base64.dl -------------------------------------------------------------------------------- /lib/base64.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/lib/base64.rs -------------------------------------------------------------------------------- /lib/base64.toml: -------------------------------------------------------------------------------- 1 | [dependencies.base64] 2 | version = "0.13" 3 | -------------------------------------------------------------------------------- /lib/d3log/reflect.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/lib/d3log/reflect.dl -------------------------------------------------------------------------------- /lib/ddlog_bigint.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/lib/ddlog_bigint.dl -------------------------------------------------------------------------------- /lib/ddlog_bigint.flatbuf.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/lib/ddlog_bigint.flatbuf.rs -------------------------------------------------------------------------------- /lib/ddlog_bigint.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/lib/ddlog_bigint.rs -------------------------------------------------------------------------------- /lib/ddlog_log.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/lib/ddlog_log.dl -------------------------------------------------------------------------------- /lib/ddlog_log.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/lib/ddlog_log.h -------------------------------------------------------------------------------- /lib/ddlog_log.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/lib/ddlog_log.rs -------------------------------------------------------------------------------- /lib/ddlog_rt.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/lib/ddlog_rt.dl -------------------------------------------------------------------------------- /lib/ddlog_rt.flatbuf.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/lib/ddlog_rt.flatbuf.rs -------------------------------------------------------------------------------- /lib/ddlog_rt.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/lib/ddlog_rt.rs -------------------------------------------------------------------------------- /lib/ddlog_std.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/lib/ddlog_std.dl -------------------------------------------------------------------------------- /lib/ddlog_std.flatbuf.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/lib/ddlog_std.flatbuf.rs -------------------------------------------------------------------------------- /lib/ddlog_std.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/lib/ddlog_std.rs -------------------------------------------------------------------------------- /lib/debug.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/lib/debug.dl -------------------------------------------------------------------------------- /lib/debug.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/lib/debug.rs -------------------------------------------------------------------------------- /lib/fp.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/lib/fp.dl -------------------------------------------------------------------------------- /lib/fp.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/lib/fp.rs -------------------------------------------------------------------------------- /lib/graph.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/lib/graph.dl -------------------------------------------------------------------------------- /lib/graph.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/lib/graph.rs -------------------------------------------------------------------------------- /lib/group.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/lib/group.dl -------------------------------------------------------------------------------- /lib/group.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/lib/group.rs -------------------------------------------------------------------------------- /lib/hashset.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/lib/hashset.dl -------------------------------------------------------------------------------- /lib/hashset.flatbuf.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/lib/hashset.flatbuf.rs -------------------------------------------------------------------------------- /lib/hashset.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/lib/hashset.rs -------------------------------------------------------------------------------- /lib/hashset.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/lib/hashset.toml -------------------------------------------------------------------------------- /lib/intern.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/lib/intern.dl -------------------------------------------------------------------------------- /lib/intern.flatbuf.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/lib/intern.flatbuf.rs -------------------------------------------------------------------------------- /lib/intern.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/lib/intern.rs -------------------------------------------------------------------------------- /lib/intern.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/lib/intern.toml -------------------------------------------------------------------------------- /lib/internment.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/lib/internment.dl -------------------------------------------------------------------------------- /lib/internment.flatbuf.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/lib/internment.flatbuf.rs -------------------------------------------------------------------------------- /lib/internment.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/lib/internment.rs -------------------------------------------------------------------------------- /lib/internment.toml: -------------------------------------------------------------------------------- 1 | [dependencies.internment] 2 | version="=0.5.4" 3 | features=["arc"] 4 | -------------------------------------------------------------------------------- /lib/json.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/lib/json.dl -------------------------------------------------------------------------------- /lib/json.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/lib/json.rs -------------------------------------------------------------------------------- /lib/log.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/lib/log.dl -------------------------------------------------------------------------------- /lib/log.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/lib/log.rs -------------------------------------------------------------------------------- /lib/log4j.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/lib/log4j.dl -------------------------------------------------------------------------------- /lib/map.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/lib/map.dl -------------------------------------------------------------------------------- /lib/map.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/lib/map.rs -------------------------------------------------------------------------------- /lib/net/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/lib/net/README.md -------------------------------------------------------------------------------- /lib/net/ipaddr.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/lib/net/ipaddr.dl -------------------------------------------------------------------------------- /lib/net/ipv4.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/lib/net/ipv4.dl -------------------------------------------------------------------------------- /lib/net/ipv4.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/lib/net/ipv4.rs -------------------------------------------------------------------------------- /lib/net/ipv6.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/lib/net/ipv6.dl -------------------------------------------------------------------------------- /lib/net/ipv6.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/lib/net/ipv6.rs -------------------------------------------------------------------------------- /lib/ovsdb.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/lib/ovsdb.dl -------------------------------------------------------------------------------- /lib/ovsdb.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/lib/ovsdb.rs -------------------------------------------------------------------------------- /lib/print.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/lib/print.dl -------------------------------------------------------------------------------- /lib/print.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/lib/print.rs -------------------------------------------------------------------------------- /lib/regex.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/lib/regex.dl -------------------------------------------------------------------------------- /lib/regex.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/lib/regex.rs -------------------------------------------------------------------------------- /lib/regex.toml: -------------------------------------------------------------------------------- 1 | [dependencies.regex] 2 | version = "1.4.2" 3 | -------------------------------------------------------------------------------- /lib/set.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/lib/set.dl -------------------------------------------------------------------------------- /lib/set.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/lib/set.rs -------------------------------------------------------------------------------- /lib/souffle_lib.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/lib/souffle_lib.dl -------------------------------------------------------------------------------- /lib/souffle_types.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/lib/souffle_types.dl -------------------------------------------------------------------------------- /lib/time.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/lib/time.dl -------------------------------------------------------------------------------- /lib/time.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/lib/time.rs -------------------------------------------------------------------------------- /lib/time.toml: -------------------------------------------------------------------------------- 1 | [dependencies.chrono] 2 | version = "0.4" 3 | features = ["serde"] 4 | -------------------------------------------------------------------------------- /lib/tinyset.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/lib/tinyset.dl -------------------------------------------------------------------------------- /lib/tinyset.flatbuf.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/lib/tinyset.flatbuf.rs -------------------------------------------------------------------------------- /lib/tinyset.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/lib/tinyset.rs -------------------------------------------------------------------------------- /lib/tinyset.toml: -------------------------------------------------------------------------------- 1 | [dependencies.tinyset] 2 | version = "0.2.2" 3 | -------------------------------------------------------------------------------- /lib/url.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/lib/url.dl -------------------------------------------------------------------------------- /lib/url.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/lib/url.rs -------------------------------------------------------------------------------- /lib/url.toml: -------------------------------------------------------------------------------- 1 | [dependencies.url] 2 | version = "2.1" 3 | features = ["serde"] 4 | -------------------------------------------------------------------------------- /lib/uuid.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/lib/uuid.dl -------------------------------------------------------------------------------- /lib/uuid.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/lib/uuid.rs -------------------------------------------------------------------------------- /lib/uuid.toml: -------------------------------------------------------------------------------- 1 | [dependencies.uuid] 2 | version = "0.8" 3 | features = ["v5"] 4 | -------------------------------------------------------------------------------- /lib/vec.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/lib/vec.dl -------------------------------------------------------------------------------- /lib/vec.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/lib/vec.rs -------------------------------------------------------------------------------- /package.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/package.yaml -------------------------------------------------------------------------------- /rust/ddlog_benches/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/ddlog_benches/Cargo.toml -------------------------------------------------------------------------------- /rust/ddlog_benches/Makefile.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/ddlog_benches/Makefile.toml -------------------------------------------------------------------------------- /rust/ddlog_benches/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/ddlog_benches/README.md -------------------------------------------------------------------------------- /rust/ddlog_benches/benches/live_journal.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/ddlog_benches/benches/live_journal.rs -------------------------------------------------------------------------------- /rust/ddlog_benches/benches/twitter.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/ddlog_benches/benches/twitter.rs -------------------------------------------------------------------------------- /rust/ddlog_benches/ddlog/benchmarks.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/ddlog_benches/ddlog/benchmarks.dl -------------------------------------------------------------------------------- /rust/ddlog_benches/ddlog/live_journal.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/ddlog_benches/ddlog/live_journal.dl -------------------------------------------------------------------------------- /rust/ddlog_benches/ddlog/twitter.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/ddlog_benches/ddlog/twitter.dl -------------------------------------------------------------------------------- /rust/ddlog_benches/generated/.gitkeep: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /rust/ddlog_benches/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/ddlog_benches/src/lib.rs -------------------------------------------------------------------------------- /rust/ddlog_benches/src/live_journal.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/ddlog_benches/src/live_journal.rs -------------------------------------------------------------------------------- /rust/ddlog_benches/src/twitter.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/ddlog_benches/src/twitter.rs -------------------------------------------------------------------------------- /rust/ddlog_benches/src/utils.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/ddlog_benches/src/utils.rs -------------------------------------------------------------------------------- /rust/template/.cargo/config.toml: -------------------------------------------------------------------------------- 1 | [build] 2 | incremental = true 3 | -------------------------------------------------------------------------------- /rust/template/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/Cargo.toml -------------------------------------------------------------------------------- /rust/template/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/README.md -------------------------------------------------------------------------------- /rust/template/cmd_parser/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/cmd_parser/Cargo.toml -------------------------------------------------------------------------------- /rust/template/cmd_parser/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/cmd_parser/lib.rs -------------------------------------------------------------------------------- /rust/template/cmd_parser/parse.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/cmd_parser/parse.rs -------------------------------------------------------------------------------- /rust/template/ddlog.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ddlog.h -------------------------------------------------------------------------------- /rust/template/ddlog_derive/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ddlog_derive/Cargo.toml -------------------------------------------------------------------------------- /rust/template/ddlog_derive/src/from_record.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ddlog_derive/src/from_record.rs -------------------------------------------------------------------------------- /rust/template/ddlog_derive/src/into_record.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ddlog_derive/src/into_record.rs -------------------------------------------------------------------------------- /rust/template/ddlog_derive/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ddlog_derive/src/lib.rs -------------------------------------------------------------------------------- /rust/template/ddlog_derive/src/mutator.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ddlog_derive/src/mutator.rs -------------------------------------------------------------------------------- /rust/template/ddlog_derive/tests/ui.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ddlog_derive/tests/ui.rs -------------------------------------------------------------------------------- /rust/template/ddlog_derive/tests/ui/pass/clone_ref.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ddlog_derive/tests/ui/pass/clone_ref.rs -------------------------------------------------------------------------------- /rust/template/ddlog_derive/tests/ui/pass/mutator.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ddlog_derive/tests/ui/pass/mutator.rs -------------------------------------------------------------------------------- /rust/template/ddlog_derive/tests/ui/pass/realworld.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ddlog_derive/tests/ui/pass/realworld.rs -------------------------------------------------------------------------------- /rust/template/ddlog_ovsdb_test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ddlog_ovsdb_test.c -------------------------------------------------------------------------------- /rust/template/ddlog_profiler/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ddlog_profiler/Cargo.toml -------------------------------------------------------------------------------- /rust/template/ddlog_profiler/profiler_ui/.gitignore: -------------------------------------------------------------------------------- 1 | node_modules/ 2 | *.map 3 | -------------------------------------------------------------------------------- /rust/template/ddlog_profiler/profiler_ui/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ddlog_profiler/profiler_ui/Makefile -------------------------------------------------------------------------------- /rust/template/ddlog_profiler/profiler_ui/package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ddlog_profiler/profiler_ui/package.json -------------------------------------------------------------------------------- /rust/template/ddlog_profiler/profiler_ui/ui.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ddlog_profiler/profiler_ui/ui.css -------------------------------------------------------------------------------- /rust/template/ddlog_profiler/profiler_ui/ui.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ddlog_profiler/profiler_ui/ui.html -------------------------------------------------------------------------------- /rust/template/ddlog_profiler/profiler_ui/ui.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ddlog_profiler/profiler_ui/ui.js -------------------------------------------------------------------------------- /rust/template/ddlog_profiler/profiler_ui/ui.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ddlog_profiler/profiler_ui/ui.ts -------------------------------------------------------------------------------- /rust/template/ddlog_profiler/src/debug_info.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ddlog_profiler/src/debug_info.rs -------------------------------------------------------------------------------- /rust/template/ddlog_profiler/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ddlog_profiler/src/lib.rs -------------------------------------------------------------------------------- /rust/template/ddlog_profiler/src/source_code.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ddlog_profiler/src/source_code.rs -------------------------------------------------------------------------------- /rust/template/differential_datalog/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/differential_datalog/Cargo.toml -------------------------------------------------------------------------------- /rust/template/differential_datalog/src/api/c_api.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/differential_datalog/src/api/c_api.rs -------------------------------------------------------------------------------- /rust/template/differential_datalog/src/api/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/differential_datalog/src/api/mod.rs -------------------------------------------------------------------------------- /rust/template/differential_datalog/src/callback.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/differential_datalog/src/callback.rs -------------------------------------------------------------------------------- /rust/template/differential_datalog/src/ddlog.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/differential_datalog/src/ddlog.rs -------------------------------------------------------------------------------- /rust/template/differential_datalog/src/ddval/any.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/differential_datalog/src/ddval/any.rs -------------------------------------------------------------------------------- /rust/template/differential_datalog/src/ddval/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/differential_datalog/src/ddval/mod.rs -------------------------------------------------------------------------------- /rust/template/differential_datalog/src/flatbuf/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/differential_datalog/src/flatbuf/mod.rs -------------------------------------------------------------------------------- /rust/template/differential_datalog/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/differential_datalog/src/lib.rs -------------------------------------------------------------------------------- /rust/template/differential_datalog/src/replay.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/differential_datalog/src/replay.rs -------------------------------------------------------------------------------- /rust/template/differential_datalog/src/valmap.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/differential_datalog/src/valmap.rs -------------------------------------------------------------------------------- /rust/template/differential_datalog/src/variable.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/differential_datalog/src/variable.rs -------------------------------------------------------------------------------- /rust/template/differential_datalog_test/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/differential_datalog_test/Cargo.toml -------------------------------------------------------------------------------- /rust/template/differential_datalog_test/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/differential_datalog_test/lib.rs -------------------------------------------------------------------------------- /rust/template/ovsdb/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/Cargo.toml -------------------------------------------------------------------------------- /rust/template/ovsdb/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/README -------------------------------------------------------------------------------- /rust/template/ovsdb/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/lib.rs -------------------------------------------------------------------------------- /rust/template/ovsdb/test.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/test.rs -------------------------------------------------------------------------------- /rust/template/ovsdb/test_data/2631/ovn-nb.rawsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/test_data/2631/ovn-nb.rawsync -------------------------------------------------------------------------------- /rust/template/ovsdb/test_data/2631/ovn-sb.rawsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/test_data/2631/ovn-sb.rawsync -------------------------------------------------------------------------------- /rust/template/ovsdb/test_data/2632/ovn-nb.rawsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/test_data/2632/ovn-nb.rawsync -------------------------------------------------------------------------------- /rust/template/ovsdb/test_data/2632/ovn-sb.rawsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/test_data/2632/ovn-sb.rawsync -------------------------------------------------------------------------------- /rust/template/ovsdb/test_data/2633/ovn-nb.rawsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/test_data/2633/ovn-nb.rawsync -------------------------------------------------------------------------------- /rust/template/ovsdb/test_data/2633/ovn-sb.rawsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/test_data/2633/ovn-sb.rawsync -------------------------------------------------------------------------------- /rust/template/ovsdb/test_data/2634/ovn-nb.rawsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/test_data/2634/ovn-nb.rawsync -------------------------------------------------------------------------------- /rust/template/ovsdb/test_data/2634/ovn-sb.rawsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/test_data/2634/ovn-sb.rawsync -------------------------------------------------------------------------------- /rust/template/ovsdb/test_data/2635/ovn-nb.rawsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/test_data/2635/ovn-nb.rawsync -------------------------------------------------------------------------------- /rust/template/ovsdb/test_data/2635/ovn-sb.rawsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/test_data/2635/ovn-sb.rawsync -------------------------------------------------------------------------------- /rust/template/ovsdb/test_data/2636/ovn-nb.rawsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/test_data/2636/ovn-nb.rawsync -------------------------------------------------------------------------------- /rust/template/ovsdb/test_data/2636/ovn-sb.rawsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/test_data/2636/ovn-sb.rawsync -------------------------------------------------------------------------------- /rust/template/ovsdb/test_data/2637/ovn-nb.rawsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/test_data/2637/ovn-nb.rawsync -------------------------------------------------------------------------------- /rust/template/ovsdb/test_data/2637/ovn-sb.rawsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/test_data/2637/ovn-sb.rawsync -------------------------------------------------------------------------------- /rust/template/ovsdb/test_data/2638/ovn-nb.rawsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/test_data/2638/ovn-nb.rawsync -------------------------------------------------------------------------------- /rust/template/ovsdb/test_data/2638/ovn-sb.rawsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/test_data/2638/ovn-sb.rawsync -------------------------------------------------------------------------------- /rust/template/ovsdb/test_data/2639/ovn-nb.rawsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/test_data/2639/ovn-nb.rawsync -------------------------------------------------------------------------------- /rust/template/ovsdb/test_data/2639/ovn-sb.rawsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/test_data/2639/ovn-sb.rawsync -------------------------------------------------------------------------------- /rust/template/ovsdb/test_data/2640/ovn-nb.rawsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/test_data/2640/ovn-nb.rawsync -------------------------------------------------------------------------------- /rust/template/ovsdb/test_data/2640/ovn-sb.rawsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/test_data/2640/ovn-sb.rawsync -------------------------------------------------------------------------------- /rust/template/ovsdb/test_data/2641/ovn-nb.rawsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/test_data/2641/ovn-nb.rawsync -------------------------------------------------------------------------------- /rust/template/ovsdb/test_data/2641/ovn-sb.rawsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/test_data/2641/ovn-sb.rawsync -------------------------------------------------------------------------------- /rust/template/ovsdb/test_data/2642/ovn-nb.rawsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/test_data/2642/ovn-nb.rawsync -------------------------------------------------------------------------------- /rust/template/ovsdb/test_data/2642/ovn-sb.rawsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/test_data/2642/ovn-sb.rawsync -------------------------------------------------------------------------------- /rust/template/ovsdb/test_data/2643/ovn-nb.rawsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/test_data/2643/ovn-nb.rawsync -------------------------------------------------------------------------------- /rust/template/ovsdb/test_data/2643/ovn-sb.rawsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/test_data/2643/ovn-sb.rawsync -------------------------------------------------------------------------------- /rust/template/ovsdb/test_data/2644/ovn-nb.rawsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/test_data/2644/ovn-nb.rawsync -------------------------------------------------------------------------------- /rust/template/ovsdb/test_data/2644/ovn-sb.rawsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/test_data/2644/ovn-sb.rawsync -------------------------------------------------------------------------------- /rust/template/ovsdb/test_data/2645/ovn-nb.rawsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/test_data/2645/ovn-nb.rawsync -------------------------------------------------------------------------------- /rust/template/ovsdb/test_data/2645/ovn-sb.rawsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/test_data/2645/ovn-sb.rawsync -------------------------------------------------------------------------------- /rust/template/ovsdb/test_data/2646/ovn-nb.rawsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/test_data/2646/ovn-nb.rawsync -------------------------------------------------------------------------------- /rust/template/ovsdb/test_data/2646/ovn-sb.rawsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/test_data/2646/ovn-sb.rawsync -------------------------------------------------------------------------------- /rust/template/ovsdb/test_data/2647/ovn-nb.rawsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/test_data/2647/ovn-nb.rawsync -------------------------------------------------------------------------------- /rust/template/ovsdb/test_data/2647/ovn-sb.rawsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/test_data/2647/ovn-sb.rawsync -------------------------------------------------------------------------------- /rust/template/ovsdb/test_data/2648/ovn-nb.rawsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/test_data/2648/ovn-nb.rawsync -------------------------------------------------------------------------------- /rust/template/ovsdb/test_data/2648/ovn-sb.rawsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/test_data/2648/ovn-sb.rawsync -------------------------------------------------------------------------------- /rust/template/ovsdb/test_data/2649/ovn-nb.rawsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/test_data/2649/ovn-nb.rawsync -------------------------------------------------------------------------------- /rust/template/ovsdb/test_data/2649/ovn-sb.rawsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/test_data/2649/ovn-sb.rawsync -------------------------------------------------------------------------------- /rust/template/ovsdb/test_data/2650/ovn-nb.rawsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/test_data/2650/ovn-nb.rawsync -------------------------------------------------------------------------------- /rust/template/ovsdb/test_data/2650/ovn-sb.rawsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/test_data/2650/ovn-sb.rawsync -------------------------------------------------------------------------------- /rust/template/ovsdb/test_data/2651/ovn-nb.rawsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/test_data/2651/ovn-nb.rawsync -------------------------------------------------------------------------------- /rust/template/ovsdb/test_data/2651/ovn-sb.rawsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/test_data/2651/ovn-sb.rawsync -------------------------------------------------------------------------------- /rust/template/ovsdb/test_data/2652/ovn-nb.rawsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/test_data/2652/ovn-nb.rawsync -------------------------------------------------------------------------------- /rust/template/ovsdb/test_data/2652/ovn-sb.rawsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/test_data/2652/ovn-sb.rawsync -------------------------------------------------------------------------------- /rust/template/ovsdb/test_data/2653/ovn-nb.rawsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/test_data/2653/ovn-nb.rawsync -------------------------------------------------------------------------------- /rust/template/ovsdb/test_data/2653/ovn-sb.rawsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/test_data/2653/ovn-sb.rawsync -------------------------------------------------------------------------------- /rust/template/ovsdb/test_data/2654/ovn-nb.rawsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/test_data/2654/ovn-nb.rawsync -------------------------------------------------------------------------------- /rust/template/ovsdb/test_data/2654/ovn-sb.rawsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/test_data/2654/ovn-sb.rawsync -------------------------------------------------------------------------------- /rust/template/ovsdb/test_data/2655/ovn-nb.rawsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/test_data/2655/ovn-nb.rawsync -------------------------------------------------------------------------------- /rust/template/ovsdb/test_data/2655/ovn-sb.rawsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/test_data/2655/ovn-sb.rawsync -------------------------------------------------------------------------------- /rust/template/ovsdb/test_data/2656/ovn-nb.rawsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/test_data/2656/ovn-nb.rawsync -------------------------------------------------------------------------------- /rust/template/ovsdb/test_data/2656/ovn-sb.rawsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/test_data/2656/ovn-sb.rawsync -------------------------------------------------------------------------------- /rust/template/ovsdb/test_data/2657/ovn-nb.rawsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/test_data/2657/ovn-nb.rawsync -------------------------------------------------------------------------------- /rust/template/ovsdb/test_data/2657/ovn-sb.rawsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/test_data/2657/ovn-sb.rawsync -------------------------------------------------------------------------------- /rust/template/ovsdb/test_data/2658/ovn-nb.rawsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/test_data/2658/ovn-nb.rawsync -------------------------------------------------------------------------------- /rust/template/ovsdb/test_data/2658/ovn-sb.rawsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/test_data/2658/ovn-sb.rawsync -------------------------------------------------------------------------------- /rust/template/ovsdb/test_data/2659/ovn-nb.rawsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/test_data/2659/ovn-nb.rawsync -------------------------------------------------------------------------------- /rust/template/ovsdb/test_data/2659/ovn-sb.rawsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/test_data/2659/ovn-sb.rawsync -------------------------------------------------------------------------------- /rust/template/ovsdb/test_data/2660/ovn-nb.rawsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/test_data/2660/ovn-nb.rawsync -------------------------------------------------------------------------------- /rust/template/ovsdb/test_data/2660/ovn-sb.rawsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/test_data/2660/ovn-sb.rawsync -------------------------------------------------------------------------------- /rust/template/ovsdb/test_data/2661/ovn-nb.rawsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/test_data/2661/ovn-nb.rawsync -------------------------------------------------------------------------------- /rust/template/ovsdb/test_data/2661/ovn-sb.rawsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/test_data/2661/ovn-sb.rawsync -------------------------------------------------------------------------------- /rust/template/ovsdb/test_data/2662/ovn-nb.rawsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/test_data/2662/ovn-nb.rawsync -------------------------------------------------------------------------------- /rust/template/ovsdb/test_data/2662/ovn-sb.rawsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/test_data/2662/ovn-sb.rawsync -------------------------------------------------------------------------------- /rust/template/ovsdb/test_data/2663/ovn-nb.rawsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/test_data/2663/ovn-nb.rawsync -------------------------------------------------------------------------------- /rust/template/ovsdb/test_data/2663/ovn-sb.rawsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/test_data/2663/ovn-sb.rawsync -------------------------------------------------------------------------------- /rust/template/ovsdb/test_data/2664/ovn-nb.rawsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/test_data/2664/ovn-nb.rawsync -------------------------------------------------------------------------------- /rust/template/ovsdb/test_data/2664/ovn-sb.rawsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/test_data/2664/ovn-sb.rawsync -------------------------------------------------------------------------------- /rust/template/ovsdb/test_data/2665/ovn-nb.rawsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/test_data/2665/ovn-nb.rawsync -------------------------------------------------------------------------------- /rust/template/ovsdb/test_data/2665/ovn-sb.rawsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/test_data/2665/ovn-sb.rawsync -------------------------------------------------------------------------------- /rust/template/ovsdb/test_data/2670/ovn-nb.rawsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/test_data/2670/ovn-nb.rawsync -------------------------------------------------------------------------------- /rust/template/ovsdb/test_data/2670/ovn-sb.rawsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/test_data/2670/ovn-sb.rawsync -------------------------------------------------------------------------------- /rust/template/ovsdb/test_data/2671/ovn-nb.rawsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/test_data/2671/ovn-nb.rawsync -------------------------------------------------------------------------------- /rust/template/ovsdb/test_data/2671/ovn-sb.rawsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/test_data/2671/ovn-sb.rawsync -------------------------------------------------------------------------------- /rust/template/ovsdb/test_data/2672/ovn-nb.rawsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/test_data/2672/ovn-nb.rawsync -------------------------------------------------------------------------------- /rust/template/ovsdb/test_data/2672/ovn-sb.rawsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/test_data/2672/ovn-sb.rawsync -------------------------------------------------------------------------------- /rust/template/ovsdb/test_data/2673/ovn-nb.rawsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/test_data/2673/ovn-nb.rawsync -------------------------------------------------------------------------------- /rust/template/ovsdb/test_data/2673/ovn-sb.rawsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/test_data/2673/ovn-sb.rawsync -------------------------------------------------------------------------------- /rust/template/ovsdb/test_data/2674/ovn-nb.rawsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/test_data/2674/ovn-nb.rawsync -------------------------------------------------------------------------------- /rust/template/ovsdb/test_data/2674/ovn-sb.rawsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/test_data/2674/ovn-sb.rawsync -------------------------------------------------------------------------------- /rust/template/ovsdb/test_data/2675/ovn-nb.rawsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/test_data/2675/ovn-nb.rawsync -------------------------------------------------------------------------------- /rust/template/ovsdb/test_data/2675/ovn-sb.rawsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/test_data/2675/ovn-sb.rawsync -------------------------------------------------------------------------------- /rust/template/ovsdb/test_data/2676/ovn-nb.rawsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/test_data/2676/ovn-nb.rawsync -------------------------------------------------------------------------------- /rust/template/ovsdb/test_data/2676/ovn-sb.rawsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/test_data/2676/ovn-sb.rawsync -------------------------------------------------------------------------------- /rust/template/ovsdb/test_data/2677/ovn-nb.rawsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/test_data/2677/ovn-nb.rawsync -------------------------------------------------------------------------------- /rust/template/ovsdb/test_data/2677/ovn-sb.rawsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/test_data/2677/ovn-sb.rawsync -------------------------------------------------------------------------------- /rust/template/ovsdb/test_data/2678/ovn-nb.rawsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/test_data/2678/ovn-nb.rawsync -------------------------------------------------------------------------------- /rust/template/ovsdb/test_data/2678/ovn-sb.rawsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/test_data/2678/ovn-sb.rawsync -------------------------------------------------------------------------------- /rust/template/ovsdb/test_data/2679/ovn-nb.rawsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/test_data/2679/ovn-nb.rawsync -------------------------------------------------------------------------------- /rust/template/ovsdb/test_data/2679/ovn-sb.rawsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/test_data/2679/ovn-sb.rawsync -------------------------------------------------------------------------------- /rust/template/ovsdb/test_data/2680/ovn-nb.rawsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/test_data/2680/ovn-nb.rawsync -------------------------------------------------------------------------------- /rust/template/ovsdb/test_data/2680/ovn-sb.rawsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/test_data/2680/ovn-sb.rawsync -------------------------------------------------------------------------------- /rust/template/ovsdb/test_data/2681/ovn-nb.rawsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/test_data/2681/ovn-nb.rawsync -------------------------------------------------------------------------------- /rust/template/ovsdb/test_data/2681/ovn-sb.rawsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/test_data/2681/ovn-sb.rawsync -------------------------------------------------------------------------------- /rust/template/ovsdb/test_data/2682/ovn-nb.rawsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/test_data/2682/ovn-nb.rawsync -------------------------------------------------------------------------------- /rust/template/ovsdb/test_data/2682/ovn-sb.rawsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/test_data/2682/ovn-sb.rawsync -------------------------------------------------------------------------------- /rust/template/ovsdb/test_data/2683/ovn-nb.rawsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/test_data/2683/ovn-nb.rawsync -------------------------------------------------------------------------------- /rust/template/ovsdb/test_data/2683/ovn-sb.rawsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/test_data/2683/ovn-sb.rawsync -------------------------------------------------------------------------------- /rust/template/ovsdb/test_data/2684/ovn-nb.rawsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/test_data/2684/ovn-nb.rawsync -------------------------------------------------------------------------------- /rust/template/ovsdb/test_data/2684/ovn-sb.rawsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/test_data/2684/ovn-sb.rawsync -------------------------------------------------------------------------------- /rust/template/ovsdb/test_data/2685/ovn-nb.rawsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/test_data/2685/ovn-nb.rawsync -------------------------------------------------------------------------------- /rust/template/ovsdb/test_data/2685/ovn-sb.rawsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/test_data/2685/ovn-sb.rawsync -------------------------------------------------------------------------------- /rust/template/ovsdb/test_data/2686/ovn-nb.rawsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/test_data/2686/ovn-nb.rawsync -------------------------------------------------------------------------------- /rust/template/ovsdb/test_data/2686/ovn-sb.rawsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/test_data/2686/ovn-sb.rawsync -------------------------------------------------------------------------------- /rust/template/ovsdb/test_data/2687/ovn-nb.rawsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/test_data/2687/ovn-nb.rawsync -------------------------------------------------------------------------------- /rust/template/ovsdb/test_data/2687/ovn-sb.rawsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/test_data/2687/ovn-sb.rawsync -------------------------------------------------------------------------------- /rust/template/ovsdb/test_data/2688/ovn-nb.rawsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/test_data/2688/ovn-nb.rawsync -------------------------------------------------------------------------------- /rust/template/ovsdb/test_data/2688/ovn-sb.rawsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/test_data/2688/ovn-sb.rawsync -------------------------------------------------------------------------------- /rust/template/ovsdb/test_data/2689/ovn-nb.rawsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/test_data/2689/ovn-nb.rawsync -------------------------------------------------------------------------------- /rust/template/ovsdb/test_data/2689/ovn-sb.rawsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/test_data/2689/ovn-sb.rawsync -------------------------------------------------------------------------------- /rust/template/ovsdb/test_data/2690/ovn-nb.rawsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/test_data/2690/ovn-nb.rawsync -------------------------------------------------------------------------------- /rust/template/ovsdb/test_data/2690/ovn-sb.rawsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/test_data/2690/ovn-sb.rawsync -------------------------------------------------------------------------------- /rust/template/ovsdb/test_data/2691/ovn-nb.rawsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/test_data/2691/ovn-nb.rawsync -------------------------------------------------------------------------------- /rust/template/ovsdb/test_data/2691/ovn-sb.rawsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/test_data/2691/ovn-sb.rawsync -------------------------------------------------------------------------------- /rust/template/ovsdb/test_data/2692/ovn-nb.rawsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/test_data/2692/ovn-nb.rawsync -------------------------------------------------------------------------------- /rust/template/ovsdb/test_data/2692/ovn-sb.rawsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/test_data/2692/ovn-sb.rawsync -------------------------------------------------------------------------------- /rust/template/ovsdb/test_data/2693/ovn-nb.rawsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/test_data/2693/ovn-nb.rawsync -------------------------------------------------------------------------------- /rust/template/ovsdb/test_data/2693/ovn-sb.rawsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/test_data/2693/ovn-sb.rawsync -------------------------------------------------------------------------------- /rust/template/ovsdb/test_data/2694/ovn-nb.rawsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/test_data/2694/ovn-nb.rawsync -------------------------------------------------------------------------------- /rust/template/ovsdb/test_data/2694/ovn-sb.rawsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/test_data/2694/ovn-sb.rawsync -------------------------------------------------------------------------------- /rust/template/ovsdb/test_data/2695/ovn-nb.rawsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/test_data/2695/ovn-nb.rawsync -------------------------------------------------------------------------------- /rust/template/ovsdb/test_data/2695/ovn-sb.rawsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/test_data/2695/ovn-sb.rawsync -------------------------------------------------------------------------------- /rust/template/ovsdb/test_data/2696/ovn-nb.rawsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/test_data/2696/ovn-nb.rawsync -------------------------------------------------------------------------------- /rust/template/ovsdb/test_data/2696/ovn-sb.rawsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/test_data/2696/ovn-sb.rawsync -------------------------------------------------------------------------------- /rust/template/ovsdb/test_data/2697/ovn-nb.rawsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/test_data/2697/ovn-nb.rawsync -------------------------------------------------------------------------------- /rust/template/ovsdb/test_data/2697/ovn-sb.rawsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/test_data/2697/ovn-sb.rawsync -------------------------------------------------------------------------------- /rust/template/ovsdb/test_data/2698/ovn-nb.rawsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/test_data/2698/ovn-nb.rawsync -------------------------------------------------------------------------------- /rust/template/ovsdb/test_data/2698/ovn-sb.rawsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/test_data/2698/ovn-sb.rawsync -------------------------------------------------------------------------------- /rust/template/ovsdb/test_data/2699/ovn-nb.rawsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/test_data/2699/ovn-nb.rawsync -------------------------------------------------------------------------------- /rust/template/ovsdb/test_data/2699/ovn-sb.rawsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/test_data/2699/ovn-sb.rawsync -------------------------------------------------------------------------------- /rust/template/ovsdb/test_data/2700/ovn-nb.rawsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/test_data/2700/ovn-nb.rawsync -------------------------------------------------------------------------------- /rust/template/ovsdb/test_data/2700/ovn-sb.rawsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/test_data/2700/ovn-sb.rawsync -------------------------------------------------------------------------------- /rust/template/ovsdb/test_data/2701/ovn-nb.rawsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/test_data/2701/ovn-nb.rawsync -------------------------------------------------------------------------------- /rust/template/ovsdb/test_data/2701/ovn-sb.rawsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/test_data/2701/ovn-sb.rawsync -------------------------------------------------------------------------------- /rust/template/ovsdb/test_data/2702/ovn-nb.rawsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/test_data/2702/ovn-nb.rawsync -------------------------------------------------------------------------------- /rust/template/ovsdb/test_data/2702/ovn-sb.rawsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/test_data/2702/ovn-sb.rawsync -------------------------------------------------------------------------------- /rust/template/ovsdb/test_data/2703/ovn-nb.rawsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/test_data/2703/ovn-nb.rawsync -------------------------------------------------------------------------------- /rust/template/ovsdb/test_data/2703/ovn-sb.rawsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/test_data/2703/ovn-sb.rawsync -------------------------------------------------------------------------------- /rust/template/ovsdb/test_data/2704/ovn-nb.rawsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/test_data/2704/ovn-nb.rawsync -------------------------------------------------------------------------------- /rust/template/ovsdb/test_data/2704/ovn-sb.rawsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/test_data/2704/ovn-sb.rawsync -------------------------------------------------------------------------------- /rust/template/ovsdb/test_data/2705/ovn-nb.rawsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/test_data/2705/ovn-nb.rawsync -------------------------------------------------------------------------------- /rust/template/ovsdb/test_data/2705/ovn-sb.rawsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/test_data/2705/ovn-sb.rawsync -------------------------------------------------------------------------------- /rust/template/ovsdb/test_data/2748/ovn-sb.rawsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/test_data/2748/ovn-sb.rawsync -------------------------------------------------------------------------------- /rust/template/ovsdb/test_data/2751/ovn-sb.rawsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/test_data/2751/ovn-sb.rawsync -------------------------------------------------------------------------------- /rust/template/ovsdb/test_data/2752/ovn-sb.rawsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/test_data/2752/ovn-sb.rawsync -------------------------------------------------------------------------------- /rust/template/ovsdb/test_data/2753/ovn-sb.rawsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/test_data/2753/ovn-sb.rawsync -------------------------------------------------------------------------------- /rust/template/ovsdb/test_data/2754/ovn-sb.rawsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/ovsdb/test_data/2754/ovn-sb.rawsync -------------------------------------------------------------------------------- /rust/template/src/build.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/src/build.rs -------------------------------------------------------------------------------- /rust/template/src/flatbuf.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/src/flatbuf.rs -------------------------------------------------------------------------------- /rust/template/src/flatbuf_generated.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/src/flatbuf_generated.rs -------------------------------------------------------------------------------- /rust/template/src/inventory.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/src/inventory.rs -------------------------------------------------------------------------------- /rust/template/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/src/lib.rs -------------------------------------------------------------------------------- /rust/template/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/src/main.rs -------------------------------------------------------------------------------- /rust/template/src/ovsdb_api.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/src/ovsdb_api.rs -------------------------------------------------------------------------------- /rust/template/tests/common/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/tests/common/mod.rs -------------------------------------------------------------------------------- /rust/template/tests/interact_clear_error.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/tests/interact_clear_error.rs -------------------------------------------------------------------------------- /rust/template/tests/interact_dump_error.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/tests/interact_dump_error.rs -------------------------------------------------------------------------------- /rust/template/tests/interact_exit.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/tests/interact_exit.rs -------------------------------------------------------------------------------- /rust/template/types/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/rust/template/types/lib.rs -------------------------------------------------------------------------------- /sql/install-ddlog-jar.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/sql/install-ddlog-jar.sh -------------------------------------------------------------------------------- /sql/lib/sql.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/sql/lib/sql.dl -------------------------------------------------------------------------------- /sql/pom.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/sql/pom.xml -------------------------------------------------------------------------------- /sql/src/main/java/com/vmware/ddlog/DDlogHandle.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/sql/src/main/java/com/vmware/ddlog/DDlogHandle.java -------------------------------------------------------------------------------- /sql/src/main/java/com/vmware/ddlog/ir/DDlogEAs.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/sql/src/main/java/com/vmware/ddlog/ir/DDlogEAs.java -------------------------------------------------------------------------------- /sql/src/main/java/com/vmware/ddlog/ir/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/sql/src/main/java/com/vmware/ddlog/ir/README.md -------------------------------------------------------------------------------- /sql/src/main/java/com/vmware/ddlog/ir/RuleBody.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/sql/src/main/java/com/vmware/ddlog/ir/RuleBody.java -------------------------------------------------------------------------------- /sql/src/main/java/com/vmware/ddlog/util/IdGen.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/sql/src/main/java/com/vmware/ddlog/util/IdGen.java -------------------------------------------------------------------------------- /sql/src/main/java/com/vmware/ddlog/util/Linq.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/sql/src/main/java/com/vmware/ddlog/util/Linq.java -------------------------------------------------------------------------------- /sql/src/test/java/ddlog/AggregatesTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/sql/src/test/java/ddlog/AggregatesTest.java -------------------------------------------------------------------------------- /sql/src/test/java/ddlog/AliasTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/sql/src/test/java/ddlog/AliasTest.java -------------------------------------------------------------------------------- /sql/src/test/java/ddlog/BaseQueriesTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/sql/src/test/java/ddlog/BaseQueriesTest.java -------------------------------------------------------------------------------- /sql/src/test/java/ddlog/CastTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/sql/src/test/java/ddlog/CastTest.java -------------------------------------------------------------------------------- /sql/src/test/java/ddlog/DynamicTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/sql/src/test/java/ddlog/DynamicTest.java -------------------------------------------------------------------------------- /sql/src/test/java/ddlog/ExpressionsTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/sql/src/test/java/ddlog/ExpressionsTest.java -------------------------------------------------------------------------------- /sql/src/test/java/ddlog/GroupByTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/sql/src/test/java/ddlog/GroupByTest.java -------------------------------------------------------------------------------- /sql/src/test/java/ddlog/IRTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/sql/src/test/java/ddlog/IRTest.java -------------------------------------------------------------------------------- /sql/src/test/java/ddlog/JoinTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/sql/src/test/java/ddlog/JoinTest.java -------------------------------------------------------------------------------- /sql/src/test/java/ddlog/JooqProviderPrestoTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/sql/src/test/java/ddlog/JooqProviderPrestoTest.java -------------------------------------------------------------------------------- /sql/src/test/java/ddlog/JooqProviderTestBase.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/sql/src/test/java/ddlog/JooqProviderTestBase.java -------------------------------------------------------------------------------- /sql/src/test/java/ddlog/NegativeTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/sql/src/test/java/ddlog/NegativeTest.java -------------------------------------------------------------------------------- /sql/src/test/java/ddlog/NestedTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/sql/src/test/java/ddlog/NestedTest.java -------------------------------------------------------------------------------- /sql/src/test/java/ddlog/SetTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/sql/src/test/java/ddlog/SetTest.java -------------------------------------------------------------------------------- /sql/src/test/java/ddlog/SimpleQueriesTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/sql/src/test/java/ddlog/SimpleQueriesTest.java -------------------------------------------------------------------------------- /sql/src/test/java/ddlog/TimeTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/sql/src/test/java/ddlog/TimeTest.java -------------------------------------------------------------------------------- /sql/src/test/java/ddlog/WeaveTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/sql/src/test/java/ddlog/WeaveTest.java -------------------------------------------------------------------------------- /sql/src/test/java/ddlog/WindowTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/sql/src/test/java/ddlog/WindowTest.java -------------------------------------------------------------------------------- /sql/src/test/java/ddlog/package-info.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/sql/src/test/java/ddlog/package-info.java -------------------------------------------------------------------------------- /sql/src/test/resources/weave.sql: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/sql/src/test/resources/weave.sql -------------------------------------------------------------------------------- /sql/src/test/resources/weave_minimal.sql: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/sql/src/test/resources/weave_minimal.sql -------------------------------------------------------------------------------- /sql/src/test/resources/weave_tables.sql: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/sql/src/test/resources/weave_tables.sql -------------------------------------------------------------------------------- /src/Language/DifferentialDatalog/Attribute.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/src/Language/DifferentialDatalog/Attribute.hs -------------------------------------------------------------------------------- /src/Language/DifferentialDatalog/Compile.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/src/Language/DifferentialDatalog/Compile.hs -------------------------------------------------------------------------------- /src/Language/DifferentialDatalog/Compile.hs-boot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/src/Language/DifferentialDatalog/Compile.hs-boot -------------------------------------------------------------------------------- /src/Language/DifferentialDatalog/Config.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/src/Language/DifferentialDatalog/Config.hs -------------------------------------------------------------------------------- /src/Language/DifferentialDatalog/Crate.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/src/Language/DifferentialDatalog/Crate.hs -------------------------------------------------------------------------------- /src/Language/DifferentialDatalog/D3log.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/src/Language/DifferentialDatalog/D3log.hs -------------------------------------------------------------------------------- /src/Language/DifferentialDatalog/DatalogProgram.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/src/Language/DifferentialDatalog/DatalogProgram.hs -------------------------------------------------------------------------------- /src/Language/DifferentialDatalog/Debug.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/src/Language/DifferentialDatalog/Debug.hs -------------------------------------------------------------------------------- /src/Language/DifferentialDatalog/Debug.hs-boot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/src/Language/DifferentialDatalog/Debug.hs-boot -------------------------------------------------------------------------------- /src/Language/DifferentialDatalog/ECtx.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/src/Language/DifferentialDatalog/ECtx.hs -------------------------------------------------------------------------------- /src/Language/DifferentialDatalog/Error.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/src/Language/DifferentialDatalog/Error.hs -------------------------------------------------------------------------------- /src/Language/DifferentialDatalog/Expr.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/src/Language/DifferentialDatalog/Expr.hs -------------------------------------------------------------------------------- /src/Language/DifferentialDatalog/Expr.hs-boot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/src/Language/DifferentialDatalog/Expr.hs-boot -------------------------------------------------------------------------------- /src/Language/DifferentialDatalog/FlatBuffer.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/src/Language/DifferentialDatalog/FlatBuffer.hs -------------------------------------------------------------------------------- /src/Language/DifferentialDatalog/Function.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/src/Language/DifferentialDatalog/Function.hs -------------------------------------------------------------------------------- /src/Language/DifferentialDatalog/Function.hs-boot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/src/Language/DifferentialDatalog/Function.hs-boot -------------------------------------------------------------------------------- /src/Language/DifferentialDatalog/Index.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/src/Language/DifferentialDatalog/Index.hs -------------------------------------------------------------------------------- /src/Language/DifferentialDatalog/Module.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/src/Language/DifferentialDatalog/Module.hs -------------------------------------------------------------------------------- /src/Language/DifferentialDatalog/Module.hs-boot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/src/Language/DifferentialDatalog/Module.hs-boot -------------------------------------------------------------------------------- /src/Language/DifferentialDatalog/NS.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/src/Language/DifferentialDatalog/NS.hs -------------------------------------------------------------------------------- /src/Language/DifferentialDatalog/Name.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/src/Language/DifferentialDatalog/Name.hs -------------------------------------------------------------------------------- /src/Language/DifferentialDatalog/OVSDB/Compile.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/src/Language/DifferentialDatalog/OVSDB/Compile.hs -------------------------------------------------------------------------------- /src/Language/DifferentialDatalog/OVSDB/Parse.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/src/Language/DifferentialDatalog/OVSDB/Parse.hs -------------------------------------------------------------------------------- /src/Language/DifferentialDatalog/Ops.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/src/Language/DifferentialDatalog/Ops.hs -------------------------------------------------------------------------------- /src/Language/DifferentialDatalog/Optimize.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/src/Language/DifferentialDatalog/Optimize.hs -------------------------------------------------------------------------------- /src/Language/DifferentialDatalog/PP.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/src/Language/DifferentialDatalog/PP.hs -------------------------------------------------------------------------------- /src/Language/DifferentialDatalog/Parse.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/src/Language/DifferentialDatalog/Parse.hs -------------------------------------------------------------------------------- /src/Language/DifferentialDatalog/Pos.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/src/Language/DifferentialDatalog/Pos.hs -------------------------------------------------------------------------------- /src/Language/DifferentialDatalog/Profile.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/src/Language/DifferentialDatalog/Profile.hs -------------------------------------------------------------------------------- /src/Language/DifferentialDatalog/Relation.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/src/Language/DifferentialDatalog/Relation.hs -------------------------------------------------------------------------------- /src/Language/DifferentialDatalog/Rule.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/src/Language/DifferentialDatalog/Rule.hs -------------------------------------------------------------------------------- /src/Language/DifferentialDatalog/Rule.hs-boot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/src/Language/DifferentialDatalog/Rule.hs-boot -------------------------------------------------------------------------------- /src/Language/DifferentialDatalog/Rust.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/src/Language/DifferentialDatalog/Rust.hs -------------------------------------------------------------------------------- /src/Language/DifferentialDatalog/Statement.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/src/Language/DifferentialDatalog/Statement.hs -------------------------------------------------------------------------------- /src/Language/DifferentialDatalog/Syntax.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/src/Language/DifferentialDatalog/Syntax.hs -------------------------------------------------------------------------------- /src/Language/DifferentialDatalog/Type.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/src/Language/DifferentialDatalog/Type.hs -------------------------------------------------------------------------------- /src/Language/DifferentialDatalog/Type.hs-boot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/src/Language/DifferentialDatalog/Type.hs-boot -------------------------------------------------------------------------------- /src/Language/DifferentialDatalog/TypeInference.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/src/Language/DifferentialDatalog/TypeInference.hs -------------------------------------------------------------------------------- /src/Language/DifferentialDatalog/Unification.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/src/Language/DifferentialDatalog/Unification.hs -------------------------------------------------------------------------------- /src/Language/DifferentialDatalog/Util.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/src/Language/DifferentialDatalog/Util.hs -------------------------------------------------------------------------------- /src/Language/DifferentialDatalog/Validate.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/src/Language/DifferentialDatalog/Validate.hs -------------------------------------------------------------------------------- /src/Language/DifferentialDatalog/Validate.hs-boot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/src/Language/DifferentialDatalog/Validate.hs-boot -------------------------------------------------------------------------------- /src/Language/DifferentialDatalog/Var.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/src/Language/DifferentialDatalog/Var.hs -------------------------------------------------------------------------------- /src/Language/DifferentialDatalog/Var.hs-boot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/src/Language/DifferentialDatalog/Var.hs-boot -------------------------------------------------------------------------------- /src/Language/DifferentialDatalog/Version.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/src/Language/DifferentialDatalog/Version.hs -------------------------------------------------------------------------------- /stack.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/stack.yaml -------------------------------------------------------------------------------- /test.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test.sh -------------------------------------------------------------------------------- /test/Spec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/Spec.hs -------------------------------------------------------------------------------- /test/antrea/antrea.dat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/antrea/antrea.dat -------------------------------------------------------------------------------- /test/antrea/antrea.dump.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/antrea/antrea.dump.expected -------------------------------------------------------------------------------- /test/antrea/k8spolicy.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/antrea/k8spolicy.dl -------------------------------------------------------------------------------- /test/antrea/klog.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/antrea/klog.dl -------------------------------------------------------------------------------- /test/antrea/networkpolicy_controller.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/antrea/networkpolicy_controller.dl -------------------------------------------------------------------------------- /test/antrea/test-antrea.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/antrea/test-antrea.sh -------------------------------------------------------------------------------- /test/antrea/types.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/antrea/types.dl -------------------------------------------------------------------------------- /test/datalog_tests/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/README.md -------------------------------------------------------------------------------- /test/datalog_tests/api.ast.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/api.ast.expected -------------------------------------------------------------------------------- /test/datalog_tests/api.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/api.dl -------------------------------------------------------------------------------- /test/datalog_tests/api/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/api/Cargo.toml -------------------------------------------------------------------------------- /test/datalog_tests/api/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/api/README.md -------------------------------------------------------------------------------- /test/datalog_tests/api/run.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/api/run.sh -------------------------------------------------------------------------------- /test/datalog_tests/api/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/api/src/lib.rs -------------------------------------------------------------------------------- /test/datalog_tests/base64_test.dat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/base64_test.dat -------------------------------------------------------------------------------- /test/datalog_tests/base64_test.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/base64_test.dl -------------------------------------------------------------------------------- /test/datalog_tests/base64_test.dump.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/base64_test.dump.expected -------------------------------------------------------------------------------- /test/datalog_tests/bit_shift.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/bit_shift.dl -------------------------------------------------------------------------------- /test/datalog_tests/bit_shift.dump.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/bit_shift.dump.expected -------------------------------------------------------------------------------- /test/datalog_tests/comment.fail.ast.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/comment.fail.ast.expected -------------------------------------------------------------------------------- /test/datalog_tests/comment.fail.dl: -------------------------------------------------------------------------------- 1 | /* unclosed comment 2 | -------------------------------------------------------------------------------- /test/datalog_tests/constr.fail.ast.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/constr.fail.ast.expected -------------------------------------------------------------------------------- /test/datalog_tests/constr.fail.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/constr.fail.dl -------------------------------------------------------------------------------- /test/datalog_tests/dcm1.dat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/dcm1.dat -------------------------------------------------------------------------------- /test/datalog_tests/dcm1.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/dcm1.dl -------------------------------------------------------------------------------- /test/datalog_tests/ddvalue_test.dat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/ddvalue_test.dat -------------------------------------------------------------------------------- /test/datalog_tests/ddvalue_test.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/ddvalue_test.dl -------------------------------------------------------------------------------- /test/datalog_tests/ddvalue_test.dump.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/ddvalue_test.dump.expected -------------------------------------------------------------------------------- /test/datalog_tests/dupfield.fail.ast.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/dupfield.fail.ast.expected -------------------------------------------------------------------------------- /test/datalog_tests/dupfield.fail.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/dupfield.fail.dl -------------------------------------------------------------------------------- /test/datalog_tests/foolib/lib.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/foolib/lib.dl -------------------------------------------------------------------------------- /test/datalog_tests/foolib/ns1/m1.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/foolib/ns1/m1.dl -------------------------------------------------------------------------------- /test/datalog_tests/foolib/ns1/m2.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/foolib/ns1/m2.dl -------------------------------------------------------------------------------- /test/datalog_tests/fp_test.dat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/fp_test.dat -------------------------------------------------------------------------------- /test/datalog_tests/fp_test.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/fp_test.dl -------------------------------------------------------------------------------- /test/datalog_tests/fp_test.dump.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/fp_test.dump.expected -------------------------------------------------------------------------------- /test/datalog_tests/function.fail.ast.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/function.fail.ast.expected -------------------------------------------------------------------------------- /test/datalog_tests/function.fail.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/function.fail.dl -------------------------------------------------------------------------------- /test/datalog_tests/group_test.dat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/group_test.dat -------------------------------------------------------------------------------- /test/datalog_tests/group_test.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/group_test.dl -------------------------------------------------------------------------------- /test/datalog_tests/group_test.dump.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/group_test.dump.expected -------------------------------------------------------------------------------- /test/datalog_tests/hashset_test.dat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/hashset_test.dat -------------------------------------------------------------------------------- /test/datalog_tests/hashset_test.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/hashset_test.dl -------------------------------------------------------------------------------- /test/datalog_tests/hashset_test.dump.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/hashset_test.dump.expected -------------------------------------------------------------------------------- /test/datalog_tests/inspect_log.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/inspect_log.dl -------------------------------------------------------------------------------- /test/datalog_tests/inspect_log.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/inspect_log.rs -------------------------------------------------------------------------------- /test/datalog_tests/internment_test.dat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/internment_test.dat -------------------------------------------------------------------------------- /test/datalog_tests/internment_test.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/internment_test.dl -------------------------------------------------------------------------------- /test/datalog_tests/internment_test.dump.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/internment_test.dump.expected -------------------------------------------------------------------------------- /test/datalog_tests/json_test.dat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/json_test.dat -------------------------------------------------------------------------------- /test/datalog_tests/json_test.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/json_test.dl -------------------------------------------------------------------------------- /test/datalog_tests/json_test.dump.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/json_test.dump.expected -------------------------------------------------------------------------------- /test/datalog_tests/lb.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/lb.dl -------------------------------------------------------------------------------- /test/datalog_tests/lb.dump.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/lb.dump.expected -------------------------------------------------------------------------------- /test/datalog_tests/lb_reflective.dat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/lb_reflective.dat -------------------------------------------------------------------------------- /test/datalog_tests/lb_reflective.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/lb_reflective.dl -------------------------------------------------------------------------------- /test/datalog_tests/lb_reflective.dump.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/lb_reflective.dump.expected -------------------------------------------------------------------------------- /test/datalog_tests/lb_test/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/lb_test/Cargo.toml -------------------------------------------------------------------------------- /test/datalog_tests/lb_test/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/lb_test/src/main.rs -------------------------------------------------------------------------------- /test/datalog_tests/lb_test/test.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/lb_test/test.sh -------------------------------------------------------------------------------- /test/datalog_tests/lib_test.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/lib_test.dl -------------------------------------------------------------------------------- /test/datalog_tests/lib_test_no_flatbuf.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/lib_test_no_flatbuf.dl -------------------------------------------------------------------------------- /test/datalog_tests/map_test.dat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/map_test.dat -------------------------------------------------------------------------------- /test/datalog_tests/map_test.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/map_test.dl -------------------------------------------------------------------------------- /test/datalog_tests/map_test.dump.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/map_test.dump.expected -------------------------------------------------------------------------------- /test/datalog_tests/modules.ast.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/modules.ast.expected -------------------------------------------------------------------------------- /test/datalog_tests/modules.dat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/modules.dat -------------------------------------------------------------------------------- /test/datalog_tests/modules.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/modules.dl -------------------------------------------------------------------------------- /test/datalog_tests/modules.dump.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/modules.dump.expected -------------------------------------------------------------------------------- /test/datalog_tests/net_test.dat: -------------------------------------------------------------------------------- 1 | dump net_test::NetChecks; 2 | -------------------------------------------------------------------------------- /test/datalog_tests/net_test.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/net_test.dl -------------------------------------------------------------------------------- /test/datalog_tests/net_test.dump.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/net_test.dump.expected -------------------------------------------------------------------------------- /test/datalog_tests/overflow.dat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/overflow.dat -------------------------------------------------------------------------------- /test/datalog_tests/overflow.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/overflow.dl -------------------------------------------------------------------------------- /test/datalog_tests/ovn.ast.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/ovn.ast.expected -------------------------------------------------------------------------------- /test/datalog_tests/ovn.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/ovn.dl -------------------------------------------------------------------------------- /test/datalog_tests/ovn.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/ovn.rs -------------------------------------------------------------------------------- /test/datalog_tests/ovn_ftl.ast.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/ovn_ftl.ast.expected -------------------------------------------------------------------------------- /test/datalog_tests/ovn_ftl.dat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/ovn_ftl.dat -------------------------------------------------------------------------------- /test/datalog_tests/ovn_ftl.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/ovn_ftl.dl -------------------------------------------------------------------------------- /test/datalog_tests/ovn_ftl.dump.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/ovn_ftl.dump.expected -------------------------------------------------------------------------------- /test/datalog_tests/path.ast.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/path.ast.expected -------------------------------------------------------------------------------- /test/datalog_tests/path.dat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/path.dat -------------------------------------------------------------------------------- /test/datalog_tests/path.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/path.dl -------------------------------------------------------------------------------- /test/datalog_tests/path.dump.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/path.dump.expected -------------------------------------------------------------------------------- /test/datalog_tests/pattern.fail.ast.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/pattern.fail.ast.expected -------------------------------------------------------------------------------- /test/datalog_tests/pattern.fail.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/pattern.fail.dl -------------------------------------------------------------------------------- /test/datalog_tests/profiler_test/lib/mod1.dl: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /test/datalog_tests/profiler_test/test.dat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/profiler_test/test.dat -------------------------------------------------------------------------------- /test/datalog_tests/profiler_test/test.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/profiler_test/test.dl -------------------------------------------------------------------------------- /test/datalog_tests/profiler_test/test.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/profiler_test/test.sh -------------------------------------------------------------------------------- /test/datalog_tests/rectype.fail.ast.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/rectype.fail.ast.expected -------------------------------------------------------------------------------- /test/datalog_tests/rectype.fail.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/rectype.fail.dl -------------------------------------------------------------------------------- /test/datalog_tests/redist.ast.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/redist.ast.expected -------------------------------------------------------------------------------- /test/datalog_tests/redist.dat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/redist.dat -------------------------------------------------------------------------------- /test/datalog_tests/redist.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/redist.dl -------------------------------------------------------------------------------- /test/datalog_tests/redist.dump.expected.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/redist.dump.expected.gz -------------------------------------------------------------------------------- /test/datalog_tests/redist_opt.ast.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/redist_opt.ast.expected -------------------------------------------------------------------------------- /test/datalog_tests/redist_opt.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/redist_opt.dl -------------------------------------------------------------------------------- /test/datalog_tests/regex_test.dat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/regex_test.dat -------------------------------------------------------------------------------- /test/datalog_tests/regex_test.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/regex_test.dl -------------------------------------------------------------------------------- /test/datalog_tests/regex_test.dump.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/regex_test.dump.expected -------------------------------------------------------------------------------- /test/datalog_tests/rules.fail.ast.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/rules.fail.ast.expected -------------------------------------------------------------------------------- /test/datalog_tests/rules.fail.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/rules.fail.dl -------------------------------------------------------------------------------- /test/datalog_tests/run-test.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/run-test.sh -------------------------------------------------------------------------------- /test/datalog_tests/run-tests.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/run-tests.sh -------------------------------------------------------------------------------- /test/datalog_tests/rust_api_test/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/rust_api_test/Cargo.toml -------------------------------------------------------------------------------- /test/datalog_tests/rust_api_test/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/rust_api_test/README.md -------------------------------------------------------------------------------- /test/datalog_tests/rust_api_test/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/rust_api_test/src/main.rs -------------------------------------------------------------------------------- /test/datalog_tests/rust_api_test/test.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/rust_api_test/test.sh -------------------------------------------------------------------------------- /test/datalog_tests/set_test.dat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/set_test.dat -------------------------------------------------------------------------------- /test/datalog_tests/set_test.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/set_test.dl -------------------------------------------------------------------------------- /test/datalog_tests/set_test.dump.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/set_test.dump.expected -------------------------------------------------------------------------------- /test/datalog_tests/simple.dat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/simple.dat -------------------------------------------------------------------------------- /test/datalog_tests/simple.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/simple.dl -------------------------------------------------------------------------------- /test/datalog_tests/simple.dump.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/simple.dump.expected -------------------------------------------------------------------------------- /test/datalog_tests/simple.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/simple.rs -------------------------------------------------------------------------------- /test/datalog_tests/simple2.dat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/simple2.dat -------------------------------------------------------------------------------- /test/datalog_tests/simple2.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/simple2.dl -------------------------------------------------------------------------------- /test/datalog_tests/simple2.dump.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/simple2.dump.expected -------------------------------------------------------------------------------- /test/datalog_tests/simple2.log.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/simple2.log.expected -------------------------------------------------------------------------------- /test/datalog_tests/simple3.dat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/simple3.dat -------------------------------------------------------------------------------- /test/datalog_tests/simple3.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/simple3.dl -------------------------------------------------------------------------------- /test/datalog_tests/simple3.dump.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/simple3.dump.expected -------------------------------------------------------------------------------- /test/datalog_tests/span_string.ast.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/span_string.ast.expected -------------------------------------------------------------------------------- /test/datalog_tests/span_string.dat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/span_string.dat -------------------------------------------------------------------------------- /test/datalog_tests/span_string.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/span_string.dl -------------------------------------------------------------------------------- /test/datalog_tests/span_string.dump.expected.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/span_string.dump.expected.gz -------------------------------------------------------------------------------- /test/datalog_tests/span_uuid.ast.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/span_uuid.ast.expected -------------------------------------------------------------------------------- /test/datalog_tests/span_uuid.dat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/span_uuid.dat -------------------------------------------------------------------------------- /test/datalog_tests/span_uuid.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/span_uuid.dl -------------------------------------------------------------------------------- /test/datalog_tests/span_uuid.dump.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/span_uuid.dump.expected -------------------------------------------------------------------------------- /test/datalog_tests/span_uuid.log.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/span_uuid.log.expected -------------------------------------------------------------------------------- /test/datalog_tests/std_test.dat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/std_test.dat -------------------------------------------------------------------------------- /test/datalog_tests/std_test.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/std_test.dl -------------------------------------------------------------------------------- /test/datalog_tests/std_test.dump.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/std_test.dump.expected -------------------------------------------------------------------------------- /test/datalog_tests/streams.dat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/streams.dat -------------------------------------------------------------------------------- /test/datalog_tests/streams.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/streams.dl -------------------------------------------------------------------------------- /test/datalog_tests/streams.dump.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/streams.dump.expected -------------------------------------------------------------------------------- /test/datalog_tests/strings.fail.ast.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/strings.fail.ast.expected -------------------------------------------------------------------------------- /test/datalog_tests/strings.fail.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/strings.fail.dl -------------------------------------------------------------------------------- /test/datalog_tests/test-dcm.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/test-dcm.sh -------------------------------------------------------------------------------- /test/datalog_tests/test-libs.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/test-libs.sh -------------------------------------------------------------------------------- /test/datalog_tests/test-overflow.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/test-overflow.sh -------------------------------------------------------------------------------- /test/datalog_tests/test-redist_opt.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/test-redist_opt.sh -------------------------------------------------------------------------------- /test/datalog_tests/test-stream.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/test-stream.sh -------------------------------------------------------------------------------- /test/datalog_tests/three.ast.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/three.ast.expected -------------------------------------------------------------------------------- /test/datalog_tests/three.dat: -------------------------------------------------------------------------------- 1 | start; 2 | insert I(10), 3 | commit; 4 | dump; 5 | -------------------------------------------------------------------------------- /test/datalog_tests/three.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/three.dl -------------------------------------------------------------------------------- /test/datalog_tests/three.dump.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/three.dump.expected -------------------------------------------------------------------------------- /test/datalog_tests/time_test.dat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/time_test.dat -------------------------------------------------------------------------------- /test/datalog_tests/time_test.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/time_test.dl -------------------------------------------------------------------------------- /test/datalog_tests/time_test.dump.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/time_test.dump.expected -------------------------------------------------------------------------------- /test/datalog_tests/tinyset_test.dat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/tinyset_test.dat -------------------------------------------------------------------------------- /test/datalog_tests/tinyset_test.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/tinyset_test.dl -------------------------------------------------------------------------------- /test/datalog_tests/tinyset_test.dump.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/tinyset_test.dump.expected -------------------------------------------------------------------------------- /test/datalog_tests/tutorial.dat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/tutorial.dat -------------------------------------------------------------------------------- /test/datalog_tests/tutorial.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/tutorial.dl -------------------------------------------------------------------------------- /test/datalog_tests/tutorial.dump.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/tutorial.dump.expected -------------------------------------------------------------------------------- /test/datalog_tests/tutorial.log.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/tutorial.log.expected -------------------------------------------------------------------------------- /test/datalog_tests/tutorial.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/tutorial.rs -------------------------------------------------------------------------------- /test/datalog_tests/unique_bench1.dump.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/unique_bench1.dump.expected -------------------------------------------------------------------------------- /test/datalog_tests/unique_bench2.dump.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/unique_bench2.dump.expected -------------------------------------------------------------------------------- /test/datalog_tests/url_test.dat: -------------------------------------------------------------------------------- 1 | dump url_test::URLTest; 2 | -------------------------------------------------------------------------------- /test/datalog_tests/url_test.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/url_test.dl -------------------------------------------------------------------------------- /test/datalog_tests/url_test.dump.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/url_test.dump.expected -------------------------------------------------------------------------------- /test/datalog_tests/uuid_test.dat: -------------------------------------------------------------------------------- 1 | dump uuid_test::UUID; 2 | -------------------------------------------------------------------------------- /test/datalog_tests/uuid_test.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/uuid_test.dl -------------------------------------------------------------------------------- /test/datalog_tests/uuid_test.dump.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/uuid_test.dump.expected -------------------------------------------------------------------------------- /test/datalog_tests/vec_test.dat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/vec_test.dat -------------------------------------------------------------------------------- /test/datalog_tests/vec_test.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/vec_test.dl -------------------------------------------------------------------------------- /test/datalog_tests/vec_test.dump.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/datalog_tests/vec_test.dump.expected -------------------------------------------------------------------------------- /test/run-souffle-tests-in-batches.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/run-souffle-tests-in-batches.py -------------------------------------------------------------------------------- /test/run-souffle-tests.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/run-souffle-tests.py -------------------------------------------------------------------------------- /test/souffle0/ActualParam.facts.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/souffle0/ActualParam.facts.gz -------------------------------------------------------------------------------- /test/souffle0/ApplicationClass.facts.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/souffle0/ApplicationClass.facts.gz -------------------------------------------------------------------------------- /test/souffle0/ArrayType.facts.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/souffle0/ArrayType.facts.gz -------------------------------------------------------------------------------- /test/souffle0/AssignCast.facts.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/souffle0/AssignCast.facts.gz -------------------------------------------------------------------------------- /test/souffle0/AssignHeapAllocation.facts.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/souffle0/AssignHeapAllocation.facts.gz -------------------------------------------------------------------------------- /test/souffle0/AssignLocal.facts.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/souffle0/AssignLocal.facts.gz -------------------------------------------------------------------------------- /test/souffle0/AssignReturnValue.facts.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/souffle0/AssignReturnValue.facts.gz -------------------------------------------------------------------------------- /test/souffle0/ClassType.facts.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/souffle0/ClassType.facts.gz -------------------------------------------------------------------------------- /test/souffle0/ComponentType.facts.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/souffle0/ComponentType.facts.gz -------------------------------------------------------------------------------- /test/souffle0/DirectSuperclass.facts.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/souffle0/DirectSuperclass.facts.gz -------------------------------------------------------------------------------- /test/souffle0/DirectSuperinterface.facts.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/souffle0/DirectSuperinterface.facts.gz -------------------------------------------------------------------------------- /test/souffle0/Field.facts.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/souffle0/Field.facts.gz -------------------------------------------------------------------------------- /test/souffle0/FormalParam.facts.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/souffle0/FormalParam.facts.gz -------------------------------------------------------------------------------- /test/souffle0/HeapAllocation_Type_Prefill.facts.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/souffle0/HeapAllocation_Type_Prefill.facts.gz -------------------------------------------------------------------------------- /test/souffle0/InterfaceType.facts.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/souffle0/InterfaceType.facts.gz -------------------------------------------------------------------------------- /test/souffle0/LoadArrayIndex.facts.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/souffle0/LoadArrayIndex.facts.gz -------------------------------------------------------------------------------- /test/souffle0/LoadInstanceField.facts.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/souffle0/LoadInstanceField.facts.gz -------------------------------------------------------------------------------- /test/souffle0/LoadStaticField.facts.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/souffle0/LoadStaticField.facts.gz -------------------------------------------------------------------------------- /test/souffle0/MainClass.facts.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/souffle0/MainClass.facts.gz -------------------------------------------------------------------------------- /test/souffle0/MainMethodArgArray.facts.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/souffle0/MainMethodArgArray.facts.gz -------------------------------------------------------------------------------- /test/souffle0/MainMethodArgArrayContent.facts.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/souffle0/MainMethodArgArrayContent.facts.gz -------------------------------------------------------------------------------- /test/souffle0/Method-Modifier.facts.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/souffle0/Method-Modifier.facts.gz -------------------------------------------------------------------------------- /test/souffle0/Method.facts.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/souffle0/Method.facts.gz -------------------------------------------------------------------------------- /test/souffle0/NormalHeap.facts.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/souffle0/NormalHeap.facts.gz -------------------------------------------------------------------------------- /test/souffle0/Return.facts.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/souffle0/Return.facts.gz -------------------------------------------------------------------------------- /test/souffle0/SpecialMethodInvocation.facts.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/souffle0/SpecialMethodInvocation.facts.gz -------------------------------------------------------------------------------- /test/souffle0/StaticMethodInvocation.facts.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/souffle0/StaticMethodInvocation.facts.gz -------------------------------------------------------------------------------- /test/souffle0/StoreArrayIndex.facts.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/souffle0/StoreArrayIndex.facts.gz -------------------------------------------------------------------------------- /test/souffle0/StoreInstanceField.facts.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/souffle0/StoreInstanceField.facts.gz -------------------------------------------------------------------------------- /test/souffle0/StoreStaticField.facts.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/souffle0/StoreStaticField.facts.gz -------------------------------------------------------------------------------- /test/souffle0/StringConstant.facts.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/souffle0/StringConstant.facts.gz -------------------------------------------------------------------------------- /test/souffle0/ThisVar.facts.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/souffle0/ThisVar.facts.gz -------------------------------------------------------------------------------- /test/souffle0/Var-DeclaringMethod.facts.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/souffle0/Var-DeclaringMethod.facts.gz -------------------------------------------------------------------------------- /test/souffle0/Var-Type.facts.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/souffle0/Var-Type.facts.gz -------------------------------------------------------------------------------- /test/souffle0/VirtualMethodInvocation.facts.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/souffle0/VirtualMethodInvocation.facts.gz -------------------------------------------------------------------------------- /test/souffle0/self-contained.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/souffle0/self-contained.dl -------------------------------------------------------------------------------- /test/souffle0/souffle.dump.expected.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/souffle0/souffle.dump.expected.gz -------------------------------------------------------------------------------- /test/souffle0/test.dl: -------------------------------------------------------------------------------- 1 | self-contained.dl -------------------------------------------------------------------------------- /test/souffle1/edge.facts: -------------------------------------------------------------------------------- 1 | 1,2 2 | 2,3 3 | -------------------------------------------------------------------------------- /test/souffle1/souffle.dump.expected.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/souffle1/souffle.dump.expected.gz -------------------------------------------------------------------------------- /test/souffle1/test.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/souffle1/test.dl -------------------------------------------------------------------------------- /test/souffle10/souffle.dump.expected.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/souffle10/souffle.dump.expected.gz -------------------------------------------------------------------------------- /test/souffle10/test.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/souffle10/test.dl -------------------------------------------------------------------------------- /test/souffle11/souffle.dump.expected.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/souffle11/souffle.dump.expected.gz -------------------------------------------------------------------------------- /test/souffle11/test.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/souffle11/test.dl -------------------------------------------------------------------------------- /test/souffle12/souffle.dump.expected.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/souffle12/souffle.dump.expected.gz -------------------------------------------------------------------------------- /test/souffle12/test.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/souffle12/test.dl -------------------------------------------------------------------------------- /test/souffle13/souffle.dump.expected.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/souffle13/souffle.dump.expected.gz -------------------------------------------------------------------------------- /test/souffle13/test.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/souffle13/test.dl -------------------------------------------------------------------------------- /test/souffle14/souffle.dump.expected.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/souffle14/souffle.dump.expected.gz -------------------------------------------------------------------------------- /test/souffle14/test.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/souffle14/test.dl -------------------------------------------------------------------------------- /test/souffle15/souffle.dump.expected.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/souffle15/souffle.dump.expected.gz -------------------------------------------------------------------------------- /test/souffle15/test.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/souffle15/test.dl -------------------------------------------------------------------------------- /test/souffle16/souffle.dump.expected.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/souffle16/souffle.dump.expected.gz -------------------------------------------------------------------------------- /test/souffle16/test.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/souffle16/test.dl -------------------------------------------------------------------------------- /test/souffle17/souffle.dump.expected.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/souffle17/souffle.dump.expected.gz -------------------------------------------------------------------------------- /test/souffle17/test.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/souffle17/test.dl -------------------------------------------------------------------------------- /test/souffle18/souffle.dump.expected.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/souffle18/souffle.dump.expected.gz -------------------------------------------------------------------------------- /test/souffle18/test.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/souffle18/test.dl -------------------------------------------------------------------------------- /test/souffle19/souffle.dump.expected.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/souffle19/souffle.dump.expected.gz -------------------------------------------------------------------------------- /test/souffle19/test.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/souffle19/test.dl -------------------------------------------------------------------------------- /test/souffle2/souffle.dump.expected.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/souffle2/souffle.dump.expected.gz -------------------------------------------------------------------------------- /test/souffle2/test.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/souffle2/test.dl -------------------------------------------------------------------------------- /test/souffle20/souffle.dump.expected.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/souffle20/souffle.dump.expected.gz -------------------------------------------------------------------------------- /test/souffle20/test.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/souffle20/test.dl -------------------------------------------------------------------------------- /test/souffle21/souffle.dump.expected.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/souffle21/souffle.dump.expected.gz -------------------------------------------------------------------------------- /test/souffle21/test.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/souffle21/test.dl -------------------------------------------------------------------------------- /test/souffle3/souffle.dump.expected.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/souffle3/souffle.dump.expected.gz -------------------------------------------------------------------------------- /test/souffle3/test.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/souffle3/test.dl -------------------------------------------------------------------------------- /test/souffle4/souffle.dump.expected.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/souffle4/souffle.dump.expected.gz -------------------------------------------------------------------------------- /test/souffle4/test.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/souffle4/test.dl -------------------------------------------------------------------------------- /test/souffle5/souffle.dump.expected.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/souffle5/souffle.dump.expected.gz -------------------------------------------------------------------------------- /test/souffle5/test.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/souffle5/test.dl -------------------------------------------------------------------------------- /test/souffle6/souffle.dump.expected.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/souffle6/souffle.dump.expected.gz -------------------------------------------------------------------------------- /test/souffle6/test.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/souffle6/test.dl -------------------------------------------------------------------------------- /test/souffle7/test.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/souffle7/test.dl -------------------------------------------------------------------------------- /test/souffle8/test.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/souffle8/test.dl -------------------------------------------------------------------------------- /test/souffle9/souffle.dump.expected.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/souffle9/souffle.dump.expected.gz -------------------------------------------------------------------------------- /test/souffle9/test.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/souffle9/test.dl -------------------------------------------------------------------------------- /test/test-ovn.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/test-ovn.sh -------------------------------------------------------------------------------- /test/types_test/module.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/types_test/module.dl -------------------------------------------------------------------------------- /test/types_test/typesTest.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/test/types_test/typesTest.dl -------------------------------------------------------------------------------- /tools/Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/tools/Dockerfile -------------------------------------------------------------------------------- /tools/install-flatbuf.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/tools/install-flatbuf.sh -------------------------------------------------------------------------------- /tools/install-stack.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/tools/install-stack.sh -------------------------------------------------------------------------------- /tools/prepush.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/tools/prepush.sh -------------------------------------------------------------------------------- /tools/souffle-grammar.pg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/tools/souffle-grammar.pg -------------------------------------------------------------------------------- /tools/souffle.yy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/tools/souffle.yy -------------------------------------------------------------------------------- /tools/souffle_converter.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/tools/souffle_converter.py -------------------------------------------------------------------------------- /tools/stack-shell.nix: -------------------------------------------------------------------------------- 1 | { ghc }: (import ../. { inherit ghc; }).stack-shell 2 | -------------------------------------------------------------------------------- /tools/timely_profiling/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/tools/timely_profiling/README.md -------------------------------------------------------------------------------- /tools/timely_profiling/generate_stats.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/tools/timely_profiling/generate_stats.py -------------------------------------------------------------------------------- /tools/vim/syntax/dl.vim: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/tools/vim/syntax/dl.vim -------------------------------------------------------------------------------- /tools/vscode/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/tools/vscode/README.md -------------------------------------------------------------------------------- /tools/vscode/ddlog-language/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/tools/vscode/ddlog-language/.gitignore -------------------------------------------------------------------------------- /tools/vscode/ddlog-language/.vscodeignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/tools/vscode/ddlog-language/.vscodeignore -------------------------------------------------------------------------------- /tools/vscode/ddlog-language/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/tools/vscode/ddlog-language/LICENSE -------------------------------------------------------------------------------- /tools/vscode/ddlog-language/gulpfile.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/tools/vscode/ddlog-language/gulpfile.js -------------------------------------------------------------------------------- /tools/vscode/ddlog-language/package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/tools/vscode/ddlog-language/package.json -------------------------------------------------------------------------------- /tools/vscode/ddlog-language/src/good/base.json5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/tools/vscode/ddlog-language/src/good/base.json5 -------------------------------------------------------------------------------- /tools/vscode/ddlog-language/src/good/command.json5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/tools/vscode/ddlog-language/src/good/command.json5 -------------------------------------------------------------------------------- /tools/vscode/ddlog-language/src/good/constant.json5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/tools/vscode/ddlog-language/src/good/constant.json5 -------------------------------------------------------------------------------- /tools/vscode/ddlog-language/src/good/keyword.json5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/tools/vscode/ddlog-language/src/good/keyword.json5 -------------------------------------------------------------------------------- /tools/vscode/ddlog-language/src/good/meta.json5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/tools/vscode/ddlog-language/src/good/meta.json5 -------------------------------------------------------------------------------- /tools/vscode/ddlog-language/src/good/string.json5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/tools/vscode/ddlog-language/src/good/string.json5 -------------------------------------------------------------------------------- /tools/vscode/ddlog-language/src/good/type.json5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/tools/vscode/ddlog-language/src/good/type.json5 -------------------------------------------------------------------------------- /tools/vscode/ddlog-language/src/good/variable.json5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/tools/vscode/ddlog-language/src/good/variable.json5 -------------------------------------------------------------------------------- /tools/vscode/ddlog-language/src/syntax/entity.json5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/tools/vscode/ddlog-language/src/syntax/entity.json5 -------------------------------------------------------------------------------- /tools/vscode/ddlog-theme/.gitignore: -------------------------------------------------------------------------------- 1 | *.vsix 2 | desktop.ini 3 | 4 | -------------------------------------------------------------------------------- /tools/vscode/ddlog-theme/.vscodeignore: -------------------------------------------------------------------------------- 1 | .vscode/** 2 | .gitignore 3 | desktop.ini 4 | 5 | 6 | 7 | -------------------------------------------------------------------------------- /tools/vscode/ddlog-theme/package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/tools/vscode/ddlog-theme/package.json -------------------------------------------------------------------------------- /tools/vscode/install.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmware-archive/differential-datalog/HEAD/tools/vscode/install.sh --------------------------------------------------------------------------------