These commits are when the Protocol Buffers files have changed: (only the last 100 relevant commits are shown)
| Commit: | 32510f8 | |
|---|---|---|
| Author: | valis | |
Fix pretty printing of infix coclause functions
| Commit: | 34f953b | |
|---|---|---|
| Author: | valis | |
Fix a bug with overridden fields
The documentation is generated from this commit.
| Commit: | 776c2f0 | |
|---|---|---|
| Author: | valis | |
Serialize definitions with errors
| Commit: | d9cc654 | |
|---|---|---|
| Author: | valis | |
| Committer: | valis | |
Fix a bug with \box expressions
| Commit: | d711e36 | |
|---|---|---|
| Author: | valis | |
Implement QName, ConcreteExpr and typecheck meta
| Commit: | 2503b48 | |
|---|---|---|
| Author: | valis | |
Implement String type
| Commit: | 58180ed | |
|---|---|---|
| Author: | valis | |
Implement typed parameters in metas
| Commit: | 24aaaaa | |
|---|---|---|
| Author: | valis | |
Fix a bug with serialization of patterns
| Commit: | f9c6c94 | |
|---|---|---|
| Author: | Valis | |
Make projections of fields into boxed expressions
| Commit: | 246854a | |
|---|---|---|
| Author: | Valis | |
Implement \box expressions
| Commit: | df942e1 | |
|---|---|---|
| Author: | Valis | |
Implement \efunc
| Commit: | 8a55277 | |
|---|---|---|
| Author: | Valis | |
Remember user-specified level of a field
| Commit: | 0242368 | |
|---|---|---|
| Author: | Valis | |
Fix a bug with default implementations
| Commit: | 9c8b446 | |
|---|---|---|
| Author: | Valis | |
| Committer: | Valis | |
Print goal name in pretty printer
| Commit: | d4852a0 | |
|---|---|---|
| Author: | Valis | |
Fix a bug with fields from \where-variables in deserialization
| Commit: | dda3e73 | |
|---|---|---|
| Author: | Valis | |
Refactor Definition and implement axioms
| Commit: | eec53f6 | |
|---|---|---|
| Author: | Valis | |
Support classes
| Commit: | ebaba54 | |
|---|---|---|
| Author: | valis | |
Add tests and a failed attempt to implement external variables
| Commit: | 7beee3d | |
|---|---|---|
| Author: | valis | |
| Committer: | valis | |
Fix some issues with \Sigma-properties
| Commit: | 09fca06 | |
|---|---|---|
| Author: | Konstantin Nisht | |
| Committer: | valis | |
Stricter indication of sigma field boxing
| Commit: | 8748058 | |
|---|---|---|
| Author: | Konstantin Nisht | |
| Committer: | valis | |
Support \field and \property for sigma in Serialization
| Commit: | d98bba1 | |
|---|---|---|
| Author: | valis | |
| Committer: | valis | |
Remove field level parameters
| Commit: | 6641d6d | |
|---|---|---|
| Author: | valis | |
| Committer: | valis | |
Fix some problems with derived level parameters
| Commit: | 2c00ada | |
|---|---|---|
| Author: | valis | |
Fix some issues with \Sigma-properties
| Commit: | 78e7899 | |
|---|---|---|
| Author: | Konstantin Nisht | |
| Committer: | Konstantin Nisht | |
Stricter indication of sigma field boxing
| Commit: | fb4f9c4 | |
|---|---|---|
| Author: | Konstantin Nisht | |
Support \field and \property for sigma in Serialization
| Commit: | 13ae78b | |
|---|---|---|
| Author: | valis | |
| Committer: | valis | |
Remove levels from fieldCalls
| Commit: | 87f2efb | |
|---|---|---|
| Author: | valis | |
| Committer: | valis | |
Calculate omega fields properly
| Commit: | f6f392e | |
|---|---|---|
| Author: | valis | |
Check only required arguments in minimizeLevels
| Commit: | 1bd8f6c | |
|---|---|---|
| Author: | valis | |
Calculate universe kind of classes properly
| Commit: | c8ab8a0 | |
|---|---|---|
| Author: | valis | |
| Committer: | valis | |
Revert "Remove levels from fieldCalls" This reverts commit a85df1234fb5ecab3d4f4e63a0e6f0b4d2423596.
| Commit: | 3979bff | |
|---|---|---|
| Author: | valis | |
Fix a bug with levels
| Commit: | 237f37d | |
|---|---|---|
| Author: | valis | |
Fix a bug with field covariance
| Commit: | c9486bd | |
|---|---|---|
| Author: | valis | |
Split TypeCoerceExpression into constructor and destructor
| Commit: | fffaf53 | |
|---|---|---|
| Author: | valis | |
Implement PersistentEvaluatingBinding
| Commit: | 9557db8 | |
|---|---|---|
| Author: | valis | |
| Committer: | valis | |
Store field implementations in classCalls in order
| Commit: | 136f0d5 | |
|---|---|---|
| Author: | valis | |
Implement AtExpression
| Commit: | 52d3ffb | |
|---|---|---|
| Author: | valis | |
Implement PathExpression
| Commit: | e51947c | |
|---|---|---|
| Author: | valis | |
Implement dependent arrays
| Commit: | a85df12 | |
|---|---|---|
| Author: | valis | |
Remove levels from fieldCalls
| Commit: | 0474d08 | |
|---|---|---|
| Author: | valis | |
| Committer: | valis | |
Fix a bug in serialization
| Commit: | 6e2b813 | |
|---|---|---|
| Author: | valis | |
| Committer: | valis | |
Fix serialization of levels
| Commit: | 353285f | |
|---|---|---|
| Author: | valis | |
Fix serialization
| Commit: | c039b22 | |
|---|---|---|
| Author: | valis | |
Begin implementing super class levels
| Commit: | 7451f62 | |
|---|---|---|
| Author: | valis | |
Separate Levels and LevelPair
| Commit: | 2482406 | |
|---|---|---|
| Author: | valis | |
| Committer: | valis | |
Begin implementing multi-levels
| Commit: | a04c76b | |
|---|---|---|
| Author: | valis | |
Implement an optimization Hide implementations of properties in result types of functions
| Commit: | ba601e1 | |
|---|---|---|
| Author: | valis | |
| Committer: | valis | |
Fix a bug with absurd patterns
| Commit: | dd14565 | |
|---|---|---|
| Author: | valis | |
Fix serialization of arrays
| Commit: | ddcddf2 | |
|---|---|---|
| Author: | valis | |
| Committer: | valis | |
Implement arrays Fixes #292
| Commit: | 51c5f9f | |
|---|---|---|
| Author: | valis | |
| Committer: | valis | |
Implement \type
| Commit: | 123bad5 | |
|---|---|---|
| Author: | valis | |
Use the same instance set in coclause functions as in the parent definition
| Commit: | b0d0756 | |
|---|---|---|
| Author: | valis | |
Check for cycles between default implementations
| Commit: | eefbbcf | |
|---|---|---|
| Author: | valis | |
Track dependencies between default implementations
| Commit: | 27f0c0b | |
|---|---|---|
| Author: | valis | |
Implement \have
| Commit: | 327f314 | |
|---|---|---|
| Author: | valis | |
Fix a bug with serialization of conCalls
| Commit: | d1ca1f3 | |
|---|---|---|
| Author: | valis | |
| Committer: | valis | |
Implement \coerce to and from Pi-types, Sigma-types, and universes
| Commit: | 3060582 | |
|---|---|---|
| Author: | valis | |
| Committer: | valis | |
Implement \default implementations
| Commit: | c83d1c5 | |
|---|---|---|
| Author: | valis | |
Serialize references to meta
| Commit: | 27b47d6 | |
|---|---|---|
| Author: | valis | |
Replace \func! and \cons! with \strict parameters
| Commit: | 088465c | |
|---|---|---|
| Author: | valis | |
| Committer: | valis | |
Implement strict functions
| Commit: | d64468f | |
|---|---|---|
| Author: | valis | |
Finish rewriting visitors
| Commit: | 091763a | |
|---|---|---|
| Author: | valis | |
Rewrite some visitors
| Commit: | 4a71b4e | |
|---|---|---|
| Author: | valis | |
Simplify InstanceProvider
| Commit: | a327237 | |
|---|---|---|
| Author: | valis | |
Remove ConcreteProvider from DesugarVisitor
| Commit: | db64b35 | |
|---|---|---|
| Author: | valis | |
Do not serialize resolver info
| Commit: | 6b6b1e4 | |
|---|---|---|
| Author: | valis | |
Refactor TypedReferable
| Commit: | 51e1873 | |
|---|---|---|
| Author: | valis | |
Store truncation level of data types
| Commit: | 2e80c75 | |
|---|---|---|
| Author: | valis | |
| Committer: | valis | |
Add UserDataHolder and serialization to API
| Commit: | 0ce9b58 | |
|---|---|---|
| Author: | Valery Isaev | |
Add the set of recursive definitions
| Commit: | f6bed46 | |
|---|---|---|
| Author: | Valery Isaev | |
Add instance kind for functions
| Commit: | bc09f16 | |
|---|---|---|
| Author: | Valery Isaev | |
Check conditions for expressions embedded in goals
| Commit: | 677b048 | |
|---|---|---|
| Author: | Valery Isaev | |
Add explicitness flag to AppExpression
| Commit: | 30ffba9 | |
|---|---|---|
| Author: | valis | |
Merge branch 'master' into lang_ext
| Commit: | f92a740 | |
|---|---|---|
| Author: | ice1000 | |
Reorganize the whole project
| Commit: | eb022be | |
|---|---|---|
| Author: | Valery Isaev | |
Restrict \use \level for parameterized classes
| Commit: | abe6645 | |
|---|---|---|
| Author: | Valery Isaev | |
Rewrite ElimTree
| Commit: | 1ca95ba | |
|---|---|---|
| Author: | Valery Isaev | |
Fix a few bugs in serialization
| Commit: | b11c054 | |
|---|---|---|
| Author: | Valery Isaev | |
Split UniverseKind into p- and h-level kinds
| Commit: | 979d4ab | |
|---|---|---|
| Author: | valis | |
Rewrite calculation of covariant parameters and replace hasUniverse with UniverseKind
| Commit: | 7cef443 | |
|---|---|---|
| Author: | valis | |
Double check \use \level of classes
| Commit: | 130bce7 | |
|---|---|---|
| Author: | Valery Isaev | |
Implement double checker for classes
| Commit: | f44cfe1 | |
|---|---|---|
| Author: | Valery Isaev | |
Implement double checker for data types
| Commit: | 320512c | |
|---|---|---|
| Author: | valis | |
Hide body instead of deleting it
| Commit: | 9c913e7 | |
|---|---|---|
| Author: | Valery Isaev | |
Do not store errors in ErrorExpression
| Commit: | 21c1aa4 | |
|---|---|---|
| Author: | valis | |
Finish implementing \override
| Commit: | 5978f48 | |
|---|---|---|
| Author: | valis | |
Remove obsolete code
| Commit: | 6ca47df | |
|---|---|---|
| Author: | valis | |
| Committer: | valis | |
Begin adding \this parameter for implementations in anonymous extensions
| Commit: | 5c4d44c | |
|---|---|---|
| Author: | valis | |
| Committer: | valis | |
Replace LamExpression with AbsExpression in field implementations
| Commit: | 09c4d39 | |
|---|---|---|
| Author: | Valery Isaev | |
Fix a bug with serialization of defined constructors
| Commit: | ae8c3f2 | |
|---|---|---|
| Author: | valis | |
Fix serialization
| Commit: | f8f47f7 | |
|---|---|---|
| Author: | valis | |
Implement typechecking of \cons
| Commit: | fb70ede | |
|---|---|---|
| Author: | valis | |
| Committer: | valis | |
Add renew expression
| Commit: | 9b2e009 | |
|---|---|---|
| Author: | valis | |
Add information to ClassConstructor
| Commit: | fcb1591 | |
|---|---|---|
| Author: | valis | |
Replace LeafElimTree with Expression
| Commit: | bc8b16f | |
|---|---|---|
| Author: | Valery Isaev | |
Implement \eval and \peval for \scase expressions
| Commit: | 4c89904 | |
|---|---|---|
| Author: | valis | |
Implement \scase
| Commit: | e1f0855 | |
|---|---|---|
| Author: | valis | |
Allow pattern matching on squashed data types only in \sfunc
| Commit: | 9bf8222 | |
|---|---|---|
| Author: | valis | |
Implement \eval and \peval
| Commit: | 5c20f10 | |
|---|---|---|
| Author: | Valery Isaev | |
Add \sfunc