effective / acumen-dev / Downloads

For large uploads, we recommend using the API. Get instructions

Branch	Commit	Date	Download
master	3e8e484	2017-08-02	zip gz bz2
star-equals	a407279	2017-06-08	zip gz bz2
distributions	b89d147	2017-06-01	zip gz bz2
testme	8e8202d	2016-11-27	zip gz bz2
YingfuMajorChange	609dbcc	2016-11-17	zip gz bz2
origin/rationals	4a27bc1	2016-11-11	zip gz bz2
rationals-merged	f78d301	2016-11-11	zip gz bz2
rationals	ec8698f	2016-11-11	zip gz bz2
rational	a7d56d1	2016-11-09	zip gz bz2
tecs	5fbe794	2016-03-26	zip gz bz2
loop-detection	4d045d7	2016-03-24	zip gz bz2
snr	8a514f0	2016-03-21	zip gz bz2
splitby	23905a2	2016-03-13	zip gz bz2
filterplot	9179541	2016-03-10	zip gz bz2
lohner-integrator-cvalue	d9f30ec	2016-03-01	zip gz bz2
chatter-free	8404bce	2015-10-31	zip gz bz2
indexing-without-delays	8a93add	2015-10-29	zip gz bz2
lohner	5eec94b	2015-10-28	zip gz bz2
iso26262	0f062e9	2015-10-15	zip gz bz2
iso26262-trap	e84f471	2015-10-14	zip gz bz2
lohner-experimental	429ee4f	2015-09-24	zip gz bz2
proguard-java8-workaround	4830284	2015-09-17	zip gz bz2
taylor	bc4233d	2015-09-11	zip gz bz2
taylor-streams-zeros-fdifmap	3d8b41f	2015-09-10	zip gz bz2
taylor-streams-zeros	0b51a86	2015-09-08	zip gz bz2
taylor-streams-zeros-alt	771bd94	2015-09-04	zip gz bz2
taylor-streams	fce40dc	2015-08-15	zip gz bz2
network-models	5493330	2015-08-05	zip gz bz2
taylor-merged	ebcfe7b	2015-08-05	zip gz bz2
compiler	bf94c6d	2015-04-24	zip gz bz2
vaebsim	bf06cac	2015-04-17	zip gz bz2
desca	cf70084	2015-04-07	zip gz bz2
ACUMEN-365-Java7-and-up	4b611d7	2015-03-19	zip gz bz2
ACUMEN-589-long-models-executions-fail	998a2bf	2015-03-13	zip gz bz2
shapes-lib	74beb4a	2015-02-28	zip gz bz2
ACUMEN-557	f2b17da	2015-02-25	zip gz bz2
sem-inline	e2115cb	2015-02-23	zip gz bz2
sem-inline-adam	623289e	2015-02-19	zip gz bz2
ACUMEN-500	e9cc06c	2014-12-14	zip gz bz2
ACUMEN-538	1200a11	2014-12-13	zip gz bz2
ACUMEN-534	8483a4d	2014-12-09	zip gz bz2
opt-inline	a6b8f02	2014-12-09	zip gz bz2
ACUMEN-499	731226f	2014-12-01	zip gz bz2
ACUMEN-486	13d8f7e	2014-11-19	zip gz bz2
ACUMEN-490	4c4a76e	2014-11-12	zip gz bz2
pure-direct-enclosures	2ed2303	2014-11-11	zip gz bz2
ACUMEN-479	c2d9074	2014-11-07	zip gz bz2
ACUMEN-480	d36119c	2014-11-07	zip gz bz2
ACUMEN-472	0cd0aff	2014-11-03	zip gz bz2
manual-browser-fix	06f399d	2014-11-02	zip gz bz2
undefined-inline	65d9219	2014-10-17	zip gz bz2
undefined-continuous-fixpoint	cb9afdb	2014-10-16	zip gz bz2
undefined	51d816b	2014-10-16	zip gz bz2
stable	6a3479a	2014-10-13	zip gz bz2
old-master	91c79dc	2014-10-07	zip gz bz2
bsd-release	5e3f2aa	2014-10-07	zip gz bz2
logger	f537eff	2014-09-05	zip gz bz2
enclosures-for-review	8364223	2014-08-29	zip gz bz2
hypothesis-improvements-click	4fc9a16	2014-08-21	zip gz bz2
hypothesis-improvements	9d2b762	2014-08-19	zip gz bz2
ACUMEN-417	8dd0775	2014-08-15	zip gz bz2
pending	8dd0775	2014-08-15	zip gz bz2
hypothesis	fa20757	2014-08-12	zip gz bz2
optimized2014-tmp	00c9cdc	2014-06-29	zip gz bz2
semanticstest-tmp	00c9cdc	2014-06-29	zip gz bz2
reference2014-fixes	288dcb3	2014-06-23	zip gz bz2
dot-index	a3c7a74	2014-02-25	zip gz bz2
ACUMEN-365-java6	8549413	2014-01-17	zip gz bz2
ACUMEN-365	883f1d1	2014-01-17	zip gz bz2
ACUMEN-23	7fdd8d5	2014-01-16	zip gz bz2
pdf-apache-batik	ade9742	2014-01-13	zip gz bz2
smaller	1048d9e	2013-12-16	zip gz bz2
extract	f17a981	2013-12-15	zip gz bz2
newimperative	aca3162	2013-12-12	zip gz bz2
extract-pending	9b4d313	2013-12-02	zip gz bz2
master-kevina	f3e5a9c	2013-11-28	zip gz bz2
ui-jump	f635353	2013-11-13	zip gz bz2
dup-discr-fix	9c68385	2013-11-03	zip gz bz2
extract-test	557e8df	2013-10-31	zip gz bz2
about	ddd6869	2013-10-28	zip gz bz2
ACUMEN-332	8368953	2013-10-22	zip gz bz2
ACUMEN-248	472771a	2013-10-21	zip gz bz2
expects-observes-tmp	2d5fce8	2013-10-07	zip gz bz2
transcendental	35682b5	2013-06-09	zip gz bz2
esaes	fef9646	2013-05-16	zip gz bz2