Skip to content
forked from ikuraj/SciFe

SciFe: Scala Framework for Efficient Generation of Data Structures with Invariants

License

Notifications You must be signed in to change notification settings

epfl-lara/SciFe

This branch is up to date with ikuraj/SciFe:master.

Folders and files

NameName
Last commit message
Last commit date

Latest commit

author
Ivan Kuraj
Oct 9, 2016
1bd955e · Oct 9, 2016
Sep 15, 2014
Sep 24, 2014
Jun 10, 2015
Jun 9, 2015
Feb 15, 2015
Jun 9, 2015
May 12, 2014
Oct 9, 2016
Sep 15, 2014
Jun 10, 2015
Sep 15, 2014

Repository files navigation

SciFe

Build Status Coverage Status Benchmark Status Chat @gitter

Scala Framework for Efficient Generation of Data Structures with Invariants

===============

More information can be found at the SciFe webpage.

About

SciFe: Scala Framework for Efficient Generation of Data Structures with Invariants

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages

  • Scala 93.0%
  • Java 6.2%
  • Shell 0.8%