Groups

teyjus-issues

1–30 of 135

0 selected

tey...@googlecode.com

3/12/15

Issue 98 in teyjus: beta-nornalization doesn't occur for inner reducts when pattern matching.

Status: New Owner: ---- New issue 98 by shaoli...@gmail.com: beta-nornalization doesn't occur for

unread,

Issue 98 in teyjus: beta-nornalization doesn't occur for inner reducts when pattern matching.

Status: New Owner: ---- New issue 98 by shaoli...@gmail.com: beta-nornalization doesn't occur for

3/12/15

tey...@googlecode.com2

3/10/15

Issue 96 in teyjus: getenv causes segmentation error instead of failure

Comment #1 on issue 96 by giselle....@gmail.com: getenv causes segmentation error instead of failure

unread,

Issue 96 in teyjus: getenv causes segmentation error instead of failure

Comment #1 on issue 96 by giselle....@gmail.com: getenv causes segmentation error instead of failure

3/10/15

tey...@googlecode.com

3/10/15

Issue 97 in teyjus: Segfault when linking

Status: New Owner: ---- New issue 97 by giselle....@gmail.com: Segfault when linking https://code.

unread,

Issue 97 in teyjus: Segfault when linking

Status: New Owner: ---- New issue 97 by giselle....@gmail.com: Segfault when linking https://code.

3/10/15

tey...@googlecode.com4

2/6/15

Issue 95 in teyjus: SIGSEGV when using disjunction

Updates: Owner: gopalan....@gmail.com Comment #3 on issue 95 by fafo...@gmail.com: SIGSEGV when

unread,

Issue 95 in teyjus: SIGSEGV when using disjunction

Updates: Owner: gopalan....@gmail.com Comment #3 on issue 95 by fafo...@gmail.com: SIGSEGV when

2/6/15

tey...@googlecode.com4

1/29/15

Issue 63 in teyjus: Readterm parsing (related to 2 prec issues)

Comment #3 on issue 63 by fafo...@gmail.com: Readterm parsing (related to 2 prec issues) https://

unread,

Issue 63 in teyjus: Readterm parsing (related to 2 prec issues)

Comment #3 on issue 63 by fafo...@gmail.com: Readterm parsing (related to 2 prec issues) https://

1/29/15

tey...@googlecode.com3

1/13/15

Issue 89 in teyjus: can't build Teyjus on OSX Mavericks

Updates: Status: Invalid Comment #2 on issue 89 by fafo...@gmail.com: can't build Teyjus on OSX

unread,

Issue 89 in teyjus: can't build Teyjus on OSX Mavericks

Updates: Status: Invalid Comment #2 on issue 89 by fafo...@gmail.com: can't build Teyjus on OSX

1/13/15

tey...@googlecode.com3

1/13/15

Re: Issue 43 in teyjus: Unable to install Teyjus on Mac Os X Snow Leopard

Updates: Status: Invalid Comment #3 on issue 43 by fafo...@gmail.com: Unable to install Teyjus on

unread,

Re: Issue 43 in teyjus: Unable to install Teyjus on Mac Os X Snow Leopard

Updates: Status: Invalid Comment #3 on issue 43 by fafo...@gmail.com: Unable to install Teyjus on

1/13/15

tey...@googlecode.com2

1/8/15

Issue 94 in teyjus: incorrect usage of input segfaults

Updates: Status: Fixed Comment #1 on issue 94 by fafo...@gmail.com: incorrect usage of input

unread,

Issue 94 in teyjus: incorrect usage of input segfaults

Updates: Status: Fixed Comment #1 on issue 94 by fafo...@gmail.com: incorrect usage of input

1/8/15

tey...@googlecode.com

1/1/15

Issue 93 in teyjus: Batch mode doesn't behave correctly with a given maximum number of solutions

Status: Accepted Owner: fafo...@gmail.com Labels: Priority-Low New issue 93 by fafo...@gmail.com:

unread,

Issue 93 in teyjus: Batch mode doesn't behave correctly with a given maximum number of solutions

Status: Accepted Owner: fafo...@gmail.com Labels: Priority-Low New issue 93 by fafo...@gmail.com:

1/1/15

tey...@googlecode.com4

12/30/14

Issue 55 in teyjus: libsim.a(loadmodtab.o) cputype (7) does not match previous archive members cputype (16777223) (all members must match)

Updates: Status: Fixed Owner: fafo...@gmail.com Comment #3 on issue 55 by fafo...@gmail.com: libsim

unread,

Issue 55 in teyjus: libsim.a(loadmodtab.o) cputype (7) does not match previous archive members cputype (16777223) (all members must match)

Updates: Status: Fixed Owner: fafo...@gmail.com Comment #3 on issue 55 by fafo...@gmail.com: libsim

12/30/14

tey...@googlecode.com4

12/30/14

Issue 51 in teyjus: Installation on OSX server Snow Leopard 10.6.6

Updates: Status: Fixed Comment #3 on issue 51 by fafo...@gmail.com: Installation on OSX server Snow

unread,

Issue 51 in teyjus: Installation on OSX server Snow Leopard 10.6.6

Updates: Status: Fixed Comment #3 on issue 51 by fafo...@gmail.com: Installation on OSX server Snow

12/30/14

tey...@googlecode.com4

12/10/14

Issue 92 in teyjus: can't build Teyjus on Mac OS X 10.10 (Yosemite) with OCaml 4.02.1 and Omake 0.9.8.6 (release candidate 1)

Updates: Status: Invalid Comment #3 on issue 92 by fafo...@gmail.com: can't build Teyjus on Mac

unread,

Issue 92 in teyjus: can't build Teyjus on Mac OS X 10.10 (Yosemite) with OCaml 4.02.1 and Omake 0.9.8.6 (release candidate 1)

Updates: Status: Invalid Comment #3 on issue 92 by fafo...@gmail.com: can't build Teyjus on Mac

12/10/14

tey...@googlecode.com

11/7/14

Issue 91 in teyjus: odd behavior with unification

Status: Accepted Owner: dale.am..@gmail.com New issue 91 by dale.am..@gmail.com: odd behavior with

unread,

Issue 91 in teyjus: odd behavior with unification

Status: Accepted Owner: dale.am..@gmail.com New issue 91 by dale.am..@gmail.com: odd behavior with

11/7/14

tey...@googlecode.com

11/7/14

Issue 90 in teyjus: Can we rename abs : int -> int to, say, absv ?

Status: Accepted Owner: dale.am..@gmail.com New issue 90 by dale.am..@gmail.com: Can we rename abs :

unread,

Issue 90 in teyjus: Can we rename abs : int -> int to, say, absv ?

Status: Accepted Owner: dale.am..@gmail.com New issue 90 by dale.am..@gmail.com: Can we rename abs :

11/7/14

tey...@googlecode.com2

7/16/14

Issue 88 in teyjus: incorrect size of substring

Updates: Status: Fixed Labels: Usability Priority-High Comment #1 on issue 88 by fafo...@gmail.com:

unread,

Issue 88 in teyjus: incorrect size of substring

Updates: Status: Fixed Labels: Usability Priority-High Comment #1 on issue 88 by fafo...@gmail.com:

7/16/14

tey...@googlecode.com3

5/19/14

Issue 87 in teyjus: Unification failure in currying example

Updates: Status: Accepted Comment #2 on issue 87 by fafo...@gmail.com: Unification failure in

unread,

Issue 87 in teyjus: Unification failure in currying example

Updates: Status: Accepted Comment #2 on issue 87 by fafo...@gmail.com: Unification failure in

5/19/14

tey...@googlecode.com7

2/10/14

Issue 86 in teyjus: adding spy turns a failure to a success

Comment #6 on issue 86 by fafo...@gmail.com: adding spy turns a failure to a success http://code.

unread,

Issue 86 in teyjus: adding spy turns a failure to a success

Comment #6 on issue 86 by fafo...@gmail.com: adding spy turns a failure to a success http://code.

2/10/14

tey...@googlecode.com6

12/16/13

Issue 85 in teyjus: compilation fails due to non-revocable "-warn-error" ocaml option

Updates: Status: Fixed Comment #5 on issue 85 by fafo...@gmail.com: compilation fails due to non-

unread,

Issue 85 in teyjus: compilation fails due to non-revocable "-warn-error" ocaml option

Updates: Status: Fixed Comment #5 on issue 85 by fafo...@gmail.com: compilation fails due to non-

12/16/13

tey...@googlecode.com2

12/13/13

Issue 84 in teyjus: bad choice of bound var names in error message

Updates: Status: Fixed Comment #1 on issue 84 by fafo...@gmail.com: bad choice of bound var names in

unread,

Issue 84 in teyjus: bad choice of bound var names in error message

Updates: Status: Fixed Comment #1 on issue 84 by fafo...@gmail.com: bad choice of bound var names in

12/13/13

tey...@googlecode.com4

12/11/13

Issue 83 in teyjus: tjsim has a bounded input buffer

Updates: Status: Invalid Comment #3 on issue 83 by fafo...@gmail.com: tjsim has a bounded input

unread,

Issue 83 in teyjus: tjsim has a bounded input buffer

Updates: Status: Invalid Comment #3 on issue 83 by fafo...@gmail.com: tjsim has a bounded input

12/11/13

tey...@googlecode.com3

11/13/13

Issue 82 in teyjus: Problem with polymorphic constants

Updates: Owner: fafo...@gmail.com Labels: Priority-High Comment #2 on issue 82 by fafo...@gmail.com

unread,

Issue 82 in teyjus: Problem with polymorphic constants

Updates: Owner: fafo...@gmail.com Labels: Priority-High Comment #2 on issue 82 by fafo...@gmail.com

11/13/13

tey...@googlecode.com3

8/28/13

Issue 54 in teyjus: A trailing "true" in a clause cause a segmentation fault.

Updates: Owner: fafo...@gmail.com Cc: gopalan....@gmail.com Comment #2 on issue 54 by fafounet@gmail

unread,

Issue 54 in teyjus: A trailing "true" in a clause cause a segmentation fault.

Updates: Owner: fafo...@gmail.com Cc: gopalan....@gmail.com Comment #2 on issue 54 by fafounet@gmail

8/28/13

tey...@googlecode.com2

8/27/13

Issue 72 in teyjus: Incorrect information for some operators

Updates: Status: Fixed Comment #1 on issue 72 by fafo...@gmail.com: Incorrect information for some

unread,

Issue 72 in teyjus: Incorrect information for some operators

Updates: Status: Fixed Comment #1 on issue 72 by fafo...@gmail.com: Incorrect information for some

8/27/13

tey...@googlecode.com

8/26/13

Issue 81 in teyjus: Propagation of disagreement pairs

Status: Accepted Owner: fafo...@gmail.com Labels: Priority-Medium New issue 81 by fafo...@gmail.com

unread,

Issue 81 in teyjus: Propagation of disagreement pairs

Status: Accepted Owner: fafo...@gmail.com Labels: Priority-Medium New issue 81 by fafo...@gmail.com

8/26/13

tey...@googlecode.com2

8/26/13

Issue 47 in teyjus: direct call and indirect call give different results

Updates: Status: Duplicate Comment #1 on issue 47 by fafo...@gmail.com: direct call and indirect

unread,

Issue 47 in teyjus: direct call and indirect call give different results

Updates: Status: Duplicate Comment #1 on issue 47 by fafo...@gmail.com: direct call and indirect

8/26/13

tey...@googlecode.com

8/26/13

Issue 80 in teyjus: Trivial disagreement pairs

Status: Accepted Owner: fafo...@gmail.com Labels: Priority-Low New issue 80 by fafo...@gmail.com:

unread,

Issue 80 in teyjus: Trivial disagreement pairs

Status: Accepted Owner: fafo...@gmail.com Labels: Priority-Low New issue 80 by fafo...@gmail.com:

8/26/13

tey...@googlecode.com

8/26/13

Issue 79 in teyjus: Problem with hidden polymorphic type variables

Status: Accepted Owner: fafo...@gmail.com Labels: Priority-High New issue 79 by fafo...@gmail.com:

unread,

Issue 79 in teyjus: Problem with hidden polymorphic type variables

Status: Accepted Owner: fafo...@gmail.com Labels: Priority-High New issue 79 by fafo...@gmail.com:

8/26/13

tey...@googlecode.com3

8/23/13

Issue 69 in teyjus: Parser is not precise enough with signatures

Updates: Status: Fixed Comment #2 on issue 69 by fafo...@gmail.com: Parser is not precise enough

unread,

Issue 69 in teyjus: Parser is not precise enough with signatures

Updates: Status: Fixed Comment #2 on issue 69 by fafo...@gmail.com: Parser is not precise enough

8/23/13

tey...@googlecode.com3

8/21/13

Issue 77 in teyjus: Teyjus will not compile.

Comment #2 on issue 77 by tha...@sians.org: Teyjus will not compile. http://code.google.com/p/teyjus/

unread,

Issue 77 in teyjus: Teyjus will not compile.

Comment #2 on issue 77 by tha...@sians.org: Teyjus will not compile. http://code.google.com/p/teyjus/

8/21/13

tey...@googlecode.com3

8/21/13

Issue 78 in teyjus: tjsim looks for a .lp file when tjcc produces a .lpo file

Updates: Status: Invalid Comment #2 on issue 78 by fafou...@gmail.com: tjsim looks for a .lp file

unread,

Issue 78 in teyjus: tjsim looks for a .lp file when tjcc produces a .lpo file

Updates: Status: Invalid Comment #2 on issue 78 by fafou...@gmail.com: tjsim looks for a .lp file

8/21/13

Search

Clear search

Close search

Google apps

Main menu