Skip to content
This repository has been archived by the owner on Jul 8, 2023. It is now read-only.

Update predicates with improvements from Tim Dysinger #3

Open
oubiwann opened this issue Jun 26, 2015 · 0 comments
Open

Update predicates with improvements from Tim Dysinger #3

oubiwann opened this issue Jun 26, 2015 · 0 comments

Comments

@oubiwann
Copy link
Contributor

@dysinger created some nice implementations of various functions and macros in his lfesl project (so far only his thrushing macros have been copied over). In particular, I think I've seen a couple improvements there over what I've done for one or two predicates. That should be reviewed more carefully and then updated with his code.

See https://github.com/dysinger/lfesl/tree/master/include

See the older version of this issue for more context:

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant