]> git.codecow.com Git - Monocypher.git/commit
projects / Monocypher.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f34934d) | patch
Run the TIS interpreter in 2 commands instead of 3.
authorLoup Vaillant <loup@loup-vaillant.fr>
Sun, 17 Jun 2018 17:19:20 +0000 (19:19 +0200)
committerLoup Vaillant <loup@loup-vaillant.fr>
Sun, 17 Jun 2018 17:19:20 +0000 (19:19 +0200)
commitdb2f87049082e592e150b9db9d80703e54e4f6a1
tree049039b7f22bc330321355020e162db0f45af685tree | snapshot
parentf34934db3fd60e69de7044d485458e25dd9e5fa7commit | diff
Run the TIS interpreter in 2 commands instead of 3.

The TIS interpreter doesn't need to be run from inside the
formal-analysis folder. We can refer to the relevant C files directly.
This simplify the README a tiny little bit.
README.md diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.