source-academy / js-slang / 3035

77%

push

travis-ci

Add Source 3 Non-Det documentation (#555)

* Add Source 3 Non-Det specs

* Update BNF

* Update contents

* Add cut statement

* Rename choice point to amb expression

* Add non-det primitives / builtins info

* Add builtins

* add initial documentation

* add tooltip documentation

* update script

* capitalize first letter of hyphenated words as well

* rename variable

* Remove cut and amb expressions from bnf

* Add note on amb and cut

* Add material implication / bi implication

* Add limitations and library

* Add nondet library

* Add memory limitation

* Update phrasing of memory limitation

* Update phrasing in intro

* Rename nondet library file

* Add tex section for nondet library

* add non-det library

* update latex header/footer

* update library filename

* Integrate Limitations into Changes

* Remove a word

* Fix length of lines in library code

* Simplify doc header for implication / bi_implication

Co-authored-by: Arsalan Cheema <arsalanc.v2@gmail.com>
Co-authored-by: martin-henz <henz@comp.nus.edu.sg>

1895 of 2549 branches covered (74.34%)

Branch coverage included in aggregate %.

1 of 1 new or added line in 1 file covered. (100.0%)

5548 of 6440 relevant lines covered (86.15%)

178285.64 hits per line