triska
Follow
Create your own GitHub profile
Sign up for your own profile on GitHub, the best place to host code, manage projects, and build software alongside 50 million developers.
Sign up
Pinned
675 contributions in the last year
Contribution activity
August 2020
- triska/ring Assembly
- ADDED: Preliminary version of call_nth/2.
- Improvements to dif/2
- FIXED: CLP(B): Delay BDD restriction until after the instantiation.
- library(sgml): Correctly parse XML leaf nodes that are not text nodes.
- omit internal attributes in residual goals when using taut/2
- ADDED: ed25519_seed_keypair/2, deriving a key pair from a seed.
- Shorten and improve implementation of several cryptographic routines
- ADDED: library(crypto): Support for additional authenticated data (AAD).
Created an issue in mthom/scryer-prolog that received 12 comments
Remaining conformity issues
Thanks to @notoria and #643 being resolved via #647, we can now easily go through the test cases for syntactic ISO conformance (http://www.complang…
12
comments
- !/0 doesn't cut it
- Some pedicates cannot be asserted
- caught: error(existence_error(procedure,!/0),!/0)
- Add support for Scryer Prolog to CL-Prolog2
- Throw telling exceptions when XML documents cannot be parsed
- Please reconsider the internal representation of rational numbers that are integers
- partial_string_tail/2 sometimes yields wrong results
- Unexpected crash
- Standard infix operator --> is missing