Commits

History for

Commits on May 9, 2016

Adding option --dumpjson on error stream
Panagiotis Vekris
committed

Commits on Apr 25, 2016

Fix in array.length
Panagiotis Vekris
committed

Commits on Apr 11, 2016

Merge branch 'refactor_types' of github.com:UCSD-PL/refscript into refactor_types
Panagiotis Vekris
committed

Commits on Apr 10, 2016

Finishing up porting tsc benchmark
Panagiotis Vekris
committed

Commits on Mar 8, 2016

fix 'real' flag; porting benchmarks
Benjamin Cosman
committed

Commits on Mar 1, 2016

Cleaning up warnings
Panagiotis Vekris
committed
Enabling unique of `e1` in `e1.f = e2`
Panagiotis Vekris
committed
Fix in checking nested casts
Panagiotis Vekris
committed
Some more progress with tsc/checker.ts
Panagiotis Vekris
committed
Fix in subtyping with enums
Panagiotis Vekris
committed

Commits on Feb 29, 2016

Small fix in tsc/checker.ts
Panagiotis Vekris
committed

Commits on Feb 28, 2016

Checking correspondence of declared var + annot
Panagiotis Vekris
committed

Commits on Feb 27, 2016

Flag error for multiply defined modules
Panagiotis Vekris
committed

Commits on Feb 26, 2016

Need to check mutabilities at constraint splitting
Panagiotis Vekris
committed

Commits on Feb 25, 2016

Cleanup and added test
Panagiotis Vekris
committed
clean-up
Panagiotis Vekris
committed

Commits on Feb 24, 2016

Some clean-up
Panagiotis Vekris
committed
Tests pass again but with a little help
Panagiotis Vekris
committed
Simplifying infix op SSA
Panagiotis Vekris
committed
DO NOT freshen ctor sig
Panagiotis Vekris
committed
Better pp for mutability types
Panagiotis Vekris
committed
Fix ctor error & cleanup
Panagiotis Vekris
committed
Update FP with fix in sortCheck
Panagiotis Vekris
committed

Commits on Feb 23, 2016

Fix in LQ constructor
Panagiotis Vekris
committed
Suuport for variadic call & fix tests
Panagiotis Vekris
committed
Adding support for logical OR + restoring tests
Panagiotis Vekris
committed
Lifting FuncStmts to top of scope
Panagiotis Vekris
committed

Commits on Feb 22, 2016

Fix in propagated SSA loop env
Panagiotis Vekris
committed
Fix: Using `Eq` instead of `Ueq` for `offset`
Panagiotis Vekris
committed
Fix in joining loop envs in TC
Panagiotis Vekris
committed
Restoring tests
Panagiotis Vekris
committed
Fix in transform type
Panagiotis Vekris
committed
Allowing multiple overloads at constructors
Panagiotis Vekris
committed
Correctly checking invariants at end of ctor
Panagiotis Vekris
committed
Strengthening class types with class inv at `addInvariant`
Panagiotis Vekris
committed