Commits

Branch selector

 master

User selector

All users

All time

Commit History

Commits on Jul 2, 2014

• adding jar (maven dependency did not workfor some reason)

  

  snadi

  committed
  d766136

  Copy full SHA for d766136

• merged upstream..

  Show description for d9a5068
  

  snadi

  committed
  d9a5068

  Copy full SHA for d9a5068

• merged upstream..

  Show description for dbe1902
  

  snadi

  committed
  dbe1902

  Copy full SHA for dbe1902

Commits on Jun 18, 2014

• fix stupid compilation bug

  ckaestne

  committed
  08c17c5

  Copy full SHA for 08c17c5

• Merge pull request #31 from ckaestne/cleanup_crefactor

  Show description for 2cf4332
  ckaestne

  committed
  2cf4332

  Copy full SHA for 2cf4332

• update feature models to support different dimacs conventions more flexibly

  Show description for fcf43d6
  ckaestne

  committed
  fcf43d6

  Copy full SHA for fcf43d6

• add x86 config file from kconfig reader as test resource

  

  Christian Kastner

  committed
  a65f2f2

  Copy full SHA for a65f2f2

Commits on Jun 11, 2014

• remove CRefactor; source code moved to own project Morpheus

  

  Jörg Liebig

  committed
  62df8a6

  Copy full SHA for 62df8a6

Commits on May 15, 2014

• type checking problem with enums nested and used in structs

  Show description for b126206
  ckaestne

  committed
  b126206

  Copy full SHA for b126206

Commits on May 14, 2014

• changed handling of approx.fm and full feature model

  Show description for b82efcb
  ckaestne

  committed
  b82efcb

  Copy full SHA for b82efcb

• support simplify also using a feature model instead of just an fexpr context

  ckaestne

  committed
  e6b0de0

  Copy full SHA for e6b0de0

• add __DATE__ and __TIME__ macros to xtc preprocessor

  ckaestne

  committed
  2ed496f

  Copy full SHA for 2ed496f

• eliminate compiler warning

  ckaestne

  committed
  6755222

  Copy full SHA for 6755222

• explaining formula

  ckaestne

  committed
  267ee6b

  Copy full SHA for 267ee6b

• cosmetic improvements in frontend

  ckaestne

  committed
  6fb3448

  Copy full SHA for 6fb3448

• fix description of how to use sbt-idea

  Show description for ebe7ab8
  ckaestne

  committed
  ebe7ab8

  Copy full SHA for ebe7ab8

• minor changes to frontend

  ckaestne

  committed
  b5ad813

  Copy full SHA for b5ad813

Commits on Apr 9, 2014

• fix fexpr propagation error

  Show description for 24d231c
  ckaestne

  committed
  24d231c

  Copy full SHA for 24d231c

• update xtc (lexer issue)

  ckaestne

  committed
  4a40903

  Copy full SHA for 4a40903

Commits on Apr 3, 2014

• avoid false positive lexer errors with xtc

  ckaestne

  committed
  32c392a

  Copy full SHA for 32c392a

• adjust Frontend text output for consistency

  ckaestne

  committed
  d9ed30a

  Copy full SHA for d9ed30a

• fix to use the BDD library JDD to avoid error messages

  ckaestne

  committed
  e35fff7

  Copy full SHA for e35fff7

• slightly changed frontend output to indicate phases

  ckaestne

  committed
  f9b77ee

  Copy full SHA for f9b77ee

• fix lexer changes in tests

  ckaestne

  committed
  9ac88d8

  Copy full SHA for 9ac88d8

• fix remaining test cases

  ckaestne

  committed
  a199365

  Copy full SHA for a199365

• refining error handling

  ckaestne

  committed
  490bb29

  Copy full SHA for 490bb29

• adjust testing infrastructure to support partial lexer failures

  ckaestne

  committed
  fb3f468

  Copy full SHA for fb3f468

Commits on Apr 2, 2014

• redesign of the lexer interface

  Show description for a9875f2
  ckaestne

  committed
  a9875f2

  Copy full SHA for a9875f2

• removing old main methods

  Show description for 188e917
  ckaestne

  committed
  188e917

  Copy full SHA for 188e917

• refactor for nicer getVersion abstraction

  ckaestne

  committed
  a73acd5

  Copy full SHA for a73acd5

Commits on Mar 26, 2014

• replace deprecated method call from updated testing library

  Show description for 25a3090
  ckaestne

  committed
  25a3090

  Copy full SHA for 25a3090

• bump sbt version to 0.13.1

  ckaestne

  committed
  4400448

  Copy full SHA for 4400448

• fixed regression

  Show description for fc500e2
  ckaestne

  committed
  fc500e2

  Copy full SHA for fc500e2

• add inactive test for future checking

  ckaestne

  committed
  01a7ca7

  Copy full SHA for 01a7ca7

• update version numbers of scala and dependencies

  ckaestne

  committed
  4364b42

  Copy full SHA for 4364b42

Pagination

Previous

Next