Commits

Branch selector

 master

User selector

All users

All time

Commit History

Commits on Sep 24, 2017

• Static semantics (#3)

  Show description for b53bcc2
  bartist

  authored
  b53bcc2

  Copy full SHA for b53bcc2

Commits on May 18, 2017

• lexical tests (#2)

  Show description for cd9a789
  bartist

  authored
  cd9a789

  Copy full SHA for cd9a789

• Merge pull request #1 from bartist/fix/typo

  Show description for 7bde931
  bartist

  authored
  7bde931

  Copy full SHA for 7bde931

Commits on May 9, 2017

• fixed typo to make language syntax-error free

  bartist

  committed
  4fbf371

  Copy full SHA for 4fbf371

Commits on Sep 13, 2016

• depend on libspoofax

  eelcovisser

  committed
  dd83ab9

  Copy full SHA for dd83ab9

• move dynamic semantics to subdir

  eelcovisser

  committed
  31b64df

  Copy full SHA for 31b64df

• rudimentary outline

  eelcovisser

  committed
  db82f1d

  Copy full SHA for db82f1d

• move static semantics to subdir

  eelcovisser

  committed
  6d481b8

  Copy full SHA for 6d481b8

• testing syntax

  eelcovisser

  committed
  76a5a74

  Copy full SHA for 76a5a74

• use new nabl2 interface

  eelcovisser

  committed
  7fe049b

  Copy full SHA for 7fe049b

• turn off analysis

  eelcovisser

  committed
  597a704

  Copy full SHA for 597a704

• clean up syntax definition

  eelcovisser

  committed
  3796eab

  Copy full SHA for 3796eab

• more examples

  eelcovisser

  committed
  2440563

  Copy full SHA for 2440563

Commits on Aug 24, 2016

• types for Ref (reference) and array access

  eelcovisser

  committed
  7f07c5c

  Copy full SHA for 7f07c5c

• re-order rules

  eelcovisser

  committed
  7f5b00f

  Copy full SHA for 7f5b00f

• prettier

  eelcovisser

  committed
  9fa9666

  Copy full SHA for 9fa9666

• semantic types

  eelcovisser

  committed
  9cf995e

  Copy full SHA for 9cf995e

• types for operators

  eelcovisser

  committed
  9142401

  Copy full SHA for 9142401

• moved type list constructors to library

  eelcovisser

  committed
  02a6e13

  Copy full SHA for 02a6e13

• builder for showing desugared AST

  eelcovisser

  committed
  8ff98a8

  Copy full SHA for 8ff98a8

• don't lower-case type identifiers for now

  eelcovisser

  committed
  ce21e2e

  Copy full SHA for ce21e2e

• map operations as library

  eelcovisser

  committed
  0870d8b

  Copy full SHA for 0870d8b

• ignore files generated by Format

  eelcovisser

  committed
  da92292

  Copy full SHA for da92292

• syntax for semantic types to get pretty-printing; not yet in use

  eelcovisser

  committed
  92ae54d

  Copy full SHA for 92ae54d

• make integer and boolean identifiers again

  eelcovisser

  committed
  175ecdd

  Copy full SHA for 175ecdd

• improvements for completion

  eelcovisser

  committed
  24e436f

  Copy full SHA for 24e436f

• comment symbols

  eelcovisser

  committed
  1050352

  Copy full SHA for 1050352

• examples for static analysis

  eelcovisser

  committed
  d70fcf8

  Copy full SHA for d70fcf8

• dead code removal

  eelcovisser

  committed
  7661c9a

  Copy full SHA for 7661c9a

• priority of not

  eelcovisser

  committed
  f598960

  Copy full SHA for f598960

• constructor Eq => EQ

  eelcovisser

  committed
  296d0d1

  Copy full SHA for 296d0d1

• optional terminator at end of begin ... end block

  eelcovisser

  committed
  7f0773e

  Copy full SHA for 7f0773e

• refining constraint generation

  eelcovisser

  committed
  b332336

  Copy full SHA for b332336

• desugaring formal parameter lists

  eelcovisser

  committed
  3426d1b

  Copy full SHA for 3426d1b

• another resolution test

  eelcovisser

  committed
  5f79490

  Copy full SHA for 5f79490

Pagination

Previous

Next