Created Feature: Allow boolean value fields. [5674]
The bool keyword is currently reserved for predicates. Allow it to be applied to fields as well.
View ArticleCreated Feature: Import factual models for modular decomposition [5675]
A factual model currently is all in one file. The facts in the model can only refer to other facts in the same model. Implement the import keyword to reference facts from other models, optionally...
View ArticleCreated Feature: Inheritance [5676]
Define an inheritance relationship between facts. This allows future modules to extend referenced facts by defining derived facts that participate in a predecessor's query. The query does not know the...
View ArticleCreated Issue: Abstract facts [5677]
Allow a fact to be declared abstract. An abstract fact may have abstract queries or predicates. Abstract facts cannot be instantiated. Derived facts must implement all abstract queries and predicates,...
View ArticleCreated Issue: Interfaces [5678]
Like a fact, an interface can define predecessors, fields, queries, and predicates. Unlike a fact, all members (including predecessors and fields) are abstract. A fact implementing an interface must...
View ArticleCreated Issue: Store facts from the server before trying to re-hydrate them...
If a peer is on a newer version, the client can receive facts that it does not yet understand. These should be stored and ignored until they can be understood after an upgrade.
View ArticleCreated Issue: Use a where clause after publish to indicate a loss of...
When a fact is posted that makes a publish where clause false, inform the server to remove the message from the queue.
View ArticleClosed Issue: Store facts from the server before trying to re-hydrate them...
If a peer is on a newer version, the client can receive facts that it does not yet understand. These should be stored and ignored until they can be understood after an upgrade.Comments:
View ArticleClosed Issue: Use a where clause after publish to indicate a loss of interest...
<p>When a fact is posted that makes a publish where clause false, inform the server to remove the message from the queue.</p>Comments: Implemented unpublish feature....
View ArticleCreated Unassigned: Open source distributor [7536]
Currently the only distributor for Correspondence is hosted by Michael Perry. Create an open source distributor so that app developers can self host.
View ArticleCreated Unassigned: Fact manifest [7537]
To solve the two problems of versioning and integration, compile multiple fact files via a fact manifest.The manifest is a file named Model.fman. If this file is present, it takes precedence over...
View ArticleClosed Unassigned: Open source distributor [7536]
Currently the only distributor for Correspondence is hosted by Michael Perry. Create an open source distributor so that app developers can self host.Comments: Please fork the distributor from...
View ArticleCreated Unassigned: Security via factual keywords. [7608]
Use the "principal" keyword in the key of a fact to declare that it participates in asymmetric encryption. The fact's key includes a public key. The "principal" keyword must be combined with the...
View Article