Skip to content

GitLab

  • Menu
Projects Groups Snippets
    • Loading...
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Sign in
  • N ndl
  • Project information
    • Project information
    • Activity
    • Labels
    • Planning hierarchy
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
  • Issues 0
    • Issues 0
    • List
    • Boards
    • Service Desk
    • Milestones
  • Merge requests 1
    • Merge requests 1
  • CI/CD
    • CI/CD
    • Pipelines
    • Jobs
    • Schedules
  • Deployments
    • Deployments
    • Environments
    • Releases
  • Monitor
    • Monitor
    • Incidents
  • Analytics
    • Analytics
    • Value stream
    • CI/CD
    • Repository
  • Wiki
    • Wiki
  • Snippets
    • Snippets
  • Activity
  • Graph
  • Create a new issue
  • Jobs
  • Commits
  • Issue Boards
Collapse sidebar
  • pro
  • ndl
  • Wiki
  • specification

specification · History

Page version Author Changes Last updated
06fdfef4 Mateusz Ślażyński
Adds BFS operator.
Nov 13, 2018
420bc12e Mateusz Ślażyński
Fix spelling
Nov 06, 2018
920e4ce3 Mateusz Ślażyński
Updates loop description
Nov 06, 2018
ff964d15 Mateusz Ślażyński
Adds custom predicates.
Nov 06, 2018
4cb07e44 Mateusz Ślażyński
Fix spelling
Nov 06, 2018
8a0b2c09 Mateusz Ślażyński
Adds semantic extensions to the query.
Nov 06, 2018
16d12aab Mateusz Ślażyński
Adds negated constraint.
Nov 06, 2018
6b45f764 Mateusz Ślażyński
Update formatting
Nov 06, 2018
7d3b791b Mateusz Ślażyński
Adds stack
Nov 06, 2018
3f431662 Mateusz Ślażyński
Update specification
Nov 06, 2018
eef7cc7b Mateusz Ślażyński
Adds stochastic mode to the query.
Nov 06, 2018
588ba070 Mateusz Ślażyński
Basic query specification
Nov 06, 2018
ab21c8e6 Mateusz Ślażyński
Adds semantics part to the model
Nov 06, 2018
95e0b9b1 Mateusz Ślażyński
Update specification
Oct 28, 2018
c5484c51 Mateusz Ślażyński
Update model specification
Oct 28, 2018
495a7a56 Mateusz Ślażyński
Adds short query specification.
Oct 18, 2018
0279001a Mateusz Ślażyński
msl created page: specification
Oct 18, 2018
Clone repository
  • 20181018
  • Theory
  • Home
  • knowledge base
  • specification