Groups

jstar-developers

1–30 of 321

0 selected

4/11/16

[seplogic/jstar] e9c1fa: made it compile

Branch: refs/heads/alt-abd Home: https://github.com/seplogic/jstar Commit:

unread,

[seplogic/jstar] e9c1fa: made it compile

Branch: refs/heads/alt-abd Home: https://github.com/seplogic/jstar Commit:

4/11/16

9/7/15

[seplogic/jstar] ed6ae8: bugfix

Branch: refs/heads/master Home: https://github.com/seplogic/jstar Commit:

unread,

[seplogic/jstar] ed6ae8: bugfix

Branch: refs/heads/master Home: https://github.com/seplogic/jstar Commit:

9/7/15

6/8/14

[seplogic/jstar] 20901c: sync with corestar

Branch: refs/heads/alt-abd Home: https://github.com/seplogic/jstar Commit:

unread,

[seplogic/jstar] 20901c: sync with corestar

Branch: refs/heads/alt-abd Home: https://github.com/seplogic/jstar Commit:

6/8/14

5/31/14

[seplogic/jstar] 4f579e: jstar runs again!

Branch: refs/heads/alt-abd Home: https://github.com/seplogic/jstar Commit:

unread,

[seplogic/jstar] 4f579e: jstar runs again!

Branch: refs/heads/alt-abd Home: https://github.com/seplogic/jstar Commit:

5/31/14

5/31/14

[seplogic/jstar] 508856: towards syncing with corestar/alt-abd

Branch: refs/heads/alt-abd Home: https://github.com/seplogic/jstar Commit:

unread,

[seplogic/jstar] 508856: towards syncing with corestar/alt-abd

Branch: refs/heads/alt-abd Home: https://github.com/seplogic/jstar Commit:

5/31/14

4/24/14

[seplogic/jstar] e1505e: put in failwith-s so it compiles

Branch: refs/heads/alt-abd Home: https://github.com/seplogic/jstar Commit:

unread,

[seplogic/jstar] e1505e: put in failwith-s so it compiles

Branch: refs/heads/alt-abd Home: https://github.com/seplogic/jstar Commit:

4/24/14

4/22/14

[seplogic/jstar] cf015c: forgot to add this file last time

Branch: refs/heads/alt-abd Home: https://github.com/seplogic/jstar Commit:

unread,

[seplogic/jstar] cf015c: forgot to add this file last time

Branch: refs/heads/alt-abd Home: https://github.com/seplogic/jstar Commit:

4/22/14

4/22/14

[seplogic/jstar] 6a4091: partial update to sync with corestar; still doesn'...

Branch: refs/heads/alt-abd Home: https://github.com/seplogic/jstar Commit:

unread,

[seplogic/jstar] 6a4091: partial update to sync with corestar; still doesn'...

Branch: refs/heads/alt-abd Home: https://github.com/seplogic/jstar Commit:

4/22/14

12/23/13

[seplogic/jstar] 224d49: generate pure predicates for things like <,>,<=,.....

Branch: refs/heads/alt-abd Home: https://github.com/seplogic/jstar Commit:

unread,

[seplogic/jstar] 224d49: generate pure predicates for things like <,>,<=,.....

Branch: refs/heads/alt-abd Home: https://github.com/seplogic/jstar Commit:

12/23/13

12/18/13

[seplogic/jstar] 0151cc: minor

Branch: refs/heads/alt-abd Home: https://github.com/seplogic/jstar Commit:

unread,

[seplogic/jstar] 0151cc: minor

Branch: refs/heads/alt-abd Home: https://github.com/seplogic/jstar Commit:

12/18/13

12/6/13

[seplogic/jstar] bc49ef: simple.topl

Branch: refs/heads/alt-abd Home: https://github.com/seplogic/jstar Commit:

unread,

[seplogic/jstar] bc49ef: simple.topl

Branch: refs/heads/alt-abd Home: https://github.com/seplogic/jstar Commit:

12/6/13

12/6/13

[seplogic/jstar] 23a506: sync with corestar

Branch: refs/heads/alt-abd Home: https://github.com/seplogic/jstar Commit:

unread,

[seplogic/jstar] 23a506: sync with corestar

Branch: refs/heads/alt-abd Home: https://github.com/seplogic/jstar Commit:

12/6/13

11/29/13

[seplogic/jstar] f2a5f5: Fixed a bug with constants in guards.

Branch: refs/heads/alt-abd Home: https://github.com/seplogic/jstar Commit:

unread,

[seplogic/jstar] f2a5f5: Fixed a bug with constants in guards.

Branch: refs/heads/alt-abd Home: https://github.com/seplogic/jstar Commit:

11/29/13

11/27/13

[seplogic/jstar] 4ea5e9: small bugfix

Branch: refs/heads/alt-abd Home: https://github.com/seplogic/jstar Commit:

unread,

[seplogic/jstar] 4ea5e9: small bugfix

Branch: refs/heads/alt-abd Home: https://github.com/seplogic/jstar Commit:

11/27/13

11/26/13

[seplogic/jstar] 45df6b: bugfix: the html printing made jstar fail with ass...

Branch: refs/heads/alt-abd Home: https://github.com/seplogic/jstar Commit:

unread,

[seplogic/jstar] 45df6b: bugfix: the html printing made jstar fail with ass...

Branch: refs/heads/alt-abd Home: https://github.com/seplogic/jstar Commit:

11/26/13

11/14/13

[seplogic/jstar] 81f7dd: micro cleanup

Branch: refs/heads/alt-abd Home: https://github.com/seplogic/jstar Commit:

unread,

[seplogic/jstar] 81f7dd: micro cleanup

Branch: refs/heads/alt-abd Home: https://github.com/seplogic/jstar Commit:

11/14/13

11/14/13

[seplogic/jstar] aff45b: small things

Branch: refs/heads/alt-abd Home: https://github.com/seplogic/jstar Commit:

unread,

[seplogic/jstar] aff45b: small things

Branch: refs/heads/alt-abd Home: https://github.com/seplogic/jstar Commit:

11/14/13

11/14/13

[seplogic/jstar] 2ab4b5: Normalize generated specs

Branch: refs/heads/alt-abd Home: https://github.com/seplogic/jstar Commit:

unread,

[seplogic/jstar] 2ab4b5: Normalize generated specs

Branch: refs/heads/alt-abd Home: https://github.com/seplogic/jstar Commit:

11/14/13

11/12/13

[seplogic/jstar] 5f50cf: 'new' allocates

Branch: refs/heads/alt-abd Home: https://github.com/seplogic/jstar Commit:

unread,

[seplogic/jstar] 5f50cf: 'new' allocates

Branch: refs/heads/alt-abd Home: https://github.com/seplogic/jstar Commit:

11/12/13

11/11/13

[seplogic/jstar] 64f792: assignment translation was buggy

Branch: refs/heads/alt-abd Home: https://github.com/seplogic/jstar Commit:

unread,

[seplogic/jstar] 64f792: assignment translation was buggy

Branch: refs/heads/alt-abd Home: https://github.com/seplogic/jstar Commit:

11/11/13

11/10/13

[seplogic/jstar] 3652f1: compiles again with latest corestar

Branch: refs/heads/alt-abd Home: https://github.com/seplogic/jstar Commit:

unread,

[seplogic/jstar] 3652f1: compiles again with latest corestar

Branch: refs/heads/alt-abd Home: https://github.com/seplogic/jstar Commit:

11/10/13

11/9/13

[seplogic/jstar] 43a5cc: assert_core P interpreted as {P}{P} rather than {e...

Branch: refs/heads/alt-abd Home: https://github.com/seplogic/jstar Commit:

unread,

[seplogic/jstar] 43a5cc: assert_core P interpreted as {P}{P} rather than {e...

Branch: refs/heads/alt-abd Home: https://github.com/seplogic/jstar Commit:

11/9/13

11/8/13

[seplogic/jstar] e01e7c: Use program variables to assign to rather than log...

Branch: refs/heads/alt-abd Home: https://github.com/seplogic/jstar Commit:

unread,

[seplogic/jstar] e01e7c: Use program variables to assign to rather than log...

Branch: refs/heads/alt-abd Home: https://github.com/seplogic/jstar Commit:

11/8/13

11/8/13

[seplogic/jstar] 7f8b5f: Replaced todo_rhs with plausible implementation

Branch: refs/heads/alt-abd Home: https://github.com/seplogic/jstar Commit:

unread,

[seplogic/jstar] 7f8b5f: Replaced todo_rhs with plausible implementation

Branch: refs/heads/alt-abd Home: https://github.com/seplogic/jstar Commit:

11/8/13

11/8/13

[seplogic/jstar] 589c8f: some changes in modifies clauses

Branch: refs/heads/alt-abd Home: https://github.com/seplogic/jstar Commit:

unread,

[seplogic/jstar] 589c8f: some changes in modifies clauses

Branch: refs/heads/alt-abd Home: https://github.com/seplogic/jstar Commit:

11/8/13

11/6/13

[seplogic/jstar] 67874f: Fixed several TODOs.

Branch: refs/heads/alt-abd Home: https://github.com/seplogic/jstar Commit:

unread,

[seplogic/jstar] 67874f: Fixed several TODOs.

Branch: refs/heads/alt-abd Home: https://github.com/seplogic/jstar Commit:

11/6/13

11/5/13

[seplogic/jstar] 30c600: Corrected a bug in remove_thor, added debug

Branch: refs/heads/alt-abd Home: https://github.com/seplogic/jstar Commit:

unread,

[seplogic/jstar] 30c600: Corrected a bug in remove_thor, added debug

Branch: refs/heads/alt-abd Home: https://github.com/seplogic/jstar Commit:

11/5/13

11/5/13

[seplogic/jstar] 121dcb: typo fix

Branch: refs/heads/alt-abd Home: https://github.com/seplogic/jstar Commit:

unread,

[seplogic/jstar] 121dcb: typo fix

Branch: refs/heads/alt-abd Home: https://github.com/seplogic/jstar Commit:

11/5/13

11/5/13

[seplogic/jstar] 006a13: use strings rather than ints

Branch: refs/heads/alt-abd Home: https://github.com/seplogic/jstar Commit:

unread,

[seplogic/jstar] 006a13: use strings rather than ints

Branch: refs/heads/alt-abd Home: https://github.com/seplogic/jstar Commit:

11/5/13

11/2/13

[seplogic/jstar] 1cbca4: Updated toplSpecs to the new formula format.

Branch: refs/heads/alt-abd Home: https://github.com/seplogic/jstar Commit:

unread,

[seplogic/jstar] 1cbca4: Updated toplSpecs to the new formula format.

Branch: refs/heads/alt-abd Home: https://github.com/seplogic/jstar Commit:

11/2/13

Search

Clear search

Close search

Google apps

Main menu