SCM Repository
Log of /trunk/src
Sticky Revision: |
Revision 416 - Directory Listing
Modified Sun Oct 17 00:32:07 2010 UTC (10 years, 3 months ago) by jhr
Bug fix: get the result type of condtional expressions right when simplifying
Revision 415 - Directory Listing
Modified Sun Oct 17 00:21:51 2010 UTC (10 years, 3 months ago) by jhr
bug fix for conditional expressions
Revision 414 - Directory Listing
Modified Sat Oct 16 18:00:43 2010 UTC (10 years, 3 months ago) by jhr
Working on checking
Revision 413 - Directory Listing
Modified Sat Oct 16 15:39:31 2010 UTC (10 years, 3 months ago) by jhr
More work on checking
Revision 412 - Directory Listing
Modified Sat Oct 16 15:19:19 2010 UTC (10 years, 3 months ago) by jhr
Working on IL checking
Revision 411 - Directory Listing
Modified Sat Oct 16 15:03:18 2010 UTC (10 years, 3 months ago) by jhr
Rename file
Revision 410 - Directory Listing
Modified Fri Oct 15 19:31:53 2010 UTC (10 years, 3 months ago) by jhr
Working on checking code
Revision 408 - Directory Listing
Modified Fri Oct 15 12:30:15 2010 UTC (10 years, 3 months ago) by jhr
Working on HighIL checking code
Revision 407 - Directory Listing
Modified Fri Oct 15 12:27:09 2010 UTC (10 years, 3 months ago) by jhr
Added more type info to HighIL operators to aid checking.
Revision 406 - Directory Listing
Modified Fri Oct 15 12:12:10 2010 UTC (10 years, 3 months ago) by jhr
Simplify basis by removing cruft that is not being used.
Revision 405 - Directory Listing
Modified Fri Oct 15 04:42:42 2010 UTC (10 years, 3 months ago) by jhr
Working on checking for HighIL
Revision 404 - Directory Listing
Modified Thu Oct 14 22:11:38 2010 UTC (10 years, 3 months ago) by jhr
Started to work on checking code for HighIL
Revision 403 - Directory Listing
Modified Thu Oct 14 22:11:13 2010 UTC (10 years, 3 months ago) by jhr
Minor edits
Revision 402 - Directory Listing
Modified Thu Oct 14 21:51:37 2010 UTC (10 years, 3 months ago) by jhr
reorganize operators a bit
Revision 401 - Directory Listing
Modified Thu Oct 14 21:08:45 2010 UTC (10 years, 3 months ago) by jhr
fixed typo
Revision 400 - Directory Listing
Modified Thu Oct 14 21:06:49 2010 UTC (10 years, 3 months ago) by jhr
Slice support in HighIL
Revision 399 - Directory Listing
Modified Thu Oct 14 20:08:35 2010 UTC (10 years, 3 months ago) by jhr
Working on slice support
Revision 398 - Directory Listing
Modified Thu Oct 14 20:08:18 2010 UTC (10 years, 3 months ago) by jhr
Added types to pretty printing
Revision 397 - Directory Listing
Modified Thu Oct 14 20:08:03 2010 UTC (10 years, 3 months ago) by jhr
bug fixes
Revision 395 - Directory Listing
Modified Thu Oct 14 16:52:15 2010 UTC (10 years, 3 months ago) by jhr
Fix inexhaustive matches by adding E_Slice placeholders
Revision 394 - Directory Listing
Modified Thu Oct 14 16:30:29 2010 UTC (10 years, 3 months ago) by jhr
Added types to IL variables
Revision 393 - Directory Listing
Modified Thu Oct 14 15:45:01 2010 UTC (10 years, 3 months ago) by jhr
new files
Revision 392 - Directory Listing
Modified Thu Oct 14 15:34:28 2010 UTC (10 years, 3 months ago) by jhr
Moving IL types out of the Op structures into their own per-IL structures.
Revision 391 - Directory Listing
Modified Thu Oct 14 13:18:24 2010 UTC (10 years, 3 months ago) by jhr
Move MidIL types into their own module
Revision 387 - Directory Listing
Modified Fri Oct 8 15:29:24 2010 UTC (10 years, 3 months ago) by jhr
Copy some of the translation boilerplate from the high-to-mid translation into the mid-to-low translation
Revision 383 - Directory Listing
Modified Tue Oct 5 21:53:49 2010 UTC (10 years, 3 months ago) by jhr
normalize tensor shapes in prune functions (e.g., tensor[1] ==> tensor[]).
Revision 382 - Directory Listing
Modified Tue Oct 5 21:46:21 2010 UTC (10 years, 3 months ago) by jhr
Fixed bug in grammar
Revision 381 - Directory Listing
Modified Tue Oct 5 21:42:17 2010 UTC (10 years, 3 months ago) by jhr
Working on adding slice notation and fixed precedence of differentiation
Revision 379 - Directory Listing
Modified Tue Oct 5 00:28:29 2010 UTC (10 years, 3 months ago) by jhr
Added conditional expression syntax
Revision 374 - Directory Listing
Modified Sun Oct 3 18:56:32 2010 UTC (10 years, 3 months ago) by jhr
Debugging probe.sml.
Revision 373 - Directory Listing
Modified Sun Oct 3 15:27:04 2010 UTC (10 years, 3 months ago) by jhr
Added fld2d' test case
Revision 372 - Directory Listing
Modified Sun Oct 3 15:20:28 2010 UTC (10 years, 3 months ago) by jhr
Bug fixes to HigiIL optimization
Revision 370 - Directory Listing
Modified Sat Oct 2 17:19:14 2010 UTC (10 years, 3 months ago) by jhr
Added parse-tree support for conditional expressions (still need parser support)
Revision 369 - Directory Listing
Modified Sat Oct 2 17:18:48 2010 UTC (10 years, 3 months ago) by jhr
Started to work on IL checker
Revision 368 - Directory Listing
Modified Fri Oct 1 18:17:34 2010 UTC (10 years, 3 months ago) by jhr
Working on optimization and translation
Revision 367 - Directory Listing
Modified Thu Sep 30 21:20:13 2010 UTC (10 years, 3 months ago) by jhr
Added HighIL to MidIL translation phase
Revision 365 - Directory Listing
Modified Wed Sep 29 20:07:58 2010 UTC (10 years, 3 months ago) by jhr
Working on translation
Revision 364 - Directory Listing
Modified Wed Sep 29 18:06:12 2010 UTC (10 years, 3 months ago) by jhr
Working on high to mid translation
Revision 363 - Directory Listing
Modified Wed Sep 29 18:05:48 2010 UTC (10 years, 3 months ago) by jhr
removed Transform from high IL
Revision 361 - Directory Listing
Modified Wed Sep 29 14:17:34 2010 UTC (10 years, 3 months ago) by jhr
Working on translation functor
Revision 360 - Directory Listing
Modified Wed Sep 29 02:59:34 2010 UTC (10 years, 3 months ago) by jhr
working on translation
Revision 359 - Directory Listing
Modified Tue Sep 28 22:03:40 2010 UTC (10 years, 3 months ago) by jhr
Adding new file for translation support
Revision 358 - Directory Listing
Modified Tue Sep 28 13:38:09 2010 UTC (10 years, 3 months ago) by jhr
Working on high to mid translation
Revision 355 - Directory Listing
Modified Sun Sep 26 18:00:31 2010 UTC (10 years, 3 months ago) by jhr
Move test-kernel stuff to fields directory
Revision 354 - Directory Listing
Modified Sun Sep 26 18:00:16 2010 UTC (10 years, 3 months ago) by jhr
Added hash-cons representation of IL expressions
Revision 353 - Directory Listing
Modified Fri Sep 24 21:43:11 2010 UTC (10 years, 3 months ago) by jhr
Debugging generation of probe code
Revision 352 - Directory Listing
Modified Fri Sep 24 07:21:51 2010 UTC (10 years, 3 months ago) by jhr
Debugging probe.sml
Revision 351 - Directory Listing
Modified Fri Sep 24 01:14:58 2010 UTC (10 years, 3 months ago) by jhr
Working on test driver for probe code
Revision 350 - Directory Listing
Modified Fri Sep 24 01:04:36 2010 UTC (10 years, 3 months ago) by jhr
Added assignToString function
Revision 349 - Directory Listing
Modified Fri Sep 24 00:24:20 2010 UTC (10 years, 3 months ago) by jhr
working on HighIL to MidIL translation
Revision 347 - Directory Listing
Modified Tue Sep 21 15:31:49 2010 UTC (10 years, 3 months ago) by jhr
Fixed header comment
Revision 346 - Directory Listing
Modified Mon Sep 20 19:23:56 2010 UTC (10 years, 4 months ago) by lamonts
deleting a random file
Revision 345 - Directory Listing
Modified Mon Sep 20 19:22:51 2010 UTC (10 years, 4 months ago) by lamonts
adding the translate directory for mid-to-low il
Revision 344 - Directory Listing
Modified Mon Sep 20 19:21:18 2010 UTC (10 years, 4 months ago) by lamonts
Adding the files for the low-il specs
Revision 343 - Directory Listing
Modified Mon Sep 20 02:47:00 2010 UTC (10 years, 4 months ago) by jhr
Adding comments
Revision 342 - Directory Listing
Modified Wed Sep 15 21:52:14 2010 UTC (10 years, 4 months ago) by jhr
New files
Revision 341 - Directory Listing
Modified Mon Sep 13 17:14:24 2010 UTC (10 years, 4 months ago) by jhr
Implementing the census functor
Revision 340 - Directory Listing
Modified Mon Sep 13 15:34:36 2010 UTC (10 years, 4 months ago) by jhr
Working on debugging HighIL optimization
Revision 338 - Directory Listing
Modified Mon Sep 13 14:49:12 2010 UTC (10 years, 4 months ago) by jhr
Working on HighIL optimization
Revision 337 - Directory Listing
Modified Sun Sep 12 14:26:47 2010 UTC (10 years, 4 months ago) by jhr
Put optimization passes in IL directories
Revision 336 - Directory Listing
Modified Tue Aug 24 20:24:21 2010 UTC (10 years, 4 months ago) by jhr
Added some comments
Revision 334 - Directory Listing
Modified Thu Aug 19 20:53:07 2010 UTC (10 years, 5 months ago) by jhr
Working on high to mid translation
Revision 333 - Directory Listing
Modified Thu Aug 19 20:52:48 2010 UTC (10 years, 5 months ago) by jhr
Tweaking MidIL definition
Revision 332 - Directory Listing
Modified Thu Aug 19 20:18:53 2010 UTC (10 years, 5 months ago) by jhr
Fixed bugs in mid-il and IL generator
Revision 328 - Directory Listing
Modified Wed Aug 18 22:19:26 2010 UTC (10 years, 5 months ago) by jhr
Working on HighIL to MidIL translation
Revision 325 - Directory Listing
Modified Wed Aug 18 17:07:16 2010 UTC (10 years, 5 months ago) by jhr
Added compiler README file
Revision 324 - Directory Listing
Modified Wed Aug 18 17:06:10 2010 UTC (10 years, 5 months ago) by jhr
Adding placeholder directories
Revision 323 - Directory Listing
Modified Wed Aug 18 14:59:35 2010 UTC (10 years, 5 months ago) by jhr
Working on probe code generation
Revision 320 - Directory Listing
Modified Wed Aug 18 04:13:28 2010 UTC (10 years, 5 months ago) by jhr
Working on HighIL optimizer
Revision 319 - Directory Listing
Modified Wed Aug 18 04:13:08 2010 UTC (10 years, 5 months ago) by jhr
comments
Revision 314 - Directory Listing
Modified Tue Aug 17 21:49:25 2010 UTC (10 years, 5 months ago) by jhr
Working on compiler
Revision 304 - Directory Listing
Modified Tue Aug 17 14:20:44 2010 UTC (10 years, 5 months ago) by jhr
tweaking mid IL
Revision 287 - Directory Listing
Modified Fri Aug 13 21:40:04 2010 UTC (10 years, 5 months ago) by jhr
new files
Revision 286 - Directory Listing
Modified Fri Aug 13 21:39:34 2010 UTC (10 years, 5 months ago) by jhr
added convolve function
Revision 285 - Directory Listing
Modified Fri Aug 13 20:52:11 2010 UTC (10 years, 5 months ago) by jhr
Added Stats module
Revision 284 - Directory Listing
Modified Fri Aug 13 20:39:04 2010 UTC (10 years, 5 months ago) by jhr
More general representation of image samples
Revision 283 - Directory Listing
Modified Fri Aug 13 20:38:43 2010 UTC (10 years, 5 months ago) by jhr
Added newProp and newFlag functions for nodes, stmts, and vars
Revision 282 - Directory Listing
Modified Fri Aug 13 19:20:23 2010 UTC (10 years, 5 months ago) by jhr
Made the IL generator more general to handle MidIL features
Revision 281 - Directory Listing
Modified Fri Aug 13 17:40:53 2010 UTC (10 years, 5 months ago) by jhr
Working on MidIL representation
Revision 280 - Directory Listing
Modified Fri Aug 13 17:40:28 2010 UTC (10 years, 5 months ago) by jhr
New directory
Revision 269 - Directory Listing
Modified Wed Aug 11 04:42:30 2010 UTC (10 years, 5 months ago) by jhr
Make the "lift" phase be more agressive about evaluating
Revision 268 - Directory Listing
Modified Wed Aug 11 04:41:04 2010 UTC (10 years, 5 months ago) by jhr
merge DIFF and CONV constructors
Revision 267 - Directory Listing
Modified Wed Aug 11 04:40:44 2010 UTC (10 years, 5 months ago) by jhr
tweaking printing of SSA IL
Revision 266 - Directory Listing
Modified Tue Aug 10 21:25:40 2010 UTC (10 years, 5 months ago) by jhr
Moving high-IL stuff to its own directory
Revision 265 - Directory Listing
Modified Tue Aug 10 21:16:06 2010 UTC (10 years, 5 months ago) by jhr
Some work on SSA checking code
Revision 264 - Directory Listing
Modified Tue Aug 10 17:36:47 2010 UTC (10 years, 5 months ago) by jhr
Change kernel representation to not rely on symmetry
Revision 263 - Directory Listing
Modified Tue Aug 10 17:36:19 2010 UTC (10 years, 5 months ago) by jhr
Bug fix
Revision 258 - Directory Listing
Modified Mon Aug 9 18:36:44 2010 UTC (10 years, 5 months ago) by jhr
Added BackwardDFAFn functor
Revision 257 - Directory Listing
Modified Mon Aug 9 18:28:37 2010 UTC (10 years, 5 months ago) by jhr
Added ForwardDFAFn functor
Revision 256 - Directory Listing
Modified Mon Aug 9 17:28:57 2010 UTC (10 years, 5 months ago) by jhr
New version of IL with translation to HighIL and pretty printing.
Revision 250 - Directory Listing
Modified Fri Aug 6 21:37:28 2010 UTC (10 years, 5 months ago) by jhr
Adding more Unicode operators
Revision 247 - Directory Listing
Modified Fri Aug 6 20:20:42 2010 UTC (10 years, 5 months ago) by jhr
Added infix convolve syntax
Revision 246 - Directory Listing
Modified Fri Aug 6 15:32:26 2010 UTC (10 years, 5 months ago) by jhr
Output to log file
Revision 245 - Directory Listing
Modified Fri Aug 6 15:31:55 2010 UTC (10 years, 5 months ago) by jhr
Support evaluation for more functions
Revision 244 - Directory Listing
Modified Fri Aug 6 15:31:13 2010 UTC (10 years, 5 months ago) by jhr
Added smart constructors
Revision 242 - Directory Listing
Modified Fri Aug 6 15:25:03 2010 UTC (10 years, 5 months ago) by jhr
Bug fix: get the order of instantiated meta variables right
Revision 241 - Directory Listing
Modified Fri Aug 6 14:07:20 2010 UTC (10 years, 5 months ago) by jhr
Bug fix: add missing case to pruneShape
Revision 240 - Directory Listing
Modified Fri Aug 6 04:59:16 2010 UTC (10 years, 5 months ago) by jhr
Working on lifting and translation
Revision 239 - Directory Listing
Modified Fri Aug 6 00:36:04 2010 UTC (10 years, 5 months ago) by jhr
Working on image-info input
Revision 238 - Directory Listing
Modified Thu Aug 5 23:17:46 2010 UTC (10 years, 5 months ago) by jhr
Use the log file for debugging output
Revision 237 - Directory Listing
Modified Thu Aug 5 23:17:27 2010 UTC (10 years, 5 months ago) by jhr
Added Log structure
Revision 236 - Directory Listing
Modified Thu Aug 5 21:57:57 2010 UTC (10 years, 5 months ago) by jhr
Hook in evaluation of statics
Revision 235 - Directory Listing
Modified Thu Aug 5 21:57:46 2010 UTC (10 years, 5 months ago) by jhr
Bug fixes
Revision 234 - Directory Listing
Modified Thu Aug 5 21:34:29 2010 UTC (10 years, 5 months ago) by jhr
Working on static evalution
Revision 232 - Directory Listing
Modified Thu Aug 5 16:18:44 2010 UTC (10 years, 5 months ago) by jhr
Working on static evaluation
Revision 231 - Directory Listing
Modified Thu Aug 5 16:11:37 2010 UTC (10 years, 5 months ago) by jhr
Working on evaluation of static globals
Revision 230 - Directory Listing
Modified Thu Aug 5 16:00:24 2010 UTC (10 years, 5 months ago) by jhr
Added Inputs module to handle static input variables
Revision 229 - Directory Listing
Modified Wed Aug 4 15:46:08 2010 UTC (10 years, 5 months ago) by jhr
Added type field to E_Input in Simple AST.
Revision 228 - Directory Listing
Modified Wed Aug 4 13:36:35 2010 UTC (10 years, 5 months ago) by jhr
Made typechecking more strict.
Revision 227 - Directory Listing
Modified Wed Aug 4 05:27:13 2010 UTC (10 years, 5 months ago) by jhr
Working on lifting
Revision 226 - Directory Listing
Modified Tue Aug 3 21:34:18 2010 UTC (10 years, 5 months ago) by jhr
Working on translation to HighIL
Revision 221 - Directory Listing
Modified Tue Aug 3 20:13:55 2010 UTC (10 years, 5 months ago) by jhr
Added E_Input and E_Field constructors to Simple AST
Revision 202 - Directory Listing
Modified Tue Aug 3 13:06:03 2010 UTC (10 years, 5 months ago) by jhr
Reorganize stuff to do with images, kernels, and fields into its own directory.
Revision 201 - Directory Listing
Modified Tue Aug 3 12:57:10 2010 UTC (10 years, 5 months ago) by jhr
Reorganizing source
Revision 200 - Directory Listing
Modified Mon Aug 2 21:57:49 2010 UTC (10 years, 5 months ago) by jhr
Working on translateion
Revision 199 - Directory Listing
Modified Mon Aug 2 21:34:31 2010 UTC (10 years, 5 months ago) by jhr
Added Var substructure to SSAFn
Revision 198 - Directory Listing
Modified Mon Aug 2 21:26:57 2010 UTC (10 years, 5 months ago) by jhr
Starting to add utility code for SSA representations
Revision 197 - Directory Listing
Modified Mon Aug 2 20:51:47 2010 UTC (10 years, 5 months ago) by jhr
Working on translation to HighIL
Revision 196 - Directory Listing
Modified Mon Aug 2 19:10:49 2010 UTC (10 years, 5 months ago) by jhr
Update
Revision 195 - Directory Listing
Modified Mon Aug 2 19:09:04 2010 UTC (10 years, 5 months ago) by jhr
Adding operations for fields
Revision 194 - Directory Listing
Modified Mon Aug 2 16:40:29 2010 UTC (10 years, 5 months ago) by jhr
Working on translation to IL
Revision 193 - Directory Listing
Modified Mon Aug 2 16:40:18 2010 UTC (10 years, 5 months ago) by jhr
Added Tbl structure
Revision 192 - Directory Listing
Modified Mon Aug 2 16:23:42 2010 UTC (10 years, 5 months ago) by jhr
Working on translation to IL
Revision 190 - Directory Listing
Modified Sat Jul 31 04:39:18 2010 UTC (10 years, 5 months ago) by jhr
Minor work on translation
Revision 189 - Directory Listing
Modified Fri Jul 30 19:37:01 2010 UTC (10 years, 5 months ago) by jhr
Working on translation to HighIL
Revision 188 - Directory Listing
Modified Thu Jul 29 22:28:39 2010 UTC (10 years, 5 months ago) by jhr
Working on translation to IL
Revision 187 - Directory Listing
Modified Thu Jul 29 14:00:37 2010 UTC (10 years, 5 months ago) by jhr
Working on IL representation
Revision 186 - Directory Listing
Modified Thu Jul 29 04:26:57 2010 UTC (10 years, 5 months ago) by jhr
Add generator for IL operator structures.
Revision 185 - Directory Listing
Modified Wed Jul 28 17:11:09 2010 UTC (10 years, 5 months ago) by jhr
Renamed internal variable input to optInput and added input variable.
Revision 184 - Directory Listing
Modified Wed Jul 28 16:48:27 2010 UTC (10 years, 5 months ago) by jhr
Working on translation
Revision 183 - Directory Listing
Modified Wed Jul 28 16:28:10 2010 UTC (10 years, 5 months ago) by jhr
Working on translation to HighIL
Revision 182 - Directory Listing
Modified Wed Jul 28 16:05:13 2010 UTC (10 years, 5 months ago) by jhr
Added toType, toDiff, toShape, and toDim functions
Revision 181 - Directory Listing
Modified Wed Jul 28 14:37:42 2010 UTC (10 years, 5 months ago) by jhr
Added file
Revision 180 - Directory Listing
Modified Wed Jul 28 14:37:08 2010 UTC (10 years, 5 months ago) by jhr
Working on translation to HighIL
Revision 179 - Directory Listing
Modified Tue Jul 27 20:43:23 2010 UTC (10 years, 5 months ago) by jhr
Simplified AST code now uses default input values when no input is given.
Revision 176 - Directory Listing
Modified Mon Jul 26 19:47:48 2010 UTC (10 years, 5 months ago) by jhr
Switch the translate code to take simple AST as its input type
Revision 175 - Directory Listing
Modified Sat Jul 24 16:53:55 2010 UTC (10 years, 5 months ago) by jhr
Added pretty printing for simplified AST
Revision 174 - Directory Listing
Modified Sat Jul 24 15:38:08 2010 UTC (10 years, 5 months ago) by jhr
Adding simplify pass to driver
Revision 173 - Directory Listing
Modified Sat Jul 24 15:37:50 2010 UTC (10 years, 5 months ago) by jhr
Cleanup and simplification of AST representation
Revision 172 - Directory Listing
Modified Sat Jul 24 15:37:08 2010 UTC (10 years, 5 months ago) by jhr
New file: working on pretty printing for Simple AST
Revision 171 - Directory Listing
Modified Sat Jul 24 14:13:10 2010 UTC (10 years, 5 months ago) by jhr
Adding simple-ast representation
Revision 170 - Directory Listing
Modified Sat Jul 24 13:30:47 2010 UTC (10 years, 5 months ago) by jhr
Restrict polymorphism to operators/functions.
Revision 169 - Directory Listing
Modified Thu Jul 22 20:07:37 2010 UTC (10 years, 5 months ago) by jhr
Split function and variable namespaces and add notion of restricted operations that cannot appear inside actor or initialization code.
Revision 168 - Directory Listing
Modified Wed Jul 21 20:58:37 2010 UTC (10 years, 6 months ago) by jhr
Working on translation to HighIL
Revision 167 - Directory Listing
Modified Wed Jul 21 20:58:09 2010 UTC (10 years, 6 months ago) by jhr
Added comment
Revision 166 - Directory Listing
Modified Wed Jul 21 15:21:12 2010 UTC (10 years, 6 months ago) by jhr
New file
Revision 165 - Directory Listing
Modified Wed Jul 21 15:20:53 2010 UTC (10 years, 6 months ago) by jhr
Adding equality tests and hashing support
Revision 164 - Directory Listing
Modified Tue Jul 20 18:56:04 2010 UTC (10 years, 6 months ago) by jhr
Added output state variables and stabilize methods
Revision 155 - Directory Listing
Modified Fri Jul 9 21:38:01 2010 UTC (10 years, 6 months ago) by jhr
Added kernel printing code
Revision 153 - Directory Listing
Modified Fri Jul 9 18:59:12 2010 UTC (10 years, 6 months ago) by jhr
Debugging kernel support using test driver
Revision 147 - Directory Listing
Modified Fri Jul 9 08:17:48 2010 UTC (10 years, 6 months ago) by glk
fixed bug that allowed named space to remain
Revision 143 - Directory Listing
Modified Thu Jul 8 19:12:22 2010 UTC (10 years, 6 months ago) by jhr
Added min and max on reals.
Revision 141 - Directory Listing
Modified Thu Jul 8 18:51:26 2010 UTC (10 years, 6 months ago) by jhr
Added RawTypes module
Revision 140 - Directory Listing
Modified Thu Jul 8 18:48:51 2010 UTC (10 years, 6 months ago) by jhr
Starting to write a test driver for the kernel code
Revision 139 - Directory Listing
Modified Thu Jul 8 18:48:23 2010 UTC (10 years, 6 months ago) by jhr
Made kernel type abstract and added derivative cache.
Revision 138 - Directory Listing
Modified Thu Jul 8 18:47:33 2010 UTC (10 years, 6 months ago) by jhr
Added toReal function
Revision 137 - Directory Listing
Modified Wed Jul 7 21:30:23 2010 UTC (10 years, 6 months ago) by jhr
Working on IR
Revision 136 - Directory Listing
Modified Wed Jul 7 20:38:52 2010 UTC (10 years, 6 months ago) by jhr
Added variable sets and maps
Revision 135 - Directory Listing
Modified Fri Jul 2 21:57:47 2010 UTC (10 years, 6 months ago) by jhr
Working on IL representation
Revision 133 - Directory Listing
Modified Fri Jul 2 21:41:27 2010 UTC (10 years, 6 months ago) by jhr
Merging image-info into IL directory
Revision 132 - Directory Listing
Modified Fri Jul 2 21:30:59 2010 UTC (10 years, 6 months ago) by jhr
merge image-info directory into the IL directory
Revision 131 - Directory Listing
Modified Fri Jul 2 21:30:43 2010 UTC (10 years, 6 months ago) by jhr
Added normalize function
Revision 130 - Directory Listing
Modified Thu Jul 1 20:08:43 2010 UTC (10 years, 6 months ago) by jhr
Working on IL
Revision 129 - Directory Listing
Modified Thu Jul 1 18:03:54 2010 UTC (10 years, 6 months ago) by jhr
Parameterize the SSA representation over the operators
Revision 127 - Directory Listing
Modified Tue Jun 29 20:08:28 2010 UTC (10 years, 6 months ago) by jhr
Fixed syntax error
Revision 125 - Directory Listing
Modified Tue Jun 29 15:13:36 2010 UTC (10 years, 6 months ago) by glk
added -h and now respects per-axis spacing
Revision 124 - Directory Listing
Modified Mon Jun 28 20:40:26 2010 UTC (10 years, 6 months ago) by jhr
New file
Revision 123 - Directory Listing
Modified Mon Jun 28 18:05:04 2010 UTC (10 years, 6 months ago) by jhr
Adding configuration support
Revision 122 - Directory Listing
Modified Mon Jun 28 17:58:00 2010 UTC (10 years, 6 months ago) by jhr
Fix syntax errors
Revision 121 - Directory Listing
Modified Thu Jun 24 22:40:12 2010 UTC (10 years, 6 months ago) by jhr
Adding makefile for dnorm program
Revision 118 - Directory Listing
Modified Thu Jun 24 17:06:25 2010 UTC (10 years, 6 months ago) by jhr
Added compare to Rational
Revision 117 - Directory Listing
Modified Thu Jun 24 14:00:22 2010 UTC (10 years, 6 months ago) by jhr
Switched kernels to use rational coefficients and added definitions of common kernels.
Revision 116 - Directory Listing
Modified Thu Jun 24 13:43:16 2010 UTC (10 years, 6 months ago) by jhr
Fix bugs
Revision 115 - Directory Listing
Modified Wed Jun 23 22:01:49 2010 UTC (10 years, 6 months ago) by jhr
Working on rational numbers for the kernels
Revision 114 - Directory Listing
Modified Wed Jun 23 19:39:36 2010 UTC (10 years, 6 months ago) by jhr
New directory to hold tool for getting NRRD-file summary info
Revision 113 - Directory Listing
Modified Wed Jun 23 19:37:39 2010 UTC (10 years, 6 months ago) by jhr
Moved to src/compiler
Revision 112 - Directory Listing
Modified Wed Jun 23 19:35:31 2010 UTC (10 years, 6 months ago) by jhr
Restore Gordon's edits
Revision 111 - Directory Listing
Modified Wed Jun 23 19:29:19 2010 UTC (10 years, 6 months ago) by jhr
Moving compiler sources into src/compiler
Revision 110 - Directory Listing
Modified Wed Jun 23 19:28:48 2010 UTC (10 years, 6 months ago) by jhr
Moving compiler sources into src/compiler
Revision 109 - Directory Listing
Modified Wed Jun 23 07:25:26 2010 UTC (10 years, 6 months ago) by glk
clarified restriction between dimension and space dimension
Revision 108 - Directory Listing
Modified Tue Jun 15 17:13:55 2010 UTC (10 years, 7 months ago) by jhr
Adding file
Revision 107 - Directory Listing
Modified Tue Jun 15 15:31:11 2010 UTC (10 years, 7 months ago) by glk
info about restricted NRRD format coming out of dnorm program
Revision 106 - Directory Listing
Modified Tue Jun 15 15:29:37 2010 UTC (10 years, 7 months ago) by jhr
Adding image-info directory
Revision 103 - Directory Listing
Modified Tue Jun 1 16:04:04 2010 UTC (10 years, 7 months ago) by jhr
Bug fixes
Revision 102 - Directory Listing
Modified Fri May 28 15:20:55 2010 UTC (10 years, 7 months ago) by jhr
Changed grammar to restrict the type of parameters to ValueType
Revision 99 - Directory Listing
Modified Fri May 28 00:14:34 2010 UTC (10 years, 7 months ago) by jhr
Better error messages
Revision 96 - Directory Listing
Modified Thu May 27 17:57:31 2010 UTC (10 years, 7 months ago) by jhr
Code reorg and added type arguments to variable printing in ASTPP.
Revision 95 - Directory Listing
Modified Thu May 27 17:22:20 2010 UTC (10 years, 7 months ago) by jhr
export more functions from TypeUtil
Revision 94 - Directory Listing
Modified Thu May 27 17:03:13 2010 UTC (10 years, 7 months ago) by jhr
Working on the pretty printer
Revision 93 - Directory Listing
Modified Thu May 27 15:32:06 2010 UTC (10 years, 7 months ago) by jhr
Added placeholder for pretty-printing AST after typechecking
Revision 91 - Directory Listing
Modified Thu May 27 15:16:36 2010 UTC (10 years, 7 months ago) by jhr
Fixed some bugs in the basis
Revision 89 - Directory Listing
Modified Thu May 27 01:37:21 2010 UTC (10 years, 7 months ago) by jhr
Working on typechecker
Revision 88 - Directory Listing
Modified Wed May 26 23:07:50 2010 UTC (10 years, 7 months ago) by jhr
Working on typechecker
Revision 86 - Directory Listing
Modified Wed May 26 22:23:17 2010 UTC (10 years, 7 months ago) by jhr
Added new syntax for tensor-value construction and more work on typechecker.
Revision 85 - Directory Listing
Modified Wed May 26 19:51:10 2010 UTC (10 years, 7 months ago) by jhr
Working on typechecker
Revision 83 - Directory Listing
Modified Wed May 26 18:50:44 2010 UTC (10 years, 7 months ago) by jhr
More work on the typechecker
Revision 82 - Directory Listing
Modified Wed May 26 18:20:49 2010 UTC (10 years, 7 months ago) by jhr
Working on typechecker
Revision 81 - Directory Listing
Modified Wed May 26 17:28:54 2010 UTC (10 years, 7 months ago) by jhr
Working on typechecker
Revision 80 - Directory Listing
Modified Tue May 25 03:05:33 2010 UTC (10 years, 7 months ago) by jhr
Working on typechecker
Revision 79 - Directory Listing
Modified Tue May 25 01:55:48 2010 UTC (10 years, 7 months ago) by jhr
Working on typechecker
Revision 78 - Directory Listing
Modified Mon May 24 22:31:49 2010 UTC (10 years, 7 months ago) by jhr
Rosking on type checker
Revision 77 - Directory Listing
Modified Mon May 24 21:57:10 2010 UTC (10 years, 7 months ago) by jhr
Move env.sml to env directory
Revision 76 - Directory Listing
Modified Mon May 24 21:56:08 2010 UTC (10 years, 7 months ago) by jhr
New directory
Revision 75 - Directory Listing
Modified Mon May 24 20:41:18 2010 UTC (10 years, 7 months ago) by jhr
Propoagating changes to meta variables
Revision 74 - Directory Listing
Modified Mon May 24 16:38:42 2010 UTC (10 years, 7 months ago) by jhr
Refined meta-variable representation
Revision 73 - Directory Listing
Modified Sun May 23 22:54:59 2010 UTC (10 years, 7 months ago) by jhr
Comment out raw types, which are not used yet.
Revision 72 - Directory Listing
Modified Sat May 22 22:48:47 2010 UTC (10 years, 7 months ago) by jhr
Working on typechecker
Revision 71 - Directory Listing
Modified Sat May 22 22:16:04 2010 UTC (10 years, 7 months ago) by jhr
Working on typechecker
Revision 70 - Directory Listing
Modified Sat May 22 14:23:32 2010 UTC (10 years, 8 months ago) by jhr
Working on typechecker
Revision 69 - Directory Listing
Modified Tue May 18 21:23:53 2010 UTC (10 years, 8 months ago) by jhr
Starting to write a typechecker
Revision 68 - Directory Listing
Modified Tue May 18 16:51:30 2010 UTC (10 years, 8 months ago) by jhr
Working on Basis
Revision 65 - Directory Listing
Modified Thu May 13 21:04:35 2010 UTC (10 years, 8 months ago) by jhr
Added TypeVar module
Revision 63 - Directory Listing
Modified Thu May 13 00:29:39 2010 UTC (10 years, 8 months ago) by jhr
Working on typechecking for Diderot
Revision 62 - Directory Listing
Modified Tue May 11 16:03:31 2010 UTC (10 years, 8 months ago) by jhr
edit comments
Revision 61 - Directory Listing
Modified Tue May 11 16:02:48 2010 UTC (10 years, 8 months ago) by jhr
Fix representation of types
Revision 60 - Directory Listing
Modified Tue May 4 15:55:00 2010 UTC (10 years, 8 months ago) by jhr
Some work on typing the basis
Revision 57 - Directory Listing
Modified Fri Apr 30 14:41:31 2010 UTC (10 years, 8 months ago) by jhr
Added names from tracto example
Revision 53 - Directory Listing
Modified Tue Apr 20 15:58:22 2010 UTC (10 years, 9 months ago) by glk
added tent kernel
Revision 50 - Directory Listing
Modified Wed Apr 14 21:49:50 2010 UTC (10 years, 9 months ago) by jhr
Fixed lexer bug
Revision 48 - Directory Listing
Modified Tue Apr 13 23:11:15 2010 UTC (10 years, 9 months ago) by jhr
Changed grammar to use different type syntax
Revision 47 - Directory Listing
Modified Tue Apr 13 14:57:27 2010 UTC (10 years, 9 months ago) by jhr
Starting to work on the basis environment
Revision 45 - Directory Listing
Modified Tue Apr 6 15:51:03 2010 UTC (10 years, 9 months ago) by jhr
Added norm syntax
Revision 42 - Directory Listing
Modified Wed Mar 3 18:26:50 2010 UTC (10 years, 10 months ago) by jhr
Added NaNs and infinities
Revision 40 - Directory Listing
Modified Wed Mar 3 14:51:38 2010 UTC (10 years, 10 months ago) by jhr
Added intialization syntax
Revision 39 - Directory Listing
Modified Thu Feb 11 16:58:32 2010 UTC (10 years, 11 months ago) by jhr
Parser hacking
Revision 37 - Directory Listing
Modified Thu Feb 11 03:51:36 2010 UTC (10 years, 11 months ago) by jhr
Added value constructor syntax
Revision 35 - Directory Listing
Modified Thu Feb 11 01:04:20 2010 UTC (10 years, 11 months ago) by jhr
Fixing parser/scanner bugs
Revision 34 - Directory Listing
Modified Thu Feb 11 00:38:12 2010 UTC (10 years, 11 months ago) by jhr
Remove CM files
Revision 33 - Directory Listing
Modified Thu Feb 11 00:37:51 2010 UTC (10 years, 11 months ago) by jhr
New directory
Revision 32 - Directory Listing
Modified Wed Feb 10 22:24:56 2010 UTC (10 years, 11 months ago) by jhr
New file
Revision 31 - Directory Listing
Modified Wed Feb 10 22:24:40 2010 UTC (10 years, 11 months ago) by jhr
Type-error fixes
Revision 30 - Directory Listing
Modified Wed Feb 10 22:17:50 2010 UTC (10 years, 11 months ago) by jhr
Working on Diderot parser
Revision 29 - Directory Listing
Modified Wed Feb 10 21:45:00 2010 UTC (10 years, 11 months ago) by jhr
Adding sources.cm and fixing some type errors
Revision 28 - Directory Listing
Modified Tue Feb 9 02:55:41 2010 UTC (10 years, 11 months ago) by jhr
More parser hacking
Revision 27 - Directory Listing
Modified Tue Feb 9 02:36:31 2010 UTC (10 years, 11 months ago) by jhr
Working on Diderot parser
Revision 26 - Directory Listing
Modified Tue Feb 9 00:43:01 2010 UTC (10 years, 11 months ago) by jhr
Working on Diderot parser
Revision 25 - Directory Listing
Modified Mon Feb 8 22:51:42 2010 UTC (10 years, 11 months ago) by jhr
Working on Diderot parser
Revision 24 - Directory Listing
Modified Mon Feb 1 22:43:55 2010 UTC (10 years, 11 months ago) by jhr
Working on grammar
Revision 23 - Directory Listing
Modified Mon Feb 1 03:29:06 2010 UTC (10 years, 11 months ago) by jhr
Working on Diderot grammar
Revision 19 - Directory Listing
Modified Fri Jan 15 14:17:29 2010 UTC (11 years ago) by jhr
Working on Diderot grammar
Revision 14 - Directory Listing
Modified Tue Jan 12 23:03:22 2010 UTC (11 years ago) by jhr
Starting to work on parser for Diderot
Revision 12 - Directory Listing
Modified Mon Jan 11 19:28:12 2010 UTC (11 years ago) by jhr
comments and minor edits
Revision 9 - Directory Listing
Modified Fri Jan 8 22:06:11 2010 UTC (11 years ago) by jhr
More work on type system
Revision 8 - Directory Listing
Modified Fri Jan 8 21:50:42 2010 UTC (11 years ago) by jhr
More work on types; added well-formedness check
Revision 7 - Directory Listing
Modified Fri Jan 8 20:44:57 2010 UTC (11 years ago) by jhr
Starting to work on internal-language representation of types.
Revision 3 - Directory Listing
Added Wed Jan 6 04:47:22 2010 UTC (11 years ago) by jhr
Initial commits
root@smlnj-gforge.cs.uchicago.edu | ViewVC Help |
Powered by ViewVC 1.0.0 |