ats-lang-users  

Messages by Thread

• • Re: current status of libxatsopt Artyom Shalkhakov
  • Re: current status of libxatsopt Dambaev Alexander
  • Re: current status of libxatsopt gmhwxi
• Having Trouble Using Call-By-Reference d4v3y_5c0n3s
  • Re: Having Trouble Using Call-By-Reference Hongwei Xi
  • Re: Having Trouble Using Call-By-Reference d4v3y_5c0n3s
  • Re: Having Trouble Using Call-By-Reference Hongwei Xi
  • Re: Having Trouble Using Call-By-Reference d4v3y_5c0n3s
• Linearly typed OOP gmhwxi
• Support for OOP in some ATS3 extension (1) gmhwxi
  • Support for OOP in some ATS3 extension (2) gmhwxi
  • Re: Support for OOP in some ATS3 extension (2) Elijah Stone
  • Re: Support for OOP in some ATS3 extension (2) Hongwei Xi
  • Re: Support for OOP in some ATS3 extension (2) Hongwei Xi
  • Re: Support for OOP in some ATS3 extension (2) Dambaev Alexander
  • Re: Support for OOP in some ATS3 extension (2) gmhwxi
  • Re: Support for OOP in some ATS3 extension (2) Raoul Duke
  • Re: Support for OOP in some ATS3 extension (2) Hongwei Xi
  • Re: Support for OOP in some ATS3 extension (2) Raoul Duke
  • Re: Support for OOP in some ATS3 extension (2) Hongwei Xi
  • Re: Support for OOP in some ATS3 extension (2) Raoul Duke
  • Re: Support for OOP in some ATS3 extension (2) Hongwei Xi
  • Re: Support for OOP in some ATS3 extension (2) Raoul Duke
  • Re: Support for OOP in some ATS3 extension (2) Dambaev Alexander
  • Re: Support for OOP in some ATS3 extension (2) Hongwei Xi
  • Re: Support for OOP in some ATS3 extension (2) Dambaev Alexander
• Learn ATS in Y minutes -- request for documentation review mark.l....@gmail.com
  • Re: Learn ATS in Y minutes -- request for documentation review artyom . shalkhakov
  • Re: Learn ATS in Y minutes -- request for documentation review Hongwei Xi
  • Re: Learn ATS in Y minutes -- request for documentation review Peter Damoc
  • Re: Learn ATS in Y minutes -- request for documentation review Timmy Jose
• fully funded PhD position on verification of industrial robots at University of Sheffield -- application deadline coming soon (Jan. 13) Andrei Popescu
• avoiding boilerplate code in a functions with many conditional branches Dambaev Alexander
  • Re: avoiding boilerplate code in a functions with many conditional branches Dambaev Alexander
  • Re: avoiding boilerplate code in a functions with many conditional branches Hongwei Xi
  • Re: avoiding boilerplate code in a functions with many conditional branches Dambaev Alexander
• Is It Possible to Pass a Function Template as a Parameter? d4v3y_5c0n3s
  • Re: Is It Possible to Pass a Function Template as a Parameter? Hongwei Xi
  • Re: Is It Possible to Pass a Function Template as a Parameter? d4v3y_5c0n3s
  • Re: Is It Possible to Pass a Function Template as a Parameter? gmhwxi
  • Re: Is It Possible to Pass a Function Template as a Parameter? d4v3y_5c0n3s
• Building ATS2 from Github head. Steinway Wu
  • Re: Building ATS2 from Github head. gmhwxi
  • Re: Building ATS2 from Github head. Steinway Wu
  • Re: Building ATS2 from Github head. Hongwei Xi
• ignoring the datavtype Dambaev Alexander
  • Re: ignoring the datavtype Artyom Shalkhakov
  • Re: ignoring the datavtype Dambaev Alexander
  • Re: ignoring the datavtype Dambaev Alexander
  • Re: ignoring the datavtype Hongwei Xi
  • Re: ignoring the datavtype Dambaev Alexander
• How do I work around the limitations of the typechecker? d4v3y_5c0n3s
  • Re: How do I work around the limitations of the typechecker? Hongwei Xi
  • Re: How do I work around the limitations of the typechecker? d4v3y_5c0n3s
  • Re: How do I work around the limitations of the typechecker? Dambaev Alexander
• Can arrayptr_freelin() cause a memory leak? d4v3y_5c0n3s
  • Re: Can arrayptr_freelin() cause a memory leak? Hongwei Xi
  • Re: Can arrayptr_freelin() cause a memory leak? d4v3y_5c0n3s
  • Re: Can arrayptr_freelin() cause a memory leak? Hongwei Xi
  • Re: Can arrayptr_freelin() cause a memory leak? d4v3y_5c0n3s
• Building packages for ATS3 gmhwxi
• symintr and staload Dambaev Alexander
  • Re: symintr and staload Hongwei Xi
  • Re: symintr and staload Dambaev Alexander
• Current Status of ATS3 (2020-11-22) gmhwxi
  • Re: Current Status of ATS3 (2020-11-22) Brandon Barker
  • Re: Current Status of ATS3 (2020-11-22) Hongwei Xi
  • Re: Current Status of ATS3 (2020-11-22) Hongwei Xi
  • Re: Current Status of ATS3 (2020-11-22) Elronnd _
  • Re: Current Status of ATS3 (2020-11-22) Hongwei Xi
  • Re: Current Status of ATS3 (2020-11-22) Dambaev Alexander
  • Re: Current Status of ATS3 (2020-11-22) Hongwei Xi
  • Re: Current Status of ATS3 (2020-11-22) Andreas ZUERCHER
  • Re: Current Status of ATS3 (2020-11-22) gmhwxi
  • Re: Current Status of ATS3 (2020-11-22) d4v3y_5c0n3s
  • Re: Current Status of ATS3 (2020-11-22) gmhwxi
  • Re: Current Status of ATS3 (2020-11-22) d4v3y_5c0n3s
  • Re: Current Status of ATS3 (2020-11-22) Elijah Stone
• two posts of Lecturer in Cybersecurity at University of Sheffield: deadline 3rd December 2020 Andrei Popescu
• Fwd: [ats-lang-users] ATS2-0.4.2 released Hongwei Xi
• Accessing the contents of a pointer(pointing to a linear type) within a record d4v3y_5c0n3s
  • Re: Accessing the contents of a pointer(pointing to a linear type) within a record artyom . shalkhakov
  • Re: Accessing the contents of a pointer(pointing to a linear type) within a record d4v3y_5c0n3s
  • Re: Accessing the contents of a pointer(pointing to a linear type) within a record d4v3y_5c0n3s
• Building ATS that uses uint8 Mark Barbone
  • Re: Building ATS that uses uint8 Hongwei Xi
  • Re: Building ATS that uses uint8 Dambaev Alexander
• non-exhaustive pattern match in case+ expression Dambaev Alexander
  • Re: non-exhaustive pattern match in case+ expression Hongwei Xi
• Report: ATS2 and VeriFast avoid some of FreeBSD vulnerabilities Kiwamu Okabe
• case expressions in let binding and dataviewtypes Dambaev Alexander
  • Re: case expressions in let binding and dataviewtypes Hongwei Xi
• How to define array members in typedef? Kiwamu Okabe
  • Re: How to define array members in typedef? Dambaev Alexander
  • Re: How to define array members in typedef? Kiwamu Okabe
  • Re: How to define array members in typedef? Kiwamu Okabe
  • Re: How to define array members in typedef? Dambaev Alexander
  • Re: How to define array members in typedef? Kiwamu Okabe
  • Re: How to define array members in typedef? Dambaev Alexander
  • Re: How to define array members in typedef? Dambaev Alexander
  • Re: How to define array members in typedef? Kiwamu Okabe
  • Re: How to define array members in typedef? Dambaev Alexander
  • Re: How to define array members in typedef? Kiwamu Okabe
• Strange mismatch of equal terms d4v3y_5c0n3s
  • Re: Strange mismatch of equal terms Dambaev Alexander
  • Re: Strange mismatch of equal terms Dambaev Alexander
  • Re: Strange mismatch of equal terms d4v3y_5c0n3s
  • Re: Strange mismatch of equal terms d4v3y_5c0n3s
• performance considerations of patsopt Dambaev Alexander
  • Re: performance considerations of patsopt Hongwei Xi
  • Re: performance considerations of patsopt Dambaev Alexander
  • Re: performance considerations of patsopt Dambaev Alexander
• changing the value of vtype Dambaev Alexander
  • Re: changing the value of vtype Hongwei Xi
  • Re: changing the value of vtype Hongwei Xi
  • Re: changing the value of vtype Dambaev Alexander
• Freestanding ATS Elronnd _
  • Re: Freestanding ATS Elronnd _
  • Re: Freestanding ATS Hongwei Xi
• feature request: showing location of failed constraint Dambaev Alexander
  • Re: feature request: showing location of failed constraint Hongwei Xi
  • Re: feature request: showing location of failed constraint Dambaev Alexander
• debugging constraint error Dambaev Alexander
  • Re: debugging constraint error ice.r...@gmail.com
  • Re: debugging constraint error Artyom Shalkhakov
• using #[] only for changing type of the argument's vtype Dambaev Alexander
  • Re: using #[] only for changing type of the argument's vtype Hongwei Xi
  • Re: using #[] only for changing type of the argument's vtype Dambaev Alexander
• spotted compiler assert failure Dambaev Alexander
  • Re: spotted compiler assert failure Hongwei Xi
  • Re: spotted compiler assert failure Hongwei Xi
  • Re: spotted compiler assert failure Dambaev Alexander
• sizeof() operator Dambaev Alexander
  • Re: sizeof() operator Artyom Shalkhakov
• symbol overloading resolution and statics Dambaev Alexander
  • Re: symbol overloading resolution and statics Hongwei Xi
• Garbage Collecting C objects Robin Fu
  • Re: Garbage Collecting C objects Artyom Shalkhakov
• How do I store a viewtype in an array and then access that value? d4v3y_5c0n3s
  • Re: How do I store a viewtype in an array and then access that value? Artyom Shalkhakov
  • Re: How do I store a viewtype in an array and then access that value? d4v3y_5c0n3s
  • Re: How do I store a viewtype in an array and then access that value? d4v3y_5c0n3s
  • Re: How do I store a viewtype in an array and then access that value? Dambaev Alexander
  • Re: How do I store a viewtype in an array and then access that value? Artyom Shalkhakov
  • Re: How do I store a viewtype in an array and then access that value? d4v3y_5c0n3s
  • Re: How do I store a viewtype in an array and then access that value? d4v3y_5c0n3s
  • Re: How do I store a viewtype in an array and then access that value? d4v3y_5c0n3s
  • Re: How do I store a viewtype in an array and then access that value? d4v3y_5c0n3s
• resolving overloaded operators and staload Dambaev Alexander
  • Re: resolving overloaded operators and staload Hongwei Xi
• How to specify a member of function argument not greater than 1？ Kiwamu Okabe
  • Re: How to specify a member of function argument not greater than 1？ artyom . shalkhakov
  • Re: How to specify a member of function argument not greater than 1？ Kiwamu Okabe
  • Re: How to specify a member of function argument not greater than 1？ Artyom Shalkhakov
  • Re: How to specify a member of function argument not greater than 1？ Kiwamu Okabe
  • Re: How to specify a member of function argument not greater than 1？ Artyom Shalkhakov
• How to avoid to return uninitialized value on ATS2? Kiwamu Okabe
  • Re: How to avoid to return uninitialized value on ATS2? Kiwamu Okabe
  • Re: How to avoid to return uninitialized value on ATS2? Hongwei Xi
  • Re: How to avoid to return uninitialized value on ATS2? Kiwamu Okabe
  • Re: How to avoid to return uninitialized value on ATS2? Hongwei Xi
  • Re: How to avoid to return uninitialized value on ATS2? Kiwamu Okabe
  • Re: How to avoid to return uninitialized value on ATS2? Hongwei Xi
  • Re: How to avoid to return uninitialized value on ATS2? Kiwamu Okabe
  • Re: How to avoid to return uninitialized value on ATS2? Artyom Shalkhakov
  • Re: How to avoid to return uninitialized value on ATS2? gmhwxi
• What is the difference between the two ways of declaring parameters? Timmy Jose
  • Re: What is the difference between the two ways of declaring parameters? Hongwei Xi
  • Re: What is the difference between the two ways of declaring parameters? Timmy Jose
  • Re: What is the difference between the two ways of declaring parameters? gmhwxi
• unsolved constraint for termetric being well-founded d4v3y_5c0n3s
  • Re: unsolved constraint for termetric being well-founded Dambaev Alexander
  • Re: unsolved constraint for termetric being well-founded Dambaev Alexander
  • Re: unsolved constraint for termetric being well-founded d4v3y_5c0n3s
  • Re: unsolved constraint for termetric being well-founded Hongwei Xi
  • Re: unsolved constraint for termetric being well-founded d4v3y_5c0n3s
• How to Free a Pointer to a viewt@ype d4v3y_5c0n3s
  • Re: How to Free a Pointer to a viewt@ype Hongwei Xi
  • Re: How to Free a Pointer to a viewt@ype d4v3y_5c0n3s
• Initializing An Array Within a Record Allocated Within a Pointer d4v3y_5c0n3s
  • Re: Initializing An Array Within a Record Allocated Within a Pointer Hongwei Xi
  • Re: Initializing An Array Within a Record Allocated Within a Pointer d4v3y_5c0n3s
• Current Status of ATS3 gmhwxi
  • Re: Current Status of ATS3 Brandon Barker
  • Re: Current Status of ATS3 Dambaev Alexander
  • Re: Current Status of ATS3 Dambaev Alexander
  • Re: Current Status of ATS3 gmhwxi
  • Re: Current Status of ATS3 Dambaev Alexander
  • Re: Current Status of ATS3 gmhwxi
  • Re: Current Status of ATS3 Dambaev Alexander
  • Re: Current Status of ATS3 gmhwxi
• How to specify a concrete type on absvtype? Kiwamu Okabe
  • Re: How to specify a concrete type on absvtype? Hongwei Xi
  • Re: How to specify a concrete type on absvtype? Kiwamu Okabe
• Solving compiler error Dambaev Alexander
  • Re: Solving compiler error Kiwamu Okabe
  • Re: Solving compiler error Hongwei Xi
  • Re: Solving compiler error Dambaev Alexander
  • Re: Solving compiler error Hongwei Xi
• Be Forgetful! gmhwxi

• Earlier messages
• Later messages