├── .gitignore ├── Gemfile ├── Gemfile.lock ├── LICENSE ├── LICENSE.txt ├── README.md ├── _config.yml ├── _css └── main.scss ├── _includes ├── embedpdf.html ├── footer.html ├── head.html ├── header.html ├── image.html └── nav.html ├── _layouts ├── class.html ├── default.html ├── page.html └── post.html ├── _posts └── 2015-08-16-welcome-to-jekyll.md ├── _sass ├── _base.scss ├── _fancy-image.scss ├── _header.scss ├── _layout.scss ├── _mobile-header.scss └── _syntax-highlighting.scss ├── _tex ├── .gitignore ├── Makefile ├── fd_hdt_cs3100_f19.pdf ├── fd_hdt_cs3100_f19.tex └── twocolumn.sty ├── assets └── favicon.ico ├── assignments.md ├── assignments ├── pset1 │ └── pset1.v ├── pset10 │ ├── Makefile │ ├── Pset10.v │ └── _CoqProject ├── pset2a │ └── pset2a.v ├── pset2b │ └── pset2b.v ├── pset3a │ ├── Makefile │ ├── Pset3a.v │ ├── Pset3aCheck.v │ ├── Pset3aSig.v │ ├── README.md │ └── _CoqProject ├── pset3b │ ├── Makefile │ ├── Pset3b.v │ ├── Pset3bCheck.v │ ├── Pset3bSig.v │ ├── README.md │ └── _CoqProject ├── pset4a │ ├── Makefile │ ├── Pset4a.v │ ├── Pset4aCheck.v │ ├── Pset4aSig.v │ ├── README.md │ └── _CoqProject ├── pset4b │ ├── Makefile │ ├── Pset4b.v │ ├── Pset4bCheck.v │ ├── Pset4bSig.v │ ├── README.md │ └── _CoqProject ├── pset5 │ ├── README.md │ ├── bst.fst │ └── fib.fst ├── pset6 │ ├── Makefile │ ├── Pset6.v │ ├── Pset6Check.v │ ├── Pset6Sig.v │ └── _CoqProject ├── pset7 │ ├── Makefile │ ├── Pset7.v │ └── _CoqProject ├── pset8 │ ├── Makefile │ ├── Pset8 Subtyping notes.pdf │ ├── Pset8.v │ ├── Pset8Check.v │ ├── Pset8Sig.v │ └── _CoqProject └── pset9 │ ├── Makefile │ ├── Pset9.v │ ├── Pset9Check.v │ ├── Pset9Sig.v │ └── _CoqProject ├── feed.xml ├── frap ├── AbstractInterpret.v ├── Frap.v ├── FrapWithoutSets.v ├── Imp.v ├── Invariant.v ├── Makefile ├── Makefile.conf ├── Map.v ├── ModelCheck.v ├── Relations.v ├── SepCancel.v ├── Sets.v ├── Var.v └── _CoqProject ├── index.md ├── ipa.gemspec ├── lectures ├── 0_first_day_of_classes.key ├── 0_first_day_of_classes.pdf ├── 1_interpreters.key ├── 1_interpreters.pdf ├── 2_F*_functional_programming.key ├── 2_F*_functional_programming.pdf ├── 3_transition_systems.key ├── 3_transition_systems.pdf ├── 4_operational_semantics.key ├── 4_operational_semantics.pdf ├── 5_lambda_calculus.key ├── 5_lambda_calculus.pdf ├── 6_compiler_correctness.key ├── 6_compiler_correctness.pdf ├── 7_Hoare_Logic.key ├── 7_Hoare_Logic.pdf ├── BasicSyntax.v ├── BasicSyntax_lecture.v ├── CompilerCorrectness.v ├── CompilerCorrectness_lecture.v ├── FunctionalProgramming.html ├── FunctionalProgramming.v ├── FunctionalProgramming_lecture.v ├── HoareLogic.v ├── Hoare_Logic_scribbles.pdf ├── Induction.html ├── Induction.v ├── Induction_lecture.v ├── Interpreters.v ├── Interpreters_lecture.v ├── LambdaCalculus.v ├── LambdaCalculus_lecture.v ├── Logic.html ├── Logic.v ├── LogicProgramming.v ├── LogicProgramming_lecture.v ├── Logic_lecture.v ├── Makefile ├── OperationalSemantics.v ├── OperationalSemantics_lecture.v ├── README.md ├── TransitionSystems.v ├── TransitionSystems_lecture.v ├── _CoqProject ├── coqdoc.css ├── fstar_effects.fst ├── fstar_functional.fst └── fstar_verification.fst ├── resources.md ├── schedule.md └── sitemap.xml /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/.gitignore -------------------------------------------------------------------------------- /Gemfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/Gemfile -------------------------------------------------------------------------------- /Gemfile.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/Gemfile.lock -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/LICENSE -------------------------------------------------------------------------------- /LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/LICENSE.txt -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/README.md -------------------------------------------------------------------------------- /_config.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/_config.yml -------------------------------------------------------------------------------- /_css/main.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/_css/main.scss -------------------------------------------------------------------------------- /_includes/embedpdf.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/_includes/embedpdf.html -------------------------------------------------------------------------------- /_includes/footer.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/_includes/footer.html -------------------------------------------------------------------------------- /_includes/head.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/_includes/head.html -------------------------------------------------------------------------------- /_includes/header.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/_includes/header.html -------------------------------------------------------------------------------- /_includes/image.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/_includes/image.html -------------------------------------------------------------------------------- /_includes/nav.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/_includes/nav.html -------------------------------------------------------------------------------- /_layouts/class.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/_layouts/class.html -------------------------------------------------------------------------------- /_layouts/default.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/_layouts/default.html -------------------------------------------------------------------------------- /_layouts/page.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/_layouts/page.html -------------------------------------------------------------------------------- /_layouts/post.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/_layouts/post.html -------------------------------------------------------------------------------- /_posts/2015-08-16-welcome-to-jekyll.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/_posts/2015-08-16-welcome-to-jekyll.md -------------------------------------------------------------------------------- /_sass/_base.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/_sass/_base.scss -------------------------------------------------------------------------------- /_sass/_fancy-image.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/_sass/_fancy-image.scss -------------------------------------------------------------------------------- /_sass/_header.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/_sass/_header.scss -------------------------------------------------------------------------------- /_sass/_layout.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/_sass/_layout.scss -------------------------------------------------------------------------------- /_sass/_mobile-header.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/_sass/_mobile-header.scss -------------------------------------------------------------------------------- /_sass/_syntax-highlighting.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/_sass/_syntax-highlighting.scss -------------------------------------------------------------------------------- /_tex/.gitignore: -------------------------------------------------------------------------------- 1 | *.aux 2 | *.log 3 | -------------------------------------------------------------------------------- /_tex/Makefile: -------------------------------------------------------------------------------- 1 | all: 2 | pdflatex fd_hdt_cs3100_f19 3 | -------------------------------------------------------------------------------- /_tex/fd_hdt_cs3100_f19.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/_tex/fd_hdt_cs3100_f19.pdf -------------------------------------------------------------------------------- /_tex/fd_hdt_cs3100_f19.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/_tex/fd_hdt_cs3100_f19.tex -------------------------------------------------------------------------------- /_tex/twocolumn.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/_tex/twocolumn.sty -------------------------------------------------------------------------------- /assets/favicon.ico: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/assets/favicon.ico -------------------------------------------------------------------------------- /assignments.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/assignments.md -------------------------------------------------------------------------------- /assignments/pset1/pset1.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/assignments/pset1/pset1.v -------------------------------------------------------------------------------- /assignments/pset10/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/assignments/pset10/Makefile -------------------------------------------------------------------------------- /assignments/pset10/Pset10.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/assignments/pset10/Pset10.v -------------------------------------------------------------------------------- /assignments/pset10/_CoqProject: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/assignments/pset10/_CoqProject -------------------------------------------------------------------------------- /assignments/pset2a/pset2a.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/assignments/pset2a/pset2a.v -------------------------------------------------------------------------------- /assignments/pset2b/pset2b.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/assignments/pset2b/pset2b.v -------------------------------------------------------------------------------- /assignments/pset3a/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/assignments/pset3a/Makefile -------------------------------------------------------------------------------- /assignments/pset3a/Pset3a.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/assignments/pset3a/Pset3a.v -------------------------------------------------------------------------------- /assignments/pset3a/Pset3aCheck.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/assignments/pset3a/Pset3aCheck.v -------------------------------------------------------------------------------- /assignments/pset3a/Pset3aSig.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/assignments/pset3a/Pset3aSig.v -------------------------------------------------------------------------------- /assignments/pset3a/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/assignments/pset3a/README.md -------------------------------------------------------------------------------- /assignments/pset3a/_CoqProject: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/assignments/pset3a/_CoqProject -------------------------------------------------------------------------------- /assignments/pset3b/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/assignments/pset3b/Makefile -------------------------------------------------------------------------------- /assignments/pset3b/Pset3b.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/assignments/pset3b/Pset3b.v -------------------------------------------------------------------------------- /assignments/pset3b/Pset3bCheck.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/assignments/pset3b/Pset3bCheck.v -------------------------------------------------------------------------------- /assignments/pset3b/Pset3bSig.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/assignments/pset3b/Pset3bSig.v -------------------------------------------------------------------------------- /assignments/pset3b/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/assignments/pset3b/README.md -------------------------------------------------------------------------------- /assignments/pset3b/_CoqProject: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/assignments/pset3b/_CoqProject -------------------------------------------------------------------------------- /assignments/pset4a/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/assignments/pset4a/Makefile -------------------------------------------------------------------------------- /assignments/pset4a/Pset4a.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/assignments/pset4a/Pset4a.v -------------------------------------------------------------------------------- /assignments/pset4a/Pset4aCheck.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/assignments/pset4a/Pset4aCheck.v -------------------------------------------------------------------------------- /assignments/pset4a/Pset4aSig.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/assignments/pset4a/Pset4aSig.v -------------------------------------------------------------------------------- /assignments/pset4a/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/assignments/pset4a/README.md -------------------------------------------------------------------------------- /assignments/pset4a/_CoqProject: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/assignments/pset4a/_CoqProject -------------------------------------------------------------------------------- /assignments/pset4b/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/assignments/pset4b/Makefile -------------------------------------------------------------------------------- /assignments/pset4b/Pset4b.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/assignments/pset4b/Pset4b.v -------------------------------------------------------------------------------- /assignments/pset4b/Pset4bCheck.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/assignments/pset4b/Pset4bCheck.v -------------------------------------------------------------------------------- /assignments/pset4b/Pset4bSig.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/assignments/pset4b/Pset4bSig.v -------------------------------------------------------------------------------- /assignments/pset4b/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/assignments/pset4b/README.md -------------------------------------------------------------------------------- /assignments/pset4b/_CoqProject: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/assignments/pset4b/_CoqProject -------------------------------------------------------------------------------- /assignments/pset5/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/assignments/pset5/README.md -------------------------------------------------------------------------------- /assignments/pset5/bst.fst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/assignments/pset5/bst.fst -------------------------------------------------------------------------------- /assignments/pset5/fib.fst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/assignments/pset5/fib.fst -------------------------------------------------------------------------------- /assignments/pset6/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/assignments/pset6/Makefile -------------------------------------------------------------------------------- /assignments/pset6/Pset6.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/assignments/pset6/Pset6.v -------------------------------------------------------------------------------- /assignments/pset6/Pset6Check.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/assignments/pset6/Pset6Check.v -------------------------------------------------------------------------------- /assignments/pset6/Pset6Sig.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/assignments/pset6/Pset6Sig.v -------------------------------------------------------------------------------- /assignments/pset6/_CoqProject: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/assignments/pset6/_CoqProject -------------------------------------------------------------------------------- /assignments/pset7/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/assignments/pset7/Makefile -------------------------------------------------------------------------------- /assignments/pset7/Pset7.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/assignments/pset7/Pset7.v -------------------------------------------------------------------------------- /assignments/pset7/_CoqProject: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/assignments/pset7/_CoqProject -------------------------------------------------------------------------------- /assignments/pset8/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/assignments/pset8/Makefile -------------------------------------------------------------------------------- /assignments/pset8/Pset8 Subtyping notes.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/assignments/pset8/Pset8 Subtyping notes.pdf -------------------------------------------------------------------------------- /assignments/pset8/Pset8.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/assignments/pset8/Pset8.v -------------------------------------------------------------------------------- /assignments/pset8/Pset8Check.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/assignments/pset8/Pset8Check.v -------------------------------------------------------------------------------- /assignments/pset8/Pset8Sig.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/assignments/pset8/Pset8Sig.v -------------------------------------------------------------------------------- /assignments/pset8/_CoqProject: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/assignments/pset8/_CoqProject -------------------------------------------------------------------------------- /assignments/pset9/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/assignments/pset9/Makefile -------------------------------------------------------------------------------- /assignments/pset9/Pset9.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/assignments/pset9/Pset9.v -------------------------------------------------------------------------------- /assignments/pset9/Pset9Check.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/assignments/pset9/Pset9Check.v -------------------------------------------------------------------------------- /assignments/pset9/Pset9Sig.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/assignments/pset9/Pset9Sig.v -------------------------------------------------------------------------------- /assignments/pset9/_CoqProject: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/assignments/pset9/_CoqProject -------------------------------------------------------------------------------- /feed.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/feed.xml -------------------------------------------------------------------------------- /frap/AbstractInterpret.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/frap/AbstractInterpret.v -------------------------------------------------------------------------------- /frap/Frap.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/frap/Frap.v -------------------------------------------------------------------------------- /frap/FrapWithoutSets.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/frap/FrapWithoutSets.v -------------------------------------------------------------------------------- /frap/Imp.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/frap/Imp.v -------------------------------------------------------------------------------- /frap/Invariant.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/frap/Invariant.v -------------------------------------------------------------------------------- /frap/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/frap/Makefile -------------------------------------------------------------------------------- /frap/Makefile.conf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/frap/Makefile.conf -------------------------------------------------------------------------------- /frap/Map.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/frap/Map.v -------------------------------------------------------------------------------- /frap/ModelCheck.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/frap/ModelCheck.v -------------------------------------------------------------------------------- /frap/Relations.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/frap/Relations.v -------------------------------------------------------------------------------- /frap/SepCancel.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/frap/SepCancel.v -------------------------------------------------------------------------------- /frap/Sets.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/frap/Sets.v -------------------------------------------------------------------------------- /frap/Var.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/frap/Var.v -------------------------------------------------------------------------------- /frap/_CoqProject: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/frap/_CoqProject -------------------------------------------------------------------------------- /index.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/index.md -------------------------------------------------------------------------------- /ipa.gemspec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/ipa.gemspec -------------------------------------------------------------------------------- /lectures/0_first_day_of_classes.key: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/lectures/0_first_day_of_classes.key -------------------------------------------------------------------------------- /lectures/0_first_day_of_classes.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/lectures/0_first_day_of_classes.pdf -------------------------------------------------------------------------------- /lectures/1_interpreters.key: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/lectures/1_interpreters.key -------------------------------------------------------------------------------- /lectures/1_interpreters.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/lectures/1_interpreters.pdf -------------------------------------------------------------------------------- /lectures/2_F*_functional_programming.key: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/lectures/2_F*_functional_programming.key -------------------------------------------------------------------------------- /lectures/2_F*_functional_programming.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/lectures/2_F*_functional_programming.pdf -------------------------------------------------------------------------------- /lectures/3_transition_systems.key: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/lectures/3_transition_systems.key -------------------------------------------------------------------------------- /lectures/3_transition_systems.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/lectures/3_transition_systems.pdf -------------------------------------------------------------------------------- /lectures/4_operational_semantics.key: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/lectures/4_operational_semantics.key -------------------------------------------------------------------------------- /lectures/4_operational_semantics.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/lectures/4_operational_semantics.pdf -------------------------------------------------------------------------------- /lectures/5_lambda_calculus.key: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/lectures/5_lambda_calculus.key -------------------------------------------------------------------------------- /lectures/5_lambda_calculus.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/lectures/5_lambda_calculus.pdf -------------------------------------------------------------------------------- /lectures/6_compiler_correctness.key: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/lectures/6_compiler_correctness.key -------------------------------------------------------------------------------- /lectures/6_compiler_correctness.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/lectures/6_compiler_correctness.pdf -------------------------------------------------------------------------------- /lectures/7_Hoare_Logic.key: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/lectures/7_Hoare_Logic.key -------------------------------------------------------------------------------- /lectures/7_Hoare_Logic.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/lectures/7_Hoare_Logic.pdf -------------------------------------------------------------------------------- /lectures/BasicSyntax.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/lectures/BasicSyntax.v -------------------------------------------------------------------------------- /lectures/BasicSyntax_lecture.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/lectures/BasicSyntax_lecture.v -------------------------------------------------------------------------------- /lectures/CompilerCorrectness.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/lectures/CompilerCorrectness.v -------------------------------------------------------------------------------- /lectures/CompilerCorrectness_lecture.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/lectures/CompilerCorrectness_lecture.v -------------------------------------------------------------------------------- /lectures/FunctionalProgramming.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/lectures/FunctionalProgramming.html -------------------------------------------------------------------------------- /lectures/FunctionalProgramming.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/lectures/FunctionalProgramming.v -------------------------------------------------------------------------------- /lectures/FunctionalProgramming_lecture.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/lectures/FunctionalProgramming_lecture.v -------------------------------------------------------------------------------- /lectures/HoareLogic.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/lectures/HoareLogic.v -------------------------------------------------------------------------------- /lectures/Hoare_Logic_scribbles.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/lectures/Hoare_Logic_scribbles.pdf -------------------------------------------------------------------------------- /lectures/Induction.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/lectures/Induction.html -------------------------------------------------------------------------------- /lectures/Induction.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/lectures/Induction.v -------------------------------------------------------------------------------- /lectures/Induction_lecture.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/lectures/Induction_lecture.v -------------------------------------------------------------------------------- /lectures/Interpreters.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/lectures/Interpreters.v -------------------------------------------------------------------------------- /lectures/Interpreters_lecture.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/lectures/Interpreters_lecture.v -------------------------------------------------------------------------------- /lectures/LambdaCalculus.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/lectures/LambdaCalculus.v -------------------------------------------------------------------------------- /lectures/LambdaCalculus_lecture.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/lectures/LambdaCalculus_lecture.v -------------------------------------------------------------------------------- /lectures/Logic.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/lectures/Logic.html -------------------------------------------------------------------------------- /lectures/Logic.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/lectures/Logic.v -------------------------------------------------------------------------------- /lectures/LogicProgramming.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/lectures/LogicProgramming.v -------------------------------------------------------------------------------- /lectures/LogicProgramming_lecture.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/lectures/LogicProgramming_lecture.v -------------------------------------------------------------------------------- /lectures/Logic_lecture.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/lectures/Logic_lecture.v -------------------------------------------------------------------------------- /lectures/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/lectures/Makefile -------------------------------------------------------------------------------- /lectures/OperationalSemantics.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/lectures/OperationalSemantics.v -------------------------------------------------------------------------------- /lectures/OperationalSemantics_lecture.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/lectures/OperationalSemantics_lecture.v -------------------------------------------------------------------------------- /lectures/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/lectures/README.md -------------------------------------------------------------------------------- /lectures/TransitionSystems.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/lectures/TransitionSystems.v -------------------------------------------------------------------------------- /lectures/TransitionSystems_lecture.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/lectures/TransitionSystems_lecture.v -------------------------------------------------------------------------------- /lectures/_CoqProject: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/lectures/_CoqProject -------------------------------------------------------------------------------- /lectures/coqdoc.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/lectures/coqdoc.css -------------------------------------------------------------------------------- /lectures/fstar_effects.fst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/lectures/fstar_effects.fst -------------------------------------------------------------------------------- /lectures/fstar_functional.fst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/lectures/fstar_functional.fst -------------------------------------------------------------------------------- /lectures/fstar_verification.fst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/lectures/fstar_verification.fst -------------------------------------------------------------------------------- /resources.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/resources.md -------------------------------------------------------------------------------- /schedule.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/schedule.md -------------------------------------------------------------------------------- /sitemap.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kayceesrk/cs6225_s21_iitm/HEAD/sitemap.xml --------------------------------------------------------------------------------