antitypical/TesseractCore issues and pull requests

#87 - Opaque types

Pull Request - State: open - Opened by robrix over 9 years ago

#86 - Inference fixes

Pull Request - State: closed - Opened by robrix over 9 years ago

#85 - Term value equality

Pull Request - State: closed - Opened by robrix over 9 years ago

#84 - Type graphs

Pull Request - State: closed - Opened by robrix over 9 years ago

#83 - Value lookup table

Pull Request - State: closed - Opened by robrix over 9 years ago

#82 - Patch

Pull Request - State: closed - Opened by robrix over 9 years ago

#81 - Diff parameterized by equality

Pull Request - State: closed - Opened by robrix over 9 years ago

#80 - Graph node diffs are unordered

Pull Request - State: closed - Opened by robrix over 9 years ago

#79 - Ch-ch-changes

Pull Request - State: closed - Opened by robrix over 9 years ago

#78 - Reify endpoints

Pull Request - State: closed - Opened by robrix over 9 years ago

#77 - Arbitrary collections of nodes

Pull Request - State: closed - Opened by robrix over 9 years ago

#76 - Remove node views and edge views

Pull Request - State: closed - Opened by robrix over 9 years ago

#75 - Remove DOT import/export

Pull Request - State: closed - Opened by robrix over 9 years ago - 3 comments

#74 - Graph nodes can be of arbitrary CollectionType

Issue - State: closed - Opened by robrix over 9 years ago - 1 comment
Labels: enhancement

#73 - Value equality

Pull Request - State: closed - Opened by robrix over 9 years ago

#72 - Array of nodes instead of dictionary

Issue - State: closed - Opened by robrix over 9 years ago - 1 comment

#71 - Value destructor usability

Pull Request - State: closed - Opened by robrix over 9 years ago

#70 - Symbol case analysis

Pull Request - State: closed - Opened by robrix over 9 years ago

#69 - Identifier locality

Pull Request - State: closed - Opened by robrix over 9 years ago

#68 - Identifiers should be incremented per graph, not globally

Issue - State: closed - Opened by robrix over 9 years ago
Labels: enhancement

#67 - Literals

Pull Request - State: closed - Opened by robrix over 9 years ago

#66 - Fixes for Manifold updates

Pull Request - State: closed - Opened by robrix over 9 years ago

#65 - Produce types at every node

Pull Request - State: closed - Opened by robrix over 9 years ago

#64 - Instantiated types

Pull Request - State: closed - Opened by robrix over 9 years ago

#63 - Rework parameters/returns

Issue - State: open - Opened by robrix over 9 years ago - 2 comments

#62 - Graph wrapping constant has incorrect type

Issue - State: closed - Opened by robrix over 9 years ago - 1 comment
Labels: bug

#61 - Type diffing

Pull Request - State: closed - Opened by robrix over 9 years ago - 2 comments

#60 - Constant graph typing

Pull Request - State: closed - Opened by robrix over 9 years ago

#59 - Graph type inference

Pull Request - State: closed - Opened by robrix over 9 years ago

#58 - Evaluation simplification

Pull Request - State: closed - Opened by robrix over 9 years ago

#57 - Manifold

Pull Request - State: closed - Opened by robrix over 9 years ago

#56 - Migrate to Manifold for Type &c.

Issue - State: closed - Opened by robrix over 9 years ago

#55 - Diff cleanup & similar things.

Pull Request - State: closed - Opened by robrix over 9 years ago

#54 - Differentials

Pull Request - State: closed - Opened by robrix over 9 years ago - 2 comments

#53 - Function symbols

Pull Request - State: closed - Opened by robrix over 9 years ago

#52 - Environment conforms to CollectionType.

Pull Request - State: closed - Opened by robrix over 9 years ago

#51 - Swift 1.2

Pull Request - State: closed - Opened by robrix over 9 years ago - 1 comment

#50 - Extract `Graph` and `Edge` into a µframework

Issue - State: open - Opened by robrix over 9 years ago

#49 - [WIP] Import and export identifiers

Pull Request - State: closed - Opened by robrix over 9 years ago - 1 comment

#48 - Node & edge views

Pull Request - State: closed - Opened by robrix over 9 years ago

#47 - Degree

Pull Request - State: closed - Opened by robrix over 9 years ago

#46 - Import and export graph names.

Pull Request - State: closed - Opened by amackworth over 9 years ago - 4 comments

#45 - Graph is Printable.

Pull Request - State: closed - Opened by robrix over 9 years ago

#44 - Exporting to DOT skips unconnected nodes

Issue - State: closed - Opened by robrix over 9 years ago
Labels: bug

#43 - Graph should conform to Printable

Issue - State: closed - Opened by robrix over 9 years ago
Labels: enhancement

#42 - Import and export DOT with a graph name

Issue - State: closed - Opened by robrix over 9 years ago
Labels: enhancement

#41 - Export edges to DOT with headlabel/taillabel attributes for the indices

Issue - State: closed - Opened by robrix over 9 years ago - 1 comment
Labels: enhancement

#40 - Parameterize Graph over the Edge type

Issue - State: open - Opened by robrix over 9 years ago
Labels: enhancement

#39 - Swift 1.2

Pull Request - State: closed - Opened by robrix over 9 years ago - 1 comment

#38 - Model types with graphs

Issue - State: closed - Opened by robrix over 9 years ago
Labels: enhancement

#37 - `CONTRIBUTING.md` file

Issue - State: open - Opened by robrix over 9 years ago
Labels: enhancement

#36 - Importing .dot files

Pull Request - State: closed - Opened by amackworth over 9 years ago - 17 comments

#35 - Tidy exporting

Pull Request - State: closed - Opened by robrix over 9 years ago - 2 comments

#34 - Export graphs to .dot files.

Pull Request - State: closed - Opened by amackworth over 9 years ago - 5 comments

#33 - Decode `Graph` from .dot

Issue - State: closed - Opened by robrix over 9 years ago - 2 comments
Labels: enhancement

#32 - [WIP] Typechecking

Pull Request - State: closed - Opened by robrix over 9 years ago - 1 comment

#31 - [WIP] Simplify graph traversal

Pull Request - State: closed - Opened by robrix over 9 years ago

#30 - Add graphs to the environment

Pull Request - State: closed - Opened by robrix over 9 years ago

#29 - By-need evaluation (?)

Issue - State: open - Opened by robrix over 9 years ago
Labels: enhancement

#28 - Bind graphs in the environment

Issue - State: closed - Opened by robrix over 9 years ago
Labels: enhancement

#27 - Rename to tesseract core

Pull Request - State: closed - Opened by robrix over 9 years ago

#26 - Out-of-order partial application

Issue - State: open - Opened by robrix over 9 years ago
Labels: enhancement

#25 - Typecheck graphs

Issue - State: closed - Opened by robrix over 9 years ago - 1 comment
Labels: enhancement

#24 - Graph<Node> normal form?

Issue - State: closed - Opened by robrix over 9 years ago - 1 comment
Labels: enhancement

#23 - Rename to TesseractCore

Issue - State: closed - Opened by robrix over 9 years ago
Labels: enhancement

#22 - Radar repro for nondeterminstic optional binding

Pull Request - State: closed - Opened by robrix over 9 years ago - 1 comment

#21 - Graph evaluation

Pull Request - State: closed - Opened by robrix over 9 years ago - 1 comment

#20 - Simplify identifiers

Pull Request - State: closed - Opened by robrix over 9 years ago

#19 - Overlay `SourceIdentifier`/`DestinationIdentifier` in node data instead of identifier?

Issue - State: closed - Opened by robrix over 9 years ago
Labels: refactor

#18 - Graph traversal

Pull Request - State: closed - Opened by robrix over 9 years ago

#17 - Graph identifiers

Pull Request - State: closed - Opened by robrix over 9 years ago

#16 - Graph traversal

Issue - State: closed - Opened by robrix over 9 years ago
Labels: enhancement

#15 - Graph data.

Pull Request - State: closed - Opened by robrix over 9 years ago

#14 - Graph deltas

Issue - State: closed - Opened by robrix over 9 years ago - 3 comments
Labels: enhancement

#13 - Syntax for constructing graphs

Issue - State: closed - Opened by robrix over 9 years ago - 3 comments
Labels: enhancement

#12 - Typecheck applications

Pull Request - State: closed - Opened by robrix over 9 years ago

#11 - Typechecking of applications is unimplemented

Issue - State: closed - Opened by robrix over 9 years ago
Labels: bug

#10 - Compile graphs to LLVM bitcode

Issue - State: open - Opened by robrix over 9 years ago
Labels: enhancement

#9 - Allow the assignment of types to parameters

Issue - State: closed - Opened by robrix almost 10 years ago - 1 comment
Labels: enhancement

#8 - [WIP] Graph → Term & Type

Pull Request - State: closed - Opened by robrix almost 10 years ago - 1 comment

#7 - Graphs

Pull Request - State: closed - Opened by robrix almost 10 years ago

#6 - Unit

Pull Request - State: closed - Opened by robrix almost 10 years ago

#5 - Bump either and tidy

Pull Request - State: closed - Opened by robrix almost 10 years ago

#4 - Type inference

Issue - State: closed - Opened by robrix almost 10 years ago - 1 comment
Labels: enhancement

#3 - Model evaluation of graphs with multiple returns

Issue - State: open - Opened by robrix almost 10 years ago - 2 comments
Labels: enhancement

#2 - Evaluation

Pull Request - State: closed - Opened by robrix almost 10 years ago - 1 comment

#1 - Typechecking results

Pull Request - State: closed - Opened by robrix almost 10 years ago

GitHub / antitypical/TesseractCore issues and pull requests