Robby Findler
|
18b8cde3e2
|
adjusted the annotations so that contracts can declare multiple parts
of themselves to be colored and then used that so that the #:pre-cond
and #:post-cond keywords on ->i contracts are colored.
|
2010-08-07 14:35:03 -05:00 |
|
Robby Findler
|
b664b04999
|
added property for internal contract dependencies to ->i
|
2010-08-07 14:35:03 -05:00 |
|
Robby Findler
|
74a0e49a4b
|
Added properties so that the ->i contract now shows its obligation information
|
2010-08-07 14:35:03 -05:00 |
|
Robby Findler
|
1fd82ee28e
|
adjusted the syntax checking to allow the new syntax of ->i (but still has the old ->d semantics)
|
2010-08-07 14:35:03 -05:00 |
|
Robby Findler
|
f5a190bf80
|
made a copy of the ->d contract implementation as a starting point for an implementation of ->i (sometimes, paper deadlines can be a Bad Thing...)
|
2010-08-07 14:35:03 -05:00 |
|
Robby Findler
|
4eb3df7094
|
various cleanups, including finishing up the client mode, string constants, and coloring of (known) identifiers
|
2010-08-07 14:35:03 -05:00 |
|
Robby Findler
|
b9ff546e83
|
now traverses from the bound occurrences to the binding ones for contract annotations
|
2010-08-07 14:35:03 -05:00 |
|
Robby Findler
|
e7bd94f2d2
|
adjusted check syntax to record the right-hand side of binding forms (when they are there)
|
2010-08-07 14:35:03 -05:00 |
|
Robby Findler
|
5a5da11314
|
added in unioning and a bit more coloring; checking in to prepare for some changes to the original check syntax (to support contract obligations better)
|
2010-08-07 14:35:02 -05:00 |
|
Robby Findler
|
b72a59d55c
|
broke things up a little bit more and started in on the new contract traversal
|
2010-08-07 14:35:02 -05:00 |
|
Robby Findler
|
9b01650e83
|
broke up check syntax into multiple files
|
2010-08-07 14:35:02 -05:00 |
|
Robby Findler
|
f1e1887fee
|
started on a better way to do the obligation coloring
|
2010-08-07 14:35:02 -05:00 |
|
Jay McCarthy
|
8a67fceb4a
|
Added attributes to textarea-input based on patch from Horace Dynamite
|
2010-08-06 20:08:21 -06:00 |
|
John Clements
|
f86edf3c8e
|
added message about OS behavior on (non-)reload of library
|
2010-08-06 20:44:14 -04:00 |
|
Matthew Flatt
|
df4da6bbff
|
try again to make gmp _EXTERN_INLINE consistent
|
2010-08-06 13:34:12 -06:00 |
|
Jay McCarthy
|
7ec4821feb
|
Increasing timeout
|
2010-08-06 12:41:04 -06:00 |
|
Vincent St-Amour
|
201aaa9090
|
Documented TR's behavior on literals.
|
2010-08-06 12:21:50 -04:00 |
|
Vincent St-Amour
|
0a45e0e361
|
More precise type for expt.
|
2010-08-06 11:09:04 -04:00 |
|
Vincent St-Amour
|
4d43c21565
|
Added a test for unboxed nested loops.
|
2010-08-05 17:21:54 -04:00 |
|
Vincent St-Amour
|
c653a8e655
|
Changed optimization order for reals in complex operations.
Made generated names more informative and updated tests accordingly.
|
2010-08-05 16:43:36 -04:00 |
|
Robby Findler
|
d7ff2ed665
|
two more adjustments (to triangle/sss examples)
|
2010-08-05 13:43:16 -05:00 |
|
Robby Findler
|
47055673e6
|
Adjusted the triangle examples to make them fit a little bit better in the documentation
|
2010-08-05 13:37:18 -05:00 |
|
Jens Axel Søgaard
|
657126c44e
|
Merge remote branch 'origin'
|
2010-08-05 19:31:06 +02:00 |
|
Jens Axel Søgaard
|
a4a8af1fae
|
Added images.
|
2010-08-05 19:30:43 +02:00 |
|
Jens Axel Søgaard
|
b83f255f30
|
new images for docs
|
2010-08-05 19:16:57 +02:00 |
|
Kevin Tew
|
35a65f90c2
|
Places: refactor place-channel use
|
2010-08-05 11:05:54 -06:00 |
|
Jens Axel Søgaard
|
08e8260449
|
Documentation for triangle/sss and friends
|
2010-08-05 18:22:21 +02:00 |
|
Jens Axel Søgaard
|
64c3a98e45
|
Added triangle/sss, triangle/ass, triangle/sas, triangle/ssa, triangle/aas, triangle/asa, and, triangle/saa.
|
2010-08-05 18:18:06 +02:00 |
|
Vincent St-Amour
|
500685c0f2
|
Fixed source location for for:.
|
2010-08-05 09:04:25 -04:00 |
|
Vincent St-Amour
|
b18f2353ca
|
Generalize naturals to integers to minimize annotations on mutated variables.
|
2010-08-05 09:04:25 -04:00 |
|
Vincent St-Amour
|
4cb7491309
|
Added opt-lambda:.
|
2010-08-05 09:04:25 -04:00 |
|
Vincent St-Amour
|
0b3c637f5d
|
Added another tracing option to TR.
|
2010-08-05 09:04:24 -04:00 |
|
Vincent St-Amour
|
416591b355
|
Fixed parsing of keyword types.
|
2010-08-05 09:04:24 -04:00 |
|
Vincent St-Amour
|
b1e744b1e1
|
Fixed tests that used complex literals.
|
2010-08-05 09:04:24 -04:00 |
|
Vincent St-Amour
|
1105e70b30
|
Unbox literals at expansion time.
|
2010-08-05 09:04:23 -04:00 |
|
Vincent St-Amour
|
bdf84f371d
|
Optimize coercion of integer literals.
|
2010-08-05 09:04:23 -04:00 |
|
Vincent St-Amour
|
1fb68707fc
|
Fixed a test.
|
2010-08-05 09:04:23 -04:00 |
|
Vincent St-Amour
|
fb31a6556e
|
Added optimization for make-polar
|
2010-08-05 09:04:22 -04:00 |
|
Vincent St-Amour
|
dbdbaed506
|
Fixed typechecking of imaginaries.
|
2010-08-05 09:04:21 -04:00 |
|
Matthew Flatt
|
e9687b5cf6
|
fix little C-code problems that trigger clang errors/warnings
|
2010-08-05 06:25:44 -06:00 |
|
Matthew Flatt
|
80bd5c53b5
|
fix dist specs for source distribution
|
2010-08-05 06:25:44 -06:00 |
|
Blake Johnson
|
f4abd35f5c
|
better traversal for more sharing in zo-marshal and some refactoring.
|
2010-08-04 17:09:57 -06:00 |
|
Kevin Tew
|
3744e224b7
|
Places: fix sending place channels over place channels
|
2010-08-04 13:23:00 -06:00 |
|
Matthew Flatt
|
be95805548
|
try to fix libatomic_ops inline asm
|
2010-08-04 13:16:51 -06:00 |
|
Matthew Flatt
|
e3320067a9
|
clean up gmp _EXTERN_INLINE problem
|
2010-08-04 12:50:24 -06:00 |
|
Kevin Tew
|
637a8d9f84
|
fix mzrt_thread_stub refcount
|
2010-08-04 10:45:10 -06:00 |
|
Kevin Tew
|
bb72d26b93
|
Places: fix prefab serialization
|
2010-08-04 10:45:09 -06:00 |
|
Kevin Tew
|
60f0d0b69c
|
Places: Fix symbol serialization
|
2010-08-04 10:45:09 -06:00 |
|
Kevin Tew
|
de11fd4351
|
initialize manual_unw
|
2010-08-04 10:45:09 -06:00 |
|
Eli Barzilay
|
87c05370fd
|
Merge branch 'release'
|
2010-08-03 22:12:52 -04:00 |
|