File tree
586 files changed
+225269
-0
lines changed- assets
- css
- img
- hero
- js
- sass/icons
- docs
- cheat_sheet
- ktools
- user_manual
- editor_support
- events/k-a-rewriting-based-language-definitional-framework
- exports
- faq
- k-distribution
- INSTALL
- include/kframework
- builtin
- domains
- ffi
- json
- kast
- prelude
- rat
- substitution
- timer
- k-tutorial
- 1_basic
- 01_installing
- 02_basics
- 03_parsing
- 04_disambiguation
- 05_modules
- 06_ints_and_bools
- 07_side_conditions
- 08_literate_programming
- 09_unparsing
- 10_strings
- 11_casts
- 12_syntactic_lists
- 13_rewrite_rules
- 14_evaluation_order
- 15_configurations
- 16_collections
- 17_cell_multiplicity
- 18_equality_and_conditionals
- 19_debugging
- 20_backends
- 21_symbolic_execution
- 22_proofs
- 2_intermediate
- 01_macros
- 02_fresh_constants
- 03_klabels
- 04_overloading
- 05_matching_logic
- 06_function_context
- 07_record_productions
- 08_fun_and_let
- 09_as
- 10_matching_operator
- 11_evaluation_order
- 12_floats_and_machine_ints
- 13_substitution
- 14_io
- 15_string_buffers_and_bytes
- 16_kore
- 17_debugging_proofs
- 3_advanced
- 1_parsing
- 1_layout
- 2_ambiguities
- 3_locations
- 2_libraries
- 1_json
- 2_rat
- 3_ffi
- 3_extending_k
- 1_custom_hooks
- 2_scripting_k
- pl-tutorial
- 1_k
- 1_lambda
- lesson_1
- NOTES
- lesson_2.5/NOTES
- lesson_2
- NOTES
- lesson_3
- NOTES
- lesson_4
- NOTES
- lesson_5
- NOTES
- lesson_6
- lesson_7
- NOTES
- lesson_8
- exercises
- SK-combinators
- mu-derived
- lesson_9
- lambda
- 2_imp
- NOTES
- lesson_1
- lesson_2
- lesson_3
- lesson_4
- exercises
- purely-syntactic
- uninitialized-variables
- lesson_5
- imp
- 3_lambda++
- lesson_1
- exercises
- NOTES
- callCC
- from-call-CC-to-callcc
- from-callcc-to-call-CC
- lesson_2
- lesson_3
- NOTES
- lesson_4
- NOTES
- lesson_5
- lesson_6
- exercises
- NOTES
- callCC
- from-call-CC-to-callcc
- from-callcc-to-call-CC
- lambda
- 4_imp++
- lesson_1
- NOTES
- lesson_2
- NOTES
- lesson_3
- NOTES
- lesson_4
- NOTES
- lesson_5
- lesson_6
- lesson_7
- lesson_8
- imp
- 5_types
- lesson_1.9/NOTES
- lesson_1
- NOTES
- lesson_2
- NOTES
- lesson_3
- lesson_4
- NOTES
- lesson_5
- lesson_6
- NOTES
- lesson_7
- NOTES
- lesson_8
- NOTES
- lesson_9.5/NOTES
- lesson_9
- 2_languages
- 1_simple
- 1_untyped
- NOTES
- simple-untyped
- 2_typed
- 1_static
- NOTES
- exercises/functions-with-throws/tests
- simple-typed-static
- 2_dynamic/simple-typed-dynamic
- programs
- 2_kool
- 1_untyped/kool-untyped
- 2_typed
- 1_dynamic/kool-typed-dynamic
- 2_static
- NOTES
- kool-typed-static
- 3_fun/1_untyped
- 1_environment/fun-untyped
- 2_substitution/fun-untyped
- 4_logik/basic/logik
- LICENSE
- NOTES
- tests/regression-new
- checks/markdownErrorLocation
- imp++-llvm/imp
- kprove-markdown
- set-balance-spec
- set-balance
- markdownSelectors
- a-spec
- test
- pl-tutorial/2_languages
- 1_simple
- 1_untyped/simple-untyped
- 2_typed
- 1_static/simple-typed-static
- 2_dynamic/simple-typed-dynamic
- 2_kool
- 1_untyped/kool-untyped
- 2_typed
- 1_dynamic/kool-typed-dynamic
- 2_static/kool-typed-static
- 3_fun/1_untyped/1_environment/fun-untyped
- news/k-framework-demo
- overview
- projects
- pyk
- _modules
- pyk
- cterm
- kast
- kbuild
- kcfg
- kdist
- klean
- kllvm
- hints
- kore_exec_covr
- kore
- krepl
- ktool
- prelude
- proof
- testing
- _sources
- api
- _static
- css
- fonts
- fonts
- Lato
- RobotoSlab
- js
- api
Some content is hidden
Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.
586 files changed
+225269
-0
lines changedWhitespace-only changes.
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
| 1 | + | |
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
0 commit comments