Initial data structures for transformations
Initial data structures for transformations
Merge branch 'master' of github.com:chsticksel/kind2
Nodes with static type parameters
Started transformations of Lustre input
Merged Lustre parsing into root of source dir
Incomplete Lustre transformations
Client can cancel a job by sending a message to the server
Transformations: eliminate alias types
Merge branch 'master' of github.com:chsticksel/kind2
Merge branch 'master' of github.com:chsticksel/kind2
Started constant propagation
Merge branch 'master' of github.com:chsticksel/kind2
Merge remote-tracking branch 'upstream/master'
Trying incremental ouutput
Examples about translation from Lustre
Incremental output
Back to default path for kind2
Merge branch 'master' of github.com:chsticksel/kind2

Conflicts:
	server/server.ml
Merge branch 'master' of github.com:chsticksel/kind2

Conflicts:
	server/server.ml