Verites / verigraph / 580

Builds Branch Commit Type Ran Committer Via Coverage
580 master stack install in more details push jsbezerra travis-ci pending completion
579 master Merge branch 'sndOrderFix' push andreicosta travis-ci pending completion
578 sndOrderFix Fix broken dependency push andreicosta travis-ci pending completion
575 essence-experiments Implement test with irreducibles push ggazzi travis-ci pending completion
574 grlang Add lua function GrLang.unsafe_flush_mem push ggazzi travis-ci pending completion
573 grlang Expose size function for GrLang Graphs push ggazzi travis-ci pending completion
572 grlang Add env variables to set GrLang memory push ggazzi travis-ci pending completion
571 grlang Implement union of pair-subobjects push ggazzi travis-ci pending completion
569 grlang Merge branch 'grlang' push ggazzi travis-ci pending completion
568 grlang Expose GrLang internal memory status push ggazzi travis-ci pending completion
567 grlang Expose nodes and edges to Lua push ggazzi travis-ci pending completion
566 master Install Lua sources with executable The Lua source files are now listed in the 'data-files' field of the cabal package. Thus, when verigraph-repl is installed, they can still be accessed. push ggazzi travis-ci pending completion
565 grlang Install Lua sources with executable The Lua source files are now listed in the 'data-files' field of the cabal package. Thus, when verigraph-repl is installed, they can still be accessed. push ggazzi travis-ci pending completion
563 master Merge branch 'grlang' push ggazzi travis-ci pending completion
564 grlang Merge branch 'grlang' push ggazzi travis-ci pending completion