This website requires JavaScript.
Explore
Help
Sign In
QPQ-AG
/
sophia
Watch
11
Star
0
Fork
0
You've already forked sophia
Code
Issues
43
Pull Requests
7
Actions
Packages
Projects
Releases
16
Wiki
Activity
Add AENS.lookup and Oracle.expiry
#705
Merged
zxq9
merged 4 commits from
GH-188-AENS_lookup
into
master
2020-02-03 22:37:56 +09:00
Conversation
3
Commits
4
Files Changed
9
+60
-22
4 Commits
Author
SHA1
Message
Date
Hans Svensson
bb79e7dd89
Update aebytecode reference
2020-02-03 14:26:13 +01:00
Hans Svensson
c3426f0e65
Add AENS.lookup
...
Also move Pointee-constructors inside AENS namespace.
2020-02-03 12:52:00 +01:00
Hans Svensson
db01e237c1
Add Oracle.expiry
2020-02-03 12:24:27 +01:00
Hans Svensson
760d2841d1
From Iris (with AENS.update) AENS.resolve is not Pure
2020-02-03 12:22:34 +01:00