Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Oct 10, 2019

• Update README

  artempolyvyanyy

  authored
  670b5b8

  Copy full SHA for 670b5b8

Commits on May 11, 2019

• 1000 synthetic sound workflow systems

  artempolyvyanyy

  committed
  b38eddb

  Copy full SHA for b38eddb

Commits on May 2, 2019

• - Fixed SQL schema dump for PQL 1.3

  Show description for 21dce97
  artempolyvyanyy

  committed
  21dce97

  Copy full SHA for 21dce97

• Renamed test files.

  artempolyvyanyy

  committed
  a2af2bc

  Copy full SHA for a2af2bc

• Merge branch 'yili_test'

  iliyarYi

  committed
  3a15760

  Copy full SHA for 3a15760

• Test cases merged

  iliyarYi

  committed
  0f7c709

  Copy full SHA for 0f7c709

Commits on May 1, 2019

• jUnit version increased

  iliyarYi

  committed
  be5bdc6

  Copy full SHA for be5bdc6

Commits on Apr 22, 2019

• Merge branch 'master' of https://github.com/processquerying/PQL

  artempolyvyanyy

  committed
  e6901e7

  Copy full SHA for e6901e7

• Allow storing large PNMLs (up to 4Gb)

  artempolyvyanyy

  committed
  d24f215

  Copy full SHA for d24f215

• Added info on the tested environments

  processquerying

  authored
  48173bd

  Copy full SHA for 48173bd

Commits on Mar 6, 2019

• removed latest pql jar to avoid conflict

  iliyarYi

  committed
  def51e8

  Copy full SHA for def51e8

• PQL 1.3 with error handling and location feature

  iliyarYi

  committed
  2da7678

  Copy full SHA for 2da7678

Commits on Mar 5, 2019

• folder already exists error message as improvement

  iliyarYi

  committed
  5a82adc

  Copy full SHA for 5a82adc

Commits on Feb 20, 2019

• undo-ing commented out test cases

  iliyarYi

  committed
  f48b0e3

  Copy full SHA for f48b0e3

Commits on Feb 19, 2019

• Defects fixed, ran tests

  iliyarYi

  committed
  749e6c6

  Copy full SHA for 749e6c6

Commits on Feb 11, 2019

• 1. Error handling for location feature. 2. Folder name restriction when creating folders. 3. More test cases to test location feature and nested queries. 4. New grammar PQL.g4 file that includes f…

  Show description for c120cda
  iliyarYi

  committed
  c120cda

  Copy full SHA for c120cda

Commits on Nov 21, 2018

• Update README

  Show description for c563bb7
  processquerying

  authored
  c563bb7

  Copy full SHA for c563bb7

Commits on Nov 20, 2018

• Updated MySQL schema

  artempolyvyanyy

  committed
  4e49838

  Copy full SHA for 4e49838

Commits on Nov 8, 2017

• Merge branch 'locations' of https://github.com/processquerying/PQL.git into locations

  CGartxz

  committed
  c5d8302

  Copy full SHA for c5d8302

• Pushing final version of PQL-Tool-1.3

  CGartxz

  committed
  3379772

  Copy full SHA for 3379772

• Update CHANGELOG

  CGartxz

  authored
  3f988f0

  Copy full SHA for 3f988f0

Commits on Nov 4, 2017

• Final Comit for locations

  CGartxz

  committed
  309090d

  Copy full SHA for 309090d

Commits on Oct 24, 2017

• Final Push adding List structure and fixing all bugs when running

  Show description for 590ed18
  CGartxz

  committed
  590ed18

  Copy full SHA for 590ed18

Commits on Oct 17, 2017

• new updates to work on at home and finish

  CGartxz

  committed
  bf1f3ef

  Copy full SHA for bf1f3ef

Commits on Oct 15, 2017

• Finalised query command

  

  Dim

  authored and

  Dim

  committed
  b231b67

  Copy full SHA for b231b67

Commits on Sep 10, 2017

• Implemented location functionality to the PQL query command

  

  Dim

  authored and

  Dim

  committed
  9e4759c

  Copy full SHA for 9e4759c

Commits on Aug 25, 2017

• Pushing my changes to INI_changes

  CGartxz

  committed
  493112e

  Copy full SHA for 493112e

Commits on Aug 20, 2017

• Basic Folder Hierarchy

  

  Dim

  authored and

  Dim

  committed
  95706db

  Copy full SHA for 95706db

Commits on May 29, 2017

• Updated Grammar File

  Show description for 674fb47
  Pagazz

  committed
  674fb47

  Copy full SHA for 674fb47

Commits on May 4, 2017

• User Info

  Show description for e12dac2
  Pagazz

  committed
  e12dac2

  Copy full SHA for e12dac2

Commits on Apr 20, 2017

• Update README

  processquerying

  authored
  014fccd

  Copy full SHA for 014fccd

• Update README

  processquerying

  authored
  2a3af84

  Copy full SHA for 2a3af84

Commits on Apr 14, 2017

• Added check method to model check arbitrary property (LoLA wrapper)

  artempolyvyanyy

  committed
  cc3d064

  Copy full SHA for cc3d064

Commits on Mar 24, 2017

• Merge branch 'master' of https://github.com/processquerying/PQL

  artempolyvyanyy

  committed
  79b4509

  Copy full SHA for 79b4509

• Extended and documented interface to a model checker. Added LoLA 2.0 wrapper method to check LTL or CTL property over a given Petri net system.

  artempolyvyanyy

  committed
  7c0acd1

  Copy full SHA for 7c0acd1

Pagination

Previous

Next