githwxi/ats-xanadu issues and pull requests

#31 - hi, i could not compile ats2 on my arch linux

Issue - State: open - Opened by Abhinavpatel00 3 months ago - 7 comments

#31 - hi, i could not compile ats2 on my arch linux

Issue - State: open - Opened by Abhinavpatel00 3 months ago - 7 comments

#30 - please add a guide on how to contribute

Issue - State: open - Opened by abhinavpatel0 9 months ago - 1 comment

#30 - please add a guide on how to contribute

Issue - State: open - Opened by abhinavpatel0 9 months ago - 1 comment

#29 - Add Github Actions for Linux, Cygwin, Msys2, and Mac OSX

Pull Request - State: closed - Opened by sazl over 2 years ago

#29 - Add Github Actions for Linux, Cygwin, Msys2, and Mac OSX

Pull Request - State: closed - Opened by sazl over 2 years ago

#28 - Update cygwin cache if appveyor.yml changes

Pull Request - State: closed - Opened by sazl over 2 years ago

#28 - Update cygwin cache if appveyor.yml changes

Pull Request - State: closed - Opened by sazl over 2 years ago

#27 - Separate exn types

Issue - State: open - Opened by okeuday over 2 years ago - 2 comments

#27 - Separate exn types

Issue - State: open - Opened by okeuday over 2 years ago - 2 comments

#26 - Grammar definition

Issue - State: open - Opened by mingodad over 3 years ago - 2 comments

#26 - Grammar definition

Issue - State: open - Opened by mingodad over 3 years ago - 2 comments

#25 - make debug info optional

Issue - State: closed - Opened by sparverius over 4 years ago - 2 comments

#25 - make debug info optional

Issue - State: closed - Opened by sparverius over 4 years ago - 2 comments

#24 - Optional debug

Pull Request - State: closed - Opened by sparverius over 4 years ago - 1 comment

#24 - Optional debug

Pull Request - State: closed - Opened by sparverius over 4 years ago - 1 comment

#23 - fix: typedef for long doubles

Pull Request - State: closed - Opened by Istvan91 over 4 years ago - 1 comment

#23 - fix: typedef for long doubles

Pull Request - State: closed - Opened by Istvan91 over 4 years ago - 1 comment

#22 - Synread

Pull Request - State: open - Opened by sparverius about 5 years ago - 3 comments

#22 - Synread

Pull Request - State: open - Opened by sparverius about 5 years ago - 3 comments

#21 - xjsonize

Pull Request - State: open - Opened by sparverius about 5 years ago - 2 comments

#21 - xjsonize

Pull Request - State: open - Opened by sparverius about 5 years ago - 2 comments

#20 - Jsonize

Pull Request - State: closed - Opened by sparverius about 5 years ago

#20 - Jsonize

Pull Request - State: closed - Opened by sparverius about 5 years ago

#19 - wrap lists of terms with square brackets for tree output.

Pull Request - State: closed - Opened by sparverius about 5 years ago - 2 comments

#19 - wrap lists of terms with square brackets for tree output.

Pull Request - State: closed - Opened by sparverius about 5 years ago - 2 comments

#18 - temporary support for xatsopt -d/-s [filename]

Pull Request - State: closed - Opened by sparverius over 5 years ago - 4 comments

#18 - temporary support for xatsopt -d/-s [filename]

Pull Request - State: closed - Opened by sparverius over 5 years ago - 4 comments

#17 - Minor change

Pull Request - State: closed - Opened by sparverius over 5 years ago

#17 - Minor change

Pull Request - State: closed - Opened by sparverius over 5 years ago

#16 - Parsing error for block surrounded by curly braces

Issue - State: closed - Opened by sparverius over 5 years ago - 5 comments

#16 - Parsing error for block surrounded by curly braces

Issue - State: closed - Opened by sparverius over 5 years ago - 5 comments

#15 - Parsing implementation declarations

Issue - State: closed - Opened by sparverius over 5 years ago - 2 comments

#15 - Parsing implementation declarations

Issue - State: closed - Opened by sparverius over 5 years ago - 2 comments

#14 - Features worth having

Issue - State: open - Opened by antoyo almost 6 years ago - 4 comments

#14 - Features worth having

Issue - State: open - Opened by antoyo almost 6 years ago - 4 comments

#13 - adding missing parentheses

Pull Request - State: closed - Opened by sparverius almost 6 years ago - 1 comment

#13 - adding missing parentheses

Pull Request - State: closed - Opened by sparverius almost 6 years ago - 1 comment

#12 - Nix: fix a typo.

Pull Request - State: closed - Opened by steinwaywhw almost 6 years ago - 1 comment

#12 - Nix: fix a typo.

Pull Request - State: closed - Opened by steinwaywhw almost 6 years ago - 1 comment

#11 - location of xatsopt

Issue - State: closed - Opened by bbarker almost 6 years ago - 1 comment

#11 - location of xatsopt

Issue - State: closed - Opened by bbarker almost 6 years ago - 1 comment

#10 - Nixify

Pull Request - State: closed - Opened by bbarker almost 6 years ago - 1 comment

#10 - Nixify

Pull Request - State: closed - Opened by bbarker almost 6 years ago - 1 comment

#9 - Road map and how to contribute

Issue - State: closed - Opened by gallettilance about 6 years ago

#8 - Adding contrib/galletti94 folder

Pull Request - State: closed - Opened by gallettilance about 6 years ago - 2 comments

#7 - Fix Appveyor Test Path

Pull Request - State: closed - Opened by sazl about 6 years ago - 1 comment

#6 - Release process

Issue - State: open - Opened by ashalkhakov about 6 years ago - 2 comments

#5 - add appveyor.yml

Pull Request - State: closed - Opened by sazl over 6 years ago - 1 comment

#4 - Tests for [cblist].

Pull Request - State: closed - Opened by ashalkhakov over 6 years ago - 4 comments

#3 - Why not talk about proofs at overview.txt?

Issue - State: open - Opened by master-q over 6 years ago

#2 - Why not talk about proof component at overview.txt?

Issue - State: closed - Opened by master-q over 6 years ago

#1 - Setup CI

Issue - State: closed - Opened by ashalkhakov over 6 years ago - 6 comments

GitHub / githwxi/ats-xanadu issues and pull requests