Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Jul 14, 2019

• [minor-fix] gitignore and name of main jar

  

  ssilvetti

  committed
  f762140

  Copy full SHA for f762140

• #8 [done] [spider] missing tests

  

  ssilvetti

  committed
  1c62cd6

  Copy full SHA for 1c62cd6

Commits on Jul 13, 2019

• Merge pull request #5 from eggloop/STL

  Show description for 0629da7
  simonesilvetti

  authored
  0629da7

  Copy full SHA for 0629da7

• #4 [done] Boolean monitoring

  

  ssilvetti

  committed
  9fae25a

  Copy full SHA for 9fae25a

• #4 [partial] Boolean monitoring (globally)

  

  ssilvetti

  committed
  27fac9b

  Copy full SHA for 27fac9b

• #4 [partial] Boolean monitoring (finally)

  

  ssilvetti

  committed
  fbcd5c1

  Copy full SHA for fbcd5c1

• #3 [Spider] import trajectories

  

  ssilvetti

  committed
  81a3418

  Copy full SHA for 81a3418

Commits on Jul 11, 2019

• added boolean monitoring for spatial formulae

  

  ssilvetti

  committed
  0e676a6

  Copy full SHA for 0e676a6

Commits on Jul 10, 2019

• added monitoring for spatial formulae

  

  ssilvetti

  committed
  b417f86

  Copy full SHA for b417f86

Commits on Jul 4, 2019

• added parameters to formule and some tests

  

  ssilvetti

  committed
  fe9f24d

  Copy full SHA for fe9f24d

Commits on Jul 3, 2019

• added visotr interface to handle parameters

  

  ssilvetti

  committed
  167e2b7

  Copy full SHA for 167e2b7

Commits on Jul 2, 2019

• added formulaPrinter visitors

  

  ssilvetti

  committed
  50c27ee

  Copy full SHA for 50c27ee

Commits on Jul 1, 2019

• added formula visistors.

  

  ssilvetti

  committed
  654b25d

  Copy full SHA for 654b25d

Commits on Jun 30, 2019

• added toString methods and full the coverage

  

  ssilvetti

  committed
  c1b6caf

  Copy full SHA for c1b6caf

Commits on Jun 29, 2019

• added tests to Expressions

  

  ssilvetti

  committed
  8e2ad19

  Copy full SHA for 8e2ad19

Commits on Jun 28, 2019

• fix functional interfaces and add some tests

  

  ssilvetti

  committed
  7c98dfe

  Copy full SHA for 7c98dfe

• added some functionsl formulation

  

  ssilvetti

  committed
  6d88749

  Copy full SHA for 6d88749

• added some STL formulas, double domains and tests

  

  ssilvetti

  committed
  aaea198

  Copy full SHA for aaea198

Commits on Jun 27, 2019

• added domain and relational Expressions

  

  ssilvetti

  committed
  d4d00ee

  Copy full SHA for d4d00ee

• delete parser STL

  

  ssilvetti

  committed
  dad6019

  Copy full SHA for dad6019

Commits on Jun 26, 2019

• added expressions to expression package

  

  ssilvetti

  committed
  1898727

  Copy full SHA for 1898727

Commits on Jun 25, 2019

• added expression package WIP

  

  ssilvetti

  committed
  e7c0ca2

  Copy full SHA for e7c0ca2

Commits on Jun 24, 2019

• added grammars and assertionMAtrix in testutils

  

  ssilvetti

  committed
  e9ad077

  Copy full SHA for e9ad077

• added trajectoryFactory

  

  ssilvetti

  committed
  4286d99

  Copy full SHA for 4286d99

• added trajectory class

  

  ssilvetti

  committed
  1ac307f

  Copy full SHA for 1ac307f

Commits on Jun 23, 2019

• learningtool

  

  ssilvetti

  committed
  b6fe72a

  Copy full SHA for b6fe72a

Commits on Jun 18, 2019

• permission of gradlew

  

  ssilvetti

  committed
  5786214

  Copy full SHA for 5786214

Commits on May 3, 2019

• added codecov badge to readme

  simonesilvetti

  authored
  4cc1d42

  Copy full SHA for 4cc1d42

Commits on May 2, 2019

• mdify travis for codecov

  simonesilvetti

  committed
  5b9ed7a

  Copy full SHA for 5b9ed7a

Commits on May 1, 2019

• fix build gradle

  simonesilvetti

  committed
  d8ddac0

  Copy full SHA for d8ddac0

• fix travis

  simonesilvetti

  committed
  39715fe

  Copy full SHA for 39715fe

• added jacoco test report and codecov

  simonesilvetti

  committed
  a52e491

  Copy full SHA for a52e491

• added jacoco test report and codecov

  simonesilvetti

  committed
  49510ec

  Copy full SHA for 49510ec

Commits on Apr 30, 2019

• modify travis config file

  simonesilvetti

  committed
  a81bc99

  Copy full SHA for a81bc99

• Merge remote-tracking branch 'origin/master'

  simonesilvetti

  committed
  7c996a4

  Copy full SHA for 7c996a4

Pagination

Previous

Next