├── _config.yml ├── _data ├── authors.yml └── navigation.yml ├── _includes └── footer.html ├── course-overview.md ├── decision-procedure.png ├── index.md ├── lecture-notes ├── 2019-09-30-the-science-of-brute-force.md ├── 2019-09-30-the-science-of-brute-force.pdf ├── 2019-10-02-introduction-to-decision-procedures-1.md ├── 2019-10-02-introduction-to-decision-procedures-1.pdf ├── 2019-10-04-introduction-to-decision-procedures-2.md ├── 2019-10-04-introduction-to-decision-procedures-2.pdf ├── 2019-10-07-introduction-to-sat-solving-1.md ├── 2019-10-07-introduction-to-sat-solving-1.pdf ├── 2019-10-09-introduction-to-sat-solving-2.md ├── 2019-10-09-introduction-to-sat-solving-2.pdf ├── 2019-10-11-introduction-to-smt-solving.md ├── 2019-10-11-introduction-to-smt-solving.pdf ├── 2019-10-14-theories-equality-and-uninterpreted-functions.md ├── 2019-10-14-theories-equality-and-uninterpreted-functions.pdf ├── 2019-10-16-theories-linear-arithmetic.md ├── 2019-10-16-theories-linear-arithmetic.pdf └── build.sh ├── presentations ├── Putting Consistency Back into Eventual Consistency 11_20.pdf ├── README.md ├── kaplan-presentation-final.pdf ├── klee-presentation-final.pdf ├── liquid_types.pdf └── refinement_types_for_haskell.pdf └── readings.md /_config.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lkuper/CSE290Q-2019-09/HEAD/_config.yml -------------------------------------------------------------------------------- /_data/authors.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lkuper/CSE290Q-2019-09/HEAD/_data/authors.yml -------------------------------------------------------------------------------- /_data/navigation.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lkuper/CSE290Q-2019-09/HEAD/_data/navigation.yml -------------------------------------------------------------------------------- /_includes/footer.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lkuper/CSE290Q-2019-09/HEAD/_includes/footer.html -------------------------------------------------------------------------------- /course-overview.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lkuper/CSE290Q-2019-09/HEAD/course-overview.md -------------------------------------------------------------------------------- /decision-procedure.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lkuper/CSE290Q-2019-09/HEAD/decision-procedure.png -------------------------------------------------------------------------------- /index.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lkuper/CSE290Q-2019-09/HEAD/index.md -------------------------------------------------------------------------------- /lecture-notes/2019-09-30-the-science-of-brute-force.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lkuper/CSE290Q-2019-09/HEAD/lecture-notes/2019-09-30-the-science-of-brute-force.md -------------------------------------------------------------------------------- /lecture-notes/2019-09-30-the-science-of-brute-force.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lkuper/CSE290Q-2019-09/HEAD/lecture-notes/2019-09-30-the-science-of-brute-force.pdf -------------------------------------------------------------------------------- /lecture-notes/2019-10-02-introduction-to-decision-procedures-1.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lkuper/CSE290Q-2019-09/HEAD/lecture-notes/2019-10-02-introduction-to-decision-procedures-1.md -------------------------------------------------------------------------------- /lecture-notes/2019-10-02-introduction-to-decision-procedures-1.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lkuper/CSE290Q-2019-09/HEAD/lecture-notes/2019-10-02-introduction-to-decision-procedures-1.pdf -------------------------------------------------------------------------------- /lecture-notes/2019-10-04-introduction-to-decision-procedures-2.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lkuper/CSE290Q-2019-09/HEAD/lecture-notes/2019-10-04-introduction-to-decision-procedures-2.md -------------------------------------------------------------------------------- /lecture-notes/2019-10-04-introduction-to-decision-procedures-2.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lkuper/CSE290Q-2019-09/HEAD/lecture-notes/2019-10-04-introduction-to-decision-procedures-2.pdf -------------------------------------------------------------------------------- /lecture-notes/2019-10-07-introduction-to-sat-solving-1.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lkuper/CSE290Q-2019-09/HEAD/lecture-notes/2019-10-07-introduction-to-sat-solving-1.md -------------------------------------------------------------------------------- /lecture-notes/2019-10-07-introduction-to-sat-solving-1.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lkuper/CSE290Q-2019-09/HEAD/lecture-notes/2019-10-07-introduction-to-sat-solving-1.pdf -------------------------------------------------------------------------------- /lecture-notes/2019-10-09-introduction-to-sat-solving-2.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lkuper/CSE290Q-2019-09/HEAD/lecture-notes/2019-10-09-introduction-to-sat-solving-2.md -------------------------------------------------------------------------------- /lecture-notes/2019-10-09-introduction-to-sat-solving-2.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lkuper/CSE290Q-2019-09/HEAD/lecture-notes/2019-10-09-introduction-to-sat-solving-2.pdf -------------------------------------------------------------------------------- /lecture-notes/2019-10-11-introduction-to-smt-solving.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lkuper/CSE290Q-2019-09/HEAD/lecture-notes/2019-10-11-introduction-to-smt-solving.md -------------------------------------------------------------------------------- /lecture-notes/2019-10-11-introduction-to-smt-solving.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lkuper/CSE290Q-2019-09/HEAD/lecture-notes/2019-10-11-introduction-to-smt-solving.pdf -------------------------------------------------------------------------------- /lecture-notes/2019-10-14-theories-equality-and-uninterpreted-functions.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lkuper/CSE290Q-2019-09/HEAD/lecture-notes/2019-10-14-theories-equality-and-uninterpreted-functions.md -------------------------------------------------------------------------------- /lecture-notes/2019-10-14-theories-equality-and-uninterpreted-functions.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lkuper/CSE290Q-2019-09/HEAD/lecture-notes/2019-10-14-theories-equality-and-uninterpreted-functions.pdf -------------------------------------------------------------------------------- /lecture-notes/2019-10-16-theories-linear-arithmetic.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lkuper/CSE290Q-2019-09/HEAD/lecture-notes/2019-10-16-theories-linear-arithmetic.md -------------------------------------------------------------------------------- /lecture-notes/2019-10-16-theories-linear-arithmetic.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lkuper/CSE290Q-2019-09/HEAD/lecture-notes/2019-10-16-theories-linear-arithmetic.pdf -------------------------------------------------------------------------------- /lecture-notes/build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lkuper/CSE290Q-2019-09/HEAD/lecture-notes/build.sh -------------------------------------------------------------------------------- /presentations/Putting Consistency Back into Eventual Consistency 11_20.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lkuper/CSE290Q-2019-09/HEAD/presentations/Putting Consistency Back into Eventual Consistency 11_20.pdf -------------------------------------------------------------------------------- /presentations/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lkuper/CSE290Q-2019-09/HEAD/presentations/README.md -------------------------------------------------------------------------------- /presentations/kaplan-presentation-final.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lkuper/CSE290Q-2019-09/HEAD/presentations/kaplan-presentation-final.pdf -------------------------------------------------------------------------------- /presentations/klee-presentation-final.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lkuper/CSE290Q-2019-09/HEAD/presentations/klee-presentation-final.pdf -------------------------------------------------------------------------------- /presentations/liquid_types.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lkuper/CSE290Q-2019-09/HEAD/presentations/liquid_types.pdf -------------------------------------------------------------------------------- /presentations/refinement_types_for_haskell.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lkuper/CSE290Q-2019-09/HEAD/presentations/refinement_types_for_haskell.pdf -------------------------------------------------------------------------------- /readings.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lkuper/CSE290Q-2019-09/HEAD/readings.md --------------------------------------------------------------------------------