Skip to content

Releases: Verites/verigraph

Parallel Independence Benchmarks

19 Jun 18:22
@lm-rodrigues lm-rodrigues
Parallel-Independence-Benchmarks
36bca68
Compare
Choose a tag to compare
Parallel Independence Benchmarks Pre-release
Pre-release

Specific release for benchmarks of Parallel Indepence Algorithms of paper for book in memory of Hartmut Ehrig on Verigraph System

Assets 2
Loading

1.1.1: Fix `findCospanCommuter`

14 May 00:29
@lm-rodrigues lm-rodrigues
1.1.1
This tag was signed with the committer’s verified signature.
lm-rodrigues Leonardo Marques Rodrigues
GPG key ID: DB718A42AE4F932A
Learn about vigilant mode.
ba83f4b
This commit was signed with the committer’s verified signature.
lm-rodrigues Leonardo Marques Rodrigues
GPG key ID: DB718A42AE4F932A
Learn about vigilant mode.
Compare
Choose a tag to compare
1.1.1: Fix `findCospanCommuter` Latest
Latest

Graphs:

  • Typed Graphs
  • Attributed Graphs

Approaches:

  • DPO
  • SqPO
  • AGREE

Features:

  • Critical Pairs Analysis
  • Critical Sequences Analysis
  • Concurrent Rules
    • by dependencies
    • with graph constraints
  • Second Order
    • Second Order conflicts
    • Interlevel Conflicts
    • Rule Transformation
  • Graph Processes
    • Test cases generation
  • Model Cheking
  • Theorem Proving

Interface:

  • Command Line Interface
  • Graphical User Interface
  • Web Service API
Assets 2
Loading

1.1.0

10 May 20:30
@jsbezerra jsbezerra
1.1.0
66e8e57
Compare
Choose a tag to compare
1.1.0

Graphs:

  • Typed Graphs
  • Attributed Graphs

Approaches:

  • DPO
  • SqPO
  • AGREE

Features:

  • Critical Pairs Analysis
  • Critical Sequences Analysis
  • Concurrent Rules
    • by dependencies
    • with graph constraints
  • Second Order
    • Second Order conflicts
    • Interlevel Conflicts
    • Rule Transformation
  • Graph Processes
    • Test cases generation
  • Model Cheking
  • Theorem Proving

Interface:

  • Command Line Interface
  • Graphical User Interface
  • Web Service API
Assets 2
Loading

1.0.2: Fixing bug from issue #20

05 May 17:57
@lm-rodrigues lm-rodrigues
1.0.2
9042abc
Compare
Choose a tag to compare
1.0.2: Fixing bug from issue #20

Graphs:

  • Typed Graphs
  • Attributed Graphs

Approaches:

  • DPO
  • SqPO
  • AGREE

Features:

  • Critical Pairs Analysis
  • Critical Sequences Analysis
  • Concurrent Rules
    • by dependencies
    • with atomic constraints
    • with graph constraints
  • Second Order
    • Second Order conflicts
    • Interlevel Conflicts
    • Rule Transformation
  • Graph Processes
  • Model Cheking
  • Theorem Proving

Interface:

  • Command Line Interface
  • Graphical User Interface
  • Web Service API
Assets 3
Loading

1.0.1

18 Oct 11:07
@jsbezerra jsbezerra
1.0.1
4d4b7bc
Compare
Choose a tag to compare
1.0.1

Graphs:

  • Typed Graphs
  • Attributed Graphs

Approaches:

  • DPO
  • SqPO
  • AGREE

Features:

  • Critical Pairs Analysis
  • Critical Sequences Analysis
  • Concurrent Rules
    • by dependencies
    • with atomic constraints
    • with graph constraints
  • Second Order
    • Second Order conflicts
    • Interlevel Conflicts
    • Rule Transformation
  • Graph Processes
  • Model Cheking
  • Theorem Proving

Interface:

  • Command Line Interface
  • Graphical User Interface
  • Web Service API
Assets 3
Loading

1.0.0

14 Oct 20:03
@jsbezerra jsbezerra
1.0.0
48cedb6
Compare
Choose a tag to compare
1.0.0

Graphs:

  • Typed Graphs
  • Attributed Graphs

Approaches:

  • DPO
  • SqPO
  • AGREE

Features:

  • Critical Pairs Analysis
  • Critical Sequences Analysis
  • Concurrent Rules
    • by dependencies
    • with atomic constraints
    • with graph constraints
  • Second Order
    • Second Order conflicts
    • Interlevel Conflicts
    • Rule Transformation
  • Graph Processes
  • Model Cheking
  • Theorem Proving

Interface:

  • Command Line Interface
  • Graphical User Interface
Assets 3
Loading

1.0-rc02

27 Sep 15:33
@jsbezerra jsbezerra
1.0-rc02
2e412b9
Compare
Choose a tag to compare
1.0-rc02 Pre-release
Pre-release 
Release candidate 02 for version 1.0
Assets 3
Loading