Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Apr 27, 2020

• added JavaGeom with the identified VPs and Varants using VM-DSL

  ternava

  committed
  9c7414b

  Copy full SHA for 9c7414b

Commits on Mar 7, 2020

• Delete _config.yml

  ternava

  authored
  22d6ddf

  Copy full SHA for 22d6ddf

• Update _config.yml

  ternava

  authored
  78ce7b6

  Copy full SHA for 78ce7b6

• Update _config.yml

  ternava

  authored
  2905cce

  Copy full SHA for 2905cce

• Set theme jekyll-theme-minimal

  ternava

  committed
  41934e7

  Copy full SHA for 41934e7

Commits on Jul 27, 2018

• Set theme jekyll-theme-minimal

  ternava

  committed
  9977942

  Copy full SHA for 9977942

• Set theme jekyll-theme-slate

  ternava

  committed
  81db52b

  Copy full SHA for 81db52b

Commits on Mar 30, 2017

• AGM improved

  ternava

  committed
  c52b5f3

  Copy full SHA for c52b5f3

Commits on Mar 26, 2017

• added new SPL

  ternava

  committed
  4e2d143

  Copy full SHA for 4e2d143

• added new SPL

  ternava

  committed
  a9151ef

  Copy full SHA for a9151ef

Commits on Mar 5, 2017

• fixed 1-to-m mapping!

  ternava

  committed
  ae90d0f

  Copy full SHA for ae90d0f

• fixed the last line to .dimacs conversions

  ternava

  committed
  fde0b15

  Copy full SHA for fde0b15

• fixed the opt_f/vp nr of configurations!

  ternava

  committed
  0b8cb35

  Copy full SHA for 0b8cb35

Commits on Mar 4, 2017

• added the last step of checking!

  ternava

  committed
  705ac3f

  Copy full SHA for 705ac3f

Commits on Mar 3, 2017

• added the code for isDead and isCommon checking

  ternava

  committed
  8ccd397

  Copy full SHA for 8ccd397

Commits on Mar 2, 2017

• fixed the nrVariables in dimacs files

  ternava

  committed
  3d051d8

  Copy full SHA for 3d051d8

Commits on Mar 1, 2017

• removed the "extra" root f/vp, written in the .cnf files

  ternava

  committed
  c0e49b9

  Copy full SHA for c0e49b9

• fiexed the nrVariables...

  ternava

  committed
  ce07365

  Copy full SHA for ce07365

• Consistency Checking part...

  ternava

  committed
  d23567e

  Copy full SHA for d23567e

• removed duplicated implementation

  ternava

  committed
  effda23

  Copy full SHA for effda23

• Trace Links issue, fixed

  ternava

  committed
  5e0fad5

  Copy full SHA for 5e0fad5

Commits on Feb 28, 2017

• integrating the `traces` module

  ternava

  committed
  d4f6a2d

  Copy full SHA for d4f6a2d

• fixed the ALT conversion from DSL to CNF

  ternava

  committed
  42342a9

  Copy full SHA for 42342a9

• added the TVMs for the SPL

  ternava

  committed
  7f6f3da

  Copy full SHA for 7f6f3da

Commits on Feb 27, 2017

• changes during the testing of code in a real SPL

  ternava

  committed
  1b5691e

  Copy full SHA for 1b5691e

Commits on Feb 26, 2017

• some SPL examples in Propositional logic

  ternava

  committed
  6968fd5

  Copy full SHA for 6968fd5

• some SPL examples in Propositional logic

  ternava

  committed
  f28333a

  Copy full SHA for f28333a

• part of DSL

  ternava

  committed
  f3043c0

  Copy full SHA for f3043c0

Commits on Feb 25, 2017

• basic conversion methods to CNF and then Dimacs format

  ternava

  committed
  6761358

  Copy full SHA for 6761358

• SAT4j setup

  ternava

  committed
  1a249e1

  Copy full SHA for 1a249e1

• to cnf converter

  ternava

  committed
  0ec6ed5

  Copy full SHA for 0ec6ed5

• initial commit

  ternava

  committed
  28644c4

  Copy full SHA for 28644c4

• Initial commit

  ternava

  committed
  76f0d8e

  Copy full SHA for 76f0d8e