Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Jan 4, 2018

• Update README.md

  herrBez

  authored
  e37c9f7

  Copy full SHA for e37c9f7

• Update and rename README to README.md

  herrBez

  authored
  43b6c4f

  Copy full SHA for 43b6c4f

Commits on Apr 7, 2017

• Add comments to expand some methods' name

  snate

  committed
  8b2fea8

  Copy full SHA for 8b2fea8

• Revert "Expand methods' name in comments"

  Show description for 6c9c500
  snate

  committed
  6c9c500

  Copy full SHA for 6c9c500

Commits on Mar 31, 2017

• Removed useless println

  herrBez

  committed
  bb9a54f

  Copy full SHA for bb9a54f

• Add explicit return in private functions

  herrBez

  committed
  ae35e98

  Copy full SHA for ae35e98

• Fixed comment

  herrBez

  committed
  489ae96

  Copy full SHA for 489ae96

• add an improved version of the algorithm which computes the restricted intervals of FullyReducedProductCongruenceBoxDouble;

  Show description for 96e5199
  StefanoMunari

  committed
  96e5199

  Copy full SHA for 96e5199

Commits on Mar 28, 2017

• Delete config.yml

  Show description for 90e7393
  herrBez

  authored
  90e7393

  Copy full SHA for 90e7393

Commits on Mar 26, 2017

• add a division test

  StefanoMunari

  committed
  2338cb0

  Copy full SHA for 2338cb0

• Removed unuseful stuff in FullyReducedProduct

  herrBez

  committed
  314276c

  Copy full SHA for 314276c

• Improved mkstring in Product Domain

  herrBez

  committed
  4104270

  Copy full SHA for 4104270

• Added Fully Reduced Product to the gui

  herrBez

  committed
  4e5ff58

  Copy full SHA for 4e5ff58

• Merge branch 'master' of https://github.com/herrBez/Jandom

  herrBez

  committed
  4ec1e22

  Copy full SHA for 4ec1e22

• Add implementation of the fully reduced product between Congruence and BoxDoubleDomain

  herrBez

  committed
  54c63bb

  Copy full SHA for 54c63bb

• compile Congruence tests

  StefanoMunari

  committed
  3bc2a9b

  Copy full SHA for 3bc2a9b

• add SumSignModK to UI

  StefanoMunari

  committed
  a284c75

  Copy full SHA for a284c75

• Fix createProperty invocations in DomainTransformation

  snate

  committed
  e0338a9

  Copy full SHA for e0338a9

• Revert "Removed createProperty with baseproperty as input"

  Show description for dad17f9
  snate

  committed
  dad17f9

  Copy full SHA for dad17f9

• Removed createProperty with baseproperty as input

  herrBez

  committed
  76ff398

  Copy full SHA for 76ff398

• Added createProperty using Baseproperty as input

  herrBez

  committed
  49d793b

  Copy full SHA for 49d793b

• Solved bug in intersection (in basenumericaldomain) now it checks if at least one of the elements is bottom

  herrBez

  committed
  1e690e4

  Copy full SHA for 1e690e4

• Solved bug in bottom treatment + used functional paradigm in BasenumericalDomain + modifed congruencebottom to string

  herrBez

  committed
  34b68e1

  Copy full SHA for 34b68e1

• improve a comment

  StefanoMunari

  committed
  9cbe61f

  Copy full SHA for 9cbe61f

• add Interval X Congruence java example

  StefanoMunari

  committed
  8115396

  Copy full SHA for 8115396

• clean DomainTransformation

  StefanoMunari

  committed
  060d7c2

  Copy full SHA for 060d7c2

Commits on Mar 25, 2017

• Removed possible errors in domain transformation

  herrBez

  committed
  3336aad

  Copy full SHA for 3336aad

• Removed unuseful case

  herrBez

  committed
  fb4f103

  Copy full SHA for fb4f103

• Add my version of the domain transformation from Congruence to boxdoubledomain

  herrBez

  committed
  d7febe4

  Copy full SHA for d7febe4

• Improved to string of congruence domain using the unicode symbol for the integer Z and contained symbol

  herrBez

  committed
  63b53df

  Copy full SHA for 63b53df

• add Congruence X BoxDouble to UI

  StefanoMunari

  committed
  b9d7211

  Copy full SHA for b9d7211

• add Product between Congruence and BoxDouble

  StefanoMunari

  committed
  b6b2337

  Copy full SHA for b6b2337

• add CongruenceToBoxDouble and BoxDoubleToCongruence transformations;

  Show description for e184704
  StefanoMunari

  committed
  e184704

  Copy full SHA for e184704

• Tidy up code

  Show description for e08f445
  snate

  committed
  e08f445

  Copy full SHA for e08f445

• Removed unused java examples

  herrBez

  committed
  320c052

  Copy full SHA for 320c052

Pagination

Previous

Next