GitHub - KrzysztofSakowski/verify: University project, prolog application that interprets simple imperative language and then detects whether is it safe to run this code in more than one thread.

KrzysztofSakowski / verify Public

Notifications You must be signed in to change notification settings
Fork 0
Star 0

University project, prolog application that interprets simple imperative language and then detects whether is it safe to run this code in more than one thread.

0 stars 0 forks Branches Tags Activity

Star

Notifications

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 23 Commits
tests		tests
verify.pl		verify.pl

About

University project, prolog application that interprets simple imperative language and then detects whether is it safe to run this code in more than one thread.