Programming Languages Research Group: Git

2019-08-06	bdemsky	More state reduction	commit \| commitdiff \| tree
2019-08-06	bdemsky	Merge branch 'master' of ssh://plrg.eecs.uci.edu/home...	commit \| commitdiff \| tree
2019-08-06	bdemsky	Small improvment in state reduction	commit \| commitdiff \| tree
2019-08-03	bdemsky	Merge branch 'master' of ssh://plrg.eecs.uci.edu/home...	commit \| commitdiff \| tree
2019-08-03	bdemsky	edits	commit \| commitdiff \| tree
2019-08-02	bdemsky	SmartThings specific support to reduce state space	commit \| commitdiff \| tree
2019-08-02	bdemsky	Merge branch 'master' of ssh://plrg.eecs.uci.edu/home...	commit \| commitdiff \| tree
2019-08-02	bdemsky	SmartThings support	commit \| commitdiff \| tree
2019-08-01	bdemsky	Add constanttime class	commit \| commitdiff \| tree

Unnamed repository; edit this file 'description' to name the repository.