Permalink
Switch branches/tags
Nothing to show
Commits on Jul 14, 2018
  1. Update tutorial.rst

    stefanbohne committed Jul 14, 2018
    fixes in docs
Commits on Jun 16, 2018
  1. extended tutorial

    stefanbohne committed Jun 16, 2018
Commits on Mar 30, 2018
  1. more docs

    stefanbohne committed Mar 30, 2018
Commits on Mar 28, 2018
  1. more docs

    stefanbohne committed Mar 28, 2018
Commits on Jul 22, 2017
  1. ~ syntax

    stefanbohne committed Jul 22, 2017
Commits on Jul 17, 2017
  1. more docs

    stefanbohne committed Jul 17, 2017
  2. more syntax

    stefanbohne committed Jul 17, 2017
Commits on Jul 16, 2017
  1. more docs

    stefanbohne committed Jul 16, 2017
    - inline syntax highlighting disabled for now (has problems with backticks)
  2. syntax

    stefanbohne committed Jul 16, 2017
    - pi types
    - optional 'then' in if-statement
    - annotations
    - iff, implies, div
Commits on Jul 15, 2017
  1. readthedocs test

    stefanbohne committed Jul 15, 2017
  2. readthedocs test

    stefanbohne committed Jul 15, 2017
  3. readthedocs test

    stefanbohne committed Jul 15, 2017
  4. readthedocs test

    stefanbohne committed Jul 15, 2017
  5. readthedocs test

    stefanbohne committed Jul 15, 2017
  6. readthedocs stuff

    stefanbohne committed Jul 15, 2017
  7. more docs

    stefanbohne committed Jul 15, 2017
Commits on Jul 14, 2017
  1. more docs

    stefanbohne committed Jul 14, 2017
Commits on Jul 13, 2017
Commits on Jun 11, 2017
  1. some syntax coloring

    stefanbohne committed Jun 11, 2017
Commits on Jun 10, 2017
  1. syntax rework

    stefanbohne committed Jun 10, 2017
Commits on May 26, 2017
  1. more playing with syntax

    stefanbohne committed May 26, 2017
    - angle brackets for types
    - needed round brackets for expressions in types in Bynar
Commits on May 23, 2017
Commits on May 20, 2017
  1. Merge branch 'master' of https://github.com/stefanbohne/bynar

    stefanbohne committed May 20, 2017
    # Conflicts:
    #	org.bynar.xtext/src/org/bynar/xtext/validation/BynarLangValidator.scala
  2. - syntax towards dependent types

    stefanbohne committed May 20, 2017
    - simplify descriptions
    - bugfix: custom ==, != and !
    - docbook improvements
    - simplifier improvements
    - updated Xtext version
    - validate XML
Commits on Feb 2, 2017
  1. sort offsets and sizes

    stefanbohne committed Feb 2, 2017
  2. proper optimization of OrElseValue

    stefanbohne committed Feb 2, 2017
    - bugfix: simplifyAssociative didn't simplify arguments
    - bugfix: == and != don't work as patterns
    - improvement: don't use DeMorgan's law for now
Commits on Jan 22, 2017
  1. corrections

    stefanbohne committed Jan 22, 2017
Commits on Jan 21, 2017
Commits on Jan 20, 2017
Commits on Jan 17, 2017
Commits on Jan 13, 2017