VIATRA-Generator - Mirror of https://github.com/viatra/VIATRA-Generator

	Commit message (Collapse)	Author	Age
*	VAMPIRE: complete testing setup	ArenBabikian	2019-10-11
\|
*	implement http requests for the TPTP server	ArenBabikian	2019-10-10
\|
*	VAMPIRE: Further develop testing fo r Vampire solver	ArenBabikian	2019-10-09
\|
*	VAMPIRE: fix bug in transformation, further implement measurement code	ArenBabikian	2019-10-08
\|
*	VAMPIRE: Implement Vampire measurement code	ArenBabikian	2019-10-07
\|
*	VAMPIRE: fix model generation	ArenBabikian	2019-09-11
\|
*	VAMPIRE: Implement wf constraint handling	ArenBabikian	2019-09-08
\|
*	VAMPIRE: complete first version of VampireModelInterpretation	ArenBabikian	2019-09-03
\|
*	VAMPIRE: setup structure of model interpretation	ArenBabikian	2019-08-29
\|
*	VAMPIRE: integrate local Vampire executeable #32	ArenBabikian	2019-08-28
\|
*	Pre-realisticBranchCreation Commit	ArenBabikian	2019-05-12
\|
*	VAMPIRE: add to #40. I am tired	ArenBabikian	2019-04-24
\|
*	VAMPIRE: close #22, improve test structure for #39, .vql file trouble	ArenBabikian	2019-04-15
\|
*	VAMPIRE: #39 Reorganise tests, working yakindu test, need debugging	ArenBabikian	2019-04-11
\|
*	Implement containment circularity avoidance #20	ArenBabikian	2019-04-05
\|
*	Revert previous commit. Everyone is happy.	ArenBabikian	2019-04-04
\|
*	Closes #34, adds code to test cases where minScope>maxScope.	ArenBabikian	2019-04-04
\|
*	Add gitignore, commit everything	ArenBabikian	2019-03-20
\|
*	Implement type scope for specific types	ArenBabikian	2019-03-13
\|
*	Improve TypeScope handling	ArenBabikian	2019-03-07
\|
*	Implement Enum handling and study hierarchy handling	ArenBabikian	2019-03-06
\|
*	Restructure Vampire Reasoner project	ArenBabikian	2019-03-06
\|
*	Continue improving code style (need sleep)	ArenBabikian	2019-03-06
\|
*	Partially improve coding style (leaving for soccer)	ArenBabikian	2019-03-05
\|
*	Implement type scope handling	ArenBabikian	2019-03-05
\|
*	Fix FAM Test. Begin Grammar Fix.	ArenBabikian	2019-02-01