-
Notifications
You must be signed in to change notification settings - Fork 12
/
IEGenLib-svn-log.txt
2783 lines (1901 loc) · 127 KB
/
IEGenLib-svn-log.txt
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
------------------------------------------------------------------------
r819 | mstrout | 2014-01-07 16:27:03 -0800 (Tue, 07 Jan 2014) | 10 lines
Based on email Mahesh sent, I checked the Python bindings in the nightly build. The issue was bigger than just a fix to the README to indicate usage
of ./configure --build-python. The Python bindings were broken because
we had started using isl with sets and relations for normalization.
Had to put some of the new header files and remove old header file
from iegenlib.i.
Had to change build of shared library so that was being linked with
isl and other libraries. See CMakeLists.txt in src/bindings/.
Had to update example in README to use appendCurrEnv correctly. i
It gave me a segmentation fault. Had to break parameters down. Fix is in README.
------------------------------------------------------------------------
r818 | mstrout | 2014-01-07 01:49:08 -0800 (Tue, 07 Jan 2014) | 2 lines
Working on IEGRTWO-101. Just some minor cleanup.
------------------------------------------------------------------------
r817 | mstrout | 2014-01-07 00:22:51 -0800 (Tue, 07 Jan 2014) | 2 lines
Missed an instance of substituteTupleDecl() that was needed.
------------------------------------------------------------------------
r816 | mstrout | 2014-01-07 00:18:45 -0800 (Tue, 07 Jan 2014) | 2 lines
Fixed IEGRTWO-73 in normalization_test.cc. Just missing substituteTupleDecl().
------------------------------------------------------------------------
r805 | mstrout | 2013-09-09 03:27:10 -0700 (Mon, 09 Sep 2013) | 3 lines
IEGRTWO-103 is done. Removed the old Exp::substitute that just substituted
one term with one expression at a time. Everything now uses those SubMaps.
------------------------------------------------------------------------
r804 | mstrout | 2013-09-08 22:54:48 -0700 (Sun, 08 Sep 2013) | 2 lines
Fixed some compiler warnings.
------------------------------------------------------------------------
r803 | kreaseck | 2013-09-03 00:14:29 -0700 (Tue, 03 Sep 2013) | 1 line
Fixed arity mismatch problem when nested function calls obscure range->domain arity matches. All but one NormalizationTest is working with normalize(). Cleaned up normalization_test.cc
------------------------------------------------------------------------
r800 | mstrout | 2013-08-29 18:03:54 -0700 (Thu, 29 Aug 2013) | 3 lines
IEGRTWO-101. Fixed issue where a UF call might return a TupleExpTerm when we are replacing uf calls with
temporary variables.
------------------------------------------------------------------------
r799 | kreaseck | 2013-08-26 20:54:36 -0700 (Mon, 26 Aug 2013) | 1 line
commented out debugging prints
------------------------------------------------------------------------
r798 | kreaseck | 2013-08-26 20:52:13 -0700 (Mon, 26 Aug 2013) | 1 line
normalize() is working through the first few tests, ... through NormalizationTest.NestedUFCalls1D1D1D. Creating the affineSubstMap from the ISL result, and using that to build the nonAffineSubstMap which includes the UFCalls, appears to be working so far.
------------------------------------------------------------------------
r794 | mstrout | 2013-08-22 20:58:00 -0700 (Thu, 22 Aug 2013) | 5 lines
Fixed IEGRTWO-101 problem that Barbara was having that temporary vars were not getting
the correct coefficients when they were replacing UF calls.
The ISL issue temporarily went away, but we will have to deal with it in the future.
Need to modify the normalize algorithm somewhat to handle what we are currently getting.
------------------------------------------------------------------------
r793 | kreaseck | 2013-08-22 04:30:19 -0700 (Thu, 22 Aug 2013) | 1 line
Started converting normalization_test.cc tsts to use normalize() ... up to EqUFParamRelation, which is having problems as documented with issue IEGGRONE-101
------------------------------------------------------------------------
r789 | kreaseck | 2013-08-20 12:01:52 -0700 (Tue, 20 Aug 2013) | 1 line
through (step 3) in the normalize algorithm
------------------------------------------------------------------------
r787 | mstrout | 2013-08-20 03:55:39 -0700 (Tue, 20 Aug 2013) | 2 lines
Did cleanup of UFCallMapAndBounds code. Comments fixed as well.
------------------------------------------------------------------------
r786 | mstrout | 2013-08-20 03:36:23 -0700 (Tue, 20 Aug 2013) | 3 lines
Fixed all memory leaks except one involving SparseConstraints::normalize() code.
Don't think I can assign the result set to self. Hmmm.
------------------------------------------------------------------------
r785 | mstrout | 2013-08-20 03:02:55 -0700 (Tue, 20 Aug 2013) | 4 lines
Created SubMap to hide the std::map I was using for substitution maps.
Hopefully this will remove a lot of memory leaks as well.
All tests run correctly on the mac. Going to linux to look at leaks.
------------------------------------------------------------------------
r784 | mstrout | 2013-08-20 01:49:10 -0700 (Tue, 20 Aug 2013) | 2 lines
Fixed segfault that was caused by me cleaning up some memory leaks.
------------------------------------------------------------------------
r783 | mstrout | 2013-08-19 23:03:18 -0700 (Mon, 19 Aug 2013) | 3 lines
Did some memory leak and compiler warning cleanup on linux, but will be easier to
create the SubstitutionMap abstraction on the mac.
------------------------------------------------------------------------
r782 | mstrout | 2013-08-19 18:30:40 -0700 (Mon, 19 Aug 2013) | 3 lines
IEGRTWO-102, working on ChillUsage tests.
Added the test where we declare k=j.
------------------------------------------------------------------------
r781 | mstrout | 2013-08-19 18:06:29 -0700 (Mon, 19 Aug 2013) | 3 lines
Fixed ChillUsage tests so they are passing now. Just had to put in
correct strings.
------------------------------------------------------------------------
r780 | kreaseck | 2013-08-19 12:24:08 -0700 (Mon, 19 Aug 2013) | 1 line
NormalizationTest.buildingNormalize appears to be working through Step 2
------------------------------------------------------------------------
r779 | cathie | 2013-08-19 10:51:21 -0700 (Mon, 19 Aug 2013) | 3 lines
Trying to fix a linking error for barbara
------------------------------------------------------------------------
r778 | mstrout | 2013-08-19 00:03:59 -0700 (Mon, 19 Aug 2013) | 4 lines
Did a lot of comment and std::cout cleanup. Leaving in commented out
std::cout's for stuff related to normalize because that is work still
in progress.
------------------------------------------------------------------------
r777 | mstrout | 2013-08-18 23:36:46 -0700 (Sun, 18 Aug 2013) | 6 lines
Refactored Compose from 300+ line routine to less than 200 lines.
Now Compose and Apply will find constants in constraints and
put them back into the tuple declaration.
Still need to look at Chill tests, still need to cleanup a lot of
comments, and still need to check the memory leak issue.
------------------------------------------------------------------------
r776 | mstrout | 2013-08-18 17:46:34 -0700 (Sun, 18 Aug 2013) | 2 lines
Fixed Barbara's linking problem with ISL and iegenlib_calc.
------------------------------------------------------------------------
r775 | mstrout | 2013-08-18 17:36:38 -0700 (Sun, 18 Aug 2013) | 5 lines
Refactored Apply so it uses en masse substitution.
Compose has been broken temporarily to make CHILL usage tests work.
Can fix it by refactoring it much like Apply.
Merged with Barbara's changes to normalize.
------------------------------------------------------------------------
r774 | kreaseck | 2013-08-18 11:27:16 -0700 (Sun, 18 Aug 2013) | 1 line
Added step 2 stmts to Normalization:buildingNormalize, Added ISL-helper routines to set_relation.h and set_relation.cc (and commented them out due to ld errors)
------------------------------------------------------------------------
r773 | mstrout | 2013-08-18 03:07:53 -0700 (Sun, 18 Aug 2013) | 8 lines
IEGRTWO-87, this is an in between commit. I fixed the segfaults
with normalize based on Barbara's email. Lots of debug output is still in
there. Fixing the issues caused a problem in compose in that some substitution
that should be happening isn't, so I need to fix that. Compose is a
bit fragile because it does substitution in order. Should refactor that.
normalize is still in progress, but now Barbara could incorporate
ISL part.
------------------------------------------------------------------------
r772 | mstrout | 2013-08-15 21:17:44 -0700 (Thu, 15 Aug 2013) | 3 lines
Working on chillusage_test.cc. Want to check if we can
manipulate access relations like Anand wants.
------------------------------------------------------------------------
r771 | mstrout | 2013-08-15 17:05:28 -0700 (Thu, 15 Aug 2013) | 2 lines
IEGRTWO-87, still working on step 1. Handing off to Barbara for debugging.
------------------------------------------------------------------------
r760 | mstrout | 2013-08-15 04:08:06 -0700 (Thu, 15 Aug 2013) | 9 lines
IEGRTWO-87, starting rework of UFCallMapAndBounds::boundByRange based on
implementation plan for step 1 in normalize algorithm.
I had boundByRange doing too much. It doesn't
need to set the temporaries equal to the return expressions
because the temporaries will be replacing the uf calls in the
other constraints.
Test cases all work now but still need to get step 1
test code fixed and then implement step 1.
------------------------------------------------------------------------
r759 | mstrout | 2013-08-13 16:43:42 -0700 (Tue, 13 Aug 2013) | 2 lines
IEGRTWO-87, phase 0 of normalization now appears to be working.
------------------------------------------------------------------------
r758 | mstrout | 2013-08-13 03:10:44 -0700 (Tue, 13 Aug 2013) | 3 lines
IEGRTWO-87. Stuck probably because been working for almost 15 hours straight.
Maybe Barbara can help.
------------------------------------------------------------------------
r757 | mstrout | 2013-08-13 02:15:47 -0700 (Tue, 13 Aug 2013) | 2 lines
Debugging in linux is too slow. Switching to mac.
------------------------------------------------------------------------
r756 | mstrout | 2013-08-12 23:04:33 -0700 (Mon, 12 Aug 2013) | 2 lines
Made progress on step 0 of IEGRTWO-87. Just need to debug Conjunction::groupIndexedUFCalls.
------------------------------------------------------------------------
r755 | mstrout | 2013-08-12 00:29:45 -0700 (Mon, 12 Aug 2013) | 5 lines
IEGRTWO-94 is finished. Can now parse tuple expressions.
Also had to add a lot of copied traversal code in recursive Exp routines
like Exp::substitute. Made a new issue IEGRTWO-100 to deal with that
yuckiness.
------------------------------------------------------------------------
r754 | mstrout | 2013-08-11 22:38:02 -0700 (Sun, 11 Aug 2013) | 4 lines
Put in some comments about UFCallTerm being a tuple type.
IEGRTWO-93
------------------------------------------------------------------------
r753 | mstrout | 2013-08-11 22:30:45 -0700 (Sun, 11 Aug 2013) | 2 lines
IEGRTWO-89 is all done and memory leak free!
------------------------------------------------------------------------
r752 | mstrout | 2013-08-09 00:25:38 -0700 (Fri, 09 Aug 2013) | 2 lines
IEGRTWO-89 works. Now just need to do memory leak cleanup for it.
------------------------------------------------------------------------
r751 | mstrout | 2013-08-09 00:07:40 -0700 (Fri, 09 Aug 2013) | 2 lines
IEGRTWO-89, so close. Just need to get some of these test cases working.
------------------------------------------------------------------------
r750 | mstrout | 2013-08-08 21:29:35 -0700 (Thu, 08 Aug 2013) | 2 lines
IEGRTWO-89, more test cases for boundByDomain.
------------------------------------------------------------------------
r748 | mstrout | 2013-08-08 18:48:43 -0700 (Thu, 08 Aug 2013) | 2 lines
Got all but 48 bytes of leakage dealt with.
------------------------------------------------------------------------
r747 | mstrout | 2013-08-08 18:30:34 -0700 (Thu, 08 Aug 2013) | 2 lines
Using clear() instead of pop_front() in set_relation.cc
------------------------------------------------------------------------
r746 | mstrout | 2013-08-08 18:27:31 -0700 (Thu, 08 Aug 2013) | 2 lines
Still on IEGRTWO-89. Ensuring that make mtest passes. Need to check in linux.
------------------------------------------------------------------------
r745 | mstrout | 2013-08-08 18:01:32 -0700 (Thu, 08 Aug 2013) | 2 lines
IEGRTWO-89, got UFCallMapAndBounds.boundByDomain to work.
------------------------------------------------------------------------
r744 | mstrout | 2013-08-07 19:49:24 -0700 (Wed, 07 Aug 2013) | 3 lines
Done with IEGRTWO-98. Able to reset the TupleDecl for a whole Set or Relation,
but can't override constants.
------------------------------------------------------------------------
r743 | mstrout | 2013-08-07 17:37:15 -0700 (Wed, 07 Aug 2013) | 2 lines
IEGRTWO-97 is done. Now have methods for doing en masse substitution.
------------------------------------------------------------------------
r742 | mstrout | 2013-08-07 04:03:48 -0700 (Wed, 07 Aug 2013) | 3 lines
Working on IEGRTWO-97. Have en masse substitution for Exp working.
Still need to get Conjunction and SparseConstraints one working.
------------------------------------------------------------------------
r741 | mstrout | 2013-08-06 04:06:12 -0700 (Tue, 06 Aug 2013) | 2 lines
YEAH!! No memory leaks. OCD wins in the end.
------------------------------------------------------------------------
r740 | mstrout | 2013-08-06 03:16:02 -0700 (Tue, 06 Aug 2013) | 4 lines
Made some progress on memory leak issues. Introducing reset()
to be called in assignment operators as well as destructors helped.
Still have some more to go though in IEGenLib.
------------------------------------------------------------------------
r739 | mstrout | 2013-08-06 02:21:28 -0700 (Tue, 06 Aug 2013) | 3 lines
Working on IEGRTWO-89. HAve Exp::remapTupleVars and
SparseConstraints::remapTupleVars, which can be used in a Set, working.
------------------------------------------------------------------------
r738 | mstrout | 2013-08-04 23:04:41 -0700 (Sun, 04 Aug 2013) | 5 lines
IEGRTWO-96 is done. Did a refactor of the UFCallTerm interface for
parameter expressions and it sucked the whole day.
Also did some cleanup using mtest, but the remaining leaks I cannot
figure out.
------------------------------------------------------------------------
r737 | mstrout | 2013-08-04 19:56:27 -0700 (Sun, 04 Aug 2013) | 3 lines
Things are broken while working on IEGRTWO-96, but need valgrind on linux
box to fix it.
------------------------------------------------------------------------
r736 | mstrout | 2013-08-04 17:06:49 -0700 (Sun, 04 Aug 2013) | 3 lines
Working on IEGRTWO-89. Got refactor of Set::boundTupleExp() working
in normalization_test.cc.
------------------------------------------------------------------------
r735 | mstrout | 2013-08-02 00:31:14 -0700 (Fri, 02 Aug 2013) | 4 lines
Wow it took forever but now we have a TupleExpTerm class, IEGRTWO-92.
Some of the test cases are broken but they will get fixed as part of
IEGRTWO-87, which IEGRTWO-92 is a subtask for.
------------------------------------------------------------------------
r734 | mstrout | 2013-08-01 18:48:14 -0700 (Thu, 01 Aug 2013) | 5 lines
Working on IEGRTWO-89, UFCallMapAndBounds. In wiki 8/2/13 took a step back
and figured out how to handle functions that return tuples. This all compiles
and runs but most of it is commented out. Want to save some of the changes
I had made before go through revamp for functions that return tuples.
------------------------------------------------------------------------
r733 | mstrout | 2013-07-30 22:37:03 -0700 (Tue, 30 Jul 2013) | 2 lines
Initial implementation of UFCallMapAndBounds.
------------------------------------------------------------------------
r732 | mstrout | 2013-07-29 22:40:34 -0700 (Mon, 29 Jul 2013) | 3 lines
Have test cases working for IEGRTWO-85. Still need to figure out some memory
leaks errors. See IEGRTWO-85 for more details.
------------------------------------------------------------------------
r731 | mstrout | 2013-07-29 21:15:05 -0700 (Mon, 29 Jul 2013) | 2 lines
Finished creating MultiDimExp class, IEGRTWO-85.
------------------------------------------------------------------------
r729 | mstrout | 2013-07-28 16:52:54 -0700 (Sun, 28 Jul 2013) | 2 lines
Completed IEGRTWO-84 and IEGenLib make test still works.
------------------------------------------------------------------------
r728 | mstrout | 2013-07-28 16:22:09 -0700 (Sun, 28 Jul 2013) | 2 lines
Forgot to delete SymbolicFunc_test.cc.
------------------------------------------------------------------------
r727 | mstrout | 2013-07-25 22:45:15 -0700 (Thu, 25 Jul 2013) | 3 lines
IEGRTWO-83: rename SymbolicFunc to UninterpFunc in IEGenLib
make test in IEGenLib still works
------------------------------------------------------------------------
r720 | cathie | 2013-07-12 11:44:43 -0700 (Fri, 12 Jul 2013) | 3 lines
IEGRTWO-58
Added two test to try and make the constraints conjuction go wrong, but could not
------------------------------------------------------------------------
r709 | kreaseck | 2013-06-28 17:08:51 -0700 (Fri, 28 Jun 2013) | 1 line
a couple more test cases and the last is using a simplified algorithm for normalization
------------------------------------------------------------------------
r708 | cathie | 2013-06-28 12:22:39 -0700 (Fri, 28 Jun 2013) | 2 lines
The python bindings now work for both mac and linux
------------------------------------------------------------------------
r707 | cathie | 2013-06-28 08:21:23 -0700 (Fri, 28 Jun 2013) | 2 lines
The python bindings are working on mac, but not on linux
------------------------------------------------------------------------
r706 | kreaseck | 2013-06-27 19:17:10 -0700 (Thu, 27 Jun 2013) | 1 line
seven of nine Michelle-normalizations tests done
------------------------------------------------------------------------
r705 | cathie | 2013-06-27 12:43:22 -0700 (Thu, 27 Jun 2013) | 2 lines
fixing include problem
------------------------------------------------------------------------
r704 | cathie | 2013-06-27 12:34:51 -0700 (Thu, 27 Jun 2013) | 2 lines
corrected the include file
------------------------------------------------------------------------
r703 | cathie | 2013-06-27 12:06:15 -0700 (Thu, 27 Jun 2013) | 3 lines
IEGRTWO-77
commented out the --build-release option
------------------------------------------------------------------------
r702 | mstrout | 2013-06-27 11:43:44 -0700 (Thu, 27 Jun 2013) | 3 lines
IEGRTWO-69 works. Able to do loop flattening transformations.
Have tested with Apply. Should probably test with compose as well.
------------------------------------------------------------------------
r701 | mstrout | 2013-06-27 09:12:09 -0700 (Thu, 27 Jun 2013) | 2 lines
Some debugging printf's for loop flattening.
------------------------------------------------------------------------
r700 | kreaseck | 2013-06-27 09:09:17 -0700 (Thu, 27 Jun 2013) | 1 line
Added set_relation/normalization_test.cc ...
------------------------------------------------------------------------
r699 | cathie | 2013-06-27 08:38:26 -0700 (Thu, 27 Jun 2013) | 4 lines
EGRTWO-75
fixed make docs
------------------------------------------------------------------------
r698 | mstrout | 2013-06-26 20:30:06 -0700 (Wed, 26 Jun 2013) | 3 lines
Loop flattening is still not working but commented out line 3090 in
set_relation_test.cc so that everything compiles in IEGenLib.
------------------------------------------------------------------------
r697 | mstrout | 2013-06-26 20:06:49 -0700 (Wed, 26 Jun 2013) | 3 lines
InvertFuncToExposeFactorFuncInverse works enough to do loop flattening.
Calling IEGRTWO-70 finished.
------------------------------------------------------------------------
r696 | mstrout | 2013-06-26 16:37:03 -0700 (Wed, 26 Jun 2013) | 3 lines
Got Exp::invertFuncToExposeFactor working more generally when the UFCallTerm starts
out with a coefficient other than -1. Still working on IEGRTWO-70.
------------------------------------------------------------------------
r695 | mstrout | 2013-06-26 16:03:35 -0700 (Wed, 26 Jun 2013) | 3 lines
Did some memory leak cleanup, but there are still some leaks. Going to switch to getting
loop flattening to work at this point.
------------------------------------------------------------------------
r694 | cathie | 2013-06-26 14:31:25 -0700 (Wed, 26 Jun 2013) | 4 lines
IEGRTWO-6
OK this is the right draft this time
------------------------------------------------------------------------
r693 | mstrout | 2013-06-26 09:01:14 -0700 (Wed, 26 Jun 2013) | 3 lines
Fixed memory error in Environment::append. Now just have memory leaks
and Exp::invertFuncToExposeFactor (IEGRTWO-70) test case is not working.
------------------------------------------------------------------------
r692 | mstrout | 2013-06-25 21:11:12 -0700 (Tue, 25 Jun 2013) | 2 lines
Fixed some incorrect delete's in SetRelationTest.ComposeForIterationReorderingMoldyn.
------------------------------------------------------------------------
r691 | mstrout | 2013-06-25 21:08:44 -0700 (Tue, 25 Jun 2013) | 3 lines
Fixed delete of factor in loop in invertFunctionToExposeFactor in IEGenLib.
IEGRTWO-70
------------------------------------------------------------------------
r690 | mstrout | 2013-06-25 20:54:06 -0700 (Tue, 25 Jun 2013) | 3 lines
Fixed memory error in Relation::addConjunction. Also put the addConjunction
methods in the .cc file where they belong. Still working on memory errors.
------------------------------------------------------------------------
r689 | mstrout | 2013-06-25 16:11:53 -0700 (Tue, 25 Jun 2013) | 3 lines
Working on IEGRTWO-70 but have a memory bug and need to use valgrind on linux.
------------------------------------------------------------------------
r686 | mstrout | 2013-06-20 15:35:03 -0700 (Thu, 20 Jun 2013) | 3 lines
Put a lot of printfs in Exp::solveForFactor. Will remove those next commit.
Working on IEGRTWO-69.
------------------------------------------------------------------------
r685 | mstrout | 2013-06-20 14:42:27 -0700 (Thu, 20 Jun 2013) | 2 lines
Working on IEGRTWO-69. Now am able to do 1D-to-1D function inverses.
------------------------------------------------------------------------
r684 | mstrout | 2013-06-20 12:54:39 -0700 (Thu, 20 Jun 2013) | 4 lines
Created SymbolicFunc class for keeping track of domain, range, and whether
an uninterpreted function is bijective in IEGenLib.
Did some minor comment cleanup in TupleDecl.
------------------------------------------------------------------------
r683 | mstrout | 2013-06-20 12:04:43 -0700 (Thu, 20 Jun 2013) | 3 lines
Parser in IEGenLib can parse tuple element references off uninterpreted
function calls, e.g. tau_inv(k)[1].
------------------------------------------------------------------------
r679 | cathie | 2013-06-17 13:59:51 -0700 (Mon, 17 Jun 2013) | 3 lines
IEGRTWO-68
I have added the test that demonstrates the problem with Apply
------------------------------------------------------------------------
r678 | cathie | 2013-06-12 10:35:35 -0700 (Wed, 12 Jun 2013) | 5 lines
IEGRTWO-61:IEGRTWO-64
After reviewing the wiki entry I realized that I had to name the iteration reordering function different from the data reordering function.
That is now fixed.
However, pointer update is still not part of this.
------------------------------------------------------------------------
r676 | cathie | 2013-06-11 12:03:29 -0700 (Tue, 11 Jun 2013) | 6 lines
IEGRTWO-61
IEGRTWO-62
IEGRTWO-63
IEGRTWO-64
My first attempt at writing the test cases that correspond to the examples in the journal paper
------------------------------------------------------------------------
r675 | lewallen | 2013-05-18 16:48:52 -0700 (Sat, 18 May 2013) | 5 lines
IEGRTWO-31:
* Modified Conjunction::addEquality and Conjunction::addInequality to use Exp::operator< instead of string comparison.
* 4 Test cases in set_relation_test.cc updated for this change (listed on IEGRTWO-31).
* 6 Test cases in parser_test.cc updated for this change (listed on IEGRTWO-31).
------------------------------------------------------------------------
r673 | mstrout | 2013-05-16 09:53:34 -0700 (Thu, 16 May 2013) | 2 lines
Did another test on Set comparison and that is working well.
------------------------------------------------------------------------
r672 | mstrout | 2013-05-16 09:47:47 -0700 (Thu, 16 May 2013) | 2 lines
Added another test case for Relation::operator<. Looking good!
------------------------------------------------------------------------
r671 | lewallen | 2013-05-12 17:31:45 -0700 (Sun, 12 May 2013) | 5 lines
IEGRONE-93:
* Modified default TupleDecl to be all tuple variables "__tv#"'s instead of 0 constants.
* Modified SetRelationTest.ConjuctionToDot which was the only test broken by the change.
* Modified the comments on the SetRelationTest.ConjunctionLessThan... test cases to have the new default TupleDecl.
------------------------------------------------------------------------
r670 | lewallen | 2013-05-12 16:37:25 -0700 (Sun, 12 May 2013) | 9 lines
IEGRONE-93:
* Modified Conjunction::operator<(Conjunction) to first compare TupleDecl's and
then equalities/inequalities.
* Modified SetRelationTest.ConjunctionLessThanValues in set_relation_test.cc for
the modified operator<().
* Found and fixed a bug in TupleDecl::operator<(TupleDecl), Added
TupleDeclTest.TupleDeclLessThanBugFixing to TupleDecl_test.cc with the test
case that found the bug.
------------------------------------------------------------------------
r669 | lewallen | 2013-05-12 13:37:49 -0700 (Sun, 12 May 2013) | 6 lines
EGRONE-96:
* Added SetRelationTest.RelationLessThan to set_relation_test.cc for TTD on
Relation::operator<(Relation)
* Implemented Relation::operator<(Relation), SetRelationTest.RelationLessThan
passes 100%
------------------------------------------------------------------------
r668 | lewallen | 2013-05-02 12:20:36 -0700 (Thu, 02 May 2013) | 3 lines
IEGRONE-95: Added better description to the Set::operator<(Set) definition in
set_relation.cc.
------------------------------------------------------------------------
r667 | lewallen | 2013-05-02 11:45:15 -0700 (Thu, 02 May 2013) | 5 lines
IEGRONE-95:
* Added SetRelationTest.SetLessThan to set_relation_test.cc for TTD on
Set::operator<(Set)
* Implemented Set::operator<(Set), SetRelationTest.SetLessThan passes.
------------------------------------------------------------------------
r666 | lewallen | 2013-04-18 10:21:40 -0700 (Thu, 18 Apr 2013) | 11 lines
IEGRONE-97:
* Changed SparseConstraints::addConjunction(SparseConstraints) to
insert in sorted order (based on operator<). Many test cases updated with this
change (see JIRA issue for which ones).
* Updated SparseConstraints::operator=(SparseConstraints) to use addConjunction
because the operator previously did not maintain conjunction list order.
IEGRONE-94:
* Added 2 test cases SparseConstraintsLessThan... for TDD on
SparseConstraints::operator<(SparseConstraints).
* Implemented SparseConstraints::operator<(SparseConstraints)
------------------------------------------------------------------------
r665 | lewallen | 2013-04-10 19:22:19 -0700 (Wed, 10 Apr 2013) | 7 lines
IEGRONE-93:
* Made changes to set_relation.cc and set_relation_test.cc to
meet formatting rules for line length.
* Modified comments in ConjunctionLessThan... test cases which
falsely suggested the Conjunctions had a tuple declaration
associated with them.
------------------------------------------------------------------------
r657 | lewallen | 2013-04-03 13:17:51 -0700 (Wed, 03 Apr 2013) | 4 lines
IEGRTWO-29: Added comments to TupleDeclEquals... and TupleDeclLessThan...
tests in TupleDecl_test.cc about which tuple declarations are being created
and what is being compared.
------------------------------------------------------------------------
r656 | lewallen | 2013-04-03 12:24:41 -0700 (Wed, 03 Apr 2013) | 2 lines
Updated ConjunctionLessThan... tests with JIRA card number.
------------------------------------------------------------------------
r655 | lewallen | 2013-04-03 12:01:16 -0700 (Wed, 03 Apr 2013) | 5 lines
IEGRONE-93:
* Fixed broken test case ConjunctionLessThanValues.
* Implemented Conjunction::operator<(Conjunction) in set_relation.cc.
All ConjunctionLessThan... test cases pass.
------------------------------------------------------------------------
r654 | lewallen | 2013-04-02 18:26:30 -0700 (Tue, 02 Apr 2013) | 4 lines
IEGRONE-88: Adding 2 test cases ConjunctionLessThan... to
set_relation_test.cc. These test cases FAIL and will be used for TDD of
Conjunction::operator<(Conjunction) in set_relation.cc.
------------------------------------------------------------------------
r653 | mstrout | 2013-04-02 15:44:28 -0700 (Tue, 02 Apr 2013) | 2 lines
Modified some comments to say __tv4 instead of TupleTermE.
------------------------------------------------------------------------
r652 | mstrout | 2013-03-27 13:52:00 -0700 (Wed, 27 Mar 2013) | 2 lines
Minor changes to comments Jason made in expression_test.cc. IEGRTWO-30
------------------------------------------------------------------------
r651 | lewallen | 2013-03-27 13:50:39 -0700 (Wed, 27 Mar 2013) | 4 lines
IEGRTWO-32: Modified the ambiguous comment from the
TupleDecl:operator<(TupleDecl) about variables having a value
of -inf when being compared to constants.
------------------------------------------------------------------------
r650 | lewallen | 2013-03-26 11:22:57 -0700 (Tue, 26 Mar 2013) | 4 lines
IEGRTWO-30: Added comments to expression_test.cc:OperatorLessThan
and expression_test.cc:OperatorEqualsExp about what each expression
being compared is.
------------------------------------------------------------------------
r648 | mstrout | 2013-03-05 15:02:19 -0800 (Tue, 05 Mar 2013) | 6 lines
make mtest doesn't work.
make test works.
Minor edits to Mark's UnionFind comments and Jason's TupleDecl work.
------------------------------------------------------------------------
r647 | lewallen | 2013-03-04 12:51:42 -0800 (Mon, 04 Mar 2013) | 6 lines
* Added regression test "ExpTest.OperatorEqualsExp" for TDD.
* Implemented Exp::operator==(Exp) using Exp::operator<(Exp).
Note: We could be more efficient with the implementation of ==
if we didn't use operator<.
Regression test "ExpTest.OperatorEqualsExp" does pass.
------------------------------------------------------------------------
r646 | lewallen | 2013-03-04 12:03:22 -0800 (Mon, 04 Mar 2013) | 6 lines
* Fixed bug in regression test "ExpTest.OperatorLessThan".
* Moved the position of Exp::operator<(Exp) in expression.cc/.h
next to an exisiting Exp::operator==(Term).
* Implemented Exp::operator<(Exp).
The test case "ExpTest.OperatorLessThan" is no longer failing.
------------------------------------------------------------------------
r645 | lewallen | 2013-03-04 11:10:26 -0800 (Mon, 04 Mar 2013) | 4 lines
Added a broken Exp::operator<(Exp) (always returns true) and
one large regression test for TDD. This commit adds 1 failing
test case "ExpTest.OperatorLessThan".
------------------------------------------------------------------------
r644 | lewallen | 2013-03-01 21:43:04 -0800 (Fri, 01 Mar 2013) | 4 lines
Created 2 regression tests "TupleDeclTest.TupleDeclEquals..." and then
implemented TupleDecl::operator==(TupleDecl) using operator<.
Both regression tests pass. IEGRTWO-33
------------------------------------------------------------------------
r643 | lewallen | 2013-03-01 12:13:32 -0800 (Fri, 01 Mar 2013) | 4 lines
Implemented TupleDecl::operator<(TupleDecl). The test cases
"TupleDeclTest.TupleDeclLessThan..." are no longer failing.
IEGRTWO-29
------------------------------------------------------------------------
r642 | lewallen | 2013-03-01 11:25:02 -0800 (Fri, 01 Mar 2013) | 4 lines
Added a broken TupleDecl::operator<(TupleDecl) (always returns true) and some
regression tests to TupleDecl_test.cc for TDD. This commit adds 5 FAILING test
cases "TupleDeclTest.TupleDeclLessThan...". IEGRTWO-29
------------------------------------------------------------------------
r641 | mstrout | 2013-02-28 09:55:43 -0800 (Thu, 28 Feb 2013) | 2 lines
Created some JIRA tasks for Jason and put some of them in FIXME comments.
------------------------------------------------------------------------
r639 | mstrout | 2013-02-25 15:24:05 -0800 (Mon, 25 Feb 2013) | 2 lines
IEGenLib is now passing regression testing after the TupleDecl changes.
------------------------------------------------------------------------
r638 | mstrout | 2013-02-25 14:47:23 -0800 (Mon, 25 Feb 2013) | 3 lines
Committing changes to TupleDecl where toString takes a boolean
to indicate whether or not brackets should be used.
------------------------------------------------------------------------
r636 | heim | 2013-02-07 21:09:43 -0800 (Thu, 07 Feb 2013) | 1 line
IEGRTWO-27 Revised comments a second time in union_find_test.cc.
------------------------------------------------------------------------
r635 | heim | 2013-02-04 16:14:18 -0800 (Mon, 04 Feb 2013) | 1 line
IEGRTWO-27 fixed memory leaks and added comments to UnionFind_test.
------------------------------------------------------------------------
r634 | heim | 2013-01-31 23:11:34 -0800 (Thu, 31 Jan 2013) | 1 line
Renamed tuple_decl* in src/set_relation/ to TupleDecl* and updated references.
------------------------------------------------------------------------
r633 | mstrout | 2013-01-31 13:21:44 -0800 (Thu, 31 Jan 2013) | 2 lines
Fixed some of the set_relation_test.cc in IEGenCC by mistake.
------------------------------------------------------------------------
r632 | mstrout | 2013-01-31 13:16:54 -0800 (Thu, 31 Jan 2013) | 2 lines
Cleaning up after change to TupleDecl interface, IEGRTWO-14.
------------------------------------------------------------------------
r631 | heim | 2013-01-28 17:30:15 -0800 (Mon, 28 Jan 2013) | 1 line
Fixed copyright notices in tuple decl code.
------------------------------------------------------------------------
r630 | heim | 2013-01-28 17:20:06 -0800 (Mon, 28 Jan 2013) | 1 line
Fixed copyright notices in union find code.
------------------------------------------------------------------------
r628 | heim | 2013-01-25 03:03:07 -0800 (Fri, 25 Jan 2013) | 1 line
Added file tuple_decl_test.cc to test TupleDecl in set_relation of IEGenLib.
------------------------------------------------------------------------
r627 | heim | 2013-01-25 00:17:03 -0800 (Fri, 25 Jan 2013) | 1 line
Split off TupleDecl class definition/interface in expression.cc/.h and placed into tuple_decl.cc/h inside trunk/IEGenLib/src/set_relation
------------------------------------------------------------------------
r626 | heim | 2013-01-24 23:46:09 -0800 (Thu, 24 Jan 2013) | 1 line
Removed extra files from Union Find code.
------------------------------------------------------------------------
r625 | heim | 2013-01-24 23:10:30 -0800 (Thu, 24 Jan 2013) | 1 line
Fixed issue with duplicate main method in union_find_test.cc
------------------------------------------------------------------------
r624 | heim | 2013-01-20 14:47:23 -0800 (Sun, 20 Jan 2013) | 1 line
Included UnionFind implementation from external project with some unit tests. There is a short script that runs gtest on one file in IEGenLib/src/util/ that could be integrated into the Cmake build.
------------------------------------------------------------------------
r623 | cathie | 2013-01-18 13:12:02 -0800 (Fri, 18 Jan 2013) | 2 lines
IEGRTWO-11
------------------------------------------------------------------------
r622 | cathie | 2013-01-18 13:11:32 -0800 (Fri, 18 Jan 2013) | 2 lines
IEGRTWO-11
------------------------------------------------------------------------
r616 | cathie | 2013-01-18 12:46:33 -0800 (Fri, 18 Jan 2013) | 2 lines
adding in the externals in a file so they can be fixed if need be
------------------------------------------------------------------------
r615 | cathie | 2013-01-18 12:36:45 -0800 (Fri, 18 Jan 2013) | 2 lines
moving the dependencies
------------------------------------------------------------------------
r614 | cathie | 2013-01-18 12:15:22 -0800 (Fri, 18 Jan 2013) | 2 lines
cleaning out cloog before adding to its own spot in svn
------------------------------------------------------------------------
r611 | cathie | 2013-01-18 12:01:14 -0800 (Fri, 18 Jan 2013) | 2 lines
added in make gdbtest target
------------------------------------------------------------------------
r608 | cathie | 2013-01-17 19:35:44 -0800 (Thu, 17 Jan 2013) | 2 lines
Michelle's merge
------------------------------------------------------------------------
r606 | cathie | 2013-01-17 13:17:44 -0800 (Thu, 17 Jan 2013) | 3 lines
fixing make install
IEGRTWO-20
------------------------------------------------------------------------
r605 | cathie | 2013-01-17 12:58:40 -0800 (Thu, 17 Jan 2013) | 2 lines
within iegenlib we can't depend on the include directory having iegenlib in it
------------------------------------------------------------------------
r604 | cathie | 2013-01-17 12:54:28 -0800 (Thu, 17 Jan 2013) | 2 lines
IEGRTWO-20 fixing to handle includes correctly
------------------------------------------------------------------------
r599 | cathie | 2013-01-17 09:41:07 -0800 (Thu, 17 Jan 2013) | 2 lines
made sure that CMakeLists matches with IEGenCC
------------------------------------------------------------------------
r597 | cathie | 2013-01-15 14:07:19 -0800 (Tue, 15 Jan 2013) | 2 lines
change the path for .h files
------------------------------------------------------------------------
r596 | cathie | 2013-01-15 14:02:16 -0800 (Tue, 15 Jan 2013) | 2 lines
cleaning up a bit
------------------------------------------------------------------------
r595 | cathie | 2013-01-15 13:58:42 -0800 (Tue, 15 Jan 2013) | 2 lines
forcing removal
------------------------------------------------------------------------
r594 | cathie | 2013-01-15 13:47:37 -0800 (Tue, 15 Jan 2013) | 2 lines
At this point gen-parser works
------------------------------------------------------------------------
r593 | heim | 2013-01-15 11:10:03 -0800 (Tue, 15 Jan 2013) | 1 line
Added commented-out test cases to parser_test.cc and set_relation_test.cc in IEGenLib. These test (1) error conditions in the parser and (2) normal form considerations in the set_relation code.
------------------------------------------------------------------------
r592 | cathie | 2013-01-15 11:06:19 -0800 (Tue, 15 Jan 2013) | 2 lines
removing extra files
------------------------------------------------------------------------
r591 | cathie | 2013-01-14 12:29:42 -0800 (Mon, 14 Jan 2013) | 2 lines
IEGENRTWO-7
------------------------------------------------------------------------
r590 | cathie | 2013-01-11 13:21:22 -0800 (Fri, 11 Jan 2013) | 2 lines
had to change the bang line -- thats odd
------------------------------------------------------------------------
r589 | cathie | 2013-01-11 13:16:54 -0800 (Fri, 11 Jan 2013) | 2 lines
ok so now make rtest works
------------------------------------------------------------------------
r588 | cathie | 2013-01-11 13:12:53 -0800 (Fri, 11 Jan 2013) | 2 lines
its almost working
------------------------------------------------------------------------
r587 | cathie | 2013-01-11 12:31:50 -0800 (Fri, 11 Jan 2013) | 2 lines
removing extra dir
------------------------------------------------------------------------
r586 | cathie | 2013-01-11 12:23:26 -0800 (Fri, 11 Jan 2013) | 2 lines
I have moved all of iegenlib up one level
------------------------------------------------------------------------
r585 | cathie | 2013-01-11 12:22:53 -0800 (Fri, 11 Jan 2013) | 2 lines
trying to prevent tree conflicts
------------------------------------------------------------------------
r584 | cathie | 2013-01-11 12:21:41 -0800 (Fri, 11 Jan 2013) | 2 lines
starting to reorganize iegenlib -- its going to be messy for a while
------------------------------------------------------------------------
r583 | cathie | 2013-01-11 12:19:40 -0800 (Fri, 11 Jan 2013) | 2 lines
moving dependencies
------------------------------------------------------------------------
r581 | mstrout | 2013-01-10 15:30:37 -0800 (Thu, 10 Jan 2013) | 2 lines
Now have a getTupleIterator and changed SymbolIterator object to StringIterator.
------------------------------------------------------------------------
r578 | mstrout | 2013-01-09 14:54:51 -0800 (Wed, 09 Jan 2013) | 4 lines
Fixed the broken expresion_test.c SymbolIterator test. Just needed to clear
out some of those sets before using them in later tests and use the right
expressions in later tests.
------------------------------------------------------------------------
r576 | cathie | 2013-01-03 09:26:10 -0800 (Thu, 03 Jan 2013) | 2 lines
Rename of IEGen to IEGenLib
------------------------------------------------------------------------
r574 | cathie | 2013-01-02 13:44:16 -0800 (Wed, 02 Jan 2013) | 2 lines
I have removed a delete in order to avoid a seg fault, but the test still does not pass
------------------------------------------------------------------------
r571 | mstrout | 2013-01-01 11:58:36 -0800 (Tue, 01 Jan 2013) | 2 lines
IEGRONE-89. Have a rudimentary intersection operator for Set and Relation.
------------------------------------------------------------------------
r570 | mstrout | 2013-01-01 09:52:01 -0800 (Tue, 01 Jan 2013) | 2 lines
Now can parse a set with arity non-zero.
------------------------------------------------------------------------
r569 | mstrout | 2013-01-01 09:39:51 -0800 (Tue, 01 Jan 2013) | 2 lines
Generated parser.
------------------------------------------------------------------------
r568 | mstrout | 2013-01-01 09:38:26 -0800 (Tue, 01 Jan 2013) | 2 lines
Working on parser.y. To recompile parser, need to go to previous build setup.
------------------------------------------------------------------------
r567 | mstrout | 2013-01-01 08:37:01 -0800 (Tue, 01 Jan 2013) | 3 lines
Now testing toISLString() on a Relation as well.
Found issue IEGRTWO-18.
------------------------------------------------------------------------
r566 | mstrout | 2013-01-01 08:25:34 -0800 (Tue, 01 Jan 2013) | 2 lines
Closing JIRA IEGRTWO-16. Now have a toISLString() for sets and relations.
------------------------------------------------------------------------
r563 | mstrout | 2012-12-11 09:40:14 -0800 (Tue, 11 Dec 2012) | 2 lines
Added a findFunction to the Relation class.
------------------------------------------------------------------------
r551 | mstrout | 2012-11-27 19:56:41 -0800 (Tue, 27 Nov 2012) | 4 lines
Fleshed out more of the irwrapperstring classes.
Next big piece is to get the MapIR actually storing statements
and generating code.
------------------------------------------------------------------------
r550 | mstrout | 2012-11-27 19:03:35 -0800 (Tue, 27 Nov 2012) | 2 lines
Implemented and tested the AccessIterator class.
------------------------------------------------------------------------
r549 | mstrout | 2012-11-26 22:11:21 -0800 (Mon, 26 Nov 2012) | 4 lines
Roughed out iegencc.cc outline a bit more. Now we have the
IRWrapperString and StmtRepString examples. Their interaction