New Git Repository!

54 views
Skip to first unread message

wm

unread,
Feb 19, 2009, 5:38:41 PM2/19/09
to Bertrand Constraint Programming Language
I have merged together my version of Bertrand with Igal's version, and
created a new Git repository at http://github.com/bertrand-constraint/

I had lots of help from Bart Massey, so I hope everything was done
correctly. I was able to compile and run an example program, so I
think I did everything correctly. But I would appreciate it if Igal
would take a quick look and see if I lost any of his changes (and, if
not, close off access to his repository).

If you would like the ability to do commits on this repository, just
let me know. I'd rather hand them out on an individual basis, so send
me your github userid.

Nat

unread,
Feb 23, 2009, 5:13:59 PM2/23/09
to Bertrand Constraint Programming Language
I've created a fork to which I'm committing any small changes I make.
So feel free to cherry-pick the ones that are useful. So far I've
only committed one change: to return a zero exit code on successful
execution of a Bertrand program.

The Git repo is at http://github.com/npryce/bertrand/tree/master

Cheers,
--Nat

On Feb 19, 10:38 pm, wm <wmle...@gmail.com> wrote:
> I have merged together my version of Bertrand with Igal's version, and
> created a new Git repository athttp://github.com/bertrand-constraint/

wm

unread,
Feb 25, 2009, 1:25:48 AM2/25/09
to Bertrand Constraint Programming Language
I made the following changes to the master branch of bertrand-
constraint:

I updated main.c to return a zero exit code. I didn't add the %
operator to bops.
I also made some changes to the #include preprocessor directive, so
that it also looks in the libraries directory, even if the BERTRAND
environment variable is set.

--wm

wm

unread,
Mar 5, 2009, 4:41:17 PM3/5/09
to Bertrand Constraint Programming Language
Arrrgh! It looks like I still can't get git to work correctly. I
have uploaded a new copy of BERTRAND.zip to this group, which includes
all the latest changes (I believe including all of Nat's and Igal's
changes).

So for now, please use the source in BERTRAND.zip, not the github
respository. I'll try to get github working as soon as I get back in
town.

--wm

Nat

unread,
Mar 6, 2009, 4:56:04 AM3/6/09
to Bertrand Constraint Programming Language
I've found Git to be surprisingly user unfriendly.

Did you remember to push your changes after committing? It's
something I keep forgetting to do.

--Nat

Wm Leler

unread,
Mar 6, 2009, 7:05:07 PM3/6/09
to bertrand-...@googlegroups.com
Yes, but when it type "git push" it just responds "Everything up-to-
date" even though everything is not up to date. I have no idea what
I'm doing wrong, and won't have time to figure it out before I leave
town in 2 days.

If someone wants to figure it out, I've made Igal a "collaborator" on
the github repository, so he can give you permission to check things in.

--wm

wm

unread,
Mar 30, 2009, 10:47:14 PM3/30/09
to Bertrand Constraint Programming Language
Sorry this took so long (I was out of town) but Bart came over and we
seem to have fixed the problem with git. So now there really is a
Bertrand repository. If you have created a separate branch, please
let me know so I can merge your changes back in to the master branch.

The repository is at http://github.com/bertrand-constraint/bertrand/tree/master

Have fun!

--wm
Reply all
Reply to author
Forward
0 new messages